Визуализация графов
- 1 year ago
- 0
- 0
Два графа и гомеоморфны , если существует изоморфизм некоторого графа и некоторого подразделения графа . Если рёбра графа понимать как отрезки, соединяющие вершины (как обычно рисуется на иллюстрациях), то два графа гомеоморфны в контексте теории графов, когда они гомеоморфны в топологическом смысле.
В общем случае подразделение графа G (иногда используется термин расширение или подразбиение ) — это граф, полученный делением рёбер в G . Деление некоторого ребра e с конечными вершинами { u , v } даёт граф, содержащий новую вершину w и два ребра { u , w } и { w , v } вместо ребра e .
Например, ребро e с концами { u , v }:
может быть разделено на два ребра, e 1 и e 2 :
Обратная операция, исключение вершины w с инцидентными ей рёбрами ( e 1 , e 2 ), заменяет смежные вершине w оба ребра ( e 1 , e 2 ) на новое ребро, соединяющее конечные точки пары. Следует подчеркнуть, что данная операция применима только к вершинам, инцидентным в точности двум рёбрам.
Например, простой связный граф с двумя рёбрами e 1 { u , w } и e 2 { w , v }:
имеет вершину (с именем w ), которая может быть исключена, в результате получим:
Определение, гомеоморфен ли граф H подграфу G , является NP-полной задачей .
Барицентрическое подразделение разбивает каждое ребро графа. Это специальный вид подразделения, дающий всегда двудольный граф . Эту процедуру можно повторять, так что n -ое барицентрическое подразделение является барицентрическим подразделением подразделения n-1 . Второе такое подразделение всегда является простым графом .
Очевидно, что подразделение графа сохраняет планарность. Теорема Понтрягина — Куратовского утверждает, что
Фактически, граф, гомеоморфный K 5 или K 3,3 , называется подграфом Куратовского .
Обобщение, следующее из теоремы Робертсона — Сеймура , утверждает, что для любого целого g существует конечное препятствующее множество графов , такое, что граф H вложим в поверхность рода g тогда и только тогда, когда H не содержит копии, гомеоморфной какому-либо графу . Например, состоит из подграфов Куратовского.
В следующем примере графы G и H гомеоморфны.
G | H |
Если граф G' создан подразделением внешних рёбер графа G, а граф H' создан подразделением внутренних рёбер графа H, то G' и H' имеют похожие графические представления:
G', H'
Таким образом, существует изоморфизм между графами G' и H', что и означает, что G и H гомеоморфны.