240 likes | 262 Views
Explore the concepts, theorems, and algorithms in matching theory, from bipartite matching and the Hungarian method to alternating paths and linear programming. Discover the applications in polyhedral combinatorics, determinants, randomized algorithms, and counting problems. Delve into sampling techniques, Markov chains, and rapid mixing proofs. Understand the challenges and complexities in non-bipartite non-dense graphs.
E N D
Matchings and where they lead us László Lovász Microsoft Research lovasz@microsoft.com
Bipartite matching and the Hungarian method Existence and min-max Theorem: Frobenius 1912, 1917 König 1915, 1931 Egerváry 1931 Polynomial time algorithm: Kuhn 1955 Structure theory: König 1916 Dulmage-Mendelssohn 1958-59
Nonbipartite matching Bipartite matching and the Hungarian method
Nonbipartite matching Existence and min-max Theorem: Tutte 1947 Polynomial time algorithm: Edmonds 1965 Structure theory: Gallai 1963 Edmonds 1965 Kotzig 1959-60
Alternating paths Bipartite matching and the Hungarian method Nonbipartite matching
Alternating paths Maximum flow: Ford-Fulkerson 1956 Matroid intersection: Edmonds 1969 Matroid matching: Lovász 1980 Stable sets in claw-free graphs: Minty, Sbihi 1980 Jump systems: Boucher, Cunningham 1995
Linear programming Bipartite matching and the Hungarian method Nonbipartite matching Alternating paths
Linear programming Total unimodularity: Hoffman-Kuhn 1956 Hoffman-Kruskal 1956 Total dual integrality: Hoffman 1970 Edmonds-Giles 1977 Perfect graphs: Berge 1959 Fulkerson 1971 Lovász 1972
Linear programming Polyhedral combinatorics Bipartite matching and the Hungarian method Nonbipartite matching Alternating paths
Polyhedral combinatorics The matching polytope: Edmonds 1965 Equivalence of separation and optimization: Grötschel-Lovász-Schrijver 1981
Linear programming Polyhedral combinatorics Determinants Bipartite matching and the Hungarian method Nonbipartite matching Alternating paths
Determinants Determinants vs. bipartite perfect matchings: König 1915 Determinants vs. non-bipartite perfect matchings: Tutte 1947 Linear algebra and bipartite matching: Perfect 1966 Edmonds 1967 Generic rigidity, geometric representations,...
Linear programming Polyhedral combinatorics Randomized algorithms Bipartite matching and the Hungarian method Nonbipartite matching Alternating paths Determinants
Randomized algorithms (just substitute) Bipartite graphs: Edmonds 1967 Running time analysis: Schwarz 1978 Lovász 1979 Exact matching:only by random substitution!
Linear programming Polyhedral combinatorics Counting Bipartite matching and the Hungarian method Nonbipartite matching Alternating paths Determinants Randomized algorithms
Substitute +1 or -1 to compensate for the sign? (Polya) Substitute randomly and take expectation?
Counting Planar graph: Kasteleyn 1957 Characterization: McCuaig-Robertson -Seymour-Thomas 1997 Approximate, determinants: Godsil-Gutman 1980 Alternating path strikes back When is the variance small? Approximate, by sampling: Jerrum-Sinclair 1988
Counting: number of witnesses Existence: language in NP Sampling: generate random witness Optimization: find optimal witness Four problems for NP Property in NP: Witness of a property in NP:
Linear programming Polyhedral combinatorics Sampling Bipartite matching and the Hungarian method Nonbipartite matching Alternating paths Determinants Counting Randomized algorithms
model for sampling from knapsack solutions, contingency tables, convex bodies, eulerian orientations,... Sampling Markov chain sampling: Broder 1986 Rapid mixing proof (dense graphs): Jerrum-Sinclair 1988 Extension to non-dense, bipartite: Jerrum-Sinclair-Vigoda 2002
often gets perfect matching takes long to get perfect matching + mixes in poly time How about non-bipartite non-dense graphs?