Сведение задачи проверки изоморфизма графов к задаче проверки равенства полиномов от $n$ переменных

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