图子式 在图论中如果无向图H可以通过图G删除边和顶点或收缩边得到则称H为G的子式minor或次图 图子式的提出源自瓦格纳定理这个定理表明当且仅当一个图不存在完全图K和完全二分图K的子式时这个图才是平面图 罗伯逊西摩定理英语RobertsonSeymour theorem表明对于任何在图上删除点或边或收缩边保留的性质类似的禁子式表征英语forbidden minor characterizationforbidden minor characterization也存在 给定图G和图H可以在多项式时间内判断H是否是G的子式 连同上述禁子式表征这意味着任何删除点或边和收缩边保留的图的属性可以在多项式时间内被识别 其他涉及到图子式的定理和猜想包括图结构定理英语graph structure theoremHadwiger猜想英语Hadwiger conjecture graphtheory等