WikiDer > Биполярная ориентация

Bipolar orientation

В теория графов, а биполярная ориентация или же ул-ориентация из неориентированный граф - задание направления каждому ребру ( ориентация), в результате чего граф становится ориентированный ациклический граф из одних рук s и одна раковина т, и ул-нумерация графа является топологический порядок полученного ориентированного ациклического графа.[1][2]

Определения и существование

Позволять грамм = (V,E) - неориентированный граф с п = |V| вершины. An ориентация из грамм - задание направления каждому краю грамм, превратив его в ориентированный граф. Это ациклическая ориентация если полученный ориентированный граф не имеет направленные циклы. Каждый ациклически ориентированный граф имеет хотя бы один источник (вершина без входящих ребер) и хотя бы один раковина (вершина без исходящих ребер); это биполярная ориентация, если она имеет ровно один источник и ровно один сток. В некоторых ситуациях грамм может быть дан вместе с двумя обозначенными вершинами s и т; в этом случае биполярная ориентация для s и т должны быть s как его уникальный источник и т как его уникальная раковина.[1][2]

An ул-нумерация грамм (опять же, с двумя обозначенными вершинами s и т) представляет собой присвоение целых чисел от 1 до п в вершины грамм, так что

  • каждой вершине присваивается отдельный номер,
  • s присваивается номер 1,
  • т присваивается номер п, и
  • если вершина v присваивается номер я с 1 <я < п, то хотя бы один сосед v присваивается меньшее число, чем я и хотя бы один сосед v присваивается большее число, чем я.[1][2][3]

Граф имеет биполярную ориентацию тогда и только тогда, когда он имеет ул-нумерация. Ведь если он имеет биполярную ориентацию, то ул-нумерация может быть построена путем нахождения топологический порядок ориентированного ациклического графа, заданного ориентацией, и нумерация каждой вершины в соответствии с ее положением в порядке. В обратном направлении каждый ул-нумерация порождает топологический порядок, в котором каждое ребро грамм ориентирован от конечной точки с меньшим номером к конечной точке с более высоким номером.[1][2] В графе, содержащем ребро ул, ориентация является биполярной тогда и только тогда, когда она ациклична и ориентация образована обращением края ул является полностью циклический.[2]

Связный граф грамм, с обозначенными вершинами s и т, имеет биполярную ориентацию и ул-нумерация тогда и только тогда, когда граф сформирован из грамм добавив ребро из s к т является 2-вершинно-связанный.[3] В одном направлении, если этот граф связан с двумя вершинами, то биполярная ориентация может быть получена путем последовательной ориентации каждого уха в разложение уха графа.[4] В противном случае, если граф не является 2-вершинно-связным, то он имеет вершину сочленения v отделяя некоторый двусвязный компонент грамм из s и т. Если этот компонент содержит вершину с номером меньше, чем v, то вершина с наименьшим номером в компоненте не может иметь соседа с наименьшим номером, и симметрично, если она содержит вершину с более высоким номером, чем v тогда вершина с наивысшим номером в компоненте не может иметь соседа с более высоким номером.

Приложения к планарности

Лемпель, Эвен и Седербаум (1967) сформулирован ул-нумерации как часть проверка планарности алгоритм,[3] и Розенштиль и Тарьян (1986) сформулировал биполярные ориентации как часть алгоритма построения представления тесселяции из планарные графы.[1]

Биполярная ориентация плоского графа приводит к ул-планарный граф, ориентированный ациклический планарный граф с одним источником и одним стоком. Эти графики имеют некоторое значение в теория решетки а также в рисунок графика: the Диаграмма Хассе из двумерный решетка обязательно ул-планарный, и каждый транзитивно сокращенный ул-планарный граф представляет собой двумерную решетку таким образом.[5] Направленный ациклический граф грамм имеет направленный вверх плоский рисунок если и только если грамм является подграфом ул-планарный граф.[6]

Алгоритмы

Можно найти ул-нумерация и биполярная ориентация данного графа с обозначенными вершинами s и т, в линейное время с помощью поиск в глубину.[7][8][9] Алгоритм Тарджан (1986) использует поиск в глубину, который начинается в вершине s и сначала проходит край ул. Как и в алгоритме поиска в глубину для проверки двусвязности графа, этот алгоритм определяет pre (v), для вершины v, чтобы быть Предварительный заказ количество v при обходе в глубину и low (v), чтобы быть наименьшим номером предварительного заказа, которого можно достичь, пройдя по одному ребру от потомка v в дереве поиска в глубину. Оба эти числа могут быть вычислены в линейное время как часть поиска в глубину. Данный граф будет двусвязным (и будет иметь биполярную ориентацию) тогда и только тогда, когда т единственный ребенок s в дереве поиска в глубину и в нижнем (v) 

v) для всех вершин v Кроме какs. После того, как эти числа были вычислены, алгоритм Тарьяна выполняет второй обход дерева поиска в глубину, сохраняя знак числа (v) для каждой вершины v и связанный список вершин, который в конечном итоге перечислит все вершины графа в порядке, заданном ул-нумерация. Изначально список содержит s и т, и подпишите (s) = −1. Когда каждая вершина v впервые встречается при этом втором обходе, v вставляется в список до или после родительского элемента p (v) в дереве поиска в глубину в зависимости от того, знак (низкий (v)) отрицательный или положительный соответственно; затем подпишите (p (v)) установлен в −sign (low (v)). Как показывает Тарьян, порядок вершин, полученный в результате этой процедуры, дает ул-нумерация данного графа.[9]
В качестве альтернативы, эффективные последовательные и параллельные алгоритмы могут быть основаны на разложение уха.[4][10][11] Хотя описанные выше алгоритмы на основе DFS по своей сути зависят от специальных разложение открытого уха вызванная лежащим в основе DFS-деревом, разложение открытого уха здесь может быть произвольным. Этот более общий подход фактически используется несколькими приложениями, например для вычисления (реберно) независимых остовных деревьев. Разложение открытого уха существует тогда и только тогда, когда граф сформирован из данного графа добавлением ребра ул является двусвязным (то же условие, что и существование биполярной ориентации), и его можно найти за линейное время. An ул-ориентация (а значит, и ул-нумерация) может быть легко получена путем направления каждого уха в постоянном направлении, заботясь о том, что если уже существует направленный путь, соединяющий те же две конечные точки между краями предыдущих ушей, то новое ухо должно быть ориентировано в том же направлении. Однако, несмотря на простоту этого фольклорного подхода, получение линейного времени выполнения более сложно. Каждый раз, когда добавляется ухо, необходимо проверять его концы на достижимость или, что то же самое, на доступность. ул-нумерация, какая вершина идет первой в предварительном ул- нумерация перед. Это препятствие можно решить в наихудшем случае с постоянным временем, используя (несколько запутанный) структура данных заказа,[11] или более прямыми методами. Маон, Шибер и Вишкин (1986) обеспечивают сложную, но локализованную процедуру поиска для определения подходящей ориентации для каждого уха, которая (в отличие от подхода с использованием поиска в глубину) подходит для параллельных вычислений.[4]
Современный и простой алгоритм, вычисляющий ул-нумерации и -ориентации за линейное время приведены в.[11] Идея этого алгоритма состоит в том, чтобы заменить структуру данных заказа простой схемой нумерации, в которой вершины несут интервалы вместо ул-числа.
Папаманту и Толлис (2006) отчет об алгоритмах управления длинами направленных путей в биполярной ориентации данного графа, что, в свою очередь, приводит к некоторому управлению шириной и высотой определенных типов рисунок графика.[12]
Пространство всех ориентаций





Для трехвершинно-связных графов с обозначенными вершинами s и тлюбые две биполярные ориентации могут быть соединены друг с другом с помощью последовательности операций, которые меняют местами один край за раз, на каждом этапе поддерживая биполярную ориентацию.[2] Более того, для планарные 3-связные графы, множество биполярных ориентаций можно представить в виде конечная дистрибутивная решетка, с операцией обращения края, соответствующей покрывающее отношение решетки.[2] Для любого графа с назначенным источником и стоком набор всех биполярных ориентаций может быть указан за полиномиальное время для каждой ориентации.[2]
улнумерация кромок и ориентация





Можно построить упорядочение, подобное ул-нумерация нумерацией ребер вместо вершин. Это эквивалентно ул- нумерация линейный график входного графа. Хотя построение линейного графа явным образом потребует квадратичного времени, алгоритмы линейного времени для вычисления улнумерация кромок и ул-реберная ориентация графа.[11]
Смотрите также





Рекомендации





  1. ^ а б c d е Розенштиль, Пьер; Тарджан, Роберт Э. (1986), "Прямолинейные планарные схемы и биполярные ориентации плоских графов", Дискретная и вычислительная геометрия, 1 (4): 343–353, Дои:10.1007 / BF02187706, МИСТЕР 0866369.
  2. ^ а б c d е ж грамм час де Фрейссе, Юбер; Оссона де Мендес, Патрис; Розенштиль, Пьер (1995), "Биполярные ориентации снова и снова", Дискретная прикладная математика, 56 (2–3): 157–179, Дои:10.1016 / 0166-218X (94) 00085-R, МИСТЕР 1318743.
  3. ^ а б c Лемпель, А.; Даже С.; Седербаум, I. (1967), "Алгоритм для проверки планарности графов", Теория графов (Международные симпозиумы, Рим, 1966 г.), Нью-Йорк: Гордон и Брич, стр. 215–232, МИСТЕР 0220617.
  4. ^ а б c Maon, Y .; Schieber, B .; Вишкин, У. (1986), «Параллельный поиск разложения уха (EDS) и ST-нумерация в графах», Теоретическая информатика, 47 (3), Дои:10.1016/0304-3975(86)90153-2, МИСТЕР 0882357.
  5. ^ Платт, К. Р. (1976), "Планарные решетки и плоские графы", Журнал комбинаторной теории, Сер. B, 21 (1): 30–39, Дои:10.1016/0095-8956(76)90024-1.
  6. ^ Ди Баттиста, Джузеппе; Тамассия, Роберто (1988), "Алгоритмы плоских представлений ациклических орграфов", Теоретическая информатика, 61 (2–3): 175–198, Дои:10.1016/0304-3975(88)90123-5.
  7. ^ Эберт, Дж. (1983) "ул-упорядочение вершин двусвязных графов », Вычисление, 30 (1): 19–33, Дои:10.1007 / BF02253293, МИСТЕР 0691948.
  8. ^ Эвен, Шимон; Тарджан, Роберт Эндре (1976), "Вычисление ул-нумерация ", Теоретическая информатика, 2 (3): 339–344, Дои:10.1016/0304-3975(76)90086-4, МИСТЕР 0414406.
  9. ^ а б Тарджан, Роберт Эндре (1986), «Два оптимизированных алгоритма поиска в глубину» (PDF), Fundamenta Informaticae, 9 (1): 85–94, МИСТЕР 0848212.
  10. ^ Газит, Хиллель (1991), "Оптимальные параллельные алгоритмы EREW для связности, разложения на ухо и st-нумерации плоских графов", Proc. 5-й Международный симпозиум по параллельной обработке, стр. 84–91, Дои:10.1109 / IPPS.1991.153761.
  11. ^ а б c d Шлипф, Лена; Шмидт, Йенс М. (2019), «Простое вычисление st-рёбер- и st-нумерации из разложений уха», Письма об обработке информации, 145: 58–63, Дои:10.1016 / j.ipl.2019.01.008.
  12. ^ Папаманту, Харалампос; Толлис, Иоаннис Г. (2006), "Применение параметризованных ул-ориентации в алгоритмах рисования графов » (PDF), Графический рисунок: 13-й Международный симпозиум, GD 2005, Лимерик, Ирландия, 12–14 сентября 2005 г., исправленные статьи, Конспект лекций по информатике, 3843, Берлин: Springer, стр. 355–367, Дои:10.1007/11618058_32, МИСТЕР 2244524.