Ориентированный граф | это... Что такое Ориентированный граф? (original) (raw)

Directed.svg

Ориентированный граф (кратко орграф) — (мульти) граф, рёбрам которого присвоено направление. Направленные рёбра именуются также дугами, а в некоторых источниках (Оре) и просто рёбрами.

Содержание

Основные понятия

Формально, орграф D=(V, E) есть множество E упорядоченных пар вершин u,v\in V.

Дуга {u, v} инцидентна вершинам u и v. При этом говорят, что u — начальная вершина дуги, а v — конечная вершина.

Орграф, полученный из простого графа ориентацией ребер, называется направленным. В отличие от последнего, в произвольном простом орграфе две вершины могут соединяться двумя разнонаправленными дугами.

Направленный полный граф называется турниром.

Связность

Маршрутом в орграфе называют чередующуюся последовательность вершин и дуг, вида v_0 \{v_0, v_1\} v_1 \{v_1, v_2\} v_2 ... v_n (вершины могут повторяться). Длина маршрута — количество дуг в нем.

Путь есть маршрут в орграфе без повторяющихся дуг, простой путь — без повторяющихся вершин. Если существует путь из одной вершины в другую, то вторая вершина достижима из первой.

Контур есть замкнутый путь.

Для полумаршрута снимается ограничение на направление дуг, аналогично определяются полупуть и полуконтур.

Орграф сильно связный, или просто сильный если все его вершины взаимно достижимы; односторонне связный, или просто односторонний если для любых двух вершин, по крайней мере одна достижима из другой; слабо связный, или просто слабый, если при игнорировании направления дуг получается связный (мульти)граф;

Максимальный сильный подграф называется сильной компонентой; односторонняя компонента и слабая компонента определяются аналогично.

Конденсацией орграфа D называют орграф D*, вершинами которого служат сильные компоненты D, а дуга в D* показывает наличие хотя бы одной дуги между вершинами, входящими в соответствующие компоненты.

Дополнительные определения

Направленный ациклический граф или гамак есть бесконтурный орграф.

Ориентированный граф, полученный из заданного сменой направления ребер на противоположное, называется обратным.

Изображение и свойства всех орграфов с тремя узлами

Легенда: С — слабый, ОС — односторонний, СС — сильный, Н — является направленным графом, Г — является гамаком (ациклический), Т — является турниром

0 дуг 1 дуга 2 дуги 3 дуги 4 дуги 5 дуг 6 дуг
3node digraph0.svgпустой, Н, Г 3node digraph1.svgН, Г 3node digraph21.svg 3node digraph31.svgОС 3node digraph41.svgCC 3node digraph5.svgCC 3node digraph6.svgполный, CC
3node digraph22.svgОС, Н, Г 3node digraph32.svgCC, Н, Т 3node digraph42.svgCC
3node digraph23.svgC, Н, Г 3node digraph33.svgОС, Н, Г, Т 3node digraph43.svgОС
3node digraph24.svgC, Н, Г 3node digraph34.svgОС 3node digraph44.svgОС

Применение орграфов

Орграфы широко применяются в программировании как способ описания систем со сложными связями. К примеру, одна из основных структур, используемых при разработке компиляторов и вообще для представления компьютерных программ — граф потоков данных.

Бинарные отношения

орграф отношения делимости

Бинарное отношение над конечным носителем может быть представлено в виде орграфа. Простым орграфом представимы антирефлексивные отношения, в общем случае требуется орграф с петлями. Если отношение симметрично, то его можно представить неориентированным графом, а если антисимметрично, то направленным графом.

Примечания

Литература

Просмотр этого шаблона Структуры данных (список)
Типы КоллекцияКонтейнер
Массивы Ассоциативный массив • Multimap • МножествоМультимножествоХеш-таблица
Списки Связный списокОчередь (Кольцевой буферДвусвязная) • СтекСписок с пропусками
Деревья B-деревоДвоичное дерево поискаКуча
Графы Ориентированный графНаправленный ациклический графБинарная диаграмма решенийГиперграф