迪米特里斯·卡夫瓦迪亚斯;克里斯托斯·帕帕迪米特里奥(Christos H.Papadimitriou)。 推理概率的线性规划方法。 (英语) Zbl 0878.68034号 安。数学。Artif公司。智力。 1,编号1-4189-205(1990). 小结:我们继续研究尼尔森提出的以下计算问题:给出了几个子句(多变量布尔函数),并指定了每个子句为真的概率。我们被问及这些概率是否一致。如果真值赋值存在概率分布,那么每个子句的概率就是其满意赋值集的度量。由于这是谓词演算的可满足性问题的推广,因此它立即是NP难的。我们证明了该问题的某些限制条件是NP-完全的,并使用椭球算法证明了P中有一个特定的特殊情况。在本文中,我们使用单纯形方法、列生成技术和可变深度局部搜索来推导出一个有效的启发式解来解决一般问题。实验表明,我们的启发式算法在包含数十个变量和子句的实例上取得了成功。我们还证明了几个有趣的复杂性结果。 引用于24文件 MSC公司: 68N17号 逻辑编程 2005年第68季度 计算模型(图灵机等)(MSC2010) 关键词:谓词演算;可满足性问题 PDF格式BibTeX公司 XML格式引用 \textit{D.Kavvadias}和\textit{C.H.Papadimitriou},Ann.数学。Artif公司。智力。1,编号1--4,189-205(1990;Zbl 0878.68034) 全文: DOI程序 参考文献: [1] T.Brun,J.Desrosiers,P.Hansen和H.Jaumard,Proc。交响乐团。关于数学进步,东京(1988)。 [2] G.B.Dantzig,《线性规划与扩展》(普林斯顿大学出版社,1963年)。 [3] G.B.Dantzig和P.Wolfe,线性规划的分解原理,Oper。第8号决议(1960年)101-111·Zbl 0093.32806号 ·doi:10.1287/opre.8.1.101 [4] R.Duda和R.Reboh,《人工智能与决策:展望者的经验》,载于《人工智能在商业中的应用》,W.Reitman(1984)第111-147页。 [5] R.Fagin、J.Halpern和N.Megiddo,程序。IEEE计算机科学逻辑会议(1988年)。 [6] M.R.Garey和D.S.Johnson,《计算机与难治性:NP完全性理论指南》(Freeman,1979)·Zbl 0411.68039号 [7] M.R.Garey、D.S.Johnson和L.J.Stockmeyer,一些简化的NP-完全问题,Theor。公司。科学。1 (1976) 237-267. ·Zbl 0338.05120号 ·doi:10.1016/0304-3975(76)90059-1 [8] M.Genesareth和N.Nilsson,《人工智能的逻辑基础》(Morgan Kaufmann,1987)。 [9] G.Georgakopoulos、D.Kavvadias和C.H.Papadimitriou,概率可满足性,J.复杂性(1988)·Zbl 0647.68049号 [10] D.Goldfarb和J.K.Reid,一种实用的最陡边单纯形算法,数学。程序。12(1977)361-371·Zbl 0443.90058号 ·doi:10.1007/BF01593804 [11] P.L.Hammer、P.Hansen和B.Simeone,二次0-1优化中的屋顶对偶性、互补性和持久性,数学。程序。28 (1984) 121-155. ·Zbl 0574.90066号 ·doi:10.1007/BF02612354 [12] D.Kavvadias,概率逻辑的复杂性和启发式方法,Patras大学博士论文(1988年11月)(希腊语)。 [13] B.W.Kernighan和S.Lin,划分图的有效启发式程序,BSTJ 49(1970)291-307·Zbl 0333.05001号 [14] S.Lin和B.W.Kernighan,旅行推销员问题的有效启发式,Oper。第21号决议(1973)498-516·Zbl 0256.90038号 ·doi:10.1287/opre.21.2498 [15] N.Nilsson,概率逻辑,人工智能(1986)·Zbl 0589.03007号 [16] C.H.Papadimitriou和K.Steiglitz,《组合优化:算法和复杂性》(Prentice-Hall,1983)·Zbl 0944.90066号 [17] B.Rothfarb、H.Frank、D.M.Rosenbaum、K.Steiglitz和D.J.Kleitman,《海上天然气管道系统的优化设计》,Oper。第18号决议(1970)992-1020·doi:10.1287/opre.18.6.992 [18] G.Shafer,《证据的数学理论》(普林斯顿大学出版社,1976年)·Zbl 0359.62002号 [19] H.E.Shortiffe和B.G.Buneman,医学中不精确推理的模型,数学。Biosci公司。3 (1975) 351-379. ·doi:10.1016/0025-5564(75)90047-4 [20] L.A.Zadeh,《模糊集,信息与控制》8(1971)338-353·Zbl 0139.24606号 ·doi:10.1016/S0019-9958(65)90241-X 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。