Satellites and Mirrors for Solving Independent Set on Sparse Graphs

In this paper, we study the well-known Maximum Independent Set (MIS)problem: Given a graph G = (V,E) with n nodes and m edges, the problemis to find an independent set I ⊆ V of maximum size α(G), i.e., a set I ⊆ Vsuch that no two nodes in I are adjacent. This problem is known to be NP-complete [11] even on graphs of a maximum degree of three (cubic graphs).Being a problem with a long research history, there are already numerous resultsregarding approximation algorithms, randomized algorithms, or otherapproachesfor MIS on sparse graphs, see, e.g., [1,3,4,9]. Here, we concentrate on exactalgorithms for sparse graphs. For exact algorithms on arbitrary graphs, we referthe reader to the latest corresponding results, which are due to Robson [13] anddue to Fomin, Grandoni, and Kratsch [7].Recently, there have been various new results for MIS on sparse graphs:In 1999, Beigel [2] introduced an O

[1]  Vangelis Th. Paschos,et al.  An O*(1.0977n) Exact Algorithm for max independent set in Sparse Graphs , 2008, IWPEC.

[2]  Jürgen Giesl,et al.  SAT Solving for Termination Analysis with Polynomial Interpretations , 2007, SAT.

[3]  Martin Fürer,et al.  A Faster Algorithm for Finding Maximum Independent Sets in Sparse Graphs , 2006, LATIN.

[4]  Alan M. Frieze,et al.  On the Independence Number of Random Cubic Graphs , 1994, Random Struct. Algorithms.

[5]  R. Stephenson.  A and V , 1962, The British journal of ophthalmology.

[6]  Robert E. Tarjan,et al.  Finding a Maximum Independent Set , 1976, SIAM J. Comput..

[7]  Igor Razgon,et al.  A Faster Solving of the Maximum Independent Set Problem for Graphs with Maximal Degree 3 , 2006, ACiD.

[8]  Piotr Berman,et al.  On the Approximation Properties of Independent Set Problem in Degree 3 Graphs , 1995, WADS.

[9]  Fabrizio Grandoni,et al.  Measure and Conquer: Domination - A Case Study , 2005, ICALP.

[10]  Richard Beigel,et al.  Finding maximum independent sets in sparse and general graphs , 1999, SODA '99.

[11]  David S. Johnson,et al.  Computers and Intractability: A Guide to the Theory of NP-Completeness , 1978 .

[12]  T. Kraußer,et al.  A Probabilistic Justification of the Combining Calculus under the Uniform Scheduler Assumption , 2007 .

[13]  Mesut Gunes,et al.  From Simulations to Testbeds — Architecture of the Hybrid MCG-Mesh Testbed , 2006 .

[14]  Ge Xia,et al.  Labeled Search Trees and Amortized Analysis: Improved Upper Bounds for NP-Hard Problems , 2003, Algorithmica.

[15]  Piotr Berman,et al.  Approximating maximum independent set in bounded degree graphs , 1994, SODA '94.

[16]  Viggo Kann,et al.  Some APX-completeness results for cubic graphs , 2000, Theor. Comput. Sci..

[17]  Fabrizio Grandoni,et al.  Measure and conquer: a simple O(20.288n) independent set algorithm , 2006, SODA '06.