Какие существуют методы компьютерной проверки графа на планарность?

Некоторые методы компьютерной проверки графа на планарность:

• Метод добавления пути. en.wikipedia.org Классический метод, разработанный Хопкрофтом и Таржаном, был первым опубликованным алгоритмом проверки планарности с линейным временем работы. en.wikipedia.org
• Метод добавления вершин. ru.wikipedia.org
• Метод добавления рёбер. ru.wikipedia.org
• Метод последовательного построения. ru.wikipedia.org
• Метод проверки планарности с одновременным формированием математических структур. spravochnick.ru Базируется на создании системы изометрических циклов, понятии вращения вершин графа, а также задании операции определения пересечения рёбер. spravochnick.ru
• Гамма-алгоритм. elibrary.sgu.ru Позволяет определить, является ли граф планарным, визуализировать любой граф по окружности или с помощью использования физических аналогий, а также сгенерировать случайный планарный граф. elibrary.sgu.ru

Алгоритмы проверки планарности обычно используют теоремы теории графов, которые описывают множество планарных графов в терминах, не зависящих от рисования графов. ru.wikipedia.org