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).
机构:
Univ Cambridge, Dept Pure Math & Math Stat DPMMS, Wilberforce Rd, Cambridge CB3 0WA, EnglandUniv Cambridge, Dept Pure Math & Math Stat DPMMS, Wilberforce Rd, Cambridge CB3 0WA, England
Mond, Adva
Portier, Julien
论文数: 0引用数: 0
h-index: 0
机构:
Univ Cambridge, Dept Pure Math & Math Stat DPMMS, Wilberforce Rd, Cambridge CB3 0WA, EnglandUniv Cambridge, Dept Pure Math & Math Stat DPMMS, Wilberforce Rd, Cambridge CB3 0WA, England