WikiDer > Дробное соответствие

Fractional matching

В теория графов, а дробное соответствие является обобщением соответствие в котором интуитивно каждая вершина может быть разбита на фракции, соответствующие различным соседним вершинам.

Определение

Учитывая график грамм = (V, E), дробное соответствие в грамм функция, которая назначает каждому ребру е в E, фракция ж(е) в [0, 1], такое, что для каждой вершины v в V, сумма долей ребер, примыкающих к v не больше 1:^[1]

{ Displaystyle forall v in V: sum _ {е ni v} е (е) Leq 1}

Сопоставление в традиционном смысле - это частный случай дробного сопоставления, в котором доля каждого ребра равна 0 или 1: ж(е) = 1, если е находится в совпадении, и ж(е) = 0, если это не так. По этой причине в контексте дробных сопоставлений обычные сопоставления иногда называют интегральные соответствия.

Размер интегрального сопоставления - это количество ребер в сопоставлении и число сопоставления. ${ Displaystyle Nu (G)}$ графа грамм это самый большой размер соответствия в грамм. Аналогично размер дробного сопоставления - это сумма долей всех ребер. В дробное совпадение числа графа грамм - наибольший размер дробного соответствия в грамм. Часто обозначается как ${ Displaystyle ню ^ {*} (G)}$ .^[2] Поскольку сопоставление является частным случаем дробного сопоставления, для каждого графа грамм есть, что целое совпадающее число грамм меньше или равно дробному числу совпадений грамм; в символах:

{ Displaystyle Nu (G) Leq Nu ^ {*} (G).}

График, на котором

{ Displaystyle Nu (G) = nu ^ {*} (G)}

называется стабильный граф.^[3] Каждый двудольный граф стабильно; это означает, что в каждом двудольном графе число дробного соответствия является целым числом и равно целому числу соответствия.

В общем графике ${ displaystyle nu (G)> { frac {2} {3}} nu ^ {*} (G).}$ Число дробного совпадения может быть целым или полуцелым числом. ^[4]

Матричное представление

Для двудольного графа грамм = (Икс+Y, E) дробное согласование можно представить в виде матрицы с |Икс| строки и |Y| столбцы. Значение записи в строке Икс и столбец у вес на ребре (Икс,у).

Идеальное дробное соответствие

Дробное соответствие называется идеально если сумма весов, смежных с каждой вершиной, ровно 1. Размер идеального паросочетания ровно |V|/2.

В двудольный граф грамм = (Икс+Y, E), дробное соответствие называется X-perfect если сумма весов, смежных с каждой вершиной Икс ровно 1. Размер Икс-совершенное дробное соответствие точно |Икс|.

Для двудольного графа грамм = (Икс+Y, E) следующие эквивалентны:

грамм признает Икс- идеальное интегральное согласование,
грамм признает Икс-идеальное дробное соответствие, и
грамм удовлетворяет условию Теорема холла о браке.

Первое условие влечет за собой второе, поскольку интегральное согласование является дробным. Второе подразумевает третье, потому что для каждого подмножества W из Икс, сумма весов около вершин W есть |W|, поэтому смежные с ними ребра обязательно примыкают не менее чем к |W| вершины Y. К Теорема холла о браке, последнее условие влечет первое.^[5]^{[нужен лучший источник]}

Алгоритмические аспекты

Наибольшее дробное соответствие на графике можно легко найти с помощью линейное программирование, или альтернативно алгоритм максимального потока. В двудольном графе можно преобразовать максимальное дробное сопоставление в максимальное интегральное сопоставление того же размера. Это приводит к простому полиномиальному алгоритму поиска максимального совпадения в двудольном графе.^[6]

Если грамм двудольный граф с |Икс| = |Y| = п, и M идеальное дробное совпадение, то матричное представление M это дважды стохастическая матрица - сумма элементов в каждой строке и каждом столбце равна 1. Алгоритм Биркгофа можно использовать для разложения матрицы в выпуклую сумму не более п²-2п+2 матрицы перестановок. Это соответствует разложению M в выпуклую сумму не более п²-2п+2 идеальных совпадения.

Многогранник с дробным соответствием

Учитывая график грамм = (V,E), многогранник с дробным соответствием из грамм это выпуклый многогранник который представляет все возможные дробные совпадения грамм. Это многогранник в р^|E| - |E| -мерное евклидово пространство. Каждая точка (Икс₁,...,Икс_{| E |}) в многограннике представляет собой паросочетание, в котором вес каждого ребра е является Икс_е. Многогранник определяется формулой |E| ограничения неотрицательности (Икс_е ≥ 0 для всех е в E) и |V| вершинные ограничения (сумма Икс_е, для всех краев е смежные с вершиной v, не больше 1).

Смотрите также

Дробное окрашивание

[:1-1] Ахарони, Рон; Кесслер, Офра (1990-10-15). «О возможном распространении теоремы Холла на двудольные гиперграфы». Дискретная математика. 84 (3): 309–313. Дои:10.1016 / 0012-365X (90) 90136-6. ISSN 0012-365X.

[:0-2] Лю, Ян; Лю, Гуйчжэнь (2002). «Дробное совпадение чисел графиков». Сети. 40 (4): 228–231. Дои:10.1002 / net.10047. ISSN 1097-0037.

[3] Беккенбах, Изабель; Борндёрфер, Ральф (01.10.2018). «Теорема Холла и Кёнига в графах и гиперграфах». Дискретная математика. 341 (10): 2753–2761. Дои:10.1016 / j.disc.2018.06.013. ISSN 0012-365X.

[4] Фюреди, Золтан (1 июня 1981 г.). «Максимальные степени и дробные сопоставления в однородных гиперграфах». Комбинаторика. 1 (2): 155–162. Дои:10.1007 / BF02579271. ISSN 1439-6912. S2CID 10530732.

[5] «co.combinatorics - версия теоремы Холла о браке с дробным соответствием». MathOverflow. Получено 2020-06-29.

[6] Гертнер, Бернд; Матушек, Иржи (2006). Понимание и использование линейного программирования. Берлин: Springer. ISBN 3-540-30697-8.

[1]

[2]

[3]

[4]

[5]

[6]

Navigation