图小子(graph minor):在图论中,若一个图 H 可以通过对另一个图 G 进行若干次操作得到——删除顶点、删除边、以及收缩边(edge contraction)——则称 H 是 G 的一个 minor(小子)。这是结构图论与算法图论中的核心概念。(注:在某些语境下也会区分 minor、subgraph、topological minor 等相关概念。)
/ˈɡræf ˈmaɪnər/
A triangle is a graph minor of many larger graphs.
三角形是许多更大图的一个图小子。
The Graph Minor Theorem implies that any minor-closed family of graphs can be characterized by a finite set of excluded minors.
图小子定理表明:任何对取小子封闭的图族,都可以用有限个“被排除的小子”来刻画。
graph 源自希腊语 graphein(“书写、绘画”),引申为“图形/图”。minor 源自拉丁语 minor(“更小的”)。在图论里,minor 被专门化为“通过删除与收缩得到的更小结构”,强调的是“结构上的更简化版本”,而不只是顶点数更少。