Алгоритм приведения конечных неориентированных графов к каноническому виду

Известно, что традиционные алгоритмы установления изоморфизма графов, использующие геометрические инварианты, неэффективны на графах, содержащих сильнорегулярные фрагменты. Предлагается алгоритм, использующий принципиально другой подход к решению проблемы изоморфизма и достаточно эффективно работающий на сильнорегулярных графах.