×
法比奥·法塞蒂;路易吉·帕洛波利

关于确定无头元素程序的复杂性。 （英语） Zbl 1186.68097号

理论与实践。日志。程序。 10，第1期，113-123（2010）。
摘要：无头元素（HEF）计划由M.Gebser、J.Lee和Y.Lierler先生【Lect.Notes Compute.Sci.4483，149–161（2007；Zbl 1149.68333号)]并显示出在保持其良好特性的同时，对无头循环程序进行了推广。在[loc.cit.]中，确定确定HEF项目的复杂性是一个悬而未决的问题。本注释通过证明coNP的问题是完整的来解决开放问题。

引用于3文件

MSC公司：

68N17号 逻辑编程
65年第68季度 算法和问题复杂性分析

关键词：

计算复杂性;初等集合;析取逻辑程序;无头元素程序

引文：

Zbl 1149.68333号
PDF格式BibTeX公司 XML格式引用
\textit{F.Fassetti}和\textit{L.Palopoli}，理论与实践。日志。程序。10，编号1，113--123（2010；Zbl 1186.68097）
全文： 内政部

参考文献：

[1] DOI:10.144/502807.502810·doi:10.1145/502807.502810
[2] 数字对象标识码：10.1016/S0004-3702（97）00060-X·Zbl 0903.68178号 ·doi:10.1016/S0004-3702（97）00060-X
[3] DOI:10.1007/BF01530761·Zbl 0858.68012号 ·doi:10.1007/BF01530761
[4] Garey，《计算机与难处理性：NP完全性理论指南》（1979）
[5] Gelfond，程序。第五届国际会议和研讨会第1070页–（1988）
[6] 内政部：10.1007/978-3-540-72200-7_14·Zbl 1149.68333号 ·doi:10.1007/978-3-540-72200-714
[7] Gebser，程序。第21届全国人工智能会议（AAAI）第244页–（2006）
[8] 内政部：10.1145/1149114.1149117·Zbl 1367.68308号 ·doi:10.145/1149114.1149117
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。