Vibe News

四色定理这次又被重新证明了一遍，六个数学家花了快十年。这个定理说的是任何一张地图，只要四种颜色，就能让相邻区域颜色都不一样，一八五二年提出，一九七六年第一次靠计算机证明，当年吵得很凶，因为没人能肉眼检查那么多种情况。这次新证明用的方法更复杂，比之前几版都绕，穷举的配置更多，图论学家戈蒂尔说他们是把电路图都用上了。但顺带的收获是找到了一种快得多的实际染色算法，以前给一张图上色要按顶点数的平方级步骤来搜索配置，新方法效率高出一大截。