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