汉斯·克莱恩·勃宁;赵西顺 量化布尔公式的缺陷和最小不满足性的推广。 (英语) Zbl 1145.68434号 J.满意。布尔模型。计算。 3,编号3-4,115-123(2007). 摘要:最小不可满足性和最小虚假性的概念将扩展到非子句和非正则量化布尔公式。对于否定范式中的量化布尔公式,我们将不足的概念推广到所谓的内聚,即合取符号的出现次数与存在变量和自由变量的数量之差。此外,我们证明了对于具有固定缺陷的公式已知的关于最小不可满足性或最小虚假性的所有复杂性结果都可以适用于具有固定内聚力的公式。例如,(1)具有固定内聚度的命题公式的最小不可满足性在多项式时间内仍然是可解的,(2)具有内聚度1的量化布尔公式的最小虚假性在多项式空间内也是可解的。 MSC公司: 65年第68季度 算法和问题复杂性分析 03B05号 经典命题逻辑 68T20型 人工智能背景下的问题解决(启发式、搜索策略等) 关键词:缺乏;凝聚;QBF公司;最小不可满足性;最小虚假 PDF格式BibTeX公司 XML格式引用 \textit{H.Kleine Büning}和\textit{X.Zhao},J.Satisfe。布尔模型。计算。3,编号3--4,115-123(2007;Zbl 1145.68434)