瓦格納定理

在圖論中 ， 瓦格納理論 （ 英 ： Wagner's theorem ） 是平面圖的禁圖表徵 ， 以Klaus Wagner的命名 。 該定理說 ： 當且僅當有限圖的子式不包含完全圖K5 或完全二分圖K 3,3 時候 ， 那麼該圖就是平面的 。 這是圖子式論最早的結果之一 ， 也是羅伯遜 – 西摩定理 （ Robertson - Seymour theorem ） 的先驅 。