Schwacher Perfekte-Graphen-Satz
# Schwacher Perfekte-Graphen-Satz

Der schwache Perfekte-Graphen-Satz (oder auch nur Perfekte-Graphen-Satz und Satz von Lovász) ist ein mathematischer Satz aus der Graphentheorie, der sich mit Strukturen, die bei Eckenfärbungen auftreten, beschäftigt. Er wurde 1972 erstmals von László Lovász bewiesen.

   „Ein Graph G ist genau dann perfekt, wenn sein komplementärer Graph $G^c$ perfekt ist.“

Im Folgenden bezeichne für einen Graphen G $V$ seine Eckenmenge, $G_{A}$ einen von $A\subset V$ induzierter Teilgraphen, $\chi (G)$ die chromatische Zahl, $\omega (G)$ die Cliquenzahl, $\alpha (G)$ die Stabilitätszahl und die $k(G)$ Zusammenhangszahl.

Die folgenden Bedingungen sind dann (formal) äquivalent:

* $\chi (G_{A})=\omega (G_{A})$ für alle $A\subseteq V$ (G perfekt).
* $k(G_{A})=\alpha (G_{A})$ für alle $A\subseteq V$ $(G^c$ perfekt).
* $\alpha (G_{A})\omega (G_{A})\geq |A|$ für alle $A\subseteq V$.
