Изменения

Перейти к: навигация, поиск

Укладка графа на плоскости

238 байт убрано, 22:53, 17 января 2012
м
поправлено форматирование
{| class="standard" border=0|[[Файл:Planar_graph.jpg|300px|thumb|left|Пример планарного графа. Оранжевым контуром обозначены грани, за исключением внешней грани (всего 5 граней). Обратите внимание, что внутри грани могут содержаться другие ребра и вершины.]]<div style='clear:right;'></div>|
{{Определение
|neat=neat
|definition=
[[Основные_определения_теории_графов|Граф]] '''обладает укладкой''' в пространстве <tex>L</tex>, если он изоморфен графу, вершинами которого являются некоторые точки <br/> пространства, а ребрами {{---}} жордановы кривые <ref name="ЖК">Жордановыми кривыми, неформально говоря, называют кривые без самопересечений, которые можно «нарисовать одним росчерком пера».</ref>, соединяющие соответствующие вершины, причем<br /> 1) # Кривая, являющаяся ребром не проходит через другие вершины графа, кроме вершин, которые она соединяет;<br /> 2) # Две кривые, являющиеся ребрами, пересекаются лишь в вершинах, инцидентных одновременно обоим этим ребрам.<br /> Соответствующий граф, составленный из точек пространства и жордановых кривых из <tex>L</tex>, называют <br/>'''укладкой''' исходного графа.
}}
<br/>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
{{Определение
|neat=neat
|definition=
Граф называется '''планарным''', если он обладает укладкой на плоскости. '''Плоским''' (plane graph, planar embedding of the graph) <br/>называется граф уже уложенный на плоскости.
}}
[[Файл:K33.jpg|300px}{|thumb|rightclass="standard" border=0|Полный двудольный граф <tex>K_{3,3}</tex>. Этот граф непланарен, и его не получится изобразить на плоскости без пересечений.]]<br/>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;
{{Определение
|neat=1
|definition=
Плоский граф разбивает плоскость на несколько областей, называемых '''гранями''' (faces). Одна из граней не ограничена, ее &nbsp;<br/> называют '''внешней''' гранью, а остальные {{---}} '''внутренними''' гранями.
}}
<div style='clear:left;'></div>
<br/>
Для плоских графов есть простое соотношение, называемое [[Формула_Эйлера|формулой Эйлера]]: <tex>V - E + F = 2</tex>, где <tex>V</tex> {{---}} вершины (''vertex''), <tex>E</tex> {{---}} ребра (''edges''), <tex>F</tex> {{---}} грани (''faces'').
Понятно, что любой граф, содержащий подграф <tex>K_5</tex> или <tex>K_{3,3}</tex> непланарен. Оказывается, верно и обратное утверждение, но для его формулировки потребуется вспомогательное определение:
|
[[Файл:K33.jpg|300px|thumb|Полный двудольный граф <tex>K_{3,3}</tex>. Этот граф непланарен, и его не получится изобразить на плоскости без пересечений.]]
|}
{{Определение
|definition=
223
правки

Навигация