Reduction of the graph isomorphism problem to equality checking of $n$-variables polynomials and the algorithms that use the reduction.