Algorithmus zum Testen eines Graphen für

Ich suche einen Algorithmus, der eine Grafik gegeben hat $G$ und eine natürliche Zahl $t$bestimmt, ob $G$ ist $t$-transitiv .

Ich bin auch daran interessiert zu wissen, ob dieses Problem in P, NP, NPC oder anderen interessanten Fakten über seine Komplexitätsklasse liegt.

Wenn Sie ein Orakel aus Graph Isomorphism hatten, dann für Konstante $t$ Sie können überprüfen, ob ein Diagramm vorhanden ist $t$-transitiv. Zum Beispiel, um zu überprüfen, ob ein Diagramm vorhanden ist$1$-transitiv für jeden Scheitelpunkt $i$ Erstellen Sie eine Variante $G_i$ Ihres ursprünglichen Diagramms durch Anhängen eines "Anhangs" am Scheitelpunkt $i$sagen wir einen sehr langen Weg oder einen sehr großen Stern. Der Graph ist transitiv, wenn alle$G_i,G_j$ sind isomorph.