Satz: G chordal (G) = (G).
Def: G heißt perfekt, falls für alle induzierten Teilgraphen H G gilt: (H) = (H)
Satz: (weak) perfekt graph theorem (Berge 1960 -- Lovasz, 1971) G perfekt perfekt
Satz: (strong) perfect graph theorem (-- Robertson, Seymour, 2003) G perfekt G enthält keinen induzierten C5, C7, C9,...,,,,....