Изоморфизм графов.

Два графа называются изоморфными, если между их вершинами можно установить взаимно однозначное соответствие, сохраняющее смежность, т.е. два графа G(x, u) и G'(x', u') изоморфны, если существует такое взаимно однозначное соответствие j

, что если , то

,

где

Изоморфные графы несут одну и ту же информацию, поэтому они могут рассматриваться как один граф. Графы различаются с точностью до изоморфизма.

Планарность. Плоские графы.

Говорят, что граф укладывается на поверхности S, если его можно нарисовать на S так, что никакие два его ребра не пересекаются в точках, не являющихся вершинами графа.

Граф называется планарным, если его можно уложить на плоскости. Плоский граф – граф, уложенный на плоскости.

Рис..6.

Граф G1 (рис. 3.1.6) планарен, он изоморфен плоскому графу G2. Исследование планарности графов составляет одну из задач этой теории. Изучение планарных графов было начато Эйлером. Опираясь на результаты, полученные Эйлером, можно доказать, что графы K1, K2, K3 (рис. 3.1.7) не являются планарными. Заметим, что графы K1, K3 изоморфны.

Рис.7.

Графы, изоморфные указанным графам, также не являются планарными.

Отыскание общего критерия планарности графов составляло одну из труднейших задач теории графов. Решение было найдено Понтрягиным и независимо от него Куратовским. Чтобы сформулировать эти результаты, необходимо познакомиться с определением гомеоморфизма. Но прежде сформулируем следующие определения.

Говорят, что граф G'(x', u') получен из графа G(x, u) операцией подразделения ребра (x_i, x_j)Î u, если x'=xÈ a, u'=u[(x_i, x_j)È (x,.a)È (a, x_j)]

Рис..8.

Два графа G1, G2 называются гомеоморфными, если существует такой граф G', который может быть получен как из графа G1, так и из G2 операцией подразделения ребра конечное число раз. Или: графы G1 и G2 гомеоморфны, если существуют изоморфные подразбиения G1' и G2', изображенные на рис. 3.1.9, гомеоморфны.

Рис. 9

Граф G' может быть получен из графов G1 и G2 операцией подразделения ребра, проведенной дважды.

Теорема Понтрягина-Куратовского. Граф планарен тогда и только тогда, когда он не содержит подграфа, гомеоморфного графам K1 или K2 (рис.3.1.7).

Вслед за этим классическим результатом были предложены другие критерии планарности.