徐，柯；法国布赛马；弗雷德·海默里；克利斯朵夫·勒库特 随机约束满足：轻松生成硬（可满足）实例。 （英语） Zbl 1168.68554号 Artif公司。智力。 171，编号8-9，514-534（2007）. 摘要：我们表明K.Xu先生和W.李[J.Artif.Intell.Res.（JAIR）12，93–103（2000；Zbl 0940.68099号)；西奥。计算。科学。355，第3期，291–302（2006年；Zbl 1088.68163号)]具有理论和实际意义。事实上，这些被称为RB和RD的模型提供了几个很好的特性。首先，很容易生成任意arity的随机实例，因为在这种情况下不需要集成任何特定的结构或强制执行属性。然后，在对畴尺寸和约束紧度施加有限限制的同时，可以保证渐近相变的存在。在这种情况下，可以精确地定位阈值点，并且所有实例都保证在阈值处是硬的，即具有指数树分辨率的复杂性。其次，形式分析表明，可以生成强制可满足实例，其硬度与非强制可满足的实例相似。我们使用完整和不完整搜索方法进行了大量实验，得到了一些具有代表性的结果，支持了这一分析。 引用于43文件 MSC公司： 68T20型 人工智能背景下的问题解决（启发式、搜索策略等） 65年第68季度 算法和问题复杂性分析 关键词：相变；约束网络；硬随机实例 引文：Zbl 0940.68099号；Zbl 1088.68163号 PDF格式BibTeX公司 XML格式引用 \textit{K.Xu}等人，Artif。智力。171，编号8-91514-534（2007年；兹bl 1168.68554） 全文： 内政部 参考文献： [1] D.Achlioptas，C.Gomes，H.Kautz，B.Selman，生成可满足的问题实例，收录于：AAAI'00会议录，2000年，第256-301页；D.Achlioptas，C.Gomes，H.Kautz，B.Selman，《生成可满足问题实例》，载于：《AAAI’0002000年论文集》，第256-301页 [2] D.Achlioptas，H.Jia，C.Moore，《隐藏令人满意的任务：两个优于一个》，载于：《AAAI’04会议录》，2004年，第131-136页；D.Achlioptas，H.Jia，C.Moore，《隐藏令人满意的任务：两个比一个好》，载于：2004年《AAAI学报》，第131-136页·Zbl 1080.68653号 [3] D.Achlioptas、L.M.Kirousis、E.Kranakis、D.Krizanc、M.S.O.Molloy、Y.C.Stamatiou，《随机约束满足：更准确的图景》，收录于：《1997年CP会议录》，第107-120页；D.Achlioptas、L.M.Kirousis、E.Kranakis、D.Krizanc、M.S.O.Molloy、Y.C.Stamatiou，《随机约束满足：更准确的图景》，收录于：《1997年CP会议录》，第107-120页·Zbl 0984.68085号 [4] D.Achlioptas，C.Moore，《随机k-SAT阈值的渐近顺序》，收录于《2002年FOCS会议录》，第779-788页；D.Achlioptas，C.Moore，《随机k-SAT阈值的渐近顺序》，收录于《2002年FOCS会议记录》，第779-788页 [5] Barthel，W。；哈特曼，A.K。；塞拉利昂，M。；Ricci-Tersenghi，F。；韦格特，M。；Zecchina，R.，《随机可满足性问题中的隐藏解：统计力学方法》，《物理评论快报》，88，18（2002） [6] Ben-Sasson，E。；Wigderson，A.，《简短证明是简化的窄分辨率证明》，《ACM杂志》，48，2，149-169（2001）·Zbl 1089.03507号 [7] C.Bessiere，J.Régin，《一般约束网络的弧一致性：初步结果》，载于：IJCAI’97年会议记录，1997年，第398-404页；C.Bessiere，J.Régin，《一般约束网络的弧一致性：初步结果》，收录于：IJCAI’97年会议记录，1997年，第398-404页 [8] Bessiere，C。；雷金，J.C。；Yap，R.H.C。；张勇，最优粗粒度圆弧一致性算法，人工智能，165,2165-185（2005）·Zbl 1132.68691号 [9] F.Boussemart，F.Hemery，C.Lecoutre，L.Sais，通过加权约束推进系统搜索，收录于：《ECAI’04会议录》，2004年，第146-150页；F.Boussemart，F.Hemery，C.Lecoutre，L.Sais，通过加权约束推进系统搜索，收录于：ECAI'04年会议记录，第146-150页 [10] P.Cheeseman，B.Kanefsky，W.M.Taylor，《真正困难的问题在哪里》，载于：《国际联合会学报》，1991年，第331-337页；P.Cheeseman，B.Kanefsky，W.M.Taylor，《真正困难的问题在哪里》，收录于《1991年国际JCAI会议录》，第331-337页·Zbl 0747.68064号 [11] S.A.Cook，D.G.Mitchell，《发现可满足性问题的困难实例：调查》，《离散数学和理论计算机科学DIMACS系列》，第35卷，1997年；S.A.Cook，D.G.Mitchell，《发现可满足性问题的困难实例：调查》，《离散数学和理论计算机科学DIMACS系列》，第35卷，1997年·Zbl 0889.68073号 [12] Debruyne，R。；Bessiere，C.，域过滤一致性，《人工智能研究杂志》，第14期，第205-230页（2001年）·兹伯利0970.68125 [13] O.Dubois，Y.Boufkhad，J.Mandler，《典型随机3-sat公式和可满足阈值》，载《SODA’00会议录》，2000年，第126-127页；O.Dubois，Y.Boufkhad，J.Mandler，《典型随机3-sat公式和可满足阈值》，载《SODA’00会议录》，2000年，第126-127页·Zbl 0959.68135号 [14] A.M.Frieze，M.Molloy，随机生成的二进制约束满足问题的可满足性阈值，收录于：《2003年随机学报》，第275-289页；A.M.Frieze，M.Molloy，随机生成的二进制约束满足问题的可满足性阈值，收录于：《2003年随机学报》，第275-289页·Zbl 1279.68302号 [15] Y.Gao，J.Culberson，《具有高约束紧度的一致性和随机约束满足模型》，载于《CP'042004期刊》，2004年，第17-31页；Y.Gao，J.Culberson，具有高约束紧度的一致性和随机约束满足模型，收录于：CP’04会议录，2004年，第17-31页·Zbl 1152.68552号 [16] Gent，I.P。；麦金太尔，E。；Prosser，P。；B.M.史密斯。；Walsh，T.，《随机约束满足：缺陷和结构》，《约束杂志》，6，4，345-372（2001）·Zbl 0992.68193号 [17] I.P.Gent、E.MacIntyre、P.Prosser、T.Walsh，《搜索的约束性》，载《AAAI-96会议录》，1996年，第246-252页；I.P.Gent、E.MacIntyre、P.Prosser、T.Walsh，《搜索的约束性》，载于《AAAI-96学报》，1996年，第246-252页 [18] C.P.Gomes、C.Fernández、B.Selman、C.Bessiere，《约束区域的统计制度》，载于：《2004年CP’04会议录》，第32-46页；C.P.Gomes，C.Fernández，B.Selman，C.Bessiere，《跨约束区域的统计制度》，收录于：2004年《CP’04会议录》，第32-46页·Zbl 1152.68555号 [19] Haralick，R.M。；Elliott，G.L.，提高约束满足问题的树搜索效率，人工智能，14263-313（1980） [20] R.Impagliazzo，L.Levin，M.Luby，单向函数的伪随机数生成，收录于：《STOC'89会议录》，1989年，第12-24页；R.Impagliazzo，L.Levin，M.Luby，单向函数的伪随机数生成，收录于：《STOC'89会议录》，1989年，第12-24页 [21] H.Jia，C.Moore，B.Selman，《从自旋玻璃到难以满足的公式》，载于：2004年《SAT学报》；H.Jia，C.Moore，B.Selman，《从自旋玻璃到难以满足的公式》，收录于：2004年SAT会议录·Zbl 1122.68605号 [22] A.C.Kaporis，L.M.Kirousis，E.G.Lalas，贪婪可满足性算法的概率分析，收录于《2002年欧洲账户体系学报》，第574-585页；A.C.Kaporis，L.M.Kirousis，E.G.Lalas，贪婪可满足性算法的概率分析，收录于：《2002年欧洲账户体系学报》，第574-585页·Zbl 1019.68814号 [23] C.Lecoutre，F.Boussemart，F.Hemery，《利用粗粒度弧一致性算法中的多向性》，收录于：《CP’03会议录》，2003年，第480-494页；C.Lecoutre，F.Boussemart，F.Hemery，《利用粗粒度弧一致性算法中的多向性》，收录于：《CP’03会议录》，2003年，第480-494页 [24] C.Lecoutre，F.Boussemart，F.Hemery，隐式随机CSPs，收录于：《ICTAI’03会议录》，2003年，第482-486页；C.Lecoutre，F.Boussemart，F.Hemery，隐式随机CSP，收录于：ICTAI’03会议录，2003年，第482-486页 [25] C.Lecourse，F.Boussemart，F.Hemery，基于后跳的技术与冲突导向的启发式，载于：ICTAI’04会议录，2004年，第549-557页；C.Lecoutre，F.Boussemart，F.Hemery，基于回跳的技术与冲突导向的启发式，收录于：ICTAI’04会议录，2004年，第549-557页 [26] C.Lecoutre，R.Szymanek，正表约束的广义弧一致性，收录于：《2006年CP’06会议录》，第284-298页；C.Lecoutre，R.Szymanek，正表约束的广义弧一致性，in：《2006年CP’06会议录》，第284-298页·Zbl 1335.90096号 [27] Mackworth，A.K.，关系网络的一致性，人工智能，8，1，99-118（1977）·Zbl 0341.68061号 [28] 马祖雷，B。；塞伊斯，L。；Gregoire，E.，《借助本地搜索方法提升完整技术》，《数学与人工智能年鉴》，22319-331（1998）·Zbl 0905.68143号 [29] D.G.Mitchell，《一些随机的CSP难以解决》，2000年，提交出版；D.G.Mitchell，《一些随机的CSP难以解决》，2000年，提交出版 [30] D.G.Mitchell，随机约束的分解复杂性，收录于：《CP’02学报》，2002年，第295-309页；D.G.Mitchell，随机约束的分解复杂性，收录于：CP'02会议录，2002年，第295-309页 [31] Molloy，M.，随机约束满足问题的模型，SIAM计算杂志，32，4，935-949（2003）·Zbl 1029.68118号 [32] P.Morris，逃离局部极小值的突破方法，载于：AAAI’931993年会议记录，第40-45页；P.Morris，《逃离局部极小值的突破方法》，载《AAAI’93会议录》，1993年，第40-45页 [33] 安全哈希标准。国家标准与技术研究所（2002），FIPS 180-2 [34] Prosser，P.，二元约束满足问题中相变的实证研究，人工智能，81，81-109（1996）·Zbl 1523.68093号 [35] R.Rivest，MD5消息摘要算法，麻省理工学院计算机科学和RSA数据安全实验室，1992年。征求意见书1321；R.Rivest，MD5消息摘要算法，麻省理工学院计算机科学和RSA数据安全实验室，1992年。征求意见1321 [36] D.Sabin，E.Freuder，《在约束满足中反驳传统智慧》，载于：《94年CP会议录》，1994年，第10-20页；D.Sabin，E.Freuder，《在约束满足中反驳传统智慧》，载《94年CP会议录》，1994年，第10-20页 [37] B.Selman，H.Kautz，GSAT的域相关扩展：解决大型结构化可满足性问题，收录于：IJCAI’93会议录，1993年，第290-295页；B.Selman，H.Kautz，GSAT的域相关扩展：解决大型结构化可满足性问题，收录于：IJCAI’93会议录，1993年，第290-295页 [38] Smith，B.M.，在随机二进制约束满足问题中构造渐近相变，理论计算机科学，265265-283（2001）·Zbl 0992.68191号 [39] B.M.史密斯。；Dyer，M.E.，在二进制约束满足问题中定位相变，人工智能，81155-181（1996）·Zbl 1508.68348号 [40] J.R.Thornton，约束加权局部搜索约束满足，博士论文，澳大利亚格里菲斯大学，2000年；J.R.Thornton，约束加权局部搜索约束满足，博士论文，澳大利亚格里菲斯大学，2000年 [41] 威廉姆斯，C。；Hogg，T.，开发约束问题的深层结构，人工智能，7073-117（1994）·Zbl 0938.68827号 [42] 徐凯，《SAT和CSP相变研究》，北京航空航天大学博士论文，2000年；徐凯，SAT和CSP相变研究，北京航空航天大学博士论文，2000 [43] K.Xu，F.Boussemart，F.Hemery，C.Lecourse，《生成难满足实例的简单模型》，载于：《IJCAI’05论文集》，2005年，第337-342页；K.Xu，F.Boussemart，F.Hemery，C.Lecoutre，生成难满足实例的简单模型，收录于：IJCAI’05会议录，2005年，第337-342页 [44] Xu，K。；Li，W.，随机约束满足问题中的精确相变，《人工智能研究杂志》，12，93-103（2000）·Zbl 0940.68099号 [45] Xu，K。；Li，W.，《精确相变中的许多疑难实例及其在生成难满足实例中的应用》，《理论计算机科学》，355291-302（2006），技术报告，CoRR报告cs。CC/0302001，修订版·Zbl 1088.68163号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。