拉姆齐数R(4, 8)的一个新下界
离散数学
2013-04-02 v3 组合数学
摘要
经典拉姆齐数R(4, 8)的下界从56改进至58。作者找到了K_{57}的一种新边着色，该着色在第一色中不含4阶完全图，在第二色中不含8阶完全图。该着色通过一个基于MiniSat并针对求解拉姆齐问题而定制的SAT求解器找到。
引用
@article{arxiv.1212.1328,
title = {A New Lower Bound for the Ramsey Number R(4, 8)},
author = {Hiroshi Fujita},
journal= {arXiv preprint arXiv:1212.1328},
year = {2013}
}