×
莫纳尔多Mastrolli;卢卡·玛丽亚·甘巴黛拉

最大可满足性：禁忌搜索和高原移动在最坏情况下的表现如何？ （英语） Zbl 1066.90048号

欧洲药典。物件。 166，第1期，63-76（2005）.
摘要：禁忌搜索算法是解决最大可满足性问题的最成功的基于局部搜索的方法之一。禁忌搜索相对于单独的局部搜索的实际优势已经被多次实验证明。这里要解决的一个自然问题是，从最坏的角度来理解这种优势是否成立。此外，众所周知，禁忌技术的一个关键参数是禁忌列表长度。针对MAX-2-SAT问题，本文的主要贡献是将禁忌搜索作为禁忌列表长度的函数进行最坏情况分析。我们给出了禁忌搜索策略相对于仅依赖于禁忌列表长度的基本局部搜索的优势的第一个理论证据。我们的第二个贡献是关于一种广泛的信念，即当达到局部最优解时，只需通过进行不恶化的“平台”移动来继续搜索，即可显著提高基于局部搜索的算法的成功率。我们首先观察到无平台搜索策略有助于提高基本局部搜索的近似率。然而，对于问题的受限版本，我们证明了平台移动可以将基本局部搜索的近似比从1/2提高到2/3。

引用于三文件

MSC公司：

90B40码 搜索理论
90C60型 数学规划问题的抽象计算复杂性
90 C59 数学规划中的近似方法和启发式
90立方厘米 马尔可夫和半马尔可夫决策过程

关键词：

最大可满足性;禁忌搜索;本地搜索;最坏情况分析

软件：

徒步旅行;最大2-SAT
PDF格式BibTeX公司 XML格式引用
\textit{M.Mastrolilli}和\textit{L.M.Gambardela}，欧洲期刊Oper。第166号决议，第1、63--76号（2005年；Zbl 1066.90048）
全文： 内政部

参考文献：

[1] Asano，T。；Williamson，D.P.，《MAX SAT的改进近似算法》，（第十一届ACM-SIAM离散算法年会论文集（2000），ACM出版社），96-105·Zbl 0952.90019号
[2] Ausiello，G。；Crescenzi，P。；甘博西，G。；坎恩，V。；Marchetti-Paccamela，A。；Protasi，M.，复杂性与近似（1999），施普林格·Zbl 0937.68002号
[3] 巴提提，R。；Protasi，M.，反应式搜索，MAX-SAT的历史敏感启发式，ACM实验算法杂志，2，第2篇（1997）·Zbl 1073.68653号
[4] 巴提提，R。；Protasi，M.，MaxSat的近似算法和启发式，（Du，D.-Z.；Pardalos，P.M.，《组合优化手册》，第1卷（1998），Kluwer学术出版社：Kluwer-学术出版社Dordrecht），77-148·兹比尔0926.90079
[5] 巴提提，R。；Tecchiolli，G.，反应式禁忌搜索，ORSA计算杂志，6126-140（1994）·Zbl 0807.90094号
[6] 德尔·阿米科，M。；Trubian，M.，将禁忌搜索应用于车间调度问题，运筹学年鉴，22，15-24（1993）·Zbl 0771.90056号
[7] Garey，M.R。；约翰逊，D.S.，《计算机与难治性》；NP完全性理论指南（1979），W.H.Freeman·Zbl 0411.68039号
[8] Glover，F.，《整数编程的未来路径与人工智能的链接》，《计算机与运筹学》，第13期，第533-549页（1986年）·Zbl 0615.90083号
[9] Glover，F.，Tabu search-Part I，ORSA Journal on Computing，1,3190-206（1989）·Zbl 0753.90054号
[10] Glover，F.，Tabu search-Part II，ORSA计算杂志，2，1，4-32（1990）·Zbl 0771.90084号
[11] 戈曼斯，M.X。；Williamson，D.P.，《MAX SAT的新近似算法》，SIAM离散数学杂志，7656-666（1994）·Zbl 0812.90129号
[12] 戈曼斯，M.X。；Williamson，D.P.，使用半定规划求解最大割和可满足性问题的改进近似算法，计算机械协会期刊，421115-1145（1995）·Zbl 0885.68088号
[13] Hansen，P。；Jaumard，B.，最大可满足性问题的算法，计算，44279-303（1990）·Zbl 0716.68077号
[14] Hoos，H.H.，《关于SAT随机局部搜索算法的运行时行为》，（第六届全国人工智能会议论文集（AAAI-99）；《第十一届人工智能创新应用会议论文集》（1999年），AAAI/MIT出版社，第661-666页
[15] S.Khanna，R.Motwani，M.Sudan，U.Vazirani，《关于近似性的句法与计算观点》，载于：《论文集：第35届计算机科学基础年度研讨会》，1994年，第819-830页；S.Khanna，R.Motwani，M.Sudan，U.Vazirani，《关于近似性的句法与计算观点》，载于：《论文集：第35届计算机科学基础年度研讨会》，1994年，第819-830页·Zbl 0915.68068号
[16] Mastrolilli，M。；Gambardella，L.M.，《柔性车间问题的有效邻域函数》，《调度杂志》，3，3-20（2000）·兹比尔1028.90018
[17] 迷宫，B。；萨伊斯，L。；伊利诺伊州格雷戈里。，Tabu search for SAT，（《第十四届全国人工智能会议和第九届人工智能创新应用会议论文集》（AAAI-97/IAAI-97）（1997），AAAI出版社），第281-285页
[18] 米尔斯，P。；Tsang，E.，解决SAT和加权MAX-SAT问题的引导式局部搜索，JAR:自动推理杂志，24205-223（2000）·兹比尔0967.68152
[19] B.Selman，H.A.Kautz，B.Cohen，可满足性测试的局部搜索策略，收录于：M.Trick，D.S.Johnson（编辑），《第二次DIMACS会议录》，《关于集团、着色和可满足性的挑战》，1993年；B.Selman，H.A.Kautz，B.Cohen，可满足性测试的局部搜索策略，收录于：M.Trick，D.S.Johnson（编辑），《第二次DIMACS会议录》，《关于集团、着色和可满足性的挑战》，1993年·Zbl 0864.90093号
[20] 塞尔曼，B。；Levesque，H.J。；Mitchell，D.，《解决难满足问题的新方法》，（Rosenbloom，P.；Szolovits，P.，《第十届全国人工智能会议论文集》（1992），AAAI出版社），440-446
[21] K.Smyth，H.H.Hoos，T.Stuetzle，《MAX-SAT的迭代鲁棒禁忌搜索》，载《第16届加拿大人工智能会议论文集》（AI'2003），LNCS 26712003，第661-666页；K.Smyth，H.H.Hoos，T.Stuetzle，MAX-SAT的迭代鲁棒禁忌搜索，载于：《第16届加拿大人工智能大会论文集》（AI’2003），LNCS 26712003，第661-666页
[22] 吴，Z。；Wah，B.W.，《离散拉格朗日方法中解决难满足问题的有效全局搜索策略》，（第七届人工智能会议（AAAI-00）和第十二届人工智能创新应用会议（IAAI-00，2000），AAAI出版社），第310-315页
[23] Yannakakis，M.，《关于最大可满足性的近似》，《算法杂志》，17，3，475-502（1994）·Zbl 0820.68056号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。