701 research outputs found
Phase Transitions and Computational Difficulty in Random Constraint Satisfaction Problems
We review the understanding of the random constraint satisfaction problems,
focusing on the q-coloring of large random graphs, that has been achieved using
the cavity method of the physicists. We also discuss the properties of the
phase diagram in temperature, the connections with the glass transition
phenomenology in physics, and the related algorithmic issues.Comment: 10 pages, Proceedings of the International Workshop on
Statistical-Mechanical Informatics 2007, Kyoto (Japan) September 16-19, 200
Solving Graph Coloring Problems with Abstraction and Symmetry
This paper introduces a general methodology, based on abstraction and
symmetry, that applies to solve hard graph edge-coloring problems and
demonstrates its use to provide further evidence that the Ramsey number
. The number is often presented as the unknown Ramsey
number with the best chances of being found "soon". Yet, its precise value has
remained unknown for more than 50 years. We illustrate our approach by showing
that: (1) there are precisely 78{,}892 Ramsey colorings; and (2)
if there exists a Ramsey coloring then it is (13,8,8) regular.
Specifically each node has 13 edges in the first color, 8 in the second, and 8
in the third. We conjecture that these two results will help provide a proof
that no Ramsey coloring exists implying that
- …