热度排名 #1916
一张地图的着色谜题怎样改变了数学?
The Map Coloring Puzzle That Changed Mathematics
先把区域的相邻关系换成平面图,再看证明四色足够为何引出计算机辅助验证。重点是怎样保证检查过的情形覆盖了所有地图。
Quanta Magazine · 1 串讨论 · 热度 1.418
讨论出处
- Hacker News · 原讨论 ↗2023-09-01 · 帖子分数 1
热度排名 #1916
The Map Coloring Puzzle That Changed Mathematics
先把区域的相邻关系换成平面图,再看证明四色足够为何引出计算机辅助验证。重点是怎样保证检查过的情形覆盖了所有地图。
Quanta Magazine · 1 串讨论 · 热度 1.418