WikiDer > Линейная древовидность

Разбиение графа ромбический додекаэдр на два линейные леса, показывая, что его линейная древовидность равна двум

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

Линейная древовидность любого графа максимальная степень ${ displaystyle Delta}$ известно как минимум ${ Displaystyle lceil Delta / 2 rceil}$ и предполагается, что не более ${ Displaystyle lceil ( Delta +1) / 2 rceil}$. Эта гипотеза определит линейную древовидность именно для графов нечетной степени, поскольку в этом случае оба выражения равны. Для графиков четной степени это будет означать, что линейная древовидность должна быть одним из двух возможных значений, но определение точного значения среди этих двух вариантов является НП-полный.

Отношение к степени

Нерешенная проблема в математике: Каждый ли график максимальной степени ${ displaystyle Delta}$ иметь линейное древовидность не более ${ Displaystyle lceil ( Delta +1) / 2 rceil}$? (больше нерешенных задач по математике)

Линейная древовидность графа ${ displaystyle G}$ с максимальной степенью ${ displaystyle Delta}$ всегда по крайней мере ${ Displaystyle lceil Delta / 2 rceil}$, потому что каждый линейный лес может использовать только два ребра в вершине максимальной степени. В гипотеза линейной арборичности из Акияма, Эксу и Харари (1981) это что нижняя граница также плотный: согласно их гипотезе, каждый граф имеет не более чем линейную древовидность ${ Displaystyle lceil ( Delta +1) / 2 rceil}$.^[1] Однако это остается недоказанным, с лучшими проверенными верхняя граница от линейной древовидности несколько больше, ${ Displaystyle Delta / 2 + O ( Delta ^ {2/3-c})}$ для некоторой постоянной ${ displaystyle c> 0}$ из-за Фербера, Фокса и Джайна.^[2]

Чтобы линейная древовидность графа была равна ${ Displaystyle Delta / 2}$, ${ displaystyle Delta}$ должен быть четным, и каждый линейный лес должен иметь два ребра, инцидентных каждой вершине степени ${ displaystyle Delta}$. Но в вершине, которая находится в конце пути, лес, содержащий этот путь, имеет только одно инцидентное ребро, поэтому степень в этой вершине не может равняться ${ displaystyle Delta}$. Таким образом, граф, линейная древовидность которого равна ${ Displaystyle Delta / 2}$ должны иметь несколько вершин, степень которых меньше максимальной. В регулярный график, таких вершин нет, и линейная древовидность не может равняться ${ Displaystyle Delta / 2}$. Следовательно, для регулярных графов из гипотезы линейной древовидности следует, что линейная древовидность в точности равна ${ Displaystyle lceil ( Delta +1) / 2 rceil}$.

Связанные проблемы

Линейная древовидность - это разновидность родословие, минимальное количество лесов, на которые можно разбить ребра графа. Исследователи также изучали линейные k-арборичность, вариант линейной древесной растительности, при котором каждая тропа в линейном лесу может иметь не более k края.^[3]

Другая связанная проблема: Гамильтоново разложение, задача разложения регулярный график четной степени ${ displaystyle Delta}$ точно в ${ Displaystyle Delta / 2}$ Гамильтоновы циклы. Данный граф имеет гамильтоново разложение тогда и только тогда, когда подграф, образованный удалением произвольной вершины из графа, имеет линейную древовидность ${ Displaystyle Delta / 2}$.

Вычислительная сложность

В отличие от древовидности, которую можно определить в полиномиальное времялинейная древовидность NP-жесткий. Даже распознавание графов линейной древовидности два - это НП-полный.^[4] Однако для кубические графы и другие графики максимальной степени три, линейная древовидность всегда равна двум,^[1] а разложение на два линейных леса можно найти в линейное время используя алгоритм, основанный на поиск в глубину.^[5]

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