最近，我一直在研究R(5,5)的Ramsey定理。您可以在此处查看以前尝试的一些示例:http://zacharymaril.com/thoughts/constructionGraph.html本质:找到图中所有的k4或其补集，然后以不形成k5的方式连接另一个点(我知道有一种选择，从数学上讲，你不太可能超过14。但有一些方法围绕这个选择，我已经让它运行了22-23，而没有使我的浏览器变砖。)有了新的想法，我开始尝试逐批存储信息。当前构造图在每次看到图形时都会遍历并搜索图形中的所有k4。我认为这太过分了，因为k4将在之前的图中保持不变，并且只有新的k4可以出现在添加新点所产生的连接中。