Jump to content

Древовидность

Древовидность , неориентированного графа это минимальное количество лесов его ребра на которые можно разбить . Эквивалентно, это минимальное количество остовных лесов, необходимое для покрытия всех ребер графа. Теорема Нэша-Вильямса обеспечивает необходимые и достаточные условия того, что граф является k -древесным.

Пример [ править ]

Разбиение полного двудольного графа K 4,4 на три леса, показывающее, что он имеет древесность не более трех.

На рисунке изображен полный двудольный граф K 4,4 , цвета которого обозначают разбиение его ребер на три леса. K 4,4 нельзя разбить на меньшее количество лесов, поскольку любой лес в восьми вершинах имеет не более семи ребер, а весь граф имеет шестнадцать ребер, что более чем вдвое превышает количество ребер в одном лесу. Следовательно, древесность К 4,4 равна трем.

мера плотности как Древовидность

Древовидность графа является мерой плотности графа : графы со многими ребрами имеют высокую древесность, а графы с высокой древесностью должны иметь плотный подграф.

Более подробно, поскольку любой n-вершинный лес имеет не более n-1 ребер, древесность графа с n вершинами и m ребрами равна как минимум . Кроме того, подграфы любого графа не могут иметь древесность, большую, чем сам граф, или, что то же самое, древесность графа должна быть не ниже максимальной древесности любого из его подграфов. Нэш-Вильямс доказал, что эти два факта можно объединить для характеристики древесности: если мы обозначим n S и m S соответственно количество вершин и ребер любого подграфа S данного графа, то древесность графа равна

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

Алгоритмы [ править ]

Древовидность графа может быть выражена как частный случай более общей проблемы разделения матроидов : [1] в котором нужно выразить набор элементов матроида как объединение небольшого числа независимых наборов. Как следствие, древесность может быть рассчитана с помощью алгоритма с полиномиальным временем ( Gabow & Westermann 1992 ). Современный лучший точный алгоритм вычисляет древесность в время, где — количество ребер в графе.

Аппроксимации древесности графа можно вычислить быстрее. Существуют алгоритмы 2-приближения с линейным временем, [2] [3] и алгоритм, близкий к линейному времени, с аддитивной ошибкой 2. [4]

Связанные понятия [ править ]

Анарборичность графа — это максимальное количество непересекающихся по ребрам нециклических подграфов , на которые можно разбить ребра графа.

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

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

Псевдодревесность , графа — это минимальное количество псевдолесов на которые можно разбить его ребра. Эквивалентно, это максимальное отношение ребер к вершинам в любом подграфе графа, округленное до целого числа. Как и древесность, псевдодревесность имеет матроидную структуру, позволяющую эффективно вычислять ее ( Gabow & Westermann 1992 ).

Плотность подграфа графа — это плотность его самого плотного подграфа.

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

Вырожденность индуцированных графа — это максимальная среди всех подграфов графа минимальная степень вершины в подграфе. Вырождение графа с древесностью по крайней мере равен , и не более чем равен . Число раскраски графа, также известное как число Секереса-Вилфа ( Szekeres & Wilf 1968 ), всегда равно его вырожденности плюс 1 ( Jensen & Toft 1995 , стр. 77f.).

Сила . графа — это дробное значение, целая часть которого дает максимальное количество непересекающихся остовных деревьев, которые можно нарисовать в графе Это проблема упаковки, двойственная проблеме покрытия, возникающей из-за древесности. Эти два параметра были изучены вместе Туттом и Нэш-Уильямсом.

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

обобщает (a,b)-разложимость древесность. График -разложимой, если ее ребра можно разбить на множества, каждое из которых порождает лес, за исключением того, которое порождает граф максимальной степени . Граф с древесностью является -разборный.

Число деревьев — это минимальное количество деревьев, покрывающих ребра графа.

Особые выступления [ править ]

Древовидность появляется в гипотезе Гольдберга-Сеймура .

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

  1. ^ Эдмондс, Джек (1965), «Минимальное разделение матроида на независимые подмножества», Журнал исследований Национального бюро стандартов, раздел B , 69B : 67, doi : 10.6028/jres.069B.004
  2. ^ Эппштейн, Дэвид (1994), «Древовидность и алгоритмы перечисления двудольных подграфов», Inf. Процесс. Летт. , 51 (4): 207–211, CiteSeerX   10.1.1.39.8474 , doi : 10.1016/0020-0190(94)90121-X
  3. ^ Арикати, Шриниваса Рао; Махешвари, Анил; Зарольягис, Христос Д. (1997), "Эффективное вычисление неявных представлений разреженных графов", Discrete Appl. Математика. , 78 (1–3): 1–16, doi : 10.1016/S0166-218X(97)00007-3
  4. ^ Блюменшток, Маркус; Фишер, Франк (2020), «Конструктивная схема аппроксимации древесности», 46-я Международная конференция по современным тенденциям в теории и практике информатики
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: 32dbb382a52a43863835bdd9780dd378__1704034860
URL1:https://arc.ask3.ru/arc/aa/32/78/32dbb382a52a43863835bdd9780dd378.html
Заголовок, (Title) документа по адресу, URL1:
Arboricity - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)