00:00 / 21:51
连播
清屏
智能
倍速
点赞130
00:00 / 50:15
连播
清屏
智能
倍速
点赞NaN
00:00 / 00:16
连播
清屏
智能
倍速
点赞173
【中配】数学地图着色难题:首个由计算机完成的证明 #抖音年味新知贺岁 #青年创作者成长计划 你能仅用四种颜色就为世界上任何复杂的地图着色吗?这个听起来像小孩子涂鸦的问题,却让数学家们苦苦思索了一百多年。直到沃夫冈·哈肯(Wolfgang Haken)和肯尼斯·阿佩尔(Kenneth Appel)利用计算机完成了这一极具争议的证明,数学研究的范式从此被永远改变。 1. 核心定义:什么是四色定理? 四色定理 (Four-Color Theorem):在平面上划分出的任何地图,只需四种颜色就能保证相邻的区域(有共同边界,而非仅有点接触)颜色互不相同。 图论转化:数学家将地图中的每个区域抽象为一个“顶点”,相邻区域用“边”相连。这便将地理问题转化为了图论中的平面图染色问题。 2. 问题的本质:不可避免集与可约构型 证明该定理的关键在于寻找两个核心概念: 不可避免集 (Unavoidable Sets):数学家证明了任何地图都必然包含一组特定的基本构型(比如地图里总会出现只有 3、4 或 5 个邻居的区域)。 可约构型 (Reducible Configurations):如果一个构型是“可约”的,意味着只要更小的地图能用四色着色,那么包含这个构型的稍大地图也一定能行。 3. 关键转折点:肯普的错误与希伍德的修补 阿尔弗雷德·肯普 (Alfred Kempe):他在 1879 年宣布证明了该定理。他发明了著名的“肯普链(Kempe chains)”技巧,即通过交换特定链条上的颜色来解决冲突。 希伍德 (Percy Heawood):11 年后,希伍德发现肯普的证明在处理某些复杂的构型(如包含五个邻居的区域)时存在逻辑漏洞。这使得四色问题重新变回了未解之谜,尽管它成功证明了“五色定理”。 4. 探索深处:计算机的介入与争议 1976 年,阿佩尔和哈肯在伊利诺伊大学完成了一次革命性的尝试: 暴力枚举:他们将不可避免集中的构型数量精简到了 1482 种。要逐一验证这些构型是否“可约”,人类手工计算几乎不可能完成。 计算机证明:他们编写了复杂的程序,让计算机耗时 1200 小时完成了验证。这是历史上第一个依赖计算机辅助的大规模数学证明。 原视频标题:Math's Map Coloring Problem - The First Proof Solved By A Computer 原作者:Quanta Magazine
00:00 / 08:54
连播
清屏
智能
倍速
点赞246
00:00 / 07:06
连播
清屏
智能
倍速
点赞709
00:00 / 15:11
连播
清屏
智能
倍速
点赞NaN
00:00 / 04:48
连播
清屏
智能
倍速
点赞0
00:00 / 00:41
连播
清屏
智能
倍速
点赞90
00:00 / 00:09
连播
清屏
智能
倍速
点赞5
00:00 / 21:33
连播
清屏
智能
倍速
点赞112