彼得森定理指出,每个没有桥的立方图都有一个完美匹配(Petersen 1891; Frink 1926; König 1936; Skiena 1990, p. 244)。事实上,这个定理可以扩展为:“每个有 0、1 或 2 个桥的立方图都有一个完美匹配。”
上面的图显示了 3 个桥的最小反例,即一个在 16 个顶点上没有完美匹配的连通立方图。该图在 Wolfram 语言中实现为GraphData["Cubic",
16, 14
].
Errera (1922) 通过证明如果连通立方图 的所有桥都位于
的单个路径上,则
具有完美匹配,从而加强了彼得森定理。