Русская Википедия:Линейная древесность

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

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

Шаблон:Unsolved Линейная древесность графа <math>G</math> с максимальной степенью <math>\Delta</math> всегда не меньше <math>\lceil\Delta/2\rceil</math>, поскольку каждый линейный лес может использовать только два из рёбер вершины максимальной степени. Гипотеза о линейной древесности Акиямы, Экзоо и ХарариШаблон:Sfn утверждает, чта это нижняя граница точна. Согласно этой гипотезе любой граф имеет линейную древесность, не превосходящую <math>\lceil(\Delta+1)/2\rceil</math>Шаблон:Sfn. Однако гипотеза остаётся недоказанной, и лучшая доказанная верхняя грань линейной древесности несколько выше, <math>\Delta/2 + O(\Delta^{2/3 - c})</math> с некоторой константой <math> c> 0</math> (согласно Ферберу, Фоксу и ДжейнуШаблон:Sfn).

В регулярном графе линейная древесность не может быть равна <math>\Delta/2</math>, поскольку конечные точки любого пути в одном из линейных лесов не могут иметь две смежные вершины, использованные в этом лесе. Поэтому, для регулярных графов, из гипотезы о линейной древесности следует, что линейная древесность в точности равна <math>\lceil(\Delta+1)/2\rceil</math>.

Линейная древесность является вариацией древесности графа, минимального числа лесов, на которые могут быть разбиты рёбра графа. Исследовалась также линейная Шаблон:Mvar-древесность, вариант линейной древесности, в которой любой путь в линейном лесе может иметь не более Шаблон:Mvar рёберШаблон:Sfn.

В отличие от древесности, которая может быть установлена за полиномиальное время, задача установления линейной древесности NP-трудна. Даже распознавание графов с линейной древесностью два является NP-полной задачейШаблон:Sfn. Однако для кубических графов и других графов с максимальной степенью три линейная древесность всегда равна двум, а разложение на два линейных леса может быть найдено за линейное время с помощью алгоритма, основанного на поиске в глубинуШаблон:Sfn.

Примечания

Шаблон:Примечания

Литература

Шаблон:Refbegin

Шаблон:Refend Шаблон:Rq