Soifer图,如上图所示的几种嵌入方式,是一个有 9 个节点的平面图,它使肯佩算法中的肯佩链缠结,从而提供了一个肯佩对四色定理的所谓证明失败的例子。正如 Gethner 和 Springer 所证明的,Soifer图是最小的此类反例(并且比 Kittell 图和 Errera 图更小)。
在 Soifer 图中添加特定边可以得到 Fritsch 图。
Soifer 图在 Wolfram 语言中实现为GraphData["SoiferGraph"].
Soifer图,如上图所示的几种嵌入方式,是一个有 9 个节点的平面图,它使肯佩算法中的肯佩链缠结,从而提供了一个肯佩对四色定理的所谓证明失败的例子。正如 Gethner 和 Springer 所证明的,Soifer图是最小的此类反例(并且比 Kittell 图和 Errera 图更小)。
在 Soifer 图中添加特定边可以得到 Fritsch 图。
Soifer 图在 Wolfram 语言中实现为GraphData["SoiferGraph"].
Weisstein, Eric W. "Soifer 图。" 来自 MathWorld——Wolfram Web 资源。 https://mathworld.net.cn/SoiferGraph.html