Транспонированный граф

Для ориентированного графа G термины converse (обратный)^[1], transpose (транспонированный)^[2] или reverse (противоположный)^[3] используются для обозначения другого ориентированного графа с тем же набором вершин и с теми же дугами, но ориентация дуг этого графа противоположна ориентации дуг графа G. То есть, если граф G содержит дугу (u,v), то обратный/транспонированный/противоположный граф графу G содержит дугу (v,u), и наоборот.

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

Не существует устоявшегося мнения, какой из терминов предпочтительнее.

Обратный граф может обозначаться как G', G^T, G^R или другим способом, в зависимости от принятой в статье или книге терминологии.

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

Кососимметрический граф — это граф, изоморфный своему собственному транспонированному графу через изоморфизм специального вида, который разбивает на пары все вершины.

Обратное отношение бинарного отношения — это отношение, которое меняет на обратный порядок каждой пары связанных отношением объектов. Если отношение интерпретировать как ориентированный граф, то обратное отношение — это тот же самый объект, что и транспонированный граф. В частности, двойственный порядок^[англ.] частичного порядка можно интерпретировать как транспонирование транзитивно замкнутого направленного ациклического графа.