亚历克西斯·C·卡波里斯。;Lefteris M.基鲁西斯。;埃夫西米奥斯·拉拉斯 选择互补的文字对。 （英语） Zbl 1179.68144号 Kranakis，Evangelos（编辑）等人，《典型案例复杂性和相变》。研讨会论文，加拿大安大略省渥太华，2003年5月14日至16日。阿姆斯特丹：爱思唯尔。离散数学电子笔记16，47-70（2003）。 摘要：我们提出并严格分析了一种启发式算法，该算法搜索3-SAT问题给定随机实例的满意真值赋值。我们证明，对于子句与变量之比（密度）高达3.52的公式，启发式渐近肯定会成功地产生令人满意的真值赋值。因此，在典型公式的相位从渐近肯定可满足变为渐近肯定矛盾的情况下，严格证明实验观察到的密度阈值至少为3.52。不同研究小组对实验阈值进行的一系列数学上严格的近似计算中，之前的最佳下限为3.42。这是概率分析基于随机公式的第一个结果，每个文字都有预先指定的典型出现次数。然而，在这个结果中，为了简化分析，每个文字的出现次数与其否定的出现次数解耦。在这项工作中，我们不仅假设每个文字都有典型的出现次数，而且对于每个变量，其正反外观的出现次数都是典型的。通过标准技术，我们的算法可以很容易地修改为在线性时间内运行。因此，不仅可满足性阈值，而且搜索满足真值分配的复杂性从多项式跳到指数的阈值（再次实验）至少为3.52。这应该与统计物理的理论（但不是数学上严格的）技术给出的复杂性阈值3.9形成对比。有关整个系列，请参见[Zbl 1109.68315号]. 引用于11文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 关键词：相变;可满足性;davis-putnam算法;概率分析;微分方程 PDF格式BibTeX公司 XML格式引用 \textit{A.C.Kaporis}等人，《电子》。注释离散数学。16、47-70（2003年；Zbl 1179.68144） 全文： 内政部 参考文献： [1] Achlioptas D.：一次设置两个变量会产生随机3-SAT的新下限。第32届ACM计算理论年会（STOC'00）28-37；Achlioptas D.：一次设置两个变量会产生随机3-SAT的新下限。第32届ACM计算理论年会（STOC'00）28-37·Zbl 1296.68062号 [2] Achlioptas，D.，通过微分方程随机3-SAT的下限，理论计算机科学，265，1-2，159-185（2001）·Zbl 0983.68079号 [3] Achlioptas D.，Moore C.：随机的渐近阶；Achlioptas D.，Moore C.：随机的渐近阶·Zbl 1120.68096号 [4] Achlioptas D.，Sorkin G.B.：随机3-SAT的最佳近视算法。In：Proc。第41届计算机科学基础年会（FOCS’00）590-600；Achlioptas D.，Sorkin G.B.：随机3-SAT的最佳近视算法。第41届计算机科学基础年度研讨会（FOCS'00）590-600 [5] Broder A.，Frieze A.，Upfal E.：关于随机3-CNF公式的可满足性和最大可满足性。In：程序。第四届ACM-SIAM离散算法研讨会（SODA’93）322-330；Broder A.，Frieze A.，Upfal E.：关于随机3-CNF公式的可满足性和最大可满足性。In：程序。第四届ACM-SIAM离散算法研讨会（SODA’93）322-330·Zbl 0801.68082号 [6] 赵，M.T。；Franco，J.，3-可满足性问题的两种启发式的概率分析，Comp的SIAM J.，15，4，1106-1118（1986）·Zbl 0621.68031号 [7] 赵，M.T。；Franco，J.，对（k）-可满足性问题的unitclause文字选择启发式的推广的概率分析，Inform。《科学》，51，3，289-314（1990）·Zbl 0706.68053号 [8] 奇瓦塔尔·V·里德·B·：米克得到了一些（机会在他这边）。In：程序。第33届计算机科学基金会年会（FOCS’92）620-627；奇瓦塔尔·V·里德·B·：米克得到了一些（机会在他这边）。In：程序。第33届计算机科学基金会年会（FOCS’92）620-627·Zbl 0977.68538号 [9] Cooper C.、Frieze A.、Sorkin，G.B.：关于随机2-SAT的注释，具有规定的文字程度。In：程序。第十三届ACM-SIAM离散算法研讨会（SODA'02）316-320；Cooper C.、Frieze A.、Sorkin，G.B.：关于随机2-SAT的注释，具有规定的文字程度。In：程序。第13届ACM-SIAM离散算法研讨会（SODA'02）316-320·Zbl 1093.68613号 [10] Devroye，L.，《分支过程及其在树结构和树算法分析中的应用》，（Habib，M.；McDiarmid，C.；Alfonsin，R.；Reed，B.，《算法离散数学的概率方法》，计算机科学讲义（1998），卷Springer-Verlag:卷Springer-Verlag Berlin），249-314·Zbl 0924.60077号 [11] O.Dubois。；Boufkhad，Y.，随机SAT可满足阈值的一般上界，算法杂志，24395-420（1997）·Zbl 0883.68065号 [12] Dubois O.，Boufkhad Y.，Mandler J.：典型的随机3-SAT公式和可满足阈值。In：程序。第11届离散算法研讨会（SODA'00）126-127；Dubois O.，Boufkhad Y.，Mandler J.：典型的随机3-SAT公式和可满足阈值。In：程序。第十一届离散算法研讨会（SODA'00）126-127·Zbl 0959.68135号 [13] Dubois O.，Dequen G.：有效求解3-SAT硬公式的主干搜索启发式。过程中：第十七届国际人工智能联合会议（IJCAI'01）248-253；Dubois O.，Dequen G.：一种有效求解硬3-SAT公式的主干搜索启发式算法。过程中：第17届国际人工智能联合会议（IJCAI'01）248-253 [14] Dubois O.，Dequen G.：作为求解\（k\）的子句长度函数的重整化；Dubois O.，Dequen G.：重正化作为求解\（k\）的子句长度的函数 [15] 弗纳德斯，W.de la Vega：关于随机2-SAT。手稿，1992。；弗纳德斯，W.de la Vega：随机2-SAT。手稿，1992年。 [16] E.Friedgut，（Bourgain，J.的附录）：图形属性的尖锐阈值，以及（k\）；E.Friedgut，（Bourgain，J.的附录）：图形属性的尖锐阈值，以及·Zbl 0932.05084号 [17] 弗里兹，A。；Suen，S.，k-SAT随机实例的两种简单启发式分析，J.算法，20312-355（1996）·Zbl 0852.68038号 [18] 弗里兹A.，沃马尔德N.：（kk\）；弗里兹A.，沃马尔德N.：（kk\）·Zbl 1083.68048号 [19] Giannella C.：《通过附加单位子句规则将两个阈值算法扩展到非阈值算法》，印第安纳大学硕士论文（1999年）。网址：http://www.cs.indiana.edu/cgiannel/work.html；Giannella C.：《通过附加单位子句规则将两个阈值算法扩展到非阈值算法》，印第安纳大学硕士论文（1999年）。网址：http://www.cs.indiana.edu/cgiannel/work.html [20] Goerdt，A.，《不可满足性阈值》，J.Compute。系统科学，53,3469-486（1996）·Zbl 0870.68077号 [21] M.T.Hajiaghayi和G.Sorkin，《个人沟通》，2002年。；M.T.Hajiaghayi和G.Sorkin，《个人沟通》，2002年。 [22] Janson，S。；Stamatiou，Y.C。；Vamvakari，M.，《随机3-SAT不满足阈值的界定》，《随机结构与算法》，第17期，第103-116页（2000年）·Zbl 0958.03028号 [23] Johnson，D.S.，组合问题的近似算法，《计算机与系统科学杂志》，9，256-278（1974）·Zbl 0296.65036号 [24] A.卡马特。；Motwani，R。；Palm，K。；Spirakis，P.，占用的尾界和可满足性阈值猜想，随机结构和算法，7，59-80（1995）·Zbl 0834.68051号 [25] Kaporis，A.C.，Kirousis，L.M.，Lalas，E.G.：贪婪可满足性算法的概率分析。In：程序。第十届欧洲算法年度研讨会（ESA 2002）轨道A.574-585可在以下网址获取：http://students.ceid.upatras.gr/kaporis/；Kaporis，A.C.，Kirousis，L.M.，Lalas，E.G.：贪婪可满足性算法的概率分析。In：程序。第十届欧洲算法年会（ESA 2002），轨道A 574-585，网址：http://students.ceid.upatras.gr/卡波里斯/·Zbl 1019.68814号 [26] Kaporis，A.C.，Kirousis，L.M.，Stamatiou，Y.C.：如何使用延迟决策原则证明条件随机性。TR，CTI，希腊，（2002），网址：www.ceid.upatras.gr/factory/kirousis/kks-pdd02.pshttp://students.ceid.upatras.gr/kaporis/；Kaporis，A.C.，Kirousis，L.M.，Stamatiou，Y.C.：如何使用延迟决策原则证明条件随机性。TR，CTI，希腊，（2002），网址：www.ceid.upatras.gr/factory/kirousis/kks-pdd02.pshttp://students.ceid.upatras.gr/卡波里斯/ [27] Kaporis，A.C.、Kirousis，L.M.、Stamatiou，Y.C.、Vamvakari M.、Zito M.：《不满意阈值重审》。出现在离散数学中。网址：http://students.ceid.upatras.gr/kaporis/；Kaporis，A.C.，Kirousis，L.M.，Stamatiou，Y.C.，Vamvakari M.，Zito M.：重新审视不满足性阈值。出现在离散数学中。网址：http://students.ceid.upatras.gr/卡波里斯/·Zbl 0990.90557号 [28] 基鲁西斯，L.M。；克拉纳基斯，E。；Krizanc，D。；Stamatiou，Y.C.，《随机公式、随机结构和算法的不满足阈值近似》，第12期，第253-269页（1998年）·Zbl 0936.68038号 [29] Maftouhi，M。；Fernandez，V.，《关于随机3-SAT，组合数学，概率和计算》，4190-195（1995）·Zbl 0840.68051号 [30] 梅扎德；帕里西，G。；Zecchina，R.M.，随机可满足性问题的分析和算法解，《科学》，297812（2002） [31] Mézard M.，Zecchina R.：随机（k）；Mézard M.，Zecchina R.：随机性 [32] Mitchel D.、Selman B.、Levesque H.：SAT问题的难易分配。In：程序。第十届全国人工智能大会（AAAI 1992）459-465；Mitchel D.、Selman B.、Levesque H.：SAT问题的难易分配。In：程序。第十届全国人工智能会议（AAAI 1992）459-465 [33] Mitzemacher M.：纯文字规则的严格阈值。TR，Digital Equipment Corporation（1997），网址：www.research.compaq.com/SRC/；Mitzemacher M.：严格限制纯文字规则。TR，数字设备公司，（1997年），网址：www.research.compaq.com/SRC/ [34] Molloy，M.，《概率方法》（Habib，M.；McDiarmid，C.；Alfonsin，R.；Reed，B.，《算法离散数学的概率方法》，计算机科学讲义（1998年），卷Springer-Verlag:卷Springer-Verlag Berlin），1-35·Zbl 0918.05092号 [35] Wormald，N.C.，随机过程和随机图的微分方程，应用概率年鉴，5，4，1217-1235（1995）·Zbl 0847.05084号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。