Каковы известные оценки сложности автоморфизма нетривиальных графов?

11

Для любого простого неориентированного графа G нетривиально определить, имеет ли G нетривиальные (неединичные) автоморфизмы. Но каковы результаты на верхних / нижних границах этой проблемы решения?

Чарльз Ю
источник

Ответы:

15

Определение наличия у графа нетривиального автоморфизма Кука-сводит (полиномиальное время Тьюринга) к изоморфизму графа (определить, изоморфна ли пара графов) (упражнение для читателя). Не известно, что это эквивалентно изоморфизму графа.

В свою очередь, изоморфизм графов может быть решен за времени и лежит в . В частности, он не является полным, если не разрушится полиномиальная иерархия.2O~(n)NPcoAMNP

Джошуа Грохов
источник
Так ? Я думал, что многие сводят к . Я ошибся? Также известно или даже это вне досягаемости? GAPGIGAGIGIBPPGA
Т ....