Изменения
Нет описания правки
Вагнер опубликовал теорему в 1937, после публикации в 1930 [[Теорема_Понтрягина-Куратовского|теоремы Куратовского]], согласно которой граф планарен тогда и только тогда, когда он не содержит подграфов [[Укладка_графа_на_плоскости|гомеоморфных]] <tex> K_{5} </tex> и <tex> K_{3, 3} </tex>. [[Теорема_Понтрягина-Куратовского|Теорема Куратовского]] сильнее теоремы Вагнера — [[Укладка_графа_на_плоскости|гомеоморфный]] подграф может быть преобразован в минор того же типа путём стягивания всех, кроме одного, рёбер в каждом пути, полученном при разукрупненииразбиении ребра путем добавления вершины, а вот обратное преобразование из минора в разукрупнение [[Укладка_графа_на_плоскости|гомеоморфный]] подграф того же типа не всегда возможно.
__TOC__