Изменения
Нет описания правки
Среди всех укладок графа <math>G'</math> на плоскости и среди всех циклов <math>C</math>, содержащих <math>a</math> и <math>b</math>, зафиксируем такую укладку и такой цикл, что внутри области, ограниченной циклом <math>C</math>, лежит максимальное возможное число граней графа <math>G'</math>. Зафиксируем один из обходов по циклу <math>C</math> (на рисунках будем рассматривать обход по часовой стрелке по циклу <math>C</math>). Для вершин <math>u</math> и <math>v</math> цикла <math>C</math> через <math>C[u,v]</math> будем обозначать простую <math>(u,v)</math>-цепь, идущую по циклу <math>C</math> от <math>u</math> до <math>v</math> в направлении обхода цикла. Конечно, <math>C[u,v] ≠ C[v,u]</math>. Положим <math>C(u,v) = C[u,v]\{u,v}</math>, т.е. <math>C(u,v)</math> получено из <math>C[u,v]</math> отбрасыванием вершин <math>u</math> и <math>v</math>.
{{Определение
|definition =
б) рёбра графа <math>G'</math>, лежащие снаружи от цикла <math>C</math> и соединяющие две вершины из <math>C</math>, вместе с инцидентными такому ребру вершинами.
}}
{{ОпределиниеОпределение
|definition =
Внутренним графом (относительно цикла <math>C</math>) будем называть подграф графа <math>G'</math>, порождённый всеми вершинами графа <math>G'</math>, лежащими внутри цикла <math>C</math>.
