Тривиально совершенный граф

Материал из Википедии — свободной энциклопедии
Перейти к навигации Перейти к поиску
Построение тривиально совершенного графа из вложенных интервалов и из отношения достижимости в дереве

Тривиально совершенный граф — это граф со свойством, что в каждом его порождённом подграфе размер максимального (по размеру) независимого множества равен числу максимальных клик[1][2]. Тривиально совершенные графы первым изучал Волк[3][4], но название дал Голумбик[2]. Голумбик писал, что «это название было выбрано ввиду тривиальности доказательства, что такие графы являются совершенными.» Тривиально совершенные графы известны также как графы сравнимости деревьев[3][4], древовидные графы сравнимости[5] и квазипороговые графы[6].

Эквивалентные описания[править | править код]

Тривиально совершенные графы имеют несколько других эквивалентных описаний:

  • Они являются графами сравнимости деревьев из теории порядков[en]. То есть пусть Tчастичный порядок, такой, что для любого tT множество {sT : s < t} является вполне упорядоченным с отношением < и T обладает наименьшим элементом r. Тогда граф сравнимости порядка T тривиально совершенен и любой тривиально совершенный граф может быть сформирован таким образом[7][8].
  • Они являются графами, не содержащими путь P4 или цикл C4 в качестве порождённых подграфов[7][9][10]
  • Они являются графами, в которых каждый связный порождённый подграф содержит универсальную вершину[en][11].
  • Они являются графами, которые можно представить как интервальные графы множества вложенных промежутков. Множество промежутков имеет свойство вложенности, если для любых двух промежутков из множества они либо не пересекаются, либо один из них содержится в другом[12].
  • Они являются графами, которые одновременно являются хордальными графами и кографами[13][14]. Это следует из описания хордальных графов как графов без порождённых циклов длины четыре и больше и кографов как графов без порождённых путей с четырьмя вершинами (P4).
  • Они являются графами, одновременно являющимися кографами и интервальными графами[13][14].
  • Они являются графами, которые могут быть образованы, начиная с графов с одной вершиной, с помощью двух операций — несвязное объединение двух меньших тривиально совершенных графов и добавления новой вершины, смежной всем вершинам меньшего тривиально совершенного графа[6][15]. Эти операции соответствуют образованию нового леса путём несвязного объединения двух меньших лесов и образованию дерева путём соединения нового корня с корнями всех деревьев леса.
  • Они являются графами, в которых для любого ребра uv окрестности вершин u и v (включая сами u и v) вложены — одна окрестность должна быть окрестностью другой[14].
  • Они являются графами перестановки, определёнными из сортируемых в стеке перестановок[en][16].
  • Они являются графами со свойством, что в каждом его порождённом подграфе число кликового покрытия равен числу максимальных клик[17].
  • Они являются графами со свойством, что в каждом его порождённом подграфе кликовое число равно псевдочислу Гранди[17].
  • Они являются графами со свойством, что хроматическое число каждого его порождённого подграфа равно псевдочислу Гранди[17].

Связанные классы графов[править | править код]

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

Пороговые графы — это в точности те графы, которые являются одновременно тривиально совершенными и являются дополнением тривиально совершенных графов (тривиально совершенных кографов)[18][19].

Мельницы являются тривиально совершенными.

Распознавание[править | править код]

Чу[20] описывает простой алгоритм линейного времени для распознавания тривиально совершенных графов, основанный на лексикографическом поиске в ширину. Когда алгоритм LexBFS удаляет вершину v из первого множества в очереди, алгоритм проверяет, что все оставшиеся соседи вершины v принадлежат тому же множеству. Если нет, один из запрещённых порождённых подграфов может быть построен из v. Если проверка успешна для всех v, то граф тривиально совершенен. Алгоритм можно модифицировать для проверки за линейное время, является ли граф дополнением тривиально совершенного графа.

Определение, получается ли граф общего вида после удаления k рёбер тривиально совершенным графом, является NP-полной задачей[21], фиксированно-параметрически разрешимой[22], и она может быть решена за время O(2,45k(m+n))[23].

Примечания[править | править код]

  1. Brandstädt, Le, Spinrad, 1999, с. 34 определение 2.6.2.
  2. 1 2 Golumbic, 1978.
  3. 1 2 Wolk, 1962.
  4. 1 2 Wolk, 1965.
  5. Donnelly, Isaak, 1999.
  6. 1 2 Yan, Chen, Chang, 1996.
  7. 1 2 Brandstädt, Le, Spinrad, 1999, с. 99 теорема 6.6.1.
  8. Golumbic, 1978, с. следствие 4.
  9. Golumbic, 1978, с. теорема 2.
  10. Волк(Wolk 1962)(Wolk 1965) доказал это для графов сравнимости корневых лесов.
  11. Wolk (1962).
  12. Brandstädt, Le, Spinrad, 1999, с. 51.
  13. 1 2 Brandstädt, Le, Spinrad, 1999, с. 248.
  14. 1 2 3 Yan, Chen, Chang, 1996, с. теорема 3.
  15. Gurski, 2006.
  16. Rotem, 1981.
  17. 1 2 3 Rubio-Montiel (2015).
  18. Brandstädt, Le, с. 100 теорема 6.6.3.
  19. Golumbic, 1978, с. следствие 5.
  20. Chu, 2008.
  21. Sharan (2002).
  22. Cai (1996).
  23. Nastos, Gao, 2010.

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

Ссылки[править | править код]