Bipartiter Graph

Ein Graph G heißt bipartit, wenn V(G) in zwei disjunkte
Teilmengen V(G)=A∪˙B zerlegt werden kann, so dass für alle
e∈E(G) gilt:
e∩A≠∅ und e∩B≠∅.
Jede Kante hat somit einen Endpunkt in A und den anderen in B. A und B werden als bi-Partitionen von G bezeichnet.