|
|||||
|
|
| 基于传统逻辑简捷证明四色问题研究 | |
| 引用本文： | 崔岩,崔朝栋.基于传统逻辑简捷证明四色问题研究[J].北华航天工业学院学报,2022(4):4-6. |
| 作者姓名： | 崔岩 崔朝栋 |
| 作者单位： | 1. 北华航天工业学院计算机学院;2. 中国建筑科学研究院建筑机械化研究分院 |
| 摘 要： | 分析四色问题难点，采用构形法、点着色扩展法和点染色公式法等三种新方法，简捷证明四色问题成立。三种证法，均采用数形结合的数学方法，但思路各异。其中尤以点染色公式法，思维逻辑新颖，论述简朴。四色溯源，当属欧拉公式V-E+F=2及其导出的平面图最小度δ≤5和点染色公式V=2+E/3，均是重要关注点，其中欧拉公式应是四色问题的渊源。 |
| 关 键 词： | 构形 不可免完备集 极大平面图 欧拉公式 点色扩展 点染色 对顶点相邻 |