Орграфы и бинарные отношения. Отношение достижимости вершин орграфа. Матрица достижимости. Связь между отношениями достижимости и смежности.

G(V,X) с петлями, но без кратных дуг задает бинарное отношение Х на множестве V. Полный граф соответствует универсальному соотношению. Неориентированный граф соответствует симметричному соотношению. Дополнение графа соответствует дополнению отношения. Изменение направления дуг соответствует обратному отношению.

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

Вершина b орграфа (графа) G называется достижимой из U в том и только том случае, когда U=V или существует путь (маршрут) соединяющий U с V (U – начальная вершина, V – конечная вершина). Таким образом на множестве вершин орграфа (графа) определено не только отношение смежности А, но и отношение достижимости Т.

Матрицей достижимости Т орграфа(графа) G называется T² n×n, элементы которой находятся из условия: 1, если достижимо из ; 0, если не достижимо из .

Введенное отношение достижимости на вершинах графа G(V,Х): вершина w достижима из вершины v, если v = w или в G есть путь из v в w. Иначе говоря, достижимость является рефлексивным и транзитивным замыканием отношения смежности.