AI 中文总结
研究针对斯宾塞 - 布朗用奇偶性传递算法证明四色定理中关于非极性五边形区域操作的断言。核心方法是给出反例。主要贡献是证明该断言错误并提出相关问题。
AI 中文摘要
1976年，乔治·斯宾塞 - 布朗宣布了四色定理的一个证明，使用三价平面图泰特染色的操作。在后续工作中，他用一种他称为奇偶性传递的算法来阐述这些操作，并声称当对非极性五边形区域执行奇偶性传递算法时，它必然会终止于一种可扩展到整个图的边着色。我们在此提供一个反例表明该断言是错误的。然后我们提出了与这类反例存在性相关的问题。
英文摘要
In 1976, George Spencer-Brown announced a proof of the four color theorem, using operations on Tait colorings for trivalent plane graphs. In subsequent work he formulated these operations in terms of an algorithm that he called a parity-pass and claimed that when the parity pass algorithm is performed on a non-polar pentagon region, it necessarily terminates in an edge coloring that is extendable to the entire graph. We provide here a counterexample to show that this claim is false. We then raise questions related to the existence of this sort of counterexample.
Comments14 pages, multiple figures
