内容摘要
钩子：1852 年 Guthrie 发现四色够用，到 1976 年 Appel-Haken 用 1200 小时机时宣布证明——机器算的算证明吗，吵到今天。附染色与挤界台（固定种子 8 区 4 色染色成功档；K5 试装：5 国互邻要 10 条边 > 平面上界 3n−6=9 装不下档）+ 三题（机器证明争议/K5 画不出/角接触同色）。划界：「纸上大地」讲地图怎么画，本期讲染色。
钩子：1852 年 Guthrie 发现四色够用，到 1976 年 Appel-Haken 用 1200 小时机时宣布证明——机器算的算证明吗，吵到今天。附染色与挤界台（固定种子 8 区 4 色染色成功档；K5 试装：5 国互邻要 10 条边 > 平面上界 3n−6=9 装不下档）+ 三题（机器证明争议/K5 画不出/角接触同色）。划界：「纸上大地」讲地图怎么画，本期讲染色。