Распознавание изоморфизма древовидных изображений за линейное время

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