Вычислить группу автоморфизмов графа/проверить, являются ли два графа изометричными (DAG)

Это должна быть хорошо изученная проблема, но я изо всех сил пытаюсь ее исследовать.

Я начал здесь, но я ищу алгоритмы для изучения и реализации. http://en.wikipedia.org/wiki/Graph_isomorphism_problem

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

введите здесь описание изображения


person SwimBikeRun    schedule 29.04.2014    source источник


Ответы (1)


вы можете использовать алгоритм nauty или saucy для вычисления этой проблемы.

Эти ссылки могут быть вам полезны. :)

Nauty:
http://cs.anu.edu.au/~bdm/nauty/
http://cs.anu.edu.au/~bdm/nauty/

Saucy:
http://vlsicad.eecs.umich.edu/BK/SAUCY/

На дерзкой странице также есть список готовых инструментов (особенно для командной строки в ОС на базе Linux).

person user1735921    schedule 31.03.2015