AAAI Publications, Twenty-First International Joint Conference on Artificial Intelligence

Font Size: 
Local Search: Is Brute-Force Avoidable?
Michael R. Fellows, Fedor V. Fomin, Daniel Lokshtanov, Frances A. Rosamond, Saket Saurabh, Yngve Villanger

Last modified: 2009-06-25


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 naive brute-force search of the k-exchange neighborhood requires n(O(k)) time, which is not practical even for very small values of k. We show that for several classes of sparse graphs, like 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 O(T(k)*nc), where T is a function depending on k only and c is a constant independent of k.  We demonstrate the applicability of this  approach on different  problems like 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 O(2(O(k)) * n(2)), which is polynomial for k=O(log n). We also complement the algorithms with complexity results indicating that brute force search is unavoidable in more general classes of sparse graphs.


Local Search, k-exchange neighborhood, Parameterized Complexity

Full Text: PDF