General Graph MCM (Maximum Cardinality Matching)

From Algorithm Wiki
Revision as of 15:36, 15 February 2023 by Admin (talk | contribs)
Jump to navigation Jump to search

Description

The goal of maximum cardinality matching is to find a matching with as many edges as possible (equivalently: a matching that covers as many vertices as possible). Here, the graph can be any general graph.

Related Problems

Subproblem: Bipartite Graph MCM

Related: Planar Bipartite Graph Perfect Matching

Parameters

V: number of vertices

E: number of edges

Table of Algorithms

Name Year Time Space Approximation Factor Model Reference
Micali and Vazirani 1980 O(V0.5E) O(V) Deterministic Time & Space
Blum 1990 O((V0.5)E) O(E) auxiliary?? Exact Deterministic Time
Gabow; Tarjan 1991 O((V0.5)E) O(E) auxiliary? Exact Deterministic Time & Space
Mucha, Sankowski (general) 2004 O(V2.376) O(V2)?? Exact Randomized Time

Time Complexity Graph

Maximum Cardinality Matching - General Graph MCM - Time.png

Space Complexity Graph

Maximum Cardinality Matching - General Graph MCM - Space.png

Space-Time Tradeoff Improvements

Maximum Cardinality Matching - General Graph MCM - Pareto Frontier.png