Jump to content

Псевдолес

Это хорошая статья. Нажмите здесь для получения дополнительной информации.
(Перенаправлено с «Псевдодревесность »)
1-лес (максимальный псевдолес), образованный тремя 1-деревьями.

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

Названия обоснованы аналогией с наиболее часто изучаемыми деревьями и лесами . (Дерево — это связный граф без циклов; лес — это непересекающееся объединение деревьев.) Габоу и Тарьян [2] приписывают изучение псевдолесов книге Данцига 1963 года по линейному программированию , в которой псевдолеса возникают при решении определенных задач сетевых потоков . [3] Псевдолеса также образуют модели функций на основе теории графов и встречаются в ряде алгоритмических задач. Псевдолеса представляют собой разреженные графы – их количество ребер линейно ограничено с точки зрения количества вершин (на самом деле у них не более столько же ребер, сколько и вершин) – а их матроидная структура позволяет разложить несколько других семейств разреженных графов. как союзы лесов и псевдолесов. Название «псевдолес» взято из работы Picard & Queyranne (1982) .

Определения и структура

[ редактировать ]

Мы определяем неориентированный граф как набор вершин и ребер , в котором каждое ребро имеет две вершины (которые могут совпадать) в качестве конечных точек. То есть мы допускаем наличие нескольких ребер (ребер с одной и той же парой конечных точек) и петель (ребер, две конечные точки которых являются одной и той же вершиной). [1] Подграф . графа — это граф, образованный любыми подмножествами его вершин и ребер, такими, что каждое ребро в подмножестве ребер имеет обе конечные точки в подмножестве вершин Компонент связности неориентированного графа — это подграф, состоящий из вершин и ребер, до которых можно добраться, пройдя по ребрам из одной заданной начальной вершины. Граф связный, если каждая вершина или ребро достижимы из любой другой вершины или ребра. Цикл в неориентированном графе — это связный подграф , в котором каждая вершина инцидентна ровно двум ребрам, или является петлей. [4]

21 унициклический граф с не более чем шестью вершинами.

Псевдолес — это неориентированный граф, в котором каждая компонента связности содержит не более одного цикла. [5] Эквивалентно, это неориентированный граф, в котором каждый компонент связности имеет не больше ребер, чем вершин. [6] Компоненты, не имеющие циклов, являются просто деревьями , а компоненты, содержащие один цикл, называются 1-деревьями или унициклическими графами . То есть 1-дерево — это связный граф, содержащий ровно один цикл. Псевдолес с одним связным компонентом (обычно называемый псевдодеревом , хотя некоторые авторы определяют псевдодерево как 1-дерево) является либо деревом, либо 1-деревом; Как правило, псевдолес может иметь несколько связных компонентов, если все они являются деревьями или 1-деревьями.

Если удалить из 1-дерева одно из ребер в его цикле, результатом будет дерево. Обратив этот процесс, если кто-то дополняет дерево, соединяя любые две его вершины новым ребром, результатом будет 1-дерево; путь в дереве, соединяющий две конечные точки добавленного ребра, вместе с самим добавленным ребром образуют уникальный цикл 1-дерева. Если кто-то дополняет 1-дерево, добавляя ребро, которое соединяет одну из его вершин с вновь добавленной вершиной, результатом снова будет 1-дерево с еще одной вершиной; альтернативный метод построения 1-деревьев — начать с одного цикла, а затем повторить эту операцию увеличения любое количество раз. Ребра любого 1-дерева можно единственным образом разбить на два подграфа, один из которых является циклом, а другой - лесом, так что каждое дерево леса содержит ровно одну вершину цикла. [7]

Изучены также некоторые более конкретные типы псевдолесов.

, 1-лес иногда называемый максимальным псевдолесом , — это псевдолес, к которому нельзя добавить больше ребер без того, чтобы какой-либо компонент графа не содержал несколько циклов. Если псевдолес содержит дерево в качестве одного из своих компонентов, он не может быть 1-лесом, поскольку можно добавить либо ребро, соединяющее две вершины внутри этого дерева, образуя один цикл, либо ребро, соединяющее это дерево с каким-либо другим компонентом. Таким образом, 1-леса — это в точности псевдолеса, в которых каждый компонент является 1-деревом.
Охватывающие псевдолеса неориентированного графа G псевдолеса это подграфы G , которые имеют все вершины G. — Такой псевдолес не обязательно должен иметь ребра, поскольку, например, подграф, который имеет все вершины G и не имеет ребер, является псевдолесом (компонентами которого являются деревья, состоящие из одной вершины).
Максимальные псевдолеса G — это подграфы псевдолесов G , которые не содержатся ни в каком более крупном G. псевдолесе Максимальный псевдолес G всегда является остовным псевдолесом, но не наоборот. Если G не имеет связных компонентов, которые являются деревьями, то его максимальные псевдолеса являются 1-лесами, но если G имеет древесный компонент, его максимальные псевдолеса не являются 1-лесами. Точнее говоря, в любом графе G его максимальные псевдолеса состоят из каждого компонента дерева G вместе с одним или несколькими непересекающимися 1-деревьями, покрывающими остальные вершины G .

Направленные псевдолеса

[ редактировать ]

Версии этих определений также используются для ориентированных графов . Как и неориентированный граф, ориентированный граф состоит из вершин и ребер, но каждое ребро направлено от одной из его конечных точек к другой конечной точке. — Ориентированный псевдолес это ориентированный граф, в котором каждая вершина имеет не более одного исходящего ребра; то есть имеет выходную степень не более одной. Направленный 1-лес , чаще всего называемый функциональным графом (см. ниже ), иногда максимальным направленным псевдолесом , представляет собой ориентированный граф, в котором каждая вершина имеет исходящую степень ровно одну. [8] Если D — ориентированный псевдолес, неориентированный граф, образованный удалением направления из каждого ребра D, является неориентированным псевдолесом.

Количество ребер

[ редактировать ]

Каждый псевдолес на множестве из n вершин имеет не более n ребер, а каждый максимальный псевдолес на множестве из n вершин имеет ровно n ребер. И наоборот, если граф G обладает свойством, что для каждого подмножества S его вершин количество ребер в индуцированном подграфе S является не превышает количества вершин в S , то G псевдолесом. 1-деревья можно определить как связные графы с одинаковым количеством вершин и ребер. [2]

Переходя от отдельных графов к семействам графов, если семейство графов обладает свойством, что каждый подграф графа семейства также входит в семейство, и каждый граф семейства имеет не более чем столько же ребер, сколько и вершин, то семейство содержит только псевдолеса. Например, каждый подграф трекла ( граф, нарисованный так, что каждая пара ребер имеет одну точку пересечения) также является треклом, поэтому гипотезу Конвея о том, что каждый трекл имеет не более чем столько же ребер, сколько и вершин, можно переформулировать следующим образом: Тракл — это псевдолес. Более точная характеристика состоит в том, что если гипотеза верна, то треклы - это в точности псевдолеса без четырехвершинного цикла и не более чем с одним нечетным циклом. [9]

Стрейну и Теран [10] обобщают условия разреженности, определяющие псевдолеса: они определяют граф как ( k , l )-разреженный, если каждый непустой подграф с n вершинами имеет не более kn l ребер, и ( k , l )-плотный, если он ( k , l ) -плотный )-разреженным и имеет ровно kn l ребер. Таким образом, псевдолеса представляют собой (1,0)-разреженные графы, а максимальные псевдолеса — это (1,0)-плотные графы. Несколько других важных семейств графов могут быть определены на основе других значений k и l :а когда l k, ( k , l )-разреженные графы можно охарактеризовать как графы, образованные как непересекающееся по ребрам объединение l лесов и k l псевдолесов. [11]

Почти каждый достаточно разреженный случайный граф является псевдолесом. [12] То есть, если c — константа с 0 < c < 1/2, а P c ( n ) — вероятность того, что равномерный случайный выбор среди n -вершинных графов с cn ребрами приведет к образованию псевдолеса, тогда P c ( n ) стремится к единице в пределе при больших n . Однако при c > 1/2 почти каждый случайный граф с cn ребер имеет большую компоненту, которая не является одноциклической.

Перечисление

[ редактировать ]

Граф является простым , если в нем нет петель и кратных ребер с одинаковыми концами. Число простых 1-деревьев с n помеченными вершинами равно [13]

Значения для n до 300 можно найти в последовательности OEIS : A057500 Электронной энциклопедии целочисленных последовательностей .

Число максимальных направленных псевдолесов на n вершинах, допускающих самоциклы, равно n н , поскольку для каждой вершины существует n возможных концов исходящего ребра. Андре Жуайал использовал этот факт, чтобы обеспечить взаимно однозначное доказательство формулы Кэли о том, что количество неориентированных деревьев на n узлах равно n. п - 2 , находя биекцию между максимальными направленными псевдолесами и неориентированными деревьями с двумя выделенными узлами. [14] Если самоциклы не разрешены, вместо этого количество максимальных направленных псевдолесов равно ( n - 1) н .

Графики функций

[ редактировать ]
Функция из множества {0,1,2,3,4,5,6,7,8} до себя и соответствующий функциональный график

Направленные псевдолеса и эндофункции в некотором смысле математически эквивалентны. Любую функцию ƒ из множества X в себя (то есть эндоморфизм X ) всякий можно интерпретировать как определение направленного псевдолеса, который имеет ребро от x до y раз, когда ƒ( x ) = y . Результирующий направленный псевдолес является максимальным и может включать в себя циклы всякий раз, когда некоторое значение x имеет ƒ( x ) = x . В качестве альтернативы, исключение самоциклов приводит к немаксимальному псевдолесу. В другом направлении любой максимальный направленный псевдолес определяет функцию ƒ такую, что ƒ( x ) является целью ребра, исходящего из x , а любой немаксимальный направленный псевдолес можно сделать максимальным, добавив циклы и затем преобразуя в функцию таким же образом. По этой причине максимальные направленные псевдолеса иногда называют функциональными графами . [2] Просмотр функции как функционального графа обеспечивает удобный язык для описания свойств, которые не так легко описать с точки зрения теории функций; этот метод особенно применим к задачам, связанным с повторяющимися функциями , которые соответствуют путям в функциональных графах.

Обнаружение цикла , проблема следования по пути в функциональном графе, чтобы найти в нем цикл, имеет приложения в криптографии и вычислительной теории чисел , как часть ро-алгоритма Полларда для факторизации целых чисел и как метод поиска коллизий в криптографических хэш-функциях . Ожидается, что в этих приложениях ƒ будет вести себя случайным образом; Флажоле и Одлизко [15] изучить теоретико-графовые свойства функциональных графов, возникающих в результате случайно выбранных отображений. В частности, форма парадокса дня рождения подразумевает, что в случайном функциональном графе с n вершинами путь, начинающийся со случайно выбранной вершины, обычно зацикливается на самом себе, образуя цикл за O( n ) шагов. Конягин и др. добились аналитического и вычислительного прогресса в графовой статистике. [16]

Мартин, Одлизко и Вольфрам [17] исследовать псевдолеса, моделирующие динамику клеточных автоматов . Эти функциональные графы, которые они называют диаграммами переходов состояний , имеют по одной вершине для каждой возможной конфигурации, в которой может находиться ансамбль ячеек автомата, и ребро, соединяющее каждую конфигурацию с следующей за ней конфигурацией по правилу автомата. Из структуры этих диаграмм можно вывести свойства автомата, такие как количество компонентов, длина предельных циклов, глубина деревьев, соединяющих непредельные состояния с этими циклами, или симметрия диаграммы. Например, любая вершина без входящего края соответствует узору «Райский сад» , а вершина с замкнутым контуром соответствует узору натюрморта .

Еще одним ранним применением функциональных графов являются поезда , используемые для изучения систем троек Штейнера . [18] Последовательность тройной системы представляет собой функциональный граф, имеющий вершину для каждой возможной тройки символов; каждая тройка pqr отображается с помощью ƒ в stu , где pqs , prt и qru — тройки, принадлежащие системе троек и содержащие пары pq , pr и qr соответственно. Было показано, что поезда являются мощным инвариантом тройных систем, хотя и несколько громоздки для вычислений.

Бициркулярный матроид

[ редактировать ]

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

Для любого графа G = ( V , E ) мы можем определить матроид на ребрах G , в котором набор ребер независим тогда и только тогда, когда он образует псевдолес; этот матроид известен как бициркулярный матроид (или велосипедный матроид ) G. группы [19] [20] Наименьшими зависимыми множествами для этого матроида являются минимальные связные подграфы G , имеющие более одного цикла, и эти подграфы иногда называют велосипедами. Существует три возможных типа велосипеда: тета-граф имеет две вершины, которые соединены тремя внутренне непересекающимися путями, граф в форме восьмерки состоит из двух циклов, разделяющих одну вершину, и граф наручников состоит из двух непересекающихся циклов, соединенных путем. . [21] Граф является псевдолесом тогда и только тогда, когда он не содержит велосипеда в качестве подграфа. [10]

Запрещенные несовершеннолетние

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

Формирование второстепенного псевдолеса путем сжатия некоторых его краев и удаления других приводит к созданию другого псевдолеса. Следовательно, семейство псевдолесов замкнуто относительно миноров, а из теоремы Робертсона-Сеймура следует, что псевдолеса можно охарактеризовать в терминах конечного набора запрещенных миноров , аналогично теореме Вагнера, характеризующей плоские графы как графы, не имеющие ни полного графа K 5, ни полный двудольный граф K 3,3 как миноры.Как обсуждалось выше, любой граф, не являющийся псевдолесом, содержит в качестве подграфа наручник, цифру 8 или тэта-граф; любой граф наручников или фигура 8 может быть сжат до образования графа-бабочки (пятивершинная фигура 8), а любой тэта-граф может быть сжат до образования ромбовидного графа (тета-граф с четырьмя вершинами), [22] поэтому любой непсевдолес содержит либо бабочку, либо ромб в качестве минора, и это единственные минорно-минимальные графы, не являющиеся псевдолесами. Таким образом, граф является псевдолесом тогда и только тогда, когда в нем нет ни бабочки, ни ромба в качестве минора. Если запретить только ромб, но не бабочку, в результате получится более крупное семейство графов, состоящее из графов-кактусов и непересекающихся объединений нескольких графов-кактусов. [23]

Проще говоря, если рассматривать мультиграфы с петельками , то существует только один запрещенный минор — вершина с двумя петлями.

Алгоритмы

[ редактировать ]

Раннее алгоритмическое использование псевдолесов включает сетевой симплексный алгоритм и его применение к задачам обобщенного потока, моделирующим преобразование между товарами разных типов. [3] [24] В этих задачах в качестве входных данных предоставляется потоковая сеть , в которой вершины моделируют каждый товар, а ребра моделируют допустимые преобразования между одним товаром и другим. Каждое ребро отмечено мощностью ( какая часть товара может быть преобразована в единицу времени), множителем потока (коэффициент конверсии между товарами) и стоимостью (сколько потерь или, если оно отрицательное, прибыли, понесенных на единицу продукции). конверсия). Задача состоит в том, чтобы определить, какое количество каждого товара необходимо конвертировать через каждое ребро сети потоков, чтобы минимизировать затраты или максимизировать прибыль, соблюдая при этом ограничения мощности и не позволяя товарам любого типа накапливаться неиспользованными. Задачу такого типа можно сформулировать в виде линейной программы и решить с помощью симплексного алгоритма . Промежуточные решения, возникающие в результате этого алгоритма, а также окончательное оптимальное решение имеют особую структуру: каждое ребро во входной сети либо не используется, либо используется на полную мощность, за исключением подмножества ребер, образующих охватывающий псевдолес из входная сеть, для которой объемы потоков могут находиться в диапазоне от нуля до полной мощности. В этом приложении унициклические графы также иногда называются Дополненные деревья и максимальные псевдолеса также иногда называют дополненными лесами . [24]

Задача минимального остовного псевдолеса включает в себя поиск остовного псевдолеса минимального веса в большем взвешенном по ребрам графе G .Из-за матроидной структуры псевдолесов максимальные псевдолеса с минимальным весом могут быть найдены с помощью жадных алгоритмов, аналогичных алгоритмам для задачи минимального остовного дерева . Однако в этом случае Габоу и Тарьян нашли более эффективный подход с использованием линейного времени. [2]

Псевдодревесность определяется графа G по аналогии с древесностью как минимальное число псевдолесов, на которые можно разбить его ребра; эквивалентно, это минимум k такой, что G является ( k ,0)-разреженным, или минимальный k такой, что ребра G могут быть ориентированы так, чтобы сформировать ориентированный граф с исходящей степенью не более k . Благодаря матроидной структуре псевдолесов псевдодревесность может быть вычислена за полиномиальное время. [25]

Случайный ребер , двудольный граф с n вершинами на каждой стороне его двудольного деления и cn выбранных независимо случайным образом из каждого из n 2 возможных пар вершин с высокой вероятностью является псевдолесом, если c константа строго меньше единицы. Этот факт играет ключевую роль в анализе хеширования с кукушкой — структуры данных для поиска пар ключ-значение путем просмотра в одной из двух хеш-таблиц мест, определенных по ключу: можно сформировать граф, «граф с кукушкой», вершины которого соответствуют местоположениям хеш-таблицы, а ребра соединяют два места, в которых может быть найден один из ключей, а алгоритм хеширования кукушки успешно находит местоположения для всех своих ключей тогда и только тогда, когда граф кукушки является псевдолесом. [26]

Псевдолеса также играют ключевую роль в параллельных алгоритмах раскраски графов и связанных с ними задачах. [27]

Примечания

[ редактировать ]
  1. ^ Jump up to: а б Рассматриваемый здесь тип неориентированного графа часто называют мультиграфом или псевдографом, чтобы отличить его от простого графа .
  2. ^ Jump up to: а б с д Олд и Тарьян (1988) .
  3. ^ Jump up to: а б Данциг (1963) .
  4. ^ Эти определения см. в связанных статьях и ссылках в них.
  5. ^ Это определение используется, например, Gabow & Westermann (1992) .
  6. ^ Это определение дано Габоу и Тарджаном (1988) .
  7. ^ См., например, доказательство леммы 4 в работе Альвареса, Блеса и Серны (2002) .
  8. ^ Крускал, Рудольф и Снир (1990) вместо этого используют противоположное определение, в котором каждая вершина имеет входную степень единицу; полученные графы, которые они называют одноциклическими , представляют собой транспонированные графы, рассматриваемые здесь.
  9. ^ Вудалл (1969) ; Ловас, Пах и Сегеди (1997) .
  10. ^ Jump up to: а б Стрейну и Теран (2009) .
  11. ^ Уайтли (1988) .
  12. ^ Боллобас (1985) . См., в частности, следствие 24, стр. 120, для оценки числа вершин, принадлежащих унициклическим компонентам в случайном графе, и следствие 19, стр. 113, для оценки числа различных помеченных унициклических графов.
  13. ^ Ридделл (1951) ; см. OEIS : A057500 в Электронной энциклопедии целочисленных последовательностей .
  14. ^ Айгнер и Зиглер (1998) .
  15. ^ Флажоле и Одлизко (1990) .
  16. ^ Конягин и др. (2010) .
  17. ^ Мартин, Одлизко и Вольфрам (1984) .
  18. ^ Белый (1913) ; Колборн, Колборн и Розенбаум (1982) ; Стинсон (1983) .
  19. ^ Симоэс-Перейра (1972) .
  20. ^ Мэтьюз (1977) .
  21. ^ Глоссарий знаковых графиков и графиков усиления и смежных областей
  22. ^ Эту терминологию см. в списке небольших графов из Информационной системы по включению классов графов . Однако граф-бабочка может также относиться к другому семейству графов, связанных с гиперкубами , а пятивершинную фигуру 8 иногда вместо этого называют графом-бабочкой .
  23. ^ Эль-Маллах и Колборн (1988) .
  24. ^ Jump up to: а б Ахуджа, Маньянти и Орлин (1993) .
  25. ^ Габоу и Вестерманн (1992) . См. также схемы более быстрой аппроксимации Ковалика (2006) .
  26. ^ Куцельнигг (2006) .
  27. ^ Голдберг, Плоткин и Шеннон (1988) ; Крускал, Рудольф и Снир (1990) .
[ редактировать ]

Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: a78ebac2371fef292888519d3cb881e3__1714975380
URL1:https://arc.ask3.ru/arc/aa/a7/e3/a78ebac2371fef292888519d3cb881e3.html
Заголовок, (Title) документа по адресу, URL1:
Pseudoforest - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)