2026-09-30
2026年9月29日下午,复旦大学数学科学学院第44期院士论坛在光华楼东辅楼103室举行。加拿大西蒙菲莎大学杰出教授Bojan Mohar带来题为 《The Four Color Theorem: The Tip of the Iceberg》的专题报告。报告以经典的四色定理为起点,从可人工核查的证明、算法以及相关推广等多个角度,带领大家探寻四色定理这一“冰山一角”背后更为丰富的图论结构与问题。本次报告由数学科学学院院长沈维孝院士主持。报告的第一部分,Mohar教授回顾了四色定理的发展历史。四色定理源于19世纪中叶的地图着色问题,其后经历了多次证明尝试,并最终在1976年由Appel和Haken借助计算机完成证明,1996年 Robertson、Seymour、Sanders 和 Thomas 又对证明进行了重要改进。Mohar教授进一步介绍了Tait关于三次平面图边着色的等价表述,以及Tutte建立的着色与流之间的对偶关系:平面图的顶点着色问题可以转化为其对偶图上的nowhere-zero flow问题。由此,四色定理不再只是一个孤立的地图着色结论,而与边着色、网络流及更一般的图结构