Число наклонов графа (Cnvlk ugtlkukf ijgsg)

Перейти к навигации Перейти к поиску
Рисунок графа Петерсона с числом наклонов 3

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

Полные графы

[править | править код]

Хотя близкие проблемы комбинаторной геометрии изучались ранее (Скоттом в 1970 году и Джемисоном в 1984 году), задачу определения числа наклонов графа поставили Вейд и Чу [1], показав, что число наклонов графа с n вершинами полного графа Kn равно в точности n. Рисунок графа с таким числом наклонов можно получить, расположив вершины графа в углах правильного многоугольника.

Связь со степенью графа

[править | править код]

Ясно, что число наклонов графа с максимальной степенью d не меньше , поскольку максимум два инцидентных ребра вершины степени d могут лежать на одной прямой (иметь один наклон). Точнее, число наклонов не меньше линейной древесности графа, поскольку рёбра одного наклона должны образовывать линейный лес, а линейная древесность, в свою очередь, не меньше .

Существуют графы с максимальной степенью пять, имеющие произвольно большое число наклонов[2]. Однако любой граф с максимальной степенью три имеет не более четырёх наклонов[3]. Результат Вейда и Чу (Wade, Chu (1994)) для полного графа K4 показывает, что эта граница точная. Не любой набор из четырёх наклонов подходит для рисования всех графов степени 3 — набор наклонов подходит для рисования тогда и только тогда, когда они являются наклонами сторон и диагоналей параллелограмма. В частности, любой граф степени 3 может быть нарисован так, что его рёбра либо параллельны осям, либо параллельны основным диагоналям целочисленной решётки[4]. Неизвестно, ограничено или нет число наклонов графов с максимальной степенью четыре [5].

Метод Кезега, Паха и Палвёлди [6] комбинирования упаковки кругов и дерева квадрантов для получения ограниченного числа наклонов для планарных графов с ограниченной степенью

Планарные графы

[править | править код]

Как показали Кезег, Пах и Палвёлди(Keszegh, Pach, Pálvölgyi (2011)), любой планарный граф имеет плоский рисунок в виде прямых отрезков, в котором число различных наклонов является функцией от степени графа. Их доказательство следует построению Малица и Папакостаса (Malitz, Papakostas (1994)) для ограничения углового разрешения планарных графов как функции степени. Ограничение степени осуществляется дополнением графа до максимального планарного графа без увеличения его степени более чем на постоянный множитель, а затем применяется теорема об упаковке кругов для представления этого расширенного графа как набора касающихся друг друга окружностей. Если степень начального графа ограничена, отношение радиусов смежных окружностей в упаковке будет также ограничено [7], откуда, в свою очередь, следует, что применение дерева квадрантов для всех вершин графа в точке внутри окружности даёт наклоны, являющиеся отношениями малых целых чисел. Число различных наклонов, получаемое при этом построении, является экспонентой от степени графа.

Задача определения, равно ли число наклонов двум, является NP-полной задачей[8][9][10]. Отсюда следует, что является NP-сложной задачей определение числа наклонов произвольного графа или аппроксимация этого числа с гарантированной эффективностью, лучшей чем 3/2.

Является ли планарный граф планарным рисунком с двумя наклонами — это также NP-полная задача [11].

Примечания

[править | править код]
  1. Wade, Chu, 1994.
  2. Доказано независимо Баратом, Матоушеком, Вудом (Barát, Matoušek, Wood (2006)) и Пахом, Палвёлди (Pach, Pálvölgyi (2006)), когда они решали задачу, поставленную Дуймовичем, Судерманом и Шариром (Dujmović, Suderman, Wood (2005)). См. теоремы 5.1 и 5.2 у Паха и Шарира (Pach, Sharir (2009)).
  3. Муккамала, Сегеди (Mukkamala, Szegedy (2009)), улучшившие более ранний результат Кезега, Палвёлди, Тота (Keszegh, Pach, Pálvölgyi, Tóth (2008)). См. теорему 5.3 у Паха и Шарира (Pach, Sharir (2009)).
  4. Mukkamala, Pálvölgyi, 2012.
  5. Pach, Sharir, 2009.
  6. Keszegh, Pach, Pálvölgyi, 2011.
  7. Hansen, 1988.
  8. Formann, Hagerup, Haralambides, Kaufmann, 1993.
  9. Eades, Hong, Poon, 2010.
  10. Maňuch, Patterson, Poon, Thachuk, 2011.
  11. Garg, Tamassia, 2001.

Литература

[править | править код]