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 圖。" 來自 —— 資源。 https://mathworld.tw/SoiferGraph.html