Гомеоморфізм графів
Гомеоморфізм графів — відношення еквівалентності на множині графів. Два графи називаються гомеоморфними, якщо кожен з них може бути одержаний розбиттям деякого графу. Еквівалентно два графу G і G' є гомеоморфними, якщо існують розбиття графу G і розбиття графу G', що є ізоморфними між собою.
Розбиття
Розбиттям графу називається граф, що отримується послідовним застосуванням розбиття ребер до даного графу. При розбитті ребро e з вершинами {u, v} перетворюється на граф, що містить нову вершину w і два ребра {u, w} і {w, v}. Наприклад ребро:
переходить в граф:
Послідовне застосування такого процесу еквівалентне заміні деяких ребер графу певними простими шляхами.
Приклад
Графи зображені на рисунках гомеоморфні:
- Граф H
- Граф G
Справді кожен з них може бути розбитий до наступного графу:
G', H'
Джерела
- Р. Уилсон. Введение в теорию графов. М.: Мир, 1977