瓦格納定理

在圖論中，瓦格納理論（英語：Wagner's theorem）是平面圖的禁圖表徵，以Klaus Wagner的命名。 該定理說：當且僅當有限圖的子式不包含完全圖K₅ 或完全二分圖K_3,3 時候，那麼該圖就是平面的。

K₅ (左) 和 K_3,3 (右) 是非平面彼得森圖的圖子式 (彩色小圓圈和黑色邊，刪除紅色頂點，收縮每個黃色圓圈內的邊)。

兩個平面圖以及瓦格納圖的「clique-sum」，創建無K₅圖。

這是圖子式論最早的結果之一，也是羅伯遜–西摩定理（Robertson-Seymour theorem）的先驅。

庫拉托夫斯基定理的關係

瓦格納1937年發表了證明。 庫拉托夫斯基以前1930年出版了自己庫拉托夫斯基理論。

根據該定理，當且僅當圖的子圖的細分不包含那些禁圖K₅ 和 K_3,3。

瓦格納定理意味着庫拉托夫斯基，所以是更普遍的。