纳迪亚·克里诺;莱因哈德·皮克勒;斯特凡·沃尔特兰 在Krom片段中，与SAT相关的硬推理任务变得更容易了吗？ （英语） Zbl 1403.68078号 日志。方法计算。科学。 14，第4号，第10号论文，25页（2018年）. 摘要：许多推理问题都是基于可满足性问题。虽然SAT本身在以某种方式限制公式结构时变得很容易，但对于更复杂的决策问题来说，这种情况更加不透明。我们在这里认为CardMinSat卡这个问题问，给定命题公式（varphi）和原子（x），（x）在某个基数最小模型中是否为真。对于Horn片段来说，这个问题很容易，但正如我们将在本文中显示的那样，Krom片段（由CNF中的公式给出，其中子句最多有两个文字）仍然是（Theta_2）P-complete（因此是（text{NP}）-hard）。我们将利用这一事实来研究信念修正和基于逻辑的推理任务的复杂性，并表明，虽然在某些情况下限制Krom公式会导致复杂性降低，但在其他情况下则不会。因此，我们也考虑CardMinSat卡关于Krom公式的附加限制，以更好地理解此类问题的可处理边界。 引用于2文件 MSC公司： 65年第68季度 算法和问题复杂性分析 03B05号 经典命题逻辑 03B70型 计算机科学中的逻辑 PDF格式BibTeX公司 XML格式引用 \textit{N.Creignou}等人，日志。方法计算。科学。14，第4号，第10号论文，25页（2018；Zbl 1403.68078） 全文： DOI程序 arXiv公司 参考文献： [1] M.Ben-Ari，《计算机科学的数学逻辑》。Prentice-Hall国际，2003年。 [2] V.G.Bodnarchuk、L.A.Kaluáznin、V.N.Kotov和B.A.Romov。后代数的伽罗瓦理论。一、 二、。控制论，5:243-252531-5391969。 [3] E.B¨ohler、N.Creignou、S.Reith和H.Vollmer。玩弄布尔块，第一部分：波斯特格子在复杂性理论中的应用。ACM-SIGACT新闻稿，34（4）：38-522003。 [4] E.B¨ohler、S.Reith、H.Schnoor和H.Vollmer。布尔联合克隆的基础。《信息处理快报》，96:59–662005年·Zbl 1184.68351号 [5] N.Creignou和H.Vollmer。布尔约束满足问题：Post的晶格什么时候有帮助？《约束的复杂性》，计算机科学讲义第5250卷，第3-37页。施普林格，2008年·Zbl 1171.68495号 [6] N.Creignou和B.Zanuttini。命题复杂性的完整分类·Zbl 1111.68045号 [7] M.达拉。知识库修正理论研究。程序中。AAAI，第475-479页。AAAI出版社/麻省理工学院出版社，1988年。 [8] T.Eiter和G.Gottlob。命题知识库修订、更新和反事实的复杂性。Artif公司。智力。，57(2-3):227–270, 1992. ·Zbl 0763.68038号 [9] T.Eiter和G.Gottlob。基于逻辑的推理的复杂性。J.ACM，42（1）：3-1995年·Zbl 0886.68121号 [10] T.Eiter和G.Gottlob。复杂性类ϑp2：人工智能和模态逻辑的最新结果和应用。程序中。《烟草控制框架公约》，《烟草控制框架公约》第1279卷，第1-18页。施普林格，1997年。doi:10.1007/BFb0036168·Zbl 1507.68121号 [11] W.I.Gasarch、M.W.Krentel和K.J.Rappoport。OptP作为NP-完全问题的正常行为。数学系统理论，28（6）：487–5141995·Zbl 0830.68064号 [12] D.盖革。函数和谓词的封闭系统。派克靴。数学杂志，27（1）：95-1001968年·Zbl 0186.02502号 [13] M.赫尔曼和R.皮克勒。计算命题推导的复杂性。J.计算。系统。科学。，76(7):634–649, 2010. ·Zbl 1197.68072号 [14] P.G.杰文斯。关于组合问题的代数结构。西奥。计算。科学。，200:185–204, 1998. ·Zbl 0915.68074号 [15] M.W.克伦特尔。优化问题的复杂性。J.计算。系统。科学。，36(3): 490–509, 1988. ·Zbl 0652.68040号 [16] M.W.Krentel先生。OptP在多项式层次结构中的推广。西奥。计算。科学。，97(2):183–198, 1992. ·Zbl 0769.68031号 [17] P.Liberatore和M.Schaerf。信念修订和更新：模型检查的复杂性。J.计算。系统。科学。，62(1):43–72, 2001. ·Zbl 0990.68108号 [18] T.Lukasiewicz和E.Malizia。基于计数和比较的复杂性类θPk的一种新特征。西奥。计算。科学。，694:21–33, 2017. ·Zbl 1373.68231号 [19] G.Nordh和B.Zanuttini。是什么使命题诱拐易于处理。Artif公司。智力。，172（10）：1245–12842008年·Zbl 1183.68600号 [20] G.Nordh和B.Zanuttini。冻结布尔部分共克隆。程序中。ISMVL，第120–125页，2009年。 [21] C.H.帕帕迪米特里奥。计算复杂性。Addison-Wesley，1994年·Zbl 0833.68049号 [22] E.L.邮政。数学逻辑的二值迭代系统。《数学研究年鉴》，5:1-1221941年·Zbl 0063.06326号 [23] 佐藤。最小信念修正的非单调推理。程序中。FGCS，第455-462页，1988年。 [24] T·J·谢弗。可满足性问题的复杂性。程序中。STOC，第216-226页。ACM，1978年·Zbl 1282.68143号 [25] H.Schnoor和I.Schnoor。部分多态性和约束满足问题。在N.Creignou、P.G.Kolaitis和H.Vollmer，编辑，《约束的复杂性》，第5250卷，第229-254页。施普林格·弗拉格，柏林-海德堡，2008年·Zbl 1171.68502号 [26] G.Tseytin。关于命题演算中推导的复杂性。在A.Slisenko，编辑，《建构数学和数学逻辑研究》，第二部分，数学研讨会，第115-125页。斯特克罗夫数学研究所，1970年·Zbl 0205.00402号 [27] K·瓦格纳。限制对NP权限。程序中。ICALP，LNCS第317卷，第682-696页。斯普林格，1988年·Zbl 0649.68052号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。