Аннотация:Проблема изоморфизма графов в общем случае сложна и над ней работают многие ученые. Эффективные алгоритмы поиска подграфа изоморфного данному не известны. Для малого количества вершин, при наличии ограничений на количество ребер, степенную последовательность существуют алгоритмы минимизирующие перебор и позволяющие в некоторых случаях решать задачу изоморфизма за приемлемое время. Для этого написаны специальные библиотеки.
На практике не всегда необходимо решать задачу в общем случае. Графы, позволяющие укладку на плоскость без пересечения рёбер называются планарными. Сложна ли задача изоморфизма для планарных графов? Существует ли эффективный алгоритм перечисления неизоморфных планарных графов?
Ивану удалось придумать полиномиальные алгоритмы перечисления неизоморфных графов для некоторых классов планарных графов.