×
研究员Michael R。;费多尔·福明。;丹尼尔·洛克斯塔诺夫;弗朗西丝·罗莎蒙德;萨科特·索拉布;Yngve村

本地搜索：暴力是可以避免的吗？ （英语） Zbl 1244.68070号

J.计算。系统。科学。 78，第3期，707-719（2012）.
摘要：许多局部搜索算法都是基于交换邻域的搜索。这是一组可以通过交换最多个元素从当前解决方案中获得的解决方案。根据经验法则，“k”越大，找到改进解决方案的机会就越大。然而，对于大小为\（n\）的输入，对\（k）-交换邻域进行天真的强制搜索需要\（n^{O（k）}\）时间，即使对于非常小的\（k。我们证明了对于几类稀疏图，包括平面图、有界顶点度图和作为次要图排除某些固定图的图，可以更有效地在k交换邻域中找到许多问题的改进解。我们的算法是在时间（mathcal O（tau（k）\cdot n ^c））中运行的，其中，（tau）是一个仅依赖于（k）的函数，而（c）是独立于\（k）和\（n）的常数。我们证明了这种方法在各种问题上的适用性，包括-居中，顶点覆盖，奇数周期横向，最大切削量、和最小剖切特别是，在平面图上，我们所有搜索a（k）-局部改进的算法都是在时间上运行的。我们用参数化的难解性结果来补充这些用于（k）-局部搜索的固定参数可处理算法，这表明在更一般的图类中，强制搜索是不可避免的。

引用于20文件

MSC公司：

68T20型 人工智能背景下的问题解决（启发式、搜索策略等）
68兰特 计算机科学中的图论（包括图形绘制）
65年第68季度 算法和问题复杂性分析
05立方厘米85 图形算法（图形理论方面）

关键词：

参数复杂性;本地搜索;局部树宽
PDF格式BibTeX公司 XML格式引用
\textit{M.R.Fellows}等人，J.Compute。系统。科学。78，第3号，707--719（2012；Zbl 1244.68070）
全文： 内政部

参考文献：

[1] 阿尔茨，E.H.L。；Korst，J。；van Laarhoven，P.J.M.，模拟退火，（组合优化中的局部搜索（1997），威利），91-120·Zbl 0905.90140号
[2] 阿尔茨，E.H.L。；Lenstra，J.K.，《组合优化中的局部搜索》（1997），普林斯顿大学出版社·Zbl 0906.90143号
[3] F.Bock，解决“旅行售货员”及相关网络优化问题的算法，研究报告，装甲研究基金会，1958年。；F.Bock，解决“旅行售货员”和相关网络优化问题的算法，研究报告，装甲研究基金会，1958年。
[4] Bodlaender，H.L.，具有有界树宽的图的部分（k）树丛，Theoret。计算。科学。，209, 1-45 (1998) ·Zbl 0912.68148号
[5] 陈，J。；堪萨斯州。；Xia，G.，改进的顶点覆盖上界，Theoret。计算。科学。，411, 3736-3756 (2010) ·Zbl 1205.05217号
[6] Croes，G.，《解决旅行售货员问题的方法》，Oper。第6791-812号决议（1958年）·Zbl 1414.90303号
[7] Demaine，E.D。；Fomin，F.V。；哈加伊，麻省理工。；Thilikos，D.M.，平面图和地图图中（k，r）中心的固定参数算法，ACM Trans。算法，133-47（2005）·Zbl 1321.05256号
[8] Demaine，E.D。；Fomin，F.V。；哈加伊，麻省理工。；Thilikos，D.M.，关于有界亏格图和次自由图的次指数参数化算法，J.ACM，52866-893（2005）·Zbl 1326.05152号
[9] Demaine，E.D。；Hajiaghayi，M.，通过二维应用的树宽网格子项的线性，组合数学，28，19-36（2008）·Zbl 1174.05115号
[10] E.D.Demaine，M.T.Hajiaghayi，K.ichi Kawarabayashi，算法图次要理论：分解、近似和着色，收录于：FOCS，2005年，第637-646页。；E.D.Demaine，M.T.Hajiaghayi，K.ichi Kawarabayashi，算法图次要理论：分解、近似和着色，收录于：FOCS，2005年，第637-646页。
[11] 唐尼，R.G。；Fellows，M.R.，参数化复杂性（1999），施普林格出版社：施普林格出版社，纽约·Zbl 0914.68076号
[12] Eppstein，D.，小闭图族中的直径和树宽，算法，27275-291（2000）·Zbl 0963.05128号
[13] 美国费格尔。；Kern，W.，《关于模拟退火算法收敛性的注记》，SIAM J.Control Optim。，29, 153-159 (1991) ·Zbl 0736.90061号
[14] Feige，美国。；哈加伊，M。；Lee，J.R.，最小权顶点分隔符的改进近似算法，SIAM J.Compute。，38, 629-657 (2008) ·Zbl 1172.68063号
[15] M.Fellows、F.V.Fomin、D.Lokshtanov、F.Rosamond、S.Saurabh、Y.Villanger，《本地搜索：暴力是可以避免的吗？》？，摘自：《第21届国际人工智能联合会议论文集》（IJCAI-09），AAAI，2009年，第486-491页。；M.Fellows、F.V.Fomin、D.Lokshtanov、F.Rosamond、S.Saurabh、Y.Villanger，《本地搜索：暴力是可以避免的吗？》？，载于：《第21届国际人工智能联合会议记录》（IJCAI-09），AAAI，2009年，第486-491页·兹比尔1244.68070
[16] 弗鲁姆，J。；Grohe，M.，参数化复杂性理论（2006），Springer-Verlag:Springer-Verlag Berlin·Zbl 1143.68016号
[17] Fomin，F.V。；Lokshtanov，D。；拉曼，V。；Saurabh，S.，比赛中加权反馈弧集的快速局部搜索算法，（第24届AAAI人工智能会议论文集（AAAI，2010）（2010），AAAI出版社），65-70
[18] Grohe，M.，《局部树宽度、排除子项和近似算法》，组合数学，23，613-632（2003）·Zbl 1089.05503号
[19] A.Gupta，埃及。Tardos，一类分类问题的常数因子近似算法，收录于：STOC，2000年，第652-658页。；A.Gupta，埃及。Tardos，一类分类问题的常数因子近似算法，收录于：STOC，2000年，第652-658页·Zbl 1296.68078号
[20] Jansen，K。；卡宾斯基，M。；Lingas，A。；Seidel，E.，平面图和几何图上最大剖分的多项式时间近似方案，SIAM J.Comput。，35110-119（2005年）·Zbl 1087.90063号
[21] 约翰逊，D.S。；Papadimitriou，C.H。；Yannakakis，M.，本地搜索有多容易？，J.计算。系统。科学。，37, 79-100 (1988) ·Zbl 0655.68074号
[22] Khanna，S。；Motwani，R。；苏丹，M。；Vazirani，U.V.，关于近似性的句法与计算观点，SIAM J.Comput。，28, 164-191 (1998) ·Zbl 0915.68068号
[23] 科特，S。；Raman，V.，寻找具有遗传特性的子图的参数化复杂性，Theoret。计算。科学。，289, 997-1008 (2002) ·Zbl 1061.68061号
[24] 库勒，S。；巴蒂亚，R。；Pless，R.，《关于网络中电表的本地搜索和放置》，SIAM J.Compute。，32, 470-487 (2003) ·Zbl 1033.90107号
[25] Kleinberg，J。；Tardos，E.，《算法设计》（2005），Addison-Wesley Longman Publishing Co.，Inc.：美国马萨诸塞州波士顿
[26] Krokhin，A。；Marx，D.，《论减肥的硬度》，（ICALP.ICALP，《计算科学讲义》，第5125卷（2008年），施普林格出版社），662-673·Zbl 1153.68382号
[27] Lin，S。；Kernighan，B.W.，旅行推销员问题的一种有效启发式算法，Oper。决议，21498-516（1973）·Zbl 0256.90038号
[28] Marx，D.，局部搜索，参数化复杂性通讯，3，7-8（2008）
[29] Marx，D.，在k-change邻域中搜索TSP是困难的，Oper。Res.Lett.公司。，36, 31-36 (2008) ·Zbl 1166.90364号
[30] Michiels，W。；阿尔茨，E.H.L。；Korst，J.，《局部搜索的理论方面》（2007），施普林格-弗拉格出版社·Zbl 1130.90061号
[31] Niedermeier，R.，固定参数算法邀请函（2006），牛津大学出版社·Zbl 1095.68038号
[32] Papadimitriou，C.H。；Steiglitz，K.，《关于旅行推销员问题局部搜索的复杂性》，SIAM J.Compute。，6, 76-83 (1977) ·Zbl 0381.68043号
[33] Papadimitriou，C.H。；Steiglitz，K.，《组合优化：算法和复杂性》（1982），普伦蒂斯·霍尔·Zbl 0503.90060号
[34] 罗伯逊，N。；西摩，P.D.，《图的子类V.排除平面图》，J.Combin。B、 第41页，第92-114页（1986年）·Zbl 0598.05055号
[35] 罗伯逊，N。；Seymour，P.D.，《图子系统X。树分解的障碍》，J.Combination Theory Ser。B、 52、153-190（1991）·兹比尔0764.05069
[36] 罗伯逊，N。；西摩，P.D.，《未成年人图形十六》。排除非平面图，J.Combin.Theory Ser。B、 89、43-76（2003）·兹比尔1023.05400
[37] Szeider，S.，sat和max-sat的参数化复杂度-翻转局部搜索，离散优化。，8, 139-145 (2011) ·Zbl 1248.90067号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。