Matching (Graphentheorie)

Die Theorie um das Finden von Matchings in Graphen ist in der diskreten Mathematik ein umfangreiches Teilgebiet, das in die Graphentheorie eingeordnet wird.

Folgende Situation wird dabei betrachtet: Gegeben eine Menge von Dingen und zu diesen Dingen Informationen darüber, welche davon einander zugeordnet werden könnten. Ein Matching (in der Literatur manchmal auch Paarung) ist dann als eine solche Auswahl aus den möglichen Zuordnungen definiert, die kein Ding mehr als einmal zuordnet.

Die am häufigsten gestellten Fragen in dieser Situation sind dann die folgenden:

1. Wie findet man ein Matching, das eine maximale Anzahl^{[A 1]} an Dingen einander zuordnet?
   Dieses Problem ist das klassische Matchingproblem.
2. Gibt es ein Matching, das alle Dinge zuordnet? Wenn ja, wie viele?
   Solche Matchings heißen perfektes Matching. Die Anzahl der perfekten Matchings in einem Graphen G wird meistens mit Φ(G) notiert.
3. Angenommen, man könnte quantifizieren „wie wichtig“ (oder „teuer“) die einzelnen Zuordnungen wären: Wie findet man dann ein Matching, das eine maximale Zahl von Dingen zuordnet und dabei ein möglichst großes (oder kleines) Gewicht hat?
   Dieses Problem heißt gewichtetes Matchingproblem. Zwischen einer Maximierungs- und einer Minimierungsaufgabe wird hier oftmals nicht unterschieden: Indem man bei allen Gewichten (Kosten) das Vorzeichen vertauscht, kann man beide Probleme ohne nennenswerten Aufwand ineinander überführen.
4. Angenommen, man hätte genau zwei Klassen von Dingen und angenommen, man wüsste, dass es ausschließlich zwischen diesen Klassen mögliche Zuordnungen gibt. Werden die Probleme 1-3 dadurch einfacher?
   Dieses Problem heißt Bipartites (gewichtetes) Matchingproblem und ist ein viel diskutierter Spezialfall.
5. Kann man anderes Wissen, das man über die Struktur der möglichen Zuordnungen hat, ähnlich wie in 4 geschickt benutzen, um die Probleme 1-3 effizienter zu lösen?

Die Theorie um die Matchings untersucht möglichst effiziente Lösungsverfahren dieser Probleme, klassifiziert diese nach ihrer „Schwierigkeit“ mit den Methoden der Komplexitätstheorie und stellt Beziehungen dieser Probleme zueinander und zu anderen Problemen in der Mathematik her.

Definitionen

• 

  Ein einfacher Graph mit einem maximalen Matching

• 

  Derselbe Graph mit einem perfekten Matching

Das oben beschriebene Problem lässt sich wie folgt formalisieren. Gegeben ein endlicher, ungerichteter Graph G = (V,E). Eine Menge $M\subseteq E$ heißt gültiges Matching, wenn keine zwei Kanten aus M einen Knoten gemeinsam haben. Ein Matching heißt

maximal

falls es keine Kante $e\in E$ derart gibt, dass $\{e\}\cup M$ ein gültiges Matching ist. Maximale Matchings sind im Vergleich zu den folgenden Begriffen sehr einfach zu berechnen.

maximum

falls M als Menge eine maximale Kardinalität unter allen gültigen Matchings von G hat. Maximum-Matchings sind maximal. Die Mächtigkeit eines Maximum-Matchings wird Matchingzahl genannt und mit ν(G) notiert.

perfekt

falls $2 \cdot | M | = | V |$ gilt. Perfekte Matchings sind Maximum-Matchings (und damit auch maximal). Perfekte Matchings können als 1-Faktoren eines Graphen, das heißt 1-reguläre aufspannende Teilgraphen, aufgefasst werden. Dieser Auffassung folgend sprechen manche Personen auch von faktorisierbaren Graphen, wenn sie Graphen meinen, die einen 1-Faktor besitzen. Beide Sprechweisen sind etwa gleich weit verbreitet.^[1]

Für das gewichtete Matchingproblem spielt eine Kostenfunktion $c: E\to \mathbb{R}$ eine Rolle. Ein gültiges Matching heißt dann …

von maximalen Gewicht

falls $c(M) := \sum_{e\in M} c(e)$ maximal unter allen gültigen Matchings von G ist.

minimal maximum

falls c(M) minimal unter allen maximum Matchings ist.

Historisches

Sylvester gab für Aussage (2) ein Beispiel an, das zeigt, dass sie für Graphen mit drei oder mehr Brücken nicht mehr stimmt: ein 3-regulärer Graph mit 16 Knoten, drei Brücken und keinem perfekten Matching.

Als eine der frühesten^[2][3] systematischen Untersuchungen von Matchings wird ein Artikel von Petersen angeführt, der 1891 über Die Theorie de reguldren Graphen^[4] schrieb. Er untersuchte ein Zerlegungsproblem aus der Algebra, das Hilbert 1889^[5] gestellt hatte, indem er es als Graphenproblem formulierte.^[6] Letztlich bewies er darin folgendes:

Für alle Zahlen $k\in \mathbb{N}$ kann jeder 2k-reguläre Graph in disjunkte 2-Faktoren zerlegt werden. (1)

Jeder 3-reguläre, zusammenhängende Graph mit weniger als drei Brücken besitzt ein perfektes Matching. (2)

Die Tatsache (2) lässt sich auch als eine leichte Verallgemeinerung des Eulerkreisproblems formulieren.^{[A 2]}

Rückblickend^[7] erscheinen Petersens Argumente, mit denen er das Obige bewies, kompliziert und umständlich. Bei der weiteren Untersuchung etwa durch Brahana 1917^[8], Errera 1922^[9] und Frink 1926^[10] sowie zusammenfassend durch Kőnig 1936^[11] wurden aber viele Methoden der modernen Graphentheorie entwickelt oder zuerst systematisch formuliert. Petersens Denkansatz wurde dann von Bäbler 1938^[12] 1952^[13] und 1954^[14] sowie von Gallai 1950^[15], Belck 1950^[16] und schließlich Tutte auf andere reguläre Graphen übertragen.

In modernen Lehrbüchern und Vorlesungen tauchen Petersens ursprüngliche Resultate, wenn überhaupt, meist nur noch als Folgerungen aus den Resultaten von Tutte oder Hall auf.^{[A 3]}

Bipartite Matchings

Eines dieser frühen Resultate betrifft bipartite Graphen, die sich in der Folge als ein sehr natürlicher und aus heutiger Sicht für die Praxis zentraler Spezialfall herausgestellt haben. Kőnig und Egerváry untersuchten beide unabhängig voneinander das bipartite Matchingproblem und das Knotenüberdeckungsproblem und fanden dabei heraus, dass beide Probleme in dem folgenden Sinn äquivalent sind:

Die Größe einer minimalen Knotenüberdeckung und eines maximum Matching stimmen auf bipartiten Graphen überein. (3)

Dieser Satz wird meistens Kőnig zugeschrieben oder Min-Max-Theorem bzw. Dualitätssatz genannt. Beide bewiesen die Aussage für endliche Graphen. Aharoni bewies 1984 die Aussage für überabzählbar unendliche Graphen.^[17] Ein elementarer Beweis von (3) findet sich in Lovász & Plummer 43, der von den meisten Lehrbüchern übernommen wurde. Bondy & Murty 200 führt den Satz auf ein Resultat der linearen Programmierung zurück: Ist A die Inzidenzmatrix des Graphen G, dann lassen sich maximum Matchings als Lösungen von folgendem ganzzahligen linearen Programm auffassen:

$\max ex \text{ unter } Ax\le 1 \land x\ge 0$

Dabei ist e der Vektor aus lauter Einsen. Das Programm des Knotenüberdeckungsproblems hat folgende Gestalt:

$\min ye \text{ unter } yA\ge 1 \land y\ge 0$

Diese Programme haben eine sogenannte primal-dual-Gestalt. Für Programme von dieser Gestalt wird in der Theorie der linearen Programme gezeigt, dass sie in ihren Optima übereinstimmen. Für bipartite Graphen lässt sich außerdem leicht zeigen, dass A „total unimodular“ ist, was in der Theorie der ganzzahligen linearen Programme ein Kriterium für die Existenz einer optimalen Lösung der Programme mit Einträgen nur aus {0,1} ist, also genau solchen Vektoren, die auch für ein Matching bzw. für eine Knotenüberdeckung stehen können. Dieser Primal-Dual-Ansatz der linearen Programme scheint zunächst wenig mit der Matching-Theorie zu tun zu haben, stellt sich aber als einer der fruchtbarsten Ansätze zur effizienten Berechnung von Matchings, insbesondere im gewichteten Fall, heraus.

Es gibt eine ganze Vielzahl von Sätzen, die zum Satz von Kőnig äquivalent sind.^[18][19][20] Darunter der Satz von Birkhoff und von Neumann, der Satz von Dilworth und das Max-Flow-Min-Cut-Theorem für bipartite Graphen. Für die Matchingtheorie am interessantesten ist folgende Bedingung, die Hall 1935^[21] angab, um bipartite Graphen mit perfektem Matching zu charakterisieren. Dieser Charakterisierungssatz ist ebenfalls äquivalent zum Satz von Kőnig.

Ein bipartiter Graph mit Knotenpartitionenen $S\dot{\cup} T$ und o.B.d.A $|S|\ge |T|$ hat genau dann ein perfektes Matching, wenn für jede Auswahl von Knoten $H\subseteq T$ gilt: $|N(H)|\ge |T|$. Dabei ist N(H) die Nachbarschaftsmenge von H. (4)

Aus (4) folgt schnell, dass sich unter den bipartiten Grapgen genau alle regulären Graphen 1-faktorisieren lassen^[22] und die Aussage (1) von Petersen lässt elegant auf diese Folgerung zurückführen.^[23] Eine Verallgemeinerung dieses Resultats liefert eine Formel für die Größe eines maximum Matchings, die sogenannte Kőnig-Ore Formel:^[24][25]

$\nu(G)= |S| - \max_{H\subseteq S}\{|H|-|N(H)|\}$

Lösungsverfahren

Algorithmus (I)

Eingabe G mit einem beliebigen Matching M 1. repeat 2. suche verbessernden Pfad P 3. Falls gefunden: Augmentiere M entlang P. 4. until Suche nach verbesserndem Pfad war erfolglos Ausgabe G mit maximum Matching M

Viele der folgenden Konzepte spielen in fast allen Lösungsverfahren von Matchingproblemen eine Rolle. Ist ein Graph G mit einem Matching M gegeben, dann heißt ein Knoten von G frei (in der Literatur auch ungepaart, exponiert, verfügbar …) falls er zu keiner Kante in M inzident ist. Andernfalls heißt der Knoten gesättigt. Ein Pfad P in G heißt alternierend, falls dieser abwechselnd Kanten aus M und aus M^c enthält. Falls dieser Pfad in einem freien Knoten beginnt und endet, heißt der Pfad verbessernd oder auch augmentierend. Die letzte Bezeichnung kommt von der Tatsache, dass P durch $M\oplus P$^{[A 4]} ein größeres Matching als M liefert. Folgendes grundlegendes Resultat von Bergeh 1957^[26] motiviert das Studium von augmentierenden Pfaden.

Ein Matching ist genau dann Maximum, wenn es keinen verbessernden Pfad in G bezüglich M gibt.

Diese Bezeichnungen entsprechen genau der Sprache, die auch bei der Behandlung von Flüssen in Netzwerken gebraucht wird. Das ist kein Zufall, denn Matchingprobleme lassen sich in der Sprache der Netzwerktheorie formulieren und mit den dort entwickelten Verfahren lösen. Im bipartiten Fall ist diese Zurückführung, wie das folgende Beispiel zeigt, sogar fast trivial.

• Beispiele
• 

  Ein einfacher Graph mit einem maximalen Matching. Hier sind die Knoten mit den Labels 1 und 5 exponiert. Der Pfad $(1~3~2)$ ist ein alternierender Pfad und $(1~3~2~4~6~5)$ ist ein verbessernder Pfad.

• 

  Derselbe Graph, der entlang $(1~3~2~4~6~5)$ verbessert wurde hat jetzt ein perfektes Matching.

Gegeben ein Graph G mit Knotenmenge $V(G)=S\dot{\cup}T$. Konstruiere ein Netzwerk N = (G',u,σ,τ). Dabei ist $V(G')=V(G) \cup \{\sigma,\tau \}$ und $E(G')= E(G)\cup\{(\sigma,s) : s\in S\} \cup \{(t,\tau): t\in T\}$. Außerdem ist u die Fortsetzung von der Kostenfunktion c, die alle neuen Kanten mit Inf^{[A 5]} belegt.

Mit dem Satz von Berge lässt sich auch gleich ein Algorithmus (I) zum Finden von maximum Matchings angeben.^[27] Weil jeder verbessernde Pfad ein zu einem gegebenen Matching einen weiteren Knoten matcht und maximal $\tfrac{n}{2}$ Knoten zu matchen sind, beschränkt sich die Zahl der Schleifendurchläufe asymptotisch durch $\mathcal{O}(n)$. Eine sehr Naïve Methode zum Finden verbessernder Pfade stellen sogenannte Graph Scans dar, etwa eine Breitensuche (BFS) mit einer Laufzeit von $\mathcal{O}(n+m)$. Ferner ist $m\in \mathcal{O}(n^2)$, weil der Graph bipartit ist und damit ist die angegebene Methode in $\mathcal{O}(n^3)$

Einer der frühesten Beiträge zum Berechnen von Maximum-Matchings, der über die oben angeführte naïve Methode hinausgeht, war der Algorithmus von Hopcroft und Karp 1973.^[28] Die Grundidee folgt dem Algorithmus von Dinic, der in jeder Phase, wo der Algorithmus nach einem verbessernden Pfad sucht, (Zeile 2) möglichst kurze Pfade und nach Möglichkeit „mehrere gleichzeitig“ sucht.

Alt, Blum, Mehlhorn & Paul 1991^[29] schlagen eine Verbesserung von Hopcroft & Karp vor, indem sie ein Scanningverfahren für Adjazenzmatrizen nach Cheriyan, Hagerup, and Mehlhorn 1990^[30] anwenden. Eine einfache Beschreibung der Methode findet sich auch in Burkard, Dell’Amico & Martello 47 ff. Feder und Motwani 1991^[31] haben eine Methode vorgeschlagen, die auf der Zerlegung von G in bipartite Cliquen beruht und erreichen damit eine asymptotische Laufzeit von $\mathcal{O}( \sqrt{n} m \log(n^2 /m)/ \log n)$. Eine Methode, die nicht auf der Idee augmentierender Pfade beruht, sondern sogenannte „starken Spannbäume“ benutzt, haben Balinski & Gonzalez 1991^[32] vorgeschlagen und erreichen damit eine Laufzeit von $\mathcal{O}(n^3)$.

Allgemeiner Fall

Satz von Tutte

→ Hauptartikel: Satz von Tutte

Während Charakterisierungen von Matchings und effiziente Algorithmen zum Bestimmen relativ schnell nach der Formulierung von Matchings als Problem gefunden wurden, dauerte es bis 1947 bis Tutte^[33] eine Charakterisierung für Matchings in allgemeinen Graphen formulieren und beweisen konnte. Aus diesem tiefliegenden Resultat lassen sich alle bisher besprochenen vergleichsweise leicht herleiten.^[34] Tutte benutzt die einfache Tatsache, dass eine Komponente mit ungerader Knotenzahl in einem Graphen kein perfektes Matching haben kann. Wenn also eine Knotenmenge S so gefunden werden kann, dass G − S mehr ungerade Komponenten als S Knoten hat, dann müsste für ein perfektes Matching aus jeder solcher Komponente wenigstens ein Knoten mit einem Knoten aus S gematcht werden und das kann nicht sein. Es stellt sich heraus, dass die Existenz einer solchen Menge S Graphen ohne perfektes Matching nicht nur beschreibt, sondern charakterisiert:

Ein Graph G hat genau dann ein perfektes Matching, wenn für jede Menge $T\subseteq V(G)$ gilt: $c(G-T) \le | T |$. (c gibt die Anzahl der ungeraden Komponenten eines Graphen an.) (5)

Eine solche Menge T heißt Tutte-Menge und die Bedingung in (5) heißt Tutte-Bedingung. Dass sie notwendig für die Existenz perfekter Matching ist, wurde schon skizziert und es gibt mittlerweile viele Beweise dafür, dass die Bedingung hinreichend ist: Tuttes ursprünglicher Beweis formulierte das Problem als ein Matrix-Problem und benutzte die Idee der pfaffschen Determinante.^[33] Elementare Abzählargumente wurden relativ rasch danach veröffentlicht, wie in Maunsell 1952,^[35] Tutte 1952,^[36] Gallai 1963,^[37] Halton 1966^[38] oder Balinski 1970.^[39] Andere Beweise, wie Gallai 1963,^[37] Anderson 1971^[40] oder Marder 1973^[41] verallgemeinern den Satz (4) von Hall systematisch. Ferner gibt es Beweise aus der Perspektive der Graphentheorie, die die Struktur von Graphen betrachten, die selbst kein Perfektes Matching besitzen, doch falls eine Kante ergänzt wird hat der resultierende Graph ein solches. Diesen Ansatz verfolgen etwa Hetyei 1972^[42] oder Lovász 1975.^[43]

Es genügt nicht, erst alle Blüten zu suchen und zu kontrahieren und dann eine Breitensuche zu fahren. Die Priorität der Fallunterscheidungen spielt eine Rolle für die Korrektheit des Algorithmus'.^[44] In diesem Beispiel enthält der kontrahierte Graph keinen augmentierenden Pfad, wohl aber der Ausgangsgraph.

Algorithmus von Edmonds

Der erste Polynomialzeitalgorithmus für das klassische Matchingproblem stammt von Edmonds 1965^[45]. Die Grundstruktur der Methode entspricht Algorithmus (I): Sie sucht verbessernde Pfade und gibt ein maximum Matching zurück, falls kein solcher gefunden werden kann. Einen verbessernden Pfad zu finden, stellt sich hier aber als schwieriger heraus als im bipartiten Fall, weil einige neue Fälle auftreten können. Edmonds Suchmethode konstruiert nach und nach einen alternierenden Wald; Das ist ein kreisfreier Graph F mit so vielen Zusammenhangskomponenten, wie es freie Knoten gibt. Jeder freie Knoten ist Wurzel r_i eines Baumes $T\subset F$ und F ist so konstruiert, dass für alle anderen Knoten $v\in F$ der eindeutig bestimmte r_i-v-Pfad ein alternierender Pfad ist. Ein Knoten in $v\in F$ heißt dann innen oder ungerade, falls $\operatorname{d}(r_i,v)\equiv 1\mod 2$ und andernfalls außen oder gerade. ($\operatorname{d}$ sei hier die Distanzfunktion in T; gebe also die Länge des eindeutig bestimmten r_i-v-Pfades an)

Es genügt die Betrachtung auf die Konstruktion eines alternierenden Baumes zu reduzieren. Falls diese Konstruktion keinen augmentierenden Pfad findet, wird sie mit einem neuen freien Knoten reinitialisiert und alle bereits betrachteten Kanten werden ignoriert. Existiert kein freier Knoten mehr, dann existiert auch kein augmentierender Pfad. Diesen alternierenden Baum konstruiert Edmonds, indem er ausgehend von einem freien Knoten nach und nach alle Kanten hinzufügt oder ignoriert. Dabei können für eine neue Kante e = uv (u gehöre bereits zum Baum) folgende Fälle auftreten:

1. Wenn u ein innerer Knoten ist, können nur Kanten $e\in M$ zu T hinzugefügt werden, weil T alternierend werden soll. Diese Kante ist eindeutig durch $(u~\operatorname{match}(u))$ gegeben.
2. Falls u ein äußerer Knoten ist, dann kann v …
   1. frei sein und noch nicht in T. Dann ist der r-v Pfad augmentierend.
   2. gepaart sein und weder v noch $\operatorname{match}(v)$ ist in T. Dann können v und $\operatorname{match}(v)$ zu T hinzugefügt werden.
   3. bereits in T als äußerer Knoten enthalten sein. Damit schließt e einen geraden Kreis. Diese Kanten können ignoriert werden.^[46]
   4. bereits in T als ein innerer Knoten enthalten sein. Dann schließt e einen ungeraden alternierenden Kreis B; eine sogenannte Blüte. Edmonds zieht die Knoten in B zu einem Pseudoknoten b zusammen mit den Inzidenzen aller Knoten aus B. (Diese Operation lässt sich auch beschreiben als „Bildung des Quotientengraphen” G' = G / B) Er reinitialisiert dann die Suche in G' und gibt ein Verfahren an, einen dort gefundenen augmentierenden Pfad P' zu einem augmentierenden Pfad P in G zu liften.

Blüten können, anders als bei Fall 3, nicht ignoriert werden.^[47] Der Knoten, der die Blüte mit dem Baum verbindet, lässt sich in das Schema der inneren und äußeren Knoten nicht einordnen. Die naheliegende Idee, ihn als „sowohl innen als auch außen“ zu behandeln führt zu einem falschen Algorithmus.^[48] Die Behandlung von Blüten mit Kontraktion ist neben dem Ansatz von Berge die zentrale Idee von Edmonds' Algorithmus und Grundlage vieler späterer Verfahren. Bipartite Graphen enthalten keine ungeraden Kreise und damit auch keine Blüten. Edmonds' Algorithmus reduziert sich daher im bipartiten Fall auf die Methode von Munkres.

Man kenn ablesen, dass die skizzierte Methode von Edmonds einen Aufwand von $\mathcal{O}(n^4)$ hat. In Fall 2.4 reinitialisiert Edmods die Suche und verwirft damit den bereits geleisteten Suchaufwand. Gabow 1976^[49] und Lawler haben eine naive Implementierung vorgeschlagen, die den Suchaufwand nicht verwirft und eine Laufzeit von $\mathcal{O}(n^3)$ erreicht. Das Beispiel folgt bereits dieser Methode.

• Beispiel zu Edmonds
• 

  Sei folgender Graph G mit freien Knoten 1 und 9 gegeben.

• 

  Der Algorithmus startet beim freien Knoten 1 und mit dem alternierenden Baum, der nur diesen Knoten enthält.

• 

  G bleibt unverändert.

• 

  Betrachte Kante $(1~2)$. 1 ist ein innerer Knoten und weder 2 noch 3 liegen in T und werden nach Fall 2.2 hinzugefügt.

• 

  G bleibt unverändert.

• 

  5 und 6 sowie 4 und 14 werden wie eben nach Fall 2.2 hinzugefügt. $(4~6)$ schließt einen geraden Kreis und wird nach 2.3 ignoriert. Die Kante $(4~5)$ kann nach Fall 1.1 ignoriert werden.

• 

  G bleibt unverändert.

• 

  Erneut werden nach Fall 2.2 die Paare $13~12$, $10~11$ und $7~6$ hinzugefügt.

• 

  G zieht eine Blüte zusammen.

• 

  $13~10$ wird nach Fall 1.1 ignoriert und $12~10$ nach Fall 2.3. $12~11$ schließt eine Blüte B.

• 

  Der reduzierte Graph G' = G / B.

• 

  $b~7$ wird nach 2.3 ignoriert.

• 

  G' mit einer weiteren Blüte B'.

• 

  $b~8$ schließt wieder eine Blüte B'. Blüten können auch Pseudoknoten enthalten.

• 

  Der weiter reduzierte Graph G'' = G' / B'

• 

  Von b' wird der freie Knoten 9 gefunden, der nach Fall 2.1 in G'' den augmentierenden Pfad $P''=(1~2~b'~9)$ schließt. Die Liftung dieses Pfades liefert $P=(1~2~3~5~6~7~8~9)$ zunächst in G', der aber auch schon in G selbst liegt.

Literatur

• L. Lovász, M. D Plummer: Matching Theory, 1, Budapest: Elsevier Science und Akadémiai Kiadó Budapest 1986, ISBN 0444879161
• Reinhard Diestel: Graphentheorie, 3., neu bearb. und erw. A., Springer, Berlin 2006, ISBN 3540213910
• Dieter Jungnickel: Graphs, Networks and Algorithms, 3, 5, Springer 2007, ISBN 9783540727798
• Qinglin Roger Yu, Guizhen Liu: Graph Factors and Matching Extensions, 1, Beijing: Springer 2009, ISBN 3540939512
• Alexander Schrijver: Combinatorial Optimization – Polyherda and Efficiency, A. Amsterdam: Springer 2003, ISBN 3540443894
• Adrian Bondy, U.S.R. Murty: Graph Theory. Springer 2008, ISBN 1849966907
• Rainer Burkard, Mauro Dell'Amico, Silvano Martello: Assignment Problems. Philadelphia: Society for Industrial and Applied Mathematics 2009, ISBN 978-0-898716-63-4
• David S. Johnson: Network Flows and Matching: First Dimacs Implementation Challenge. American Mathematical Society 1993, ISBN 0821865986
• Eugene Lawler: Combinatorial Optimization: Networks and Matroids. Rocquencourt: Dover Publications 1976, ISBN 0030848660

Historisch

• Dénes Kőnig: Theorie der endlichen und unendlichen Graphen – kombinatorische Topologie der Streckenkomplexe., 1. Auflage 1986, Leipzig: Teubner Verlagsgesellschaft 1936, ISBN 3322003035
• Norman L. Biggs, E. Keith Lloyd, Robin J. Wilson: Graph Theory 1736-1936. Oxford University Press, USA 1999, ISBN 0198539169

Weblinks

 Commons: Matching – Sammlung von Bildern, Videos und Audiodateien

Einzelnachweise

1. ↑ Yu & Liu 4
2. ↑ Lovász & Plummer xi
3. ↑ Yu & Liu 3
4. ↑ Julius Peter Christian Petersen: Die Theorie de reguldren Graphen. In: Acta Mathematica. 15, 1891, S. 193-220.
5. ↑ David Hilbert: Über die Endlichkeit des Invariantensystems für binäre Grundformen. In: Mathematische Annalen. 33, Nr. 2, 1889, S. 223–226.
6. ↑ Lovász & Plummer xi
7. ↑ Diestel 43
8. ↑ Henry Roy Brahana: A Proof of Petersen's Theorem. In: The Annals of Mathematics. 19, Nr. 1, 1917, S. 59-63. doi:10.2307/1967667. Abgerufen am 2011.
9. ↑ Alfred Errera: Une demonstration du théorème de Petersen. In: Mathesis. 36, 1922, S. 56–61.
10. ↑ Orrin Frink: A Proof of Petersen's Theorem. In: The Annals of Mathematics. 27, Nr. 4, 1926, S. 491-493. doi:10.2307/1967699. Abgerufen am 2011.
11. ↑ Dénes Kőnig: Theorie der endlichen und unendlichen Graphen; kombinatorische Topologie der Streckenkomplexe. 1936
12. ↑ Fridolin Bäbler: Über die Zerlegung regulärer Streckenkomplexe ungerader Ordnung. In: Commentarii Mathematici Helvetici. 10, Nr. 1, 1938, S. 275-287. doi:10.1007/BF01214296. Abgerufen am 2011.
13. ↑ Fridolin Bäbler: Bemerkungen zu einer Arbeit von Herrn R. Cantoni.. In: Commentarii Mathematici Helvetici. 26, 1952, S. 117-118. Abgerufen am 2011.
14. ↑ Fridolin Bäbler: Über den Zerlegungssatz von Petersen. In: Commentarii Mathematici Helvetici. 28, Nr. 1, 1954, S. 155-161. doi:10.1007/BF02566927. Abgerufen am 2011.
15. ↑ Tibor Gallai: On factorization of graphs. In: Acta Mathematica Academiae Scientiarum Hungaricae. 1, 1950, S. 133-153.
16. ↑ Hans-Boris Belck: Reguläre Faktoren von Graphen.. In: Journal für die reine und angewandte Mathematik (Crelles Journal). 1950, Nr. 188, 1950, S. 228-252. doi:10.1515/crll.1950.188.228. Abgerufen am 2011.
17. ↑ Ron Aharoni: Kőnig's Duality Theorem for Infinite Bipartite Graphs. In: Journal of the London Mathematical Society. s2-29, Nr. 1, 1984, S. 1-12. doi:10.1112/jlms/s2-29.1.1. Abgerufen am 2011.
18. ↑ Lovász & Plummer 5-40
19. ↑ Notizen zu einem Vortrag von Robert D. Borgersen: Equivalence of seven major theorems in combinatorics November 26, 2004
20. ↑ K. Jacobs: Der Heiratssatz. In: Selecta Mathematica I. 1969, S. 103–141.
21. ↑ Philip Hall: On representatives of subsets. In: Journal of London Mathematics Society. 10, 1935, S. 26-30.
22. ↑ Jungnickel 216
23. ↑ Diestel 43
24. ↑ Lui 9
25. ↑ Bondy & Murty 422
26. ↑ Claude Berge: Two theorems in graph theory. In: Proceedings of the National Academy of Sciences of the United States of America. 43, Nr. 9, 1957-09-15, S. 842-844.
27. ↑ Aus didaktischen Gründen sehr stark vereinfacht nach Burkard, Dell’Amico & Martello 38. In der Referenz ist die Methode zum Finden eines verbessernden Pfades wesentlich detaillierter angegeben.
28. ↑ John E. Hopcroft, Richard M. Karp: An n^{5 / 2} Algorithm for Maximum Matchings in Bipartite Graphs. In: SIAM Journal on Computing. 2, Nr. 4, 1973, S. 225-231. doi:10.1137/0202019. Abgerufen am 2011.
29. ↑ H. Alt, N. Blum, K. Mehlhorn, M. Paul: Computing a maximum cardinality matching in a bipartite graph in time $\mathcal{O}(n^{1.5\sqrt{m/\log n}}$). In: Information Processing Letters. 37, Nr. 4, 1991, S. 237-240. doi:16/0020-0190(91)90195-N. Abgerufen am 2011.
30. ↑ Joseph Cheriyan, Torben Hagerup, Kurt Mehlhorn: Can a maximum flow be computed in $\mathcal{O}(nm)$ time?. In: Automata, Languages and Programming, 443, S. 235-248, Berlin/Heidelberg: Springer-Verlag 1990, ISBN 3-540-52826-1
31. ↑ Kann nicht dargestellt werden {{Cite conference}} ist kaputt.
32. ↑ M. L Balinski, J. Gonzalez: Maximum matchings in bipartite graphs via strong spanning trees. In: Networks. 21, Nr. 2, 1991, S. 165-179. doi:10.1002/net.3230210203.
33. ↑ ^{a b} W. T Tutte: The factorization of linear graphs. In: Journal of the London Mathematical Society. 1, Nr. 2, 1947, S. 107.
34. ↑ Lovász & Plummer 84
35. ↑ F. G. Maunsell: A note on Tutte's paper “The factorization of linear graphs”. In: Journal of the London Mathematical Society. 1, Nr. 1, 1952, S. 127.
36. ↑ W. T. Tutte: The factors of graphs. In: Classic Papers in Combinatorics. 1987, S. 164-178.
37. ↑ ^{a b} T. Gallai: Neuer Beweis eines Tutte’schen Satzes, Magyar Tud. In: Akad. Kutató Int. Közl. 8, 1963, S. 135–139.
38. ↑ John H. Halton: A Combinatorial Proof of a Theorem of Tutte. In: Mathematical Proceedings of the Cambridge Philosophical Society. 62, Nr. 04, 1966, S. 683-684. doi:10.1017/S0305004100040342. Abgerufen am 2011.
39. ↑ M. L. Balinski: On perfect matchings. In: SIAM Review. 12, 1970, S. 570-572.
40. ↑ I. Anderson: Perfect matchings of a graph. In: Journal of Combinatorial Theory, Series B. 10, Nr. 3, 1971, S. 183–186.
41. ↑ W. Mader: 1-Faktoren von Graphen. In: Mathematische Annalen. 201, Nr. 4, 1973-12, S. 269-282. doi:10.1007/BF01428195.
42. ↑ G. Hetyei: A new proof of a factorization theorem. In: Acta Acad. Paedagog. Civitate Pécs Ser. 6 Math. Phys. Chem. Tech. 16, 1972, S. 3-6.
43. ↑ L. Lovasz: Three short proofs in graph theory. In: Journal of Combinatorial Theory, Series B. 19, Nr. 3, 1975, S. 269-271.
44. ↑ Jungnickel 409
45. ↑ J. Edmonds: Paths, trees, and flowers. In: Canadian Journal of mathematics. 17, Nr. 3, 1965, S. 449-467. doi:10.4153/CJM-1965-045-4.
46. ↑ Jungnickel 396
47. ↑ Betrachte dieses Beispiel nach Jungnickel 398
48. ↑ Diese Idee wurde in U. Pape, D. Conradt: Maximales Matching in Graphen. In: Ausgewählte Operations Research Software in FORTRAN, S. 103-114 1979, ISBN 3486239112 vorgeschlagen. Jungnickel 399 hat ein Gegenbeispiel, das auf Christian Fremuth-Paeger zurückgeht.
49. ↑ Harold N. Gabow: An Efficient Implementation of Edmonds' Algorithm for Maximum Matching on Graphs. In: Journal of the ACM. 23, Nr. 2, 1976-04, S. 221-234. doi:10.1145/321941.321942. Abgerufen am 2011.

Anmerkungen

1. ↑ Beachte den Unterschied zwischen einem maximalen Element und einem Maximum. Bei der Formalisierung wird darauf genauer eingegangen.
2. ↑ Es ist nicht bekannt, ob Petersen mit den Arbeiten von Euler 1736 zu diesem Problem vertraut war (Lovász & Plummer xi)
3. ↑ In Diestel 43 folgt die erste Aussage Satz aus dem Heiratssatz von Hall. Die zweite Aussage wird auf 45 auf den Satz von Tutte zurückgeführt. Der Beweis von (2) geht dabei auf Lovász & Plummer 110 zurück. Jungnickel und Yu & Liu verfahren mit (1) wie Diestel. (216 resp. 16) Aussage (2) steht bei Yu & Liu als Zitat ohne Beweis (51) und bei Jungnickel als Übungsaufgabe. (389) In Schrijver sind (1) und (2) Übungsaufgaben (81 und 43)
4. ↑ $\oplus$ notiert die symmetrische Differenz
5. ↑ Programmiersprachen, die das Konzept Inf nicht unterstützen, können die künstlichen Kanten stattdessen mit einer absurd großen Zahl belegen. $\textstyle \sum_{e\in E(G)} c(e)$ genügt in jedem Fall.