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

【作者(必填)】Michael Codish, Michael Frank, Avraham Itzhakov, Alice Miller

【文题(必填)】Computing the Ramsey number R(4,3,3) using abstraction and symmetry breaking

【年份(必填)】2016

【全文链接或数据库名称(选填)】http://link.springer.com/article/10.1007/s10601-016-9240-3

giresse 发表于 2016-7-16 13:53

多谢！这篇文章声称算出了r(3, 3, 4)。如果是对的，这是第二个被确定下来的经典三色拉姆塞数，第一个是r(3, 3, 3)。这是小拉姆塞数计算的重要进展。

lzguo99 发表于 2016-7-16 14:24
多谢！这篇文章声称算出了r(3, 3, 4)。如果是对的，这是第二个被确定下来的经典三色拉姆塞数，第一个是r( ...

呵呵，我不懂里面的内容。