Planar Bipartite Graph Perfect Matching: Difference between revisions

From Algorithm Wiki
Jump to navigation Jump to search
No edit summary
No edit summary
Line 12: Line 12:
== Parameters ==  
== Parameters ==  


V: number of vertices
$V$: number of vertices


E: number of edges
$E$: number of edges


== Table of Algorithms ==  
== Table of Algorithms ==  
Line 24: Line 24:
|-
|-


| [[Micali and Vazirani ( Maximum Cardinality Matching)|Micali and Vazirani]] || 1980 || $O(V^{0.5} E)$ || $O(V)$ ||  || Deterministic || [https://dl.acm.org/doi/10.1109/SFCS.1980.12 Time] & [https://link.springer.com/content/pdf/10.1007/PL00009186.pdf Space]
| [[Micali and Vazirani ( Maximum Cardinality Matching)|Micali and Vazirani]] || 1980 || $O(V^{0.5} E)$ || $O(V)$ ||  || Deterministic || [https://ieeexplore.ieee.org/document/4567800 Time] & [https://link.springer.com/content/pdf/10.1007/PL00009186.pdf Space]
|-
|-
| [[Klein (section 5) (Planar Bipartite Graph Perfect Matching Maximum Cardinality Matching)|Klein (section 5)]] || 1997 || $O(V^{({4}/{3})$} logV) || $O(V^{({4}/{3})$})? || Exact || Deterministic || [http://theory.stanford.edu/~virgi/cs267/papers/planar-sssp.pdf Time]
| [[Klein (section 5) (Planar Bipartite Graph Perfect Matching Maximum Cardinality Matching)|Klein (section 5)]] || 1997 || $O(V^{({4}/{3})$} logV) || $O(V^{({4}/{3})$})? || Exact || Deterministic || [http://theory.stanford.edu/~virgi/cs267/papers/planar-sssp.pdf Time]

Revision as of 08:52, 10 April 2023

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 is a planar bipartite graph.

Related Problems

Generalizations: Bipartite Graph MCM

Related: General Graph MCM

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(V^{0.5} E)$ $O(V)$ Deterministic Time & Space
Klein (section 5) 1997 $O(V^{({4}/{3})$} logV) $O(V^{({4}/{3})$})? Exact Deterministic Time

Time Complexity Graph

Maximum Cardinality Matching - Planar Bipartite Graph Perfect Matching - Time.png

Space Complexity Graph

Maximum Cardinality Matching - Planar Bipartite Graph Perfect Matching - Space.png

Time-Space Tradeoff

Maximum Cardinality Matching - Planar Bipartite Graph Perfect Matching - Pareto Frontier.png