圖子式

在圖論中 ， 如果無向圖H可以通過圖G刪除邊和頂點或收縮邊得到 ， 則稱H爲G的子式 （ minor ） 或次圖 。 圖子式的提出源自瓦格納定理 ， 這個定理表明 ： 當且僅當一個圖不存在完全圖K5和完全二分圖K 3,3 的子式時 ， 這個圖纔是平面圖 。 表明 ， 對於任何在圖上刪除點或邊或收縮邊保留的性質 ， 類似的 （ forbidden minor characterization ） 也存在 。 給定圖G和圖H ， 可以在多項式時間內判斷H是否是G的子式 。 連同上述禁子式表徵 ， 這意味着任何刪除點或邊和收縮邊保留的圖的屬性可以在多項式時間內被識別 。 其他涉及到圖子式的定理和猜想包括 、 等 。