Ориентированный граф
Ориенти́рованный граф, граф, каждому ребру которого приписана ориентация. Ориентированный граф задаётся множеством вершин и набором упорядоченных пар вершин, называемых дугами. Говорят, что дуга исходит из вершины и входит в вершину . Число дуг, исходящих из , называется полустепенью исхода вершины , а число дуг, входящих в , называется полустепенью захода вершины . Чередующаяся последовательность вершин и дуг , в которой , , называется маршрутом (ориентированным). Маршрут называется замкнутым, если его первая и последняя вершины совпадают. Путь – это маршрут, в котором все вершины различны. Контур – это нетривиальный (содержащий хотя бы одну дугу) замкнутый маршрут, у которого все вершины различны, кроме первой и последней. Если существует путь из вершины в вершину , то говорят, что достижима из .
Ориентированный граф с нумерованными вершинами и дугами можно задать матрицей инцидентности, т. е. матрицей размера , в которой
Матрицей смежности вершин ориентированного графа называется матрица размера , в которой элемент равен числу дуг, идущих из в . Суммы элементов по строкам матрицы равны полустепеням исхода вершин ориентированного графа , а суммы элементов по столбцам – полустепеням захода. Элемент матрицы (т. е. -й степени матрицы смежности графа ) равен числу маршрутов длины , идущих из в
В ориентированном графе можно определить несколько типов связности. Ориентированный граф называется сильносвязным, или сильным, если любые две его вершины взаимно достижимы; односторонне связным, если для любых двух его вершин по крайней мере одна достижима из другой; слабосвязным, или слабым, если любые две его вершины соединены цепью в графе, полученном из исходного ориентированного графа заменой каждой дуги (неориентированным) ребром.
Ориентированные графы используются: в теории вероятностей для представления цепей Маркова; в теории игр при описании множества игровых ситуаций и результатов состязаний; в математической экономике при решении транспортных задач; в теории автоматов для задания диаграмм переходов и т. п. В самой теории графов при решении некоторых задач относительно неориентированных графов иногда вводят ориентацию, сводя исходную задачу к задаче над ориентированными графами. Основное отличие ориентированного графа от неориентированного проявляется при определении таких понятий, как путь, связность, достижимость, расстояние и др. Наиболее интересными типами ориентированных графов являются турниры, транзитивные графы, графы частичных порядков, растущие деревья, графы однозначных отображений, бесконтурные графы.