Clique (Graphentheorie)

Eine Clique bezeichnet in der Graphentheorie eine Teilmenge von Knoten in einem ungerichteten Graphen, bei der jedes Knotenpaar durch eine Kante verbunden ist. Zu entscheiden, ob ein Graph eine Clique einer bestimmten Mindestgröße enthält, wird Cliquenproblem genannt und gilt, wie das Finden von größten Cliquen, als algorithmisch schwierig (NP-vollständig).

Definitionen

Ein Graph mit einer Clique der Größe 3.

Sei G=(V,E) ein ungerichteter Graph ohne Mehrfachkanten und eine Teilmenge von . Eine Clique ist eine Teilmenge von , die einen vollständigen Teilgraphen induziert. Ist eine Clique, so gilt also für den Teilgraph $H=(U,F)$ , wobei alle Kanten aus enthält, die zwei Knoten in verbinden, dass je zwei beliebige verschiedene Knoten und aus durch eine Kante miteinander verbunden sind.

Eine Clique von nennt man maximal, wenn man keinen weiteren Knoten aus zu hinzufügen kann, so dass zusammen mit eine Clique ist. Gibt es in keine Clique, die mehr Elemente als enthält, so nennt man größte Clique. Die Anzahl der Elemente einer größten Clique nennt man Cliquenzahl.

Als Cliquenüberdeckung von der Größe bezeichnet man eine Partition der Knotenmenge V(G) in paarweise disjunkte Cliquen $V_{1},V_{2},\ldots ,V_{k}$ . Aus den Cliquen eines Graphen ergibt sich dessen Cliquen-Graph.

Gerichtete Graphen oder solche mit Mehrfachkanten sind nicht Gegenstand derartiger Betrachtungen, da es nicht auf die Richtung oder Vielfachheit der Kanten ankommt.

Eigenschaften

Zu jeder Clique eines Graphen gibt es eine stabile Menge im Komplementgraphen.

Probleme und Komplexität

Das Entscheidungsproblem zu einem Graphen und einer natürlichen Zahl zu entscheiden, ob eine Clique der Größe mindestens enthält, wird Cliquenproblem (CLIQUE) genannt. Das zugehörige Optimierungsproblem fragt nach der Cliquenzahl eines Graphen. Das zugehörige Suchproblem fragt nach einer größten Clique. Diese drei Probleme sind polynomiell äquivalent.

Das Cliquenproblem ist eines von Karps 21 NP-vollständigen Problemen. Die zugehörigen Optimierungs- und Suchprobleme sind NP-äquivalent. Für den Nachweis der NP-Schwere des Cliquenproblems existiert eine Reduktion von 3-SAT auf das Cliquenproblem.

Eine größte Clique lässt sich jedoch in polynomieller Zeit berechnen, wenn der Komplementgraph bipartit ist. Tatsächlich gilt sogar etwas stärker, dass die Cliquenzahl in perfekten Graphen in polynomieller Zeit berechnet werden kann. Da die chromatische Zahl und die Cliquenzahl in solchen Graphen identisch sind, ist auch ihre chromatische Zahl in polynomieller Zeit berechenbar. Die Berechnung einer maximalen Clique gelingt bereits mit einem einfachen Greedy-Algorithmus.

Software

Algorithmen zum Finden und Manipulieren von Cliquen sind in der freien Python-Bibliothek NetworkX implementiert.

Basierend auf einem Artikel in:

Wikipedia.de