Computation of new diagonal graph Ramsey numbers

被引：0
|
作者：
Low, Richard M. [1 ]
Kapbasov, Ardak [1 ]
Kapbasov, Arman [2 ]
Bereg, Sergey [3 ]
机构：
[1] San Jose State Univ, Dept Math & Stat, San Jose, CA 95192 USA
[2] Facebook, 1 Hacker Way, Menlo Pk, CA 94025 USA
[3] Univ Texas Dallas, Dept Comp Sci, Richardson, TX 75083 USA
来源：
ELECTRONIC JOURNAL OF GRAPH THEORY AND APPLICATIONS | 2022年 / 10卷 / 02期
关键词：
Graph Ramsey theory; diagonal Ramsey numbers;
D O I：
10.5614/ejgta.2022.10.2.17
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
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).
引用
收藏
页码：575 / 588
页数：14
相关论文
共 50 条
12345