{
  "aliases": [
    "maximum-matching"
  ],
  "backlinks": null,
  "body": "\n## Summary\n\nIn graph theory, a **maximum-cardinality matching** is a special kind of subgraph useful in many computational contexts. Given a graph $G$, a [[matching|0MJ04A50QW]] is a subgraph where no two edges share a vertex. The [[cardinality|0G0ASKNA6Z]] of the matching is the number of edges in the subgraph, and the maximum cardinality is the largest number of edges a matching can contain. A matching for a given graph is a **maximum-cardinality matching** if its cardinality is this maximum cardinality. If we think of each edge as \"covering\" the vertices it connects exactly once, then a maximal matching is also the largest non-overlapping cover of the graph. If all the vertices are covered, we call it a [[perfect matching|05ZPH8KF9K]]. For finite graphs, a maximum-cardinality matching always exists, but is not usually unique. The cardinality of the matching is never more than half the number of vertices and also never more than the number of edges.\n",
  "commit": "68a8c3dc73fd55004b2796431c607c30960d1a85",
  "front": {
    "aliases": [
      "maximum-matching"
    ],
    "inventory": [
      "JK41H6TCMC"
    ],
    "kind": "concept",
    "name": "Maximum-cardinality matching",
    "same_as": {
      "wikidata": "Q65088751",
      "wikipedia": "Maximum-cardinality matching"
    },
    "sources": [
      {
        "locator": "Maximum-cardinality matching",
        "mention": "wikipedia://en/5989592",
        "note": "adopted",
        "sections": [
          "Summary"
        ],
        "wikipedia": "en:5989592@r1365861338"
      }
    ],
    "tag": "6A8X5JDRXM"
  },
  "kind": "concept",
  "link": "https://math2.tamnd.com/node/6A8X5JDRXM/",
  "links": null,
  "markdown": "https://math2.tamnd.com/node/6A8X5JDRXM.md",
  "msc": null,
  "name": "Maximum-cardinality matching",
  "prov": null,
  "role": "",
  "source": "https://github.com/tamnd/math2/blob/main/nodes/6A8/6A8X5JDRXM.md",
  "status": null,
  "tag": "6A8X5JDRXM",
  "uri": "m2://6A8X5JDRXM",
  "url": "https://math2.tamnd.com/wiki/maximum-cardinality-matching/",
  "writing": {
    "tag": "6A8X5JDRXM",
    "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
      }
    ]
  }
}