简评四色定理的一种非计算机"逻辑证明"

摘要：

2020年,Y.Wang基于构形和可归约性的经典概念提出了一份四色猜想(The Four Color Conjecture,4CC)的归谬法证明.首先构造反例指出其"临界k色图"定义的一个缺陷.其次对比分析表明,把"最小图"改为"临界5色图"的做法产生了逻辑二难困境:若按前者对待,则原文尚缺论证能够抵抗传统的Heawood图的反例攻击;若按后者处理,则当今图论无法保证其存在性.

关键词：四色猜想、极大平面图、最小图、临界k-色图、Heawood图

所属期刊栏目：47

分类号：O157.5(代数、数论、组合理论)

资助基金：国家自然科学基金;中央高校基本科研业务费专项西南民族大学项目

在线出版日期：2021-07-01（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：326-329