彼得森定理指出,每個沒有橋的立方圖都有一個完美匹配(Petersen 1891; Frink 1926; König 1936; Skiena 1990, p. 244)。事實上,這個定理可以擴充套件為:“每個有 0、1 或 2 個橋的立方圖都有一個完美匹配。”
上面的圖顯示了 3 個橋的最小反例,即一個在 16 個頂點上沒有完美匹配的連通立方圖。該圖在 Wolfram 語言中實現為GraphData["Cubic",
16, 14
].
Errera (1922) 透過證明如果連通立方圖 的所有橋都位於
的單個路徑上,則
具有完美匹配,從而加強了彼得森定理。