Local search: Is brute-force avoidable?

详细信息	查看全文 | 推荐本文 |

• 作者：Michael R. Fellows^a ; ^{michael.fellows@cdu.edu.au} ; Fedor V. Fomin^b ; ^{fomin@ii.uib.no} ; Daniel Lokshtanov^c ; ^{daniello@ii.uib.no} ; Frances Rosamond^a ; ^{frances.rosamond@cdu.edu.au} ; Saket Saurabh^d ; ^{saket@imsc.res.in} ; Yngve Villanger^b ; ^{yngvev@ii.uib.no}
• 关键词：Parameterized complexity ; Local search ; Local treewidth
• 刊名：Journal of Computer and System Sciences
• 出版年：2012
• 期刊代码：186_00220000
• 类别：et
• 出版时间：May, 2012
• 卷：78
• 期：3
• 页码：707-719
• 文件大小：279 K

摘要

Many local search algorithms are based on searching in the k-exchange neighborhood. This is the set of solutions that can be obtained from the current solution by exchanging at most k elements. As a rule of thumb, the larger k is, the better are the chances of finding an improved solution. However, for inputs of size n, a na茂ve brute-force search of the k-exchange neighborhood requires time, which is not practical even for very small values of k. We show that for several classes of sparse graphs, including planar graphs, graphs of bounded vertex degree and graphs excluding some fixed graph as a minor, an improved solution in the k-exchange neighborhood for many problems can be found much more efficiently. Our algorithms run in time , where 蟿 is a function depending only on k and c is a constant independent of k and n. We demonstrate the applicability of this approach on a variety of problems including r-Center, Vertex Cover, Odd Cycle Transversal, Max-Cut, and Min-Bisection. In particular, on planar graphs, all our algorithms searching for a k-local improvement run in time , which is polynomial for . We complement these fixed-parameter tractable algorithms for k-local search with parameterized intractability results indicating that brute-force search is unavoidable in more general classes of graphs.