Beispiele für die verwendung von Совершенное паросочетание auf Russisch und deren übersetzungen ins Englisch
{-}
-
Official
-
Colloquial
Совершенное паросочетание является также реберным покрытием минимального размера.
Если существует совершенное паросочетание, то оба числа равны| V|/ 2.
Последовательное удаление таких пар образует совершенное паросочетание в графе без клешней.
Меньше известен факт, что любое совершенное паросочетание в гиперкубе можно раширить до гамильтонова цикла.
Говорят, что граф k- фактор критический, если любое подмножество из n- k вершин имеет совершенное паросочетание.
Однако если G очень хорошо покрыт, то любое совершенное паросочетание в G удовлетворяет этим свойствам.
Можно тогда удалить совершенное паросочетание и( k- 1)- регулярный двудольный граф и продолжить тот же процесс рекурсивно.
Двудольным двойным покрытием полного графа Kn является корона полный двудольный граф Kn,n минус совершенное паросочетание.
В частности, множество ребер 1- фактора- это совершенное паросочетание, а 1- разложение k- регулярного графа- это реберная раскраска k цветами.
Этот результат следует прямо из более фундаментальной теоремы, что любой связный граф без клешней с четным числом вершин имеет совершенное паросочетание.
Совершенное паросочетание в графе- это подмножество ребер со свойством, что каждая из вершин графа является конечной вершиной в точности одного ребра из подмножества.
Самнер( Sumner, 1974) и, независимо, Лас Вергнас( Las Vergnas, 1975) доказали, чтолюбой связный граф без клешней с четным числом вершин имеет совершенное паросочетание.
После этого, если степень нечетна,Алон находит совершенное паросочетание за линейное время, назначает ему цвет и удаляет из графа, что приводит к графу четной степени.
Фактор- критический граф, это граф с нечетным числом вершин, такой, чтопри удалении любой вершины v из графа оставшиеся вершины имеют совершенное паросочетание.
Является кубическим графом, имеет число доминирования 3, имеет совершенное паросочетание и 2- фактор. имеет 6 различных совершенных паросочетаний. является наименьшим кубическим графом с обхватом 5.
Граф G( V, E)имеет совершенное паросочетание тогда и только тогда, когда для каждого подмножества U в V подграф, индуцированный V- U, имеет не более| U| связных компонент с нечетным числом вершин.
Но, в отличие от правильного октаэдра, три ребра имеют вогнутые двугранные углы иэти три ребра образуют совершенное паросочетание графа октаэдра.
Фактически он находит совершенное паросочетание жестких ребер: ребро ij называется жестким для потенциала y, если y( i)+ y( j) c( i, j){\ displaystyle y( i)+ y( j)= ci, j.
Однако неравенство χ′⩾ m β{\ displaystyle\ chi{\ prime}\ geqslant m\ beta} не полностью объясняет хроматический индекс произвольного регулярного графа, посколькуесть регулярные графы, имеющие совершенное паросочетание, но не реберно k- раскрашиваемы.
Чтобы сделать это, найдем подграф H графа G, состоящий из ребер, удовлетворяющих двум свойствам паросочетаний вочень хорошо покрытом графе, а затем используем алгоритм нахождения совершенного покрытия для проверки, имеет ли H совершенное паросочетание.
В специальном случае r 2{\ displaystyle r= 2} мы имеем полный граф K n{\ displaystyle K_{ n}} с n{\ displaystyle n} вершинами и хотим раскрасить ребра в( n 2) 2 n n- 1{\ displaystyle{\ binom{ n}{ 2}}{\ frac{2}{ n}}= n- 1} цветов так, что ребра каждого цвета образуют совершенное паросочетание.
Хотя сами по себе графы Аполлония не могут иметь совершенных паросочетаний, двойственные графам Аполлония графы являются 3- регулярными графами без разрезающих ребер, так чтопо теореме Петерсена они обязательно имеют по меньшей мере одно совершенное паросочетание.
Если граф несвязен, то за исключением трех простых случаев( пустой граф,граф с одним ребром и тремя вершинами или совершенное паросочетание на четырех вершинах) он имеет косое разбиение, в котором ко- несвязная сторона разбиения состоит из конечных точек одного ребра и несвязная сторона состоит из всех остальных вершин.
В сокращенной диаграмме две метки пересечения не могут быть последовательными числами, так что множество пар меток на каждом пересечении, использованных в обозначениях Довкера для обозначения узла,можно понимать как совершенное паросочетание в графе, имеющем в качестве вершин числа от 1 до 2· n и ребра между каждой парой чисел, имеющих различную четность и не идущих подряд по модулю 2n.
Кениг заявил о ней в 1914 иопубликовал в 1916 доказательство, что любой регулярный двудольный граф имеет совершенное паросочетание, и, обобщенно, что хроматический индекс любого двудольного графа( то есть наименьшее число паросочетаний, на которые можно разложить все дуги графа) равен максимальной степени.
Характеризация в терминах паросочетаний может быть расширена с двудольных графов до очень хорошо покрытых графов- граф G является очень хорошо покрытым тогда и только тогда, когдаграф имеет совершенное паросочетание M со следующими двумя свойствами: Никакое ребро M не принадлежит треугольнику в G; Если ребро M является центральным в пути, состоящим из трех ребер в G, то две конечных вершины пути должны быть смежными.
Можно рассматривать корону как полный двудольный граф, из которого удалено совершенное паросочетание, как двойное покрытие двудольным графом полного графа, или как двудольный граф Кнезера Hn, 1, представляющий подмножества из 1 элемента и( n- 1) элементов множества из n элементов с ребрами между двумя подмножествами, если одно подмножество содержится в другом.
Фактор- критические графы можно описать несколькими различными путями,отличными от определения как графы, удаление любой вершины которых позволяет совершенное паросочетание: Тибор Галлаи доказал, что граф является фактор- критическим тогда и только тогда, когда он связен и для любой вершины v графа, существует наибольшее паросочетание, которое не включает v. Из этого свойства следует, что граф должен иметь нечетное число вершин и что любое наибольшее паросочетание должно включать все, кроме одной вершины.
Если k 2n- 2, то G можно получить путем удаления совершенного паросочетания из K2n.