Computing the Ramsey number R(4,3,3) using abstraction and symmetry breaking

Michael Codish, Michael Frank, Avraham Itzhakov, Alice Miller

Research output: Contribution to journalArticlepeer-review

10 Scopus citations

Abstract

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 almost 50 years. This paper presents a methodology based on abstraction and symmetry breaking that applies to solve hard graph edge-coloring problems. The utility of this methodology is demonstrated by using it to compute the value R(4, 3, 3) = 30. Along the way it is required to first compute the previously unknown set ℛ(3 , 3 , 3 ; 13) consisting of 78,892 Ramsey colorings.

Original languageEnglish
Pages (from-to)375-393
Number of pages19
JournalConstraints
Volume21
Issue number3
DOIs
StatePublished - 1 Jul 2016

Keywords

  • Ramsey numbers
  • SAT solving
  • Symmetry breaking

ASJC Scopus subject areas

  • Software
  • Discrete Mathematics and Combinatorics
  • Computational Theory and Mathematics
  • Artificial Intelligence

Fingerprint

Dive into the research topics of 'Computing the Ramsey number R(4,3,3) using abstraction and symmetry breaking'. Together they form a unique fingerprint.

Cite this