俄罗斯数学家证否网络着色猜想四色猜想是最著名的地图着色猜想,已被证明。它还有很多衍生问题。最近俄罗斯数学家 Yaroslav Shitov 发表了
三页长的证明,
否定了(
中文翻译)一个有 53 年历史的网络着色猜想。该猜想是 Stephen Hedetniemi 在 1966 年的博士论文中提出的,是图论中一个非常重要的假设。数学家数十年来给出了有关这一猜想的一系列研究证据,虽然没有证明,但普遍认为猜想是正确的。但 Shitov 给出一种简单的方法来构建反例,出乎许多人意料。他证明 Hedetniemi 的猜想是错误的,而 Hedetniemi 本人表示对此感到 “非常高兴”。
Mediahttps://www.solidot.org/story?sid=61253