{
  "aliases": null,
  "backlinks": [
    {
      "field": "about",
      "target": "1B2ZJPVV03"
    },
    {
      "field": "about",
      "target": "35NNSXJB1K"
    },
    {
      "field": "about",
      "target": "WP3GDNWJJW"
    },
    {
      "field": "uses",
      "target": "1B2ZJPVV03"
    },
    {
      "field": "uses",
      "target": "35NNSXJB1K"
    },
    {
      "field": "uses",
      "target": "WP3GDNWJJW"
    },
    {
      "field": "defines",
      "target": "QFE1AXQK2E"
    }
  ],
  "body": "\n## Summary\n\nA graph $H$ is a minor of a graph $G$ if $H$ can be obtained from $G$ by deleting vertices, deleting edges and contracting edges.\nThe minor relation is a partial order on finite graphs up to isomorphism.\nMany natural classes, such as planar graphs and forests, are closed under taking minors.\n[[Wagner's theorem|1B2ZJPVV03]] describes planar graphs by two forbidden minors, and the [[Robertson–Seymour theorem|WP3GDNWJJW]] shows that every minor-closed class has a finite list of forbidden minors.\n\n## Explanations\n\n### L1 human\n\nTake a graph and allow three moves: erase a vertex, erase an edge, or shrink an edge so that its two ends merge into one vertex.\nAny graph you can reach this way is a minor of the original.\nFor example, shrinking the five spokes of the Petersen graph turns it into the complete graph $K_5$.\nMinors capture the idea of one graph being hidden inside another in a coarse, flexible way.\n",
  "commit": "5fc425f97f1f6b11da5892c2948ef8c5d8805665",
  "front": {
    "kind": "concept",
    "msc": [
      "05C83"
    ],
    "name": "Graph minor",
    "same_as": {
      "wikidata": "Q905837",
      "wikipedia": "Graph minor"
    },
    "sources": [
      {
        "url": "https://en.wikipedia.org/wiki/Graph_minor"
      }
    ],
    "tag": "VYQ32ZBPEE"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/VYQ32ZBPEE/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/VYQ32ZBPEE.md",
  "msc": [
    "05C83"
  ],
  "name": "Graph minor",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/VYQ/VYQ32ZBPEE.md",
  "status": null,
  "tag": "VYQ32ZBPEE",
  "uri": "m2://VYQ32ZBPEE",
  "url": "https://math2.tamnd.com/wiki/graph-minor/",
  "writing": {
    "tag": "VYQ32ZBPEE",
    "kind": "concept",
    "level": "W0",
    "next": [
      {
        "what": "a source with a locator",
        "have": 0,
        "want": 1
      }
    ]
  }
}
