Параметризованные алгоритмы графического представления графов

Постановка задачи

Задача односторонней минимизации пересечений (One-sided crossing minimization, OSCM) может рассматриваться как некоторая форма построения двудольного графа $G=(V_1,V_2,E)$, у которого все вершины из разбиения $V_i$ присвоены к одной и той же линии (также называемой уровнем) $L_i$ на плоскости, при этом линии $L_1$ и $L_2$ параллельны. Присваивание вершин к линии $L_1$ фиксировано; присваивание к линии $L_2$ свободно и выбирается таким образом, чтобы минимизировать количество пересечений между ребрами, представленными в виде отрезков прямых.

Нотация

Граф G описывается множеством его вершин V и ребер E, т.е. G = (V, E), где $E\subseteq V\times V$. Обозначим за $N(v)$ (открытую) окрестность вершины v, включающую все вершины, смежные с v; за $N[v]=N(v)\cup \{v\}$ – закрытую окрестность v; за $deg(v)=|N(v)|$ – степень вершины v. Для множества вершин S, $N(S)=\bigcup _{v\in S}N(v)$ и $N[S]=N(S)\cup S$. $G[S]$ обозначает граф, порожденный множеством вершин S, т.е. $G[S]=(S,E\cap (S\times S))$. Граф G = (V, E) с множеством вершин V и множеством дуг $E\subseteq V\times V$ является двудольным, если существует разбиение $V$ на два множества $V_1$ и $V_2$, такие, что $V=V_1\cup V_2$, $V_1\cap V_2=\mathrm{\varnothing }$ и $E\subseteq V_1\times V_2$. Для наглядности запишем это в следующем виде: $G=(V_1,V_2,E)$.

Двухуровневое графическое представление двудольного графа G = $(V_1,V_2,E)$ может быть описано при помощи двух отношений линейного порядка: ${<}_1$ на $V_1$ и ${<}_2$ на $V_2$. Это представление можно реализовать следующим образом: вершины из подмножества $V_1$ располагаются на линии $L_1$ (также называемой уровнем) в порядке, порождаемом отношением ${<}_1$, а вершины из $V_2$ располагаются на втором уровне $L_2$, параллельном первому, в порядке, порождаемом отношением ${<}_2$; затем следует изобразить прямолинейный отрезок для каждого ребра $e=(u_1,u_2)$ из E, соединяющего точки, представляющие $u_1$ и $u_2$, соответственно. Пересечение представляет собой пару ребер $e=(u_1,u_2)$ и $f=(v_1,v_2)$, имеющих общую точку в реализации двухуровневого графического представления $(G,{<}_1,{<}_2)$. Хорошо известно, что два ребра пересекаются в том и только том случае, если $u_1{<}_1{v}_1$ и $v_2{<}_2{u}_2$; иными словами, это понятие несет чисто комбинаторный смысл, не зависящий от конкретной реализации двухуровневого графического представления. Обозначим за $cr(G,{<}_1,{<}_2)$ количество пересечений в описываемом двухуровневом представлении. В контексте представления графов, разумеется, очень желательно получить минимальное число пересечений. В самой простой (и, вероятно, самой важной) форме это выглядит следующим образом: порядок вершин на одном уровне фиксируется, задача заключается в минимизации количества пересечений путем выбора порядка на втором уровне. Более формально:

Задача 1 (k-OSCM)

Дано: простой двудольный граф с n вершинами $G=(V_1,V_2,E)$ и отношение линейного порядка ${<}_1$ на $V_1$; неотрицательное целое число k (параметр).

Требуется: если это возможно, найти такой линейный порядок ${<}_2$ на $V_2$, что $cr(G,{<}_1,{<}_2)\le k$. Если такого линейного порядка не существует, алгоритм должен выдать соответствующее сообщение.

Возьмем для примера $G=(V_1,V_2,E)$ и ${<}_1$ из задачи односторонней минимизации пересечений (OSCM) и две вершины $u,v\in V_2$,

$c_{uv}=cr(G[N[\{u,v\}]],{<}_1\cap (N(\{u,v\})\times N(\{u,v\})),\{(u,v)\}).$

Таким образом, при выборе упорядочения $u{<}_{2}v$ необходимо рассматривать замкнутые окрестности u и v.

На рис. 1 приведен пример конкретного графического представления двудольного графа. Является ли это представление оптимальным в смысле количества пересечений, предполагая, что порядок верхнего уровня фиксирован? В случаях, когда пересекаются более двух ребер, на рисунке указано количество пересечений. Все пересечения отмечены красными квадратами.

Рис. 1. Пример графа из задачи односторонней минимизации пересечений.

Вычислим матрицу количества пересечений ($c_{u}v$) для этого графа.

Количество пересечений в данном графическом представлении может быть вычислено следующим образом: $c_{ab}+c_{ac}+c_{ad}+c_{ae}+c_{bc}+c_{bd}+c_{be}+c_{cd}+c_{ce}+c_{de}=13$.

Основные результаты

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

Теорема 1 ([6]). Задача разрешимости, соответствующая k-OSCM, является NP-полной.

Далее будем предполагать, что $G=(V_1,V_2,E)$ – экземпляр задачи OSCM с фиксированным порядком ${<}_1$ на $V_1$.

Проверить, существует ли порядок на $V_2$, позволяющий избежать пересечений, можно за полиномиальное время. Это наблюдение основывается на одной из следующих теоретико-графовых характеристик:

Теорема 2 ([3]). $cr(G,{<}_1,{<}_2)=0$ в том и только том случае, если G является ациклическим и для любого пути (x, a, y) в G, $x,y\in V_1$, выполняется следующее: для всех $u\in V_1$ при $x{<}_{1}u{<}_{1}y$ единственным ребром, инцидентным u, если таковое существует, является (u, a).

Ранее введенное понятие является критически важным по следующим причинам:

Лемма 3. $\sum _{u,v\in V_2,u{<}_2{c}_{uv}}{C}_{uv}=cr(G,{<}_1,{<}_2)$.

Теорема 4 ([9]). Если k – минимальное количество пересечений ребер в экземпляре задачи OSCM ($G=(V_1,V{2}_{,}E),{<}_1$), то $\sum _{u,v\in V_2,u\ne v}min\{c_{uv},v_{vu}\}\le k<1,4664\sum _{u,v\in V_2,u\ne v}min\{c_{uv},v_{vu}\}$.

Нагамочи предложил алгоритм аппроксимации с коэффициентом меньше 1,4664.

Далее, для любого $u\in V_2$ с $deg(u)>0$ обозначим за $l_u$ самого левого соседа u в $L_1$, а за $r_u$ – самого правого. Две вершины $u,v\in V_2$ называются неподходящими, если существует некоторое $x\in N(u)$, такое, что $l_v{<}_{1}x{<}_1{r}_v$, либо существует некоторое $x\in N(v)$, такое, что $l_u{<}_{1}x{<}_1{r}_u$. В противном случае они называются подходящими. Заметим, что для подходящих $u,v{c}_{uv}\cdot c_{vu}=0$. Джумович и Уайтсайдз показали:

Лемма 5 ([5]). При любом оптимальном отношении порядка ${<}_2$ на вершинах $V_2$, $u{<}_{2}v$ найдено, если $r_u{\le }_1{l}_v$.

Это означает, что все подходящие пары встречаются в своем естественном порядке.

Теперь можно сформулировать первый параметризованный алгоритм односторонней минимизации пересечений (OSCM), представляющий собой простой алгоритм поиска по дереву. По мере выполнения этого алгоритма последовательно строится подходящий порядок ${<}_2$ на $V_2$; при установлении отношения порядка между u и v на $V_2$ в него будет включено $u{<}_{2}v$ или $v{<}_{2}u$. Таким образом, обобщенный экземпляр задачи OSCM помимо двудольного графа $G=(V_1,V_2,E)$ содержит отношение частичного порядка ${<}_2$ на $V_2$. Вершина $v\in V_2$ полностью включена, если для всех $u\in V_2\mathrm{\setminus }\{u,v\}$ пара $\{u,v\}$ включена.

Лемма 5 позволяет сформулировать следующее правило:

Правило RR1: Для каждой пары вершин {u, v} из $V_2$ с $c_{uv}=0$ включить $u{<}_{2}v$. В приведенном примере d будет полностью включено в результате применения правила RR1, поскольку столбец d в матрице пересечений заполнен нулями; следовательно, в последующих действиях d можно игнорировать.

Алгоритм 1 представляет собой простой алгоритм поиска по дереву для задачи OSCM, последовательно применяющий правило RR1.

Лемма 6. OSCM можно вычислить за время $0^{\ast }(2^k)$.

Доказательство. До того, как будет производиться какое-либо ветвление, выполняется редукция экземпляра графа таким образом, чтобы любая невключенная пара вершин {u, v} из $V_2$ удовлетворяла условию $min\{c_{uv},c_{vu}\}\ge 1$. Следовательно, каждое рекурсивное ветвление уменьшает параметр как минимум на 1.□

Этот простой алгоритм поиска по дереву можно улучшить. Во-первых, отметим, что нет необходимости ветвления в {x, y} С V2, если cxy = cyx. Это позволяет внести две модификации в Алгоритм 1:

• На строке 5 следует исключить $c_{xy}=c_{yx}$.

• На строке 12 следует произвольным образом включить некоторую пару $\{x,y\}\subset V_2$, которая еще не была включена, и рекурсивно повторять это действие; только если включены все пары $\{x,y\}\subset V_2$, следует вернуть значение ДА.

В результате модификаций получен алгоритм решения задачи OSCM с параметром $O^{\ast }(1,{6182}^k)$. Он составляет ядро алгоритма Джумовича и Уайтсайдза [5]. В их работе более детально обсуждаются следующие вопросы:

• Как эффективно вычислить все количества пересечений cxy на этапе предварительной обработки?

• Как интегрировать в алгоритм элементы ветвления и обрезки, полезные с практической точки зрения?

• Как обобщить алгоритм для экземпляров, допускающих наличие целочисленных весов у ребер (параллельных ребер)?

Дальнейшие улучшения возможны в результате более глубокого анализа локальных паттернов $\{x,y\}\in V_2$, таких, что $c_{xy}{c}_{yx}\le 2$. Таким образом было показано:

Теорема 7. Задачу односторонней минимизации пересечений можно решить за время $O^{\ast }(l,{4656}^k)$.

Возможный вариант исполнения улучшенного алгоритма поиска по дереву приведен на рис. 2, а его (оптимальный) результат – на рис. 3.

Алгоритм 1. Алгоритм OSCM-ST-simple поиска по дереву для задачи OSCM

Рис. 2. Пример дерева поиска для задачи OSCM

Рис. 3. Оптимальное решение для экземпляра задачи

Варианты этой задачи и родственные ей проблемы широко рассматривались в литературе.

1. Изменение цели оптимизации: минимизация количества дуг, участвующих в пересечениях – одноуровневая планаризация. Как было отмечено в [7, 10], из теоремы 2 практически непосредственно следует идея алгоритма решения этой задачи с временем исполнения $O^{\ast }(3^k)$, которое впоследствии было улучшено в [10] до $O^{\ast }(2^k)$.

2. Можно повысить число степеней свободы, рассматривая два или более уровня присваиваний в одно и то же время. Параметризованные алгоритмы для минимизации пересечений и для планаризации были предложены в [3, 7, 10].

3. Можно рассмотреть другие дополнительные ограничения на графическое построение или допустимые отношения порядка; так, в [8] были рассмотрены параметризованные алгоритмы для задачи двухуровневого присваивания, в которой допустимые отношения порядка были ограничены бинарными деревьями.

Применение

Помимо рассмотрения вопроса графического построения двудольных графов как задачи, интересной самой по себе (т.е., например, для качественного изображения диаграмм отношений), этот вопрос естественным образом возникает при применении так называемого подхода Судзиямы к построению иерархических графов [12]. Этот исключительно популярный подход решает задачу укладки иерархического графа в три этапа: (1) удаление циклов, (2) присваивание вершин уровням, (3) присваивание вершин уровням. Последний этап обычно реализуется посредством алгоритма с заметающей прямой, в процессе работы решающего несколько экземпляров задачи односторонней минимизации пересечений. Третий вариант задачи, упомянутый выше, находит множество важных вариантов применения в вычислительной биологии.

Открытые вопросы

Как и для всех алгоритмов с экспоненциальным временем исполнения, оказывается непросто улучшить это время или доказать определенную нижнюю границу времени исполнения при наличии разумных теоретико-сложностных предположений. Заметим, что негласные предположения, лежащие в основе подхода параметризованных алгоритмов, в данном сценарии полностью удовлетворяются: к примеру, графическое представление с большим количеством пересечений будет неприемлемым (если такая ситуация встретится на практике, придется прибегнуть к другому способу представления информации); таким образом, можно обоснованно предполагать, что параметр действительно окажется малым.

Это верно также для других NP-полных подзадач, относящихся к подходу Судзиямы. Однако на наличие простых решений рассчитывать не стоит. Например, для задачи построения множества ориентированных обратных дуг [1], эквивалентной первой фазе, неизвестно о существовании подходящего параметризованного алгоритма [2].

Экспериментальные результаты

Садермен [10] провел эксперименты практически со всеми вариантами данной задачи; в [11] некоторые из экспериментальных результатов представлены в более наглядной форме.

Ссылка на код

Несколько JAVA-апплетов для решения задач, упомянутых в данной статье, приведены Садерменом на http://cgm.cs.mcgill.ca/~msuder/.

См. также

Другие параметризованные алгоритмы поиска по дереву можно найти в совместной работе «Деревья поиска в задаче о вершинном покрытии» (Чен, Кань, Цзя).

Литература

1. Chen, J., Liu, Y., Lu, S., O'Sullivan, B., Razgon, I.: A Fixed-Parameter Algorithm for the Directed Feedback Vertex Set Problem. In: 40th ACM Symposium on Theory of Computing STOC 2008, May 17-20, Victoria (BC), Canada (2008)

2. Downey, R.G., Fellows, M.R.: Parameterized Complexity. Springer, Berlin (1999)

3. Dujmovic, V., Fellows, M.R., Hallett, M., Kitching, M., Liotta, G., McCartin, C., Nishimura, N., Ragde, P., Rosamond, F.A., Suderman, M., Whitesides, S., Wood, D.R.: A fixed-parameter approach to 2-layer planarization. Algorithmica 45, 159-182 (2006)

4. Dujmovic, V., Fernau, H., Kaufmann, M.: Fixed parameter algorithms for one-sided crossing minimization revisited. In: Liotta G. (ed.) Graph Drawing, 11th International Symposium GD 2003. LNCS, vol. 2912, pp. 332-344. Springer, Berlin (2004). A journal version has been accepted to J. Discret. Algorithms, see doi: 10.1016/j.jda.2006.12.008

5. Dujmovic, V., Whitesides, S.: An efficient fixed parameter tractable algorithm for 1-sided crossing minimization. Algorithmica 40,15-32 (2004)

6. Eades, P., Wormald, N.C.: Edge crossings in drawings of bipartite graphs. Algorithmica 11, 379^03 (1994)

7. Fernau, H.: Two-layer planarization: improving on parameterized algorithmics. J. Graph Algorithms Appl. 9, 205-238 (2005)

8. Fernau, H., Kaufmann, M., Poths, M.: Comparing trees via crossing minimization. In: Ramanujam R., Sen S. (eds.) Foundations of Software Technology and Theoretical Computer Science FSTTCS 2005. LNCS, vol. 3821, pp. 457-469. Springer, Berlin (2005)

9. Nagamochi, H.: An improved bound on the one-sided minimum crossing number in two-layered drawings. Discret. Comput. Geom. 33,569-591 (2005)

10. Suderman, M.: Layered Graph Drawing. Ph.D. thesis, McGill University, Montreal (2005)

11. Suderman, M., Whitesides, S.: Experiments with the fixed-parameter approach for two-layer planarization. J. Graph Algorithms Appl. 9(1), 149-163 (2005)

12. Sugiyama, K., Tagawa, S., Toda, M.: Methods for visual understanding of hierarchical system structures. IEEE Trans. Syst. Man Cybernet. 11 (2), 109-125 (1981)