Solving Graph Coloring Problems with Abstraction and Symmetry

09/18/2014
by   Michael Codish, et al.
0

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 R(4,3,3)=30. The number R(4,3,3) 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 (3,3,3;13) Ramsey colorings; and (2) if there exists a (4,3,3;30) 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 (4,3,3;30) Ramsey coloring exists implying that R(4,3,3)=30.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
10/28/2015

Computing the Ramsey Number R(4,3,3) using Abstraction and Symmetry breaking

The number R(4,3,3) is often presented as the unknown Ramsey number with...
research
08/09/2021

Two-Class (r,k)-Coloring: Coloring with Service Guarantees

This paper introduces the Two-Class (r,k)-Coloring problem: Given a fixe...
research
10/27/2021

Rainbow cycles for families of matchings

Given a graph G and a coloring of its edges, a subgraph of G is called r...
research
09/15/2020

Scatterplot Selection Applying a Graph Coloring Problem

Scatterplot selection is an effective approach to represent essential po...
research
05/19/2021

Can We Break Symmetry with o(m) Communication?

We study the communication cost (or message complexity) of fundamental d...
research
06/28/2021

Designing color symmetry in stigmergic art

Color symmetry is an extension of symmetry imposed by isometric transfor...
research
04/02/2019

Decidability and Periodicity of Low Complexity Tilings

We investigate the tiling problem, also known as the domino problem, tha...

Please sign up or login with your details

Forgot password? Click here to reset