Je travaille sur un problème lié aux carrés latins, et je veux une méthode pour ce qui se résume essentiellement au problème de décision:
Entrée : Un graphe fini et simple G.
Sortie : YES
si G a un automorphisme non trivial, NO
sinon.
Par conséquent...
Question : Existe-t-il un algorithme efficace pour déterminer si un graphe présente ou non un automorphisme non trivial?
Nous pourrions utiliser Nauty ou Bliss (et éventuellement d'autres packages) pour calculer l'ensemble du groupe d'automorphisme, mais je n'en ai pas besoin; tout ce que je dois déterminer, c'est si c'est trivial ou non.
Il est possible que ce problème de décision soit théoriquement équivalent en complexité pour «calculer l'ensemble du groupe d'automorphisme» d'une manière ou d'une autre. Je ne suis pas sûr.
Dans mon but, «efficace» signifie essentiellement «plus vite dans la pratique que le calcul de l'ensemble du groupe d'automorphisme», mais je m'intéresse également à la théorie derrière.
la source
Réponses:
Puisque vous êtes également intéressé par la théorie derrière elle, je vous donnerais un algorithme de temps quasi-polynomial pour votre problème.
Pour chaque paire de sommets (de même degré) dans , nous essayons de voir s'il est possible d' échanger et .u ≠ v g u v u v
Pour ce faire, faites une copie de , appelez-la . Maintenant, supprimez de , supprimez (copie de) de .g g′ u g v g′
Ensuite, pour chaque attachez-lui un chemin très long, mais seulement polynomialement long .w ∈ N( u )
Ensuite, pour chaque (copie de) attachez-lui un chemin très long, mais uniquement polynomial .w ∈ N( c o p y o f v )
Tout le chemin très long mentionné ci-dessus, mais polynomialement long , devrait être de la même longueur.
Appelez l'algorithme de Babai sur l'entrée de cette nouvelle paire de graphiques.
Si pour n'importe quelle paire , nous avons une réponse de Babai, répondez et arrêtez.( u , v ) OuiES OuiES
Si aucun ne renvoie une réponse , répondez et arrêtez.OuiES NO
Clairement, l'attachement à tous les sommets de et force l'isomorphisme graphique du mécanisme de fonctionnement interne de Babai de son algorithme à mapper uniquement les sommets de à . Ainsi, si la réponse est Babai nous pouvons brancher en toute sécurité dans le dos et d'avoir un automorphisme non trivial de , puisque est une copie de .N( u ) N( v ) N( u ) N( v ) OuiES u v g g′ g
La complexité d'exécution est encore quasi-poly.
la source