Computation of new diagonal graph Ramsey numbers

Authors

Richard M. Low, San Jose State UniversityFollow
Ardak Kapbasov, San Jose State University
Arman Kapbasov, Facebook, Inc.
Sergey Bereg, The University of Texas at Dallas

Publication Date

1-1-2022

Document Type

Article

Publication Title

Electronic Journal of Graph Theory and Applications

Volume

10

Issue

2

DOI

10.5614/ejgta.2022.10.2.17

First Page

575

Last Page

588

Abstract

For various connected simple graphs G, we extend the table of diagonal graph Ramsey numbers R(G,G) in ‘An Atlas of Graphs.’ This is accomplished by first converting the calculation of R(G,G) into a satisfiability problem in propositional logic. Mathematical arguments and scientific computing are then used to calculate R(G,G).

Keywords

Diagonal ramsey numbers, Graph ramsey theory

Creative Commons License

This work is licensed under a Creative Commons Attribution-Share Alike 4.0 License.

Department

Mathematics and Statistics

Recommended Citation

Richard M. Low, Ardak Kapbasov, Arman Kapbasov, and Sergey Bereg. "Computation of new diagonal graph Ramsey numbers" Electronic Journal of Graph Theory and Applications (2022): 575-588. https://doi.org/10.5614/ejgta.2022.10.2.17