Soifer图

上面在许多嵌入中所示的Soifer图是一个平面图形在9个节点上Kempe链条在Kempe的算法中，从而提供了一个示例，说明Kempe如何假设证明这个四色定理失败。经证明格特纳和斯普林格，索弗图是最小的反例（小于基特尔图和埃雷拉图表).

在Soifer图中添加一条特定的边可以获得弗里奇图表.

Soifer图在沃尔夫拉姆语言作为图形数据[“SoiferGraph”]。