The known lower bound for the the classical Ramsey number $R(5,6)$ is improved from $58$ to $59$. The method used to construct the graph is a simple variant of computational methods that have been previously used to construct Ramsey graphs. The new method uses the concurrent programming features of the {\em Go} programming language.
此内容由惯性聚合(RSS阅读器)自动聚合整理，仅供阅读参考。 原文来自 — 版权归原作者所有。