Двойственный граф: различия между версиями
Перейти к навигации
Перейти к поиску
KEV (обсуждение | вклад) Нет описания правки |
KEV (обсуждение | вклад) Нет описания правки |
||
Строка 1: | Строка 1: | ||
'''Двойственный граф''' (''[[Dual graph]]'') — для данного [[плоский граф|плоского графа]] (геометрически) двойственный [[граф]] есть снова плоский граф, [[вершина|вершины]] которого суть грани исходного графа и две [[смежные вершины|вершины смежны]], если соответствующие [[грань|грани]] имеют общее [[ребро]]. (Абстрактно) двойственный граф | '''Двойственный граф''' (''[[Dual graph]]'') — для данного [[плоский граф|плоского графа]] (геометрически) двойственный [[граф]] есть снова плоский граф, [[вершина|вершины]] которого суть грани исходного графа и две [[смежные вершины|вершины смежны]], если соответствующие [[грань|грани]] имеют общее [[ребро]]. (Абстрактно) двойственный граф — это граф, у которого подмножество | ||
ребер образует [[простой цикл]] тогда и только тогда, когда соответствующее ему (при некоторой биекции) подмножество ребер исходного графа образует [[простой разрез]] и наоборот. Справедливо | ребер образует [[простой цикл]] тогда и только тогда, когда соответствующее ему (при некоторой биекции) подмножество ребер исходного графа образует [[простой разрез]] и наоборот. Справедливо | ||
утверждение: граф, [[геометрически двойственный граф|геометрически двойственный]] плоскому графу, является абстрактно двойственным ему. | утверждение: граф, [[геометрически двойственный граф|геометрически двойственный]] плоскому графу, является абстрактно двойственным ему. |
Текущая версия от 12:57, 3 февраля 2011
Двойственный граф (Dual graph) — для данного плоского графа (геометрически) двойственный граф есть снова плоский граф, вершины которого суть грани исходного графа и две вершины смежны, если соответствующие грани имеют общее ребро. (Абстрактно) двойственный граф — это граф, у которого подмножество ребер образует простой цикл тогда и только тогда, когда соответствующее ему (при некоторой биекции) подмножество ребер исходного графа образует простой разрез и наоборот. Справедливо утверждение: граф, геометрически двойственный плоскому графу, является абстрактно двойственным ему.
Литература
- Лекции по теории графов / В.А.Емеличев, О.И.Мельников, В.И.Сарванов, Р.И.Тышкевич. — М.: Наука, 1990.