Komplexität der Zählung von Graphendomorphismen

9

Ein Homomorphismus aus einem Graphen an einen Graph G ' = ( V ' , E ' ) ist eine Abbildung f von V auf V ' , so daß , wenn x und y benachbart sind , in E dann f ( x ) und f ( y ) sind in E ' benachbart . Ein Endomorphismus eines Graphen G.G=(V,E)G=(V,E)fVVxyEf(x)f(y)EGist ein Homomorphismus von zu sich selbst; es ist festpunktfrei, wenn es kein x gibt, so dass f ( x ) = x ist, und es ist nicht trivial, wenn es nicht die Identität ist.Gxf(x)=x

Ich habe kürzlich eine Frage gestellt, die sich auf Poset- (und Graph-) Automorphismen bezieht, dh auf bijektive Endomorphismen, deren Umkehrung auch ein Endomorphismus ist. Ich fand verwandte Arbeiten zum Zählen (und Entscheiden der Existenz von) Automorphismen, aber bei der Suche konnte ich keine Ergebnisse im Zusammenhang mit Endomorphismen finden.

Daher meine Frage: Wie komplex ist es angesichts eines Graphen , über die Existenz eines nicht trivialen Endomorphismus von G zu entscheiden oder die Anzahl der Endomorphismen zu zählen? Gleiche Frage bei festpunktfreien Endomorphismen.GG

Ich denke, das in dieser Antwort gegebene Argument erstreckt sich auf Endomorphismen und rechtfertigt, dass der Fall von gerichteten zweigeteilten Graphen oder Posets nicht einfacher ist als das Problem für allgemeine Graphen (das Problem für allgemeine Graphen reduziert sich auf diesen Fall), aber seine Komplexität nicht scheinen einfach zu bestimmen. Es ist bekannt, dass die Entscheidung über die Existenz eines Homomorphismus von einem Diagramm zum anderen NP-schwer ist (dies ist klar, da es die Farbgebung des Diagramms verallgemeinert), aber es scheint, als würde die Beschränkung der Suche auf Homomorphismen von einem Diagramm auf sich selbst das Problem erleichtern. Das hilft mir also nicht, die Komplexität dieser Probleme zu bestimmen.

a3nm
quelle

Antworten:

6

Das Zählen von Endomorphismen oder festpunktfreien Endomorphismen ist für vollständig : Betrachten Sie bei einem verbundenen Graphen G den Graphen G ', der die disjunkte Vereinigung von G und einem Dreieck ist. Dann | Ende ( G ' ) | = ( | Ende ( G ) | + # 3 C O L ( G ) ) ( # { Dreiecke in  G } + 3 3 )FP#PGGG|End(G)|=(|End(G)|+#3COL(G))(#{triangles in G}+33), So mit zwei endomorphism Zählwerte (und durch ein allgemeines Ergebnis, auch nur ein genügt) und einig Poly-time Nachverarbeitung berechnet werden kann. Beachten Sie, dass die Anzahl der Dreiecke in kubischer (oder sogar Matrixmultiplikations-) Zeit gezählt werden kann. Die gleiche Gleichung gilt für freie Endomorphismen mit festem Punkt, da die 3-Farben und Dreiecke feste Endomorphismen ohne festen Punkt von G 'sind .#3COLG

Wenn Sie möchten, dass verbunden wird, können Sie wie folgt vorgehen. Beachten Sie zunächst, dass das Zählen von Scheitelpunkt-farbigen Diagrammendomorphismen (wobei Scheitelpunkte der Farbe c nur auf andere Scheitelpunkte der Farbe c abgebildet werden können ) dem Zählen von Diagrammendomorphismen wie folgt entspricht. Die Farben seien { 1 , . . . , C } . Addiere für jeden Scheitelpunkt v der Farbe c in einem neuen disjunkten ungeraden Zyklus C v der Größe mindestens n + 2 c ( n = | V ()Gcc{1,...,C}vcCvn+2c) und verbinde einen Scheitelpunkt von C v mit v . Jeder Endomorphismus von G entspricht 2 n Endomorphismen des neuen Graphen (für jeden Zyklus haben Sie zwei Möglichkeiten, ihn abzubilden). Beachten Sie, dass keine Scheitelpunkte von G Scheitelpunkten von C v zugeordnet werden können , da die Zyklen zu groß sind (Sie müssten in der Lage sein, einen Zyklus in einen anderen zu passen, was für ungerade Zyklen nicht möglich ist).n=|V(G)|CvvG2nGCv

GGΔv0GΔv0

Joshua Grochow
quelle
|End(G)|(|End(G)|+#3COL(G))(#triangles+33)und etwas Ähnliches für Festkomma-frei), aber das Argument gilt immer noch. Der zweite Teil Ihres Arguments zeigt die Härte, selbst wenn man von Verbundenheit ausgeht. Ich denke, es ist wahr, aber ich denke, es gilt nicht direkt für Endomorphismen ohne Fixpunkte (es gibt Fixpunkte in den Zykluszuordnungen), aber das ist nicht so wichtig. Ich wäre neugieriger zu wissen: Ist das Entscheidungsproblem NP-schwer (für nicht triviale und für festpunktfreie Endomorphismen)? Danke noch einmal!
A3NM
CvvG,HGHGHHG
Joshua Grochow
OK, ich glaube, ich kaufe Ihr Argument für eine feste Punktzählung. Zur Entscheidung stelle ich jetzt fest, dass "Der Kern eines Graphen", Hell, p. 8-9 scheint zu beweisen, dass die Entscheidung über die Existenz eines nicht trivialen Endomorphismus NP-vollständig ist. (Die Frage der
festpunktfreien