A Proof of the MV Matching Algorithm

12/07/2020 ∙ by Vijay V. Vazirani, et al. ∙ 0

The Micali-Vazirani (MV) algorithm for maximum cardinality matching in general graphs, which was published in 1980 <cit.>, remains to this day the most efficient known algorithm for the problem. This paper gives the first complete and correct proof of this algorithm. Central to our proof are some purely graph-theoretic facts, capturing properties of minimum length alternating paths; these may be of independent interest. An attempt is made to render the algorithm easier to comprehend.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.