Extremal optimization at the phase transition of the three-coloring problem.

We investigate the phase transition in vertex coloring on random graphs, using the extremal optimization heuristic. Three-coloring is among the hardest combinatorial optimization problems and is equivalent to a 3-state anti-ferromagnetic Potts model. Like many other such optimization problems, it has been shown to exhibit a phase transition in its ground state behavior under variation of a system parameter: the graph's mean vertex degree. This phase transition is often associated with the instances of highest complexity. We use extremal optimization to measure the ground state cost and the "backbone," an order parameter related to ground state overlap, averaged over a large number of instances near the transition for random graphs of size n up to 512. For these graphs, benchmarks show that extremal optimization reaches ground states and explores a sufficient number of them to give the correct backbone value after about O (n(3.5)) update steps. Finite size scaling yields a critical mean degree value alpha(c) =4.703 (28). Furthermore, the exploration of the degenerate ground states indicates that the backbone order parameter, measuring the constrainedness of the problem, exhibits a first-order phase transition.

[1]  Joseph C. Culberson,et al.  Frozen development in graph coloring , 2001, Theor. Comput. Sci..

[2]  Rémi Monasson,et al.  Determining computational complexity from characteristic ‘phase transitions’ , 1999, Nature.

[3]  P. Gács,et al.  Algorithms , 1992 .

[4]  Stefan Boettcher,et al.  Extremal Optimization for Graph Partitioning , 2001, Physical review. E, Statistical, nonlinear, and soft matter physics.

[5]  Mats G. Nordahl,et al.  Relaxation in graph coloring and satisfiability problems , 1998, ArXiv.

[6]  M. Leone,et al.  Phase coexistence and finite size scaling in random combinatorial problems , 2001 .

[7]  Stefan Boettcher,et al.  Optimizing through Co-evolutionary Avalanches , 2000, PPSN.

[8]  Tad Hogg,et al.  Phase Transitions in Artificial Intelligence Systems , 1987, Artif. Intell..

[9]  Tad Hogg,et al.  Refining the Phase Transition in Combinatorial Search , 1996, Artif. Intell..

[10]  Béla Bollobás,et al.  The scaling window of the 2‐SAT transition , 1999, Random Struct. Algorithms.

[11]  Michael A. Trick,et al.  A Column Generation Approach for Graph Coloring , 1996, INFORMS J. Comput..

[12]  Riccardo Zecchina,et al.  Simplest random K-satisfiability problem , 2000, Physical review. E, Statistical, nonlinear, and soft matter physics.

[13]  Béla Bollobás,et al.  Random Graphs , 1985 .

[14]  Riccardo Zecchina,et al.  Coloring random graphs , 2002, Physical review letters.

[15]  Stefan Boettcher,et al.  Jamming Model for the Extremal Optimization Heuristic , 2001, ArXiv.

[16]  R. Zecchina,et al.  Polynomial iterative algorithms for coloring and analyzing random graphs. , 2003, Physical review. E, Statistical, nonlinear, and soft matter physics.

[17]  F. Y. Wu The Potts model , 1982 .

[18]  Cecilia R. Aragon,et al.  Optimization by Simulated Annealing: An Experimental Evaluation; Part II, Graph Coloring and Number Partitioning , 1991, Oper. Res..

[19]  R. Monasson,et al.  Statistical physics analysis of the computational complexity of solving random satisfiability problems using backtrack algorithms , 2000, cond-mat/0012191.

[20]  S Kirkpatrick,et al.  Critical Behavior in the Satisfiability of Random Boolean Expressions , 1994, Science.

[21]  S Cocco,et al.  Trajectories in phase diagrams, growth processes, and computational complexity: how search algorithms solve the 3-satisfiability problem. , 2001, Physical review letters.

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

[23]  S. M. Bhattacharjee,et al.  A measure of data collapse for scaling , 2001, cond-mat/0102515.

[24]  M. Mézard,et al.  Spin Glass Theory and Beyond , 1987 .

[25]  M. Garey Johnson: computers and intractability: a guide to the theory of np- completeness (freeman , 1979 .

[26]  F. Guerra Spin Glasses , 2005, cond-mat/0507581.

[27]  David B. Wilson,et al.  The empirical values of the critical k-SAT exponents are wrong , 2000 .

[28]  S. Boettcher Extremal Optimization of Graph Partitioning at the Percolation Threshold , 1999, cond-mat/9901353.

[29]  Joel H. Spencer,et al.  Sudden Emergence of a Giantk-Core in a Random Graph , 1996, J. Comb. Theory, Ser. B.