跳到主要内容
文章

加权MAXSAT问题的路径重链接GRASP

出版:2007年2月9日出版历史
跳过抽象节

摘要

本文描述了一种具有路径链接的GRASP,用于寻找加权最大可满足性问题(MAX-SAT)的高质量解。GRASP,或称贪婪随机自适应搜索过程,是一种随机的多部分元启发式算法,在每次迭代时,都会构建局部最优解,每个解都独立于其他解。先前的实验结果表明,该方法对于求解加权MAX-SAT实例是有效的。路径重新链接是一种用于加强对GRASP启发式生成的高质量孤立解决方案的搜索的过程。通过对纯GRASP(无路径重链接)和带路径重链接的GRASP的实验比较,说明了路径重链接在减少为加权最大可满足性问题找到高质量解决方案所需的平均时间方面的有效性。

工具书类

  1. Aiex,R.M.、Binato,S.和Resende,M.,2003年。带路径重链接的并行GRASP用于车间调度。并行计算29393-430。谷歌学者谷歌学者
  2. Aiex,R.M.、Resende,M.G.C.、Pardalos,P.M.和Toraldo,G.2005年。带有路径链接的GRASP用于三索引分配。信息J.关于计算17,2,224--247。谷歌学者谷歌学者
  3. Asano,T.1997年。MAX-SAT的近似算法:Yannakakis vs.Goemans-Williamson。在第五届IEEE以色列计算与系统理论研讨会上。24--37.谷歌学者谷歌学者
  4. Battiti,R.和Protasi,M.,1997年。反应式搜索,MAX-SAT的历史敏感启发式。ACM实验算法杂志2,2。谷歌学者谷歌学者
  5. Battiti,R.和Protasi,M.1998年。MAX-SAT的近似算法和启发式。在组合优化手册中,D.Z.Du和P.M.Pardalos,第1卷。Kluwer学术出版社。,马萨诸塞州波士顿,77-148。谷歌学者谷歌学者
  6. Canuto,S.A.、Resende,M.G.C.和Ribeiro,C.C.,2001年。带扰动的局部搜索用于图中有奖集合的Steiner树问题。网络38,50-58。谷歌学者谷歌学者
  7. Chen,J.、Friesen,D.和Zheng,H.1997年。johnson算法对MAX-SAT的严格限制。第12届IEEE计算复杂性年会论文集。274--281.谷歌学者谷歌学者
  8. 库克S.A.1971年。理论证明程序的复杂性。第三届ACM计算机理论年会论文集。151到158之间。谷歌学者谷歌学者
  9. Feige,U.和Goemans,M.X.,1995年。近似两个适当证明系统的值,并应用于MAX-2SAT和MAX-DICUT。第三届以色列计算与系统理论研讨会论文集。182--189.谷歌学者谷歌学者
  10. Feo,T.A.Resende,M.G.C.和Smith,S.H.,1994年。最大独立集的贪婪随机自适应搜索过程。运筹学42,860--878。谷歌学者谷歌学者
  11. Garey,M.R.和Johnson,D.S.1979年。计算机与难处理性:NP-完备性理论指南。加利福尼亚州旧金山弗里曼。谷歌学者谷歌学者
  12. Gent,I.P.和Walsh,T.,1993年。了解SAT的爬山程序。第11届全国人工智能会议记录。28--33.谷歌学者谷歌学者
  13. Glover,F.1996年。禁忌搜索和自适应内存编程:进展、应用和挑战。在《计算机科学与运筹学接口》一书中,R.S.Barr、R.V.Helgason和J.L.Kennington,Kluwer学术出版社编辑。马萨诸塞州波士顿1-75。谷歌学者谷歌学者
  14. Goemans,M.X.和Williamson,D.P.,1994年。最大可满足性问题的一种新的3/4近似算法。SIAM离散数学杂志7656-666。谷歌学者谷歌学者
  15. Goemans,M.X.和Williamson,D.P.,1995年。使用半定规划改进最大割和可满足性问题的近似算法。计算机协会杂志42,6,1115--1145。谷歌学者谷歌学者
  16. Hansen,P.和Jaumard,B.1990年。最大可满足性问题的算法。计算44,279--303。谷歌学者谷歌学者
  17. Hart,J.P.和Shogan,A.W.1987年。半贪婪启发式:一项实证研究。运营研究快报6107--114。谷歌学者谷歌学者
  18. Hastad,J.2001年。一些最佳不可接近性结果。美国医学会杂志48,798-859。谷歌学者谷歌学者
  19. Johnson,D.S.1974年。组合问题的近似算法。计算机与系统科学杂志9256-278。谷歌学者谷歌学者
  20. Johnson,D.S.、Papadimitriou,C.H.和Yannakakakis,M.,1988年。本地搜索?有多容易;计算机与系统科学杂志37,79-100。谷歌学者谷歌学者
  21. Johnson,D.S.和Trick,M.A.,1996年版。团、着色和可满足性:第二个DIMACS实施挑战。离散数学和理论计算机科学DIMACS系列。美国数学学会。谷歌学者谷歌学者
  22. Karloff,H.和Zwick,U.1997年。MAX-3SAT的7/8近似算法。第38届IEEE计算机科学基础年会论文集。406--415.谷歌学者谷歌学者
  23. Krentel,M.W.,1988年。优化问题的复杂性。计算机与系统科学杂志36。谷歌学者谷歌学者
  24. Laguna,M.和Martí,R.,1999年。2层直线交叉最小化的GRASP和路径重新链接。信息计算杂志11,44-52。谷歌学者谷歌学者
  25. Resende,M.G.C.和Feo,T.A.,1996年。可满足性的GRASP。《团、着色和可满足性:第二次DIMACS实施挑战》,D.S.Johnson和M.A.Trick,第26版,DIMACS离散数学和理论计算机科学系列。美国数学学会。罗德岛州新普罗维登斯。499--520.谷歌学者谷歌学者
  26. Resende,M.G.C.和Pitsoulis,L.S.,2002年。贪婪的随机自适应搜索程序。《应用优化手册》,P.M.Pardalos和M.Resende主编,牛津大学出版社,牛津。168--183.谷歌学者谷歌学者
  27. Resende,M.G.C.、Pitsoulis,L.S.和Pardalos,P.M.,1997年。使用GRASP的加权MAX-SAT问题的近似解。《可满足性问题:理论与应用》,D.-Z.Du、J.Gu和P.M.Pardalos,美国数学学会离散数学与理论计算机科学DIMACS系列编辑。393--405.谷歌学者谷歌学者
  28. Resende,M.G.C.、Pitsoulis,L.S.和Pardalos,P.M.2000。使用GRASP计算加权MAX-SAT问题近似解的Fortran子程序。离散应用数学100,95-113。谷歌学者谷歌学者
  29. Resende,M.G.C.和Ribeiro,C.C.,2003年。具有路径重链接的专用虚拟电路路由GRASP。网络41,104--114。谷歌学者谷歌学者
  30. Resende,M.G.C.和Ribeiro,C.C.,2005年。GRASP和路径再链接:最新进展和应用。《元启发式:作为真正问题解决者的进步》,T.茨瓦拉基、K.Nonobe和M.Yagiura,Springer编辑,纽约。29-63。谷歌学者谷歌学者
  31. Ribeiro,C.C.、Uchoa,E.和Werneck,R.F.,2002年。图中Steiner问题的带有扰动的混合GRASP。信息计算杂志14,228--246。谷歌学者谷歌学者
  32. Selman,B.、Levesque,H.和Mitchell,D.1992。一种求解难满足实例的新方法。第十届全国人工智能会议论文集。440--446.谷歌学者谷歌学者
  33. 斯皮尔斯,W.M.,1996年。硬可满足性问题的模拟退火。《团、着色和可满足性:第二次DIMACS实施挑战》,D.S.Johnson和M.A.Trick,第26版,DIMACS离散数学和理论计算机科学系列。美国数学学会。罗德岛州新普罗维登斯。533--555.谷歌学者谷歌学者
  34. Trevisan,L.2000。逼近可满足可满足问题。算法28,1,145--172。谷歌学者谷歌学者
  35. Yannakakis,M.,1992年。关于最大可满足性的逼近。第三届ACM-SIAM离散算法研讨会论文集。1--9.谷歌学者谷歌学者

索引术语

  1. 加权MAXSAT问题的路径重链接GRASP

    建议

    评论

    登录选项

    检查您是否可以通过登录凭据或您的机构访问本文。

    登录

    完全访问权限

    • 发布于

      封面图片ACM实验算法杂志
      ACM实验算法杂志 第11卷,发行
      2006
      355页
      国际标准编号:1084-6654年
      EISSN公司:1084-6654
      内政部:10.1145/1187436
      期刊目录

      版权所有©2007 ACM

      出版商

      计算机协会

      美国纽约州纽约市

      出版历史

      • 出版:2007年2月9日
      发布于杰亚第11卷,发行

      限定符

      • 文章

    PDF格式

    以PDF文件的形式查看或下载。

    PDF格式

    电子阅读器

    使用eReader联机查看。

    电子阅读器