42
правки
Изменения
Добавлены англоязычные термины
{{Определение
|definition =
<b>Внешним графом</b> (англ. ''Outside graph'') (относительно цикла <tex>C</tex>) будем называть подграф графа <tex>G'</tex>, порождённый всеми вершинами графа <tex>G'</tex>, лежащими снаружи от цикла <tex>C</tex>.
}}
{{Определение
|definition =
<b>Внешними компонентами</b> (англ. ''Outside components'') будем называть компоненты связности внешнего графа.
}}
В силу связности графа <tex>G'</tex> для любой внешней компоненты должны существовать рёбра в <tex>G'</tex>, соединяющие её с вершинами цикла <tex>C</tex>.
{{Определение
|definition =
<b>Внешними частями</b> (англ. ''Outside parts'') будем называть внешние компоненты вместе со всеми рёбрами, соединяющими компоненту с вершинами цикла <tex>C</tex>, и инцидентными им вершинами , либо рёбра графа <tex>G'</tex>, лежащие снаружи от цикла <tex>C</tex> и соединяющие две вершины из <tex>C</tex>, вместе с инцидентными такому ребру вершинами.
}}
[[Файл:pict-1.jpg|center|200px|рис. 7]][[Файл:pict-2.jpg|center|125px|рис. 8]]
{{Определение
|definition =
<b>Внутренним графом</b> (англ. ''Inside graph'') (относительно цикла <tex>C</tex>) будем называть подграф графа <tex>G'</tex>, порождённый всеми вершинами графа <tex>G'</tex>, лежащими внутри цикла <tex>C</tex>.
}}
{{Определение
|definition =
<b>Внутренними компонентами</b> (англ. ''Inside components'') будем называть компоненты связности внутреннего графа.
}}
В силу связности графа <tex>G'</tex> для любой внутренней компоненты должны существовать рёбра в <tex>G'</tex>, соединяющие её с вершинами цикла <tex>C</tex>.
{{Определение
|definition =
<b>Внутренними частями</b> (англ. ''Inside parts'') будем называть внутренние компоненты вместе со всеми рёбрами, соединяющими компоненту с вершинами цикла <tex>C</tex>, и инцидентными им вершинами, либо рёбра графа <tex>G'</tex>, лежащие внутри цикла <tex>C</tex> и соединяющие две вершины из <tex>C</tex>, вместе с инцидентными такому ребру вершинами
}}
Будем говорить, что внешняя (внутренняя) часть ''встречает цикл'' <tex>C</tex> в своих точках прикрепления к циклу <tex>C</tex>.
{{Определение
|definition =
Ввиду леммы 1 будем говорить, что любая внешняя часть является <b><tex>(a,b)</tex> {{---}} разделяющей частью</b>(англ. ''separating part''), поскольку она встречает и <tex>C(a,b)</tex>, и <tex>C(b,a)</tex>.
}}
Аналогично можно ввести понятие <tex>(a,b)</tex> {{---}} разделяющей внутренней части. Заметим, что внутрення часть может встречать цикл <tex>C</tex>, вообще говоря, более чем в двух точках, но не менее чем в двух точках.
