|
|||||
|
|
| 简评四色定理的一种非计算机“逻辑证明” | |
| 摘 要： | 2020年,Y. Wang基于构形和可归约性的经典概念提出了一份四色猜想(The Four Color Conjecture, 4CC)的归谬法证明.首先构造反例指出其"临界k色图"定义的一个缺陷.其次对比分析表明,把"最小图"改为"临界5色图"的做法产生了逻辑二难困境:若按前者对待,则原文尚缺论证能够抵抗传统的Heawood图的反例攻击;若按后者处理,则当今图论无法保证其存在性. |
| 本文献已被 CNKI 等数据库收录！ | |
| 点击此处可从《西南民族大学学报(自然科学版)》浏览原始摘要信息 | |
| 点击此处可从《西南民族大学学报(自然科学版)》下载免费的PDF全文 | |