The Four-Color Theorem Gets a Rare New Proof
21 days ago
- 四色定理在提出一个世纪后被证明，但由于依赖计算机证明而仍存争议。
- 肯普1879年的证明存在错误，但他的颜色交换方法（肯普链）仍然是基础性的。
- 阿佩尔和哈肯1976年的计算机证明需要检查1482种构型，并面临对计算可靠性的质疑。
- 1997年的一项证明将过程简化为633种构型，并随着计算改进而获得认可。
- 索罗普、托马森及其同事在2026年的证明使用了8202种构型，但支持并行归约以实现更快的着色。
- 这一新证明实现了n(log n)步着色，改进了之前的n²方法，并揭示了平面图的结构性见解。
- 这项工作为环面等其他曲面上的着色定理开辟了途径，尽管无需计算机的证明仍然难以实现。