Definition: Bipartiter Graph

Sei ein Graph.

Falls es gibt, sodass

  • und

Wenn außerdem alle Kanten von nach führen, dann nennen wir bipartit.

und bezeichnen wir als Farbklassen von .

Anmerkung