主题
Search

Soifer图


SoiferGraph

Soifer图,如上图所示的几种嵌入方式,是一个有 9 个节点的平面图,它使肯佩算法中的肯佩链缠结,从而提供了一个肯佩对四色定理的所谓证明失败的例子。正如 Gethner 和 Springer 所证明的,Soifer图是最小的此类反例(并且比 Kittell 图和 Errera 图更小)。

SoiferGraphFritschGraph

在 Soifer 图中添加特定边可以得到 Fritsch 图。

Soifer 图在 Wolfram 语言中实现为GraphData["SoiferGraph"].


另请参阅

Errera 图, 四色定理, Fritsch 图, 希伍德四色图, 肯佩链, Kittell 图, Poussin 图

使用 Wolfram|Alpha 探索

参考文献

Gethner, E. 和 Springer, W. M. II. "肯佩对四色定理的证明有多么错误?" Congr. Numer. 164, 159-175, 2003.Soifer, A. "维多利亚时代的地图着色:问题与历史。" Math. Competitions 10, 20-31, 1997.

请引用为

Weisstein, Eric W. "Soifer 图。" 来自 MathWorld——Wolfram Web 资源。 https://mathworld.net.cn/SoiferGraph.html

主题分类