×

可满足性问题启发式算法的比较运行时分析。 (英语) Zbl 1192.68655号

可满足性问题是一个基本的核心NP-完全问题。近年来,人们开发了许多启发式算法来解决这个问题,并通过许多实验评估和比较了不同启发式算法的性能。然而,严格的理论分析和比较却很少。本文分析和比较了三种基本启发式算法:RandomWalk、(1+1)EA和混合算法的预期运行时间。在两个2-SAT实例上对这些启发式算法的运行时分析表明,这些启发式方法的预期运行时可以是指数时间或多项式时间。此外,这些启发式算法在解决不同的SAT实例时有各自的优缺点。它还证明了RandomWalk在任意(k)-SAT((k \geqsleat 3))上的预期运行时上限为(O(k-1)^n),并给出了一个具有预期运行时界限的(k \)-SAT实例。

MSC公司:

68T20型 人工智能背景下的问题解决(启发式、搜索策略等)
第68季度25 算法和问题复杂性分析

软件:

UnitWalk公司
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

参考文献:

[1] 阿尔茨,E.H.L。;Korst,J.H.M.,《模拟退火和Boltzmann机器》(1989),威利
[2] Alekhnovich,M。;Ben-Sasson,E.,小密度随机3-CNF上随机游动的线性上界,SIAM计算杂志,36,5,1248-1263(2006)·Zbl 1124.68041号
[3] Beame,P。;考茨,H。;Sabharwal,A.,《理解和利用从句学习的潜力》,《人工智能研究杂志》,22319-335(2004)·Zbl 1080.68651号
[4] Braunstein,A。;梅扎德,M。;Zecchina,R.,《调查传播:可满足性的算法》,随机结构与算法,27,2,201-226(2005)·Zbl 1087.68126号
[5] 库克,S.,《理论证明程序的复杂性》,(Proc.3rd Ann.ACM Symp.on Theory of Computing(1971),Assoc.Compute。机器。:关联计算。马赫。纽约),151
[6] Davis,M。;Putnam,H.,量化理论的计算机程序,美国计算机学会期刊,7,3202-215(1960)·Zbl 0212.34203号
[7] K.A.DeJong,W.M.Spears,《使用遗传算法解决NP-完全问题》,载于:《第三届遗传算法国际会议论文集》,美国弗吉尼亚州,1989年,第124-132页;K.A.DeJong,W.M.Spears,《使用遗传算法解决NP-完全问题》,载于:《第三届遗传算法国际会议论文集》,美国弗吉尼亚州,1989年,第124-132页
[8] S.Droste,T.Jansen,I.Wegener,《一个对所有进化算法来说都很难实现的自然简单函数》,载于:《第三届亚洲-太平洋模拟进化与学习会议论文集》,日本那迦亚,2000年,第2704-2709页;S.Droste,T.Jansen,I.Wegener,《一个对所有进化算法来说都很难实现的自然简单函数》,载于:《第三届亚洲-太平洋模拟进化与学习会议论文集》,日本那迦亚,2000年,第2704-2709页
[9] Droste,S。;詹森,T。;韦格纳,I.,《关于(1+1)进化算法的分析》,《理论计算机科学》,276,1-2,51-81(2002)·Zbl 1002.68037号
[10] Garey,M.R。;Johnson,D.S.,《计算机与难治性——NP完全性理论指南》(1979年),弗里曼:弗里曼纽约·Zbl 0411.68039号
[11] Garnier,J。;Kallel,L。;Schoenauer,M.,二进制突变的严格命中时间,进化计算,7,2,167-203(1999)
[12] J.戈特利布。;Marchiori,E。;Rossi,C.,可满足性问题的进化算法,进化计算,10,1,35-50(2002)
[13] Gu,J.,大规模可满足性问题的高效局部搜索,ACM SIGART Bulletin,3,1,8-12(1992)
[14] He,J。;Yao,X.,《走向分析进化算法计算时间的分析框架》,人工智能,145,1-2,59-97(2003)·Zbl 1082.68802号
[15] 赫希,E.A。;Kojevnikov,A.,UnitWalk:一种新的SAT解算器,使用单位子句消除指导的局部搜索,《数学与人工智能年鉴》,43,91-111(2005)·Zbl 1100.68621号
[16] Hoeffing,W.,有界随机变量和的概率不等式,美国统计协会杂志,58,301,13-30(1963)·Zbl 0127.10602号
[17] Iosifescu,M.,《有限马尔可夫过程及其应用》(1980),John Wiley&Sons:John Willey&Sons Chichester
[18] K.Iwama,S.Tamaki,《3-SAT改进界限》,载《第十五届ACM-SIAM离散算法年会论文集》,2004年,第321-322页;K.Iwama,S.Tamaki,《3-SAT改进界限》,载《第十五届ACM-SIAM离散算法年会论文集》,2004年,第321-322页
[19] 柯克帕特里克,S。;盖拉特,C.D。;Vecchi,M.P.,《模拟退火优化》,《科学》,220671-680(1983)·Zbl 1225.90162号
[20] Lardeux,F。;沙特,F。;Hao,J.K.,GASAT:可满足性问题的遗传局部搜索算法,进化计算,14,223-253(2006)
[21] 莱文,洛杉矶,通用搜索问题,Problemy Peredachi Informatsii。Problemy Peredachi Informatsii,信息传输问题,9,3,265-266(1975),(俄语),翻译:
[22] 梅扎德,M。;帕里西,G。;Zecchina,R.,随机可满足性问题的分析和算法解,《科学》,297812-815(2002)
[23] Motwani,R。;Raghavan,P.,《随机算法》(1995),剑桥大学出版社:剑桥大学出版社,英国剑桥·Zbl 0849.68039号
[24] 尼克斯·A·E。;Vose,M.D.,用马尔可夫链建模遗传算法,数学与人工智能年鉴,5,179-88(1992)·Zbl 1034.68534号
[25] C.H.Papadimitiou,《关于选择令人满意的真理分配》,载于:第32届IEEE计算机科学基础年会论文集,1991年,第163-169页;C.H.Papadimitiou,《关于选择令人满意的真理分配》,载于:第32届IEEE计算机科学基础年会论文集,1991年,第163-169页
[26] Papadimitiou,C.H.,计算复杂性(1994),艾迪森·卫斯理
[27] 帕图里,P。;Pudlak,P。;萨克斯,M.E。;Zane,F.,《(k)-SAT的改进指数时间算法》,美国医学会杂志,52,3,337-364(2005)·Zbl 1297.68217号
[28] D.Rolf,改进的3-SAT PPSZ/Schöning算法界限,计算复杂性电子讨论会,第159号报告,2005年;D.Rolf,改进的3-SAT PPSZ/Schöning算法界限,计算复杂性电子讨论会,第159号报告,2005年
[29] U.Schöning,(k)的概率算法;U.Schöning,(k)的概率算法
[30] U.Schöning,《随机局部搜索原理》,收录于:《第六届非常规计算会议论文集》,加拿大金斯顿,2007年,收录在:《计算机科学讲义》,第4618卷,2007,第178-187页;U.Schöning,《随机局部搜索原理》,收录于:《第六届非常规计算会议论文集》,加拿大金斯顿,2007年,收录在:《计算机科学讲义》,第4618卷,2007,第178-187页
[31] B.Selman,H.Levesque,D.Mitchell,《解决难满足问题的新方法》,载于:《第十届全国人工智能会议论文集》(AAAI-92),圣何塞,1992年,第440-446页;B.Selman,H.Levesque,D.Mitchell,《解决难满足性问题的新方法》,摘自:《第十届全国人工智能会议论文集》(AAAI-92),圣何塞,1992年,第440-446页
[32] B.Selman,H.A.Kautz,B.Cohen,《改善局部搜索的噪音策略》,载于《第十二届全国人工智能会议论文集》(AAAI-94),第1卷,1994年,第337-343页;B.Selman,H.A.Kautz,B.Cohen,《改善局部搜索的噪音策略》,载于《第十二届全国人工智能会议论文集》(AAAI-94),第1卷,1994年,第337-343页
[33] W.Wei,B.Selman,《加速随机行走》,载于:《第八届国际约束编程原理与实践会议论文集》(CP-2002),载于《计算机科学讲义》,第2470卷,2002年,第216-232页;W.Wei,B.Selman,《加速随机行走》,载于:《第八届国际约束编程原理与实践会议论文集》(CP-2002),载于《计算机科学讲义》,第2470卷,2002年,第216-232页
[34] 张,H。;Stickel,M.,《实施Davis-Putnam方法》,《自动推理杂志》,24,12,277-296(2000)·Zbl 0967.68148号
此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配,并且可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。