BriefGPT.xyz
Dec, 2010
关于逻辑程序的基本环路
On Elementary Loops of Logic Programs
HTML
PDF
Martin Gebser, Joohyung Lee, Yuliya Lierler
TL;DR
本文研究了基本环的性质,特别是针对极大基本环与最小未建立集之间的关系。其中基于基本环定义,我们讨论了Head-Elementary-loop-Free程序的性质,该程序可以被转换成多项式时间的等价非不相交程序。在此基础上,我们讨论了基本环的识别问题在不同类型程序中的复杂度。
Abstract
Using the notion of an
elementary loop
, Gebser and Schaub refined the theorem on loop formulas due to Lin and Zhao by considering loop formulas of elementary loops only. In this article, we reformulate their definition of an
→