瓦格纳定理

在图论中，瓦格纳理论（英：Wagner's theorem）是平面图的禁图表征，以Klaus Wagner的命名。 该定理说：当且仅当有限图的子式不包含完全图K₅ 或完全二分图K_3,3 时候，那么该图就是平面的。

K₅ (左) 和 K_3,3 (右) 是非平面彼得森图的图子式 (彩色小圆圈和黑色边，删除红色顶点，收缩每个黄色圆圈内的边)。

两个平面图以及瓦格纳图的“clique-sum”，创建无K₅图。

这是图子式论最早的结果之一，也是罗伯逊–西摩定理（Robertson-Seymour theorem）的先驱。