Clique (Garey/Johnson: GT19)
Instanz (G :: Graph a, k :: Integer) ein Graph G und eine Zahl k
Beweis C :: Set a cardinality C >= k und G|C ist vollständiger Teilgraph
Ein Graph heißt vollständig oder Clique, wenn zwischen je zwei Knoten eine Kante existiert.