{
  "aliases": [
    "contraction-clique-number"
  ],
  "backlinks": null,
  "body": "\n## Summary\n\nIn graph theory, the **Hadwiger number** of an undirected graph $G$ is the size of the largest [[complete graph|03WKB2H474]] that can be obtained by contracting edges of $G$. Equivalently, the Hadwiger number $h(G)$ is the largest number $n$ for which the complete graph $K_{n}$ is a minor of $G$, a smaller graph obtained from $G$ by edge contractions and vertex and edge deletions. The Hadwiger number is also known as the **contraction clique number** of $G$ or the **homomorphism degree** of $G$. It is named after Hugo Hadwiger, who introduced it in 1943 in conjunction with the Hadwiger conjecture, which states that the Hadwiger number is always at least as large as the chromatic number of $G$.\n",
  "commit": "68a8c3dc73fd55004b2796431c607c30960d1a85",
  "front": {
    "aliases": [
      "contraction-clique-number"
    ],
    "inventory": [
      "R04C181XXQ"
    ],
    "kind": "concept",
    "name": "Hadwiger number",
    "same_as": {
      "wikidata": "Q5638117",
      "wikipedia": "Hadwiger number"
    },
    "sources": [
      {
        "locator": "Hadwiger number",
        "mention": "wikipedia://en/1665366",
        "note": "adopted",
        "sections": [
          "Summary"
        ],
        "wikipedia": "en:1665366@r1346157100"
      }
    ],
    "tag": "B4V4WAYVAW"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/B4V4WAYVAW/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/B4V4WAYVAW.md",
  "msc": null,
  "name": "Hadwiger number",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/B4V/B4V4WAYVAW.md",
  "status": null,
  "tag": "B4V4WAYVAW",
  "uri": "m2://B4V4WAYVAW",
  "url": "https://math2.tamnd.com/wiki/hadwiger-number/",
  "writing": {
    "tag": "B4V4WAYVAW",
    "kind": "concept",
    "level": "W1",
    "next": [
      {
        "what": "edge defines in",
        "note": "at least one definition",
        "have": 0,
        "want": 1
      },
      {
        "what": "edge instance_of in",
        "note": "at least two examples",
        "have": 0,
        "want": 2
      },
      {
        "what": "edge not_instance_of in",
        "note": "at least one non-example",
        "have": 0,
        "want": 1
      },
      {
        "what": "edge specializes both",
        "note": "the more general notions and the special cases",
        "have": 0,
        "want": 1
      }
    ]
  }
}