WikiDer > Теорема Дилуортса - Википедия

В математика, в районах теория порядка и комбинаторика, Теорема Дилворта характеризует ширина любого конечного частично заказанный набор с точки зрения раздел заказа на минимальное количество цепи. Назван в честь математика. Роберт П. Дилворт (1950).

An антицепь в частично упорядоченном наборе - это набор элементов, два из которых не сопоставимы друг с другом, а цепочка - это набор элементов, каждые два из которых сопоставимы. Цепное разложение - это разбиение элементов порядка на непересекающийся цепи. Теорема Дилворта утверждает, что в любом конечном частично упорядоченном множестве наибольшая антицепь имеет тот же размер, что и наименьшее разложение цепи. Здесь размер антицепи - это количество ее элементов, а размер разложения цепочки - это количество цепочек. Ширина частичного порядка определяется как общий размер антицепи и цепной декомпозиции.

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

Индуктивное доказательство

Следующее доказательство индукцией по размеру частично упорядоченного множества ${ displaystyle P}$ основан на Гэлвин (1994).

Позволять ${ displaystyle P}$ - конечное частично упорядоченное множество. Теорема выполняется тривиально, если ${ displaystyle P}$ пусто. Итак, предположим, что ${ displaystyle P}$ имеет хотя бы один элемент, и пусть ${ displaystyle a}$ быть максимальным элементом ${ displaystyle P}$.

По индукции предполагаем, что для некоторого целого числа ${ displaystyle k}$ частично упорядоченный набор ${ Displaystyle P ': = P setminus {a }}$ может быть покрыт ${ displaystyle k}$ непересекающиеся цепи ${ Displaystyle C_ {1}, точки, C_ {k}}$ и имеет как минимум одну антицепь ${ displaystyle A_ {0}}$ размера ${ displaystyle k}$. Четко, ${ Displaystyle A_ {0} cap C_ {i} neq emptyset}$ за ${ Displaystyle я = 1,2, точки, к}$. За ${ Displaystyle я = 1,2, точки, к}$, позволять ${ displaystyle x_ {i}}$ быть максимальным элементом в ${ displaystyle C_ {i}}$ что принадлежит антицепи размера ${ displaystyle k}$ в ${ displaystyle P '}$, и установите ${ Displaystyle A: = {x_ {1}, x_ {2}, dots, x_ {k} }}$. Мы утверждаем, что ${ displaystyle A}$ это антицепь. Позволять ${ displaystyle A_ {i}}$ быть антицепью размера ${ displaystyle k}$ который содержит ${ displaystyle x_ {i}}$. Зафиксируйте произвольные различные индексы ${ displaystyle i}$ и ${ displaystyle j}$. потом ${ Displaystyle A_ {i} cap C_ {j} neq emptyset}$. Позволять ${ displaystyle y in A_ {i} cap C_ {j}}$. потом ${ displaystyle y leq x_ {j}}$, по определению ${ displaystyle x_ {j}}$. Отсюда следует, что ${ displaystyle x_ {i} not geq x_ {j}}$, поскольку ${ displaystyle x_ {i} not geq y}$. Меняя ролями ${ displaystyle i}$ и ${ displaystyle j}$ в этом аргументе мы также имеем ${ displaystyle x_ {j} not geq x_ {i}}$. Это подтверждает, что ${ displaystyle A}$ это антицепь.

Теперь вернемся к ${ displaystyle P}$. Предположим сначала, что ${ Displaystyle а geq x_ {я}}$ для некоторых ${ Displaystyle я в {1,2, точки, к }}$. Позволять ${ displaystyle K}$ быть цепочкой ${ Displaystyle {а } чашка {z in C_ {i}: z leq x_ {i} }}$. Тогда по выбору ${ displaystyle x_ {i}}$, ${ Displaystyle P setminus K}$ не имеет антицепи размера ${ displaystyle k}$. Тогда из индукции следует, что ${ Displaystyle P setminus K}$ может быть покрыт ${ displaystyle k-1}$ непересекающиеся цепи, поскольку ${ Displaystyle А setminus {x_ {i} }}$ это антицепь размера ${ displaystyle k-1}$ в ${ Displaystyle P setminus K}$. Таким образом, ${ displaystyle P}$ может быть покрыт ${ displaystyle k}$ непересекающиеся цепи, если требуется. Далее, если ${ Displaystyle а not geq x_ {я}}$ для каждого ${ Displaystyle я в {1,2, точки, к }}$, тогда ${ Displaystyle А чашка {а }}$ это антицепь размера ${ displaystyle k + 1}$ в ${ displaystyle P}$ (поскольку ${ displaystyle a}$ максимально в ${ displaystyle P}$). Сейчас же ${ displaystyle P}$ может быть покрыт ${ displaystyle k + 1}$ цепи ${ displaystyle {a }, C_ {1}, C_ {2}, dots, C_ {k}}$, завершая доказательство.

Доказательство теоремы Кёнига.

Доказательство теоремы Дилворта через теорему Кёнига: построение двудольного графа из частичного порядка и разбиение на цепочки в соответствии с паросочетанием

Как и ряд других результатов комбинаторики, теорема Дилворта эквивалентна Теорема Кёнига на двудольный граф сопоставление и несколько других связанных теорем, включая Теорема холла о браке (Фулкерсон 1956).

Чтобы доказать теорему Дилворта для частичного порядка S с п элементы, используя теорему Кёнига, определяют двудольный граф грамм = (U,V,E) куда U = V = S и где (ты,v) является ребром в грамм когда ты < v в S. По теореме Кёнига существует паросочетание M в грамм, и набор вершин C в грамм, такое, что каждое ребро графа содержит хотя бы одну вершину из C и такой, что M и C иметь одинаковую мощность м. Позволять А быть набором элементов S которые не соответствуют ни одной вершине в C; тогда А имеет по крайней мере п - м элементы (возможно, больше, если C содержит вершины, соответствующие одному и тому же элементу по обе стороны от двудольного деления), и нет двух элементов из А сопоставимы друг с другом. Позволять п быть семьей цепей, образованных включением Икс и у в той же цепи всякий раз, когда есть ребро (Икс,у) в M; тогда п имеет п - м цепи. Таким образом, мы построили антицепь и разбиение на цепочки одинаковой мощности.

Чтобы доказать теорему Кёнига из теоремы Дилворта, для двудольного графа грамм = (U,V,E), образуют частичный порядок в вершинах грамм в котором ты < v именно когда ты в U, v в V, и в E из ты к v. По теореме Дилворта существует антицепь А и разбиение на цепочки п оба имеют одинаковый размер. Но единственные нетривиальные цепи в частичном порядке - это пары элементов, соответствующие ребрам в графе, поэтому нетривиальные цепи в п сформировать соответствие на графике. Дополнение А образует вершинное покрытие в грамм с той же мощностью, что и это сопоставление.

Эта связь с двудольным соответствием позволяет вычислить ширину любого частичного порядка в полиномиальное время. Точнее, п-элементы частичного порядка ширины k можно распознать вовремя О(кн²) (Фельснер, Рагхаван и Спинрад 2003).

Расширение до бесконечных частично упорядоченных множеств

Теорема Дилворта для бесконечных частично упорядоченных множеств утверждает, что частично упорядоченное множество имеет конечную ширину ш тогда и только тогда, когда он может быть разделен на ш цепи. В самом деле, предположим, что бесконечный частичный порядок п имеет ширину ш, что означает, что существует не более конечного числа ш элементов в любой антицепи. Для любого подмножества S из п, разложение на ш цепочки (если они существуют) можно описать как раскраска из граф несравнимости из S (граф, содержащий элементы S как вершины, с ребром между каждыми двумя несравнимыми элементами), используя ш цвета; каждый цветовой класс в правильной раскраске графа несравнимости должен быть цепочкой. По предположению, что п имеет ширину ш, и по конечной версии теоремы Дилворта каждое конечное подмножество S из п имеет ш-раскрашиваемый граф несравнимости. Поэтому по Теорема Де Брейна – Эрдеша., п сам также имеет ш-раскрашиваемый граф несравнимости и, следовательно, имеет желаемое разбиение на цепочки (Харцхайм 2005).

Однако теорема не распространяется так просто на частично упорядоченные множества, в которых ширина, а не только мощность множества, бесконечна. В этом случае размер наибольшей антицепи и минимальное количество цепочек, необходимых для покрытия частичного порядка, могут сильно отличаться друг от друга. В частности, для каждого бесконечного кардинального числа κ существует бесконечное частично упорядоченное множество ширины ℵ₀ чье разбиение на наименьшее количество цепочек содержит κ цепей (Харцхайм 2005).

Перлес (1963) обсуждает аналоги теоремы Дилворта в бесконечном контексте.

Двойственная теорема Дилворта (теорема Мирского)

Двойная теорема Дилворта гласит, что размер наибольшей цепи в частичном порядке (если он конечен) равен наименьшему количеству антицепей, на которые может быть разделен порядок (Мирский 1971). Доказательство этого намного проще, чем доказательство самой теоремы Дилворта: для любого элемента Иксрассмотрим цепочки, в которых Икс как их самый большой элемент, и пусть N(Икс) обозначают размер самого большого из этих Икс-максимальные цепи. Затем каждый набор N⁻¹(я), состоящий из элементов, имеющих равные значения N, является антицепью, и эти антицепи разделяют частичный порядок на количество антицепей, равное размеру наибольшей цепи.

Совершенство графиков сопоставимости

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

Неориентированный граф - это идеально если в каждом индуцированном подграфе хроматическое число равен размеру самой большой клики. Каждый граф сопоставимости совершенен: по сути, это просто теорема Мирского, сформулированная в терминах теории графов (Berge & Chvátal 1984). Посредством теорема о совершенном графе из Ловас (1972), то дополнять любого совершенного графа также совершенен. Следовательно, дополнение любого графа сопоставимости идеально; по сути, это просто сама теорема Дилворта, сформулированная в терминах теории графов (Berge & Chvátal 1984). Таким образом, свойство дополняемости совершенных графов может обеспечить альтернативное доказательство теоремы Дилворта.

Ширина специальных частичных заказов

В Логическая решетка B_п это набор мощности из п-элементный набор Икс—Обязательно {1, 2,…, п}-заказан включение или, условно, (2^[п], ⊆). Теорема Спернера заявляет, что максимальная антицепь B_п имеет размер не больше

${ displaystyle operatorname {width} (B_ {n}) = {n choose lfloor {n / 2} rfloor}.}$

Другими словами, самое большое семейство несравнимых подмножеств Икс получается путем выбора подмножеств Икс которые имеют средний размер. В Неравенство Любелла – Ямамото – Мешалкина. также касается антицепей в множестве степеней и может использоваться для доказательства теоремы Спернера.

Если мы упорядочим целые числа в интервале [1, 2п] к делимость, подынтервал [п + 1, 2п] образует антицепь с мощностью п. Разделение этого частичного порядка на п цепочек легко достичь: для каждого нечетного целого числа м в [1,2п], образуют цепочку чисел вида м2^я. Следовательно, по теореме Дилворта ширина этого частичного порядка равна п.

В Теорема Эрдеша – Секереса на монотонных подпоследовательностях можно интерпретировать как приложение теоремы Дилворта к частичным порядкам размер заказа два (Стил 1995).

«Выпуклое измерение» антиматроид определяется как минимальное количество цепей, необходимых для определения антиматроида, и теорема Дилворта может использоваться, чтобы показать, что он равен ширине соответствующего частичного порядка; эта связь приводит к алгоритму полиномиального времени для выпуклой размерности (Эдельман и Сакс 1988).

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

• Берже, Клод; Хваталь, Вацлав (1984), Темы об идеальных графах, Анналы дискретной математики, 21, Elsevier, стр. viii, ISBN 978-0-444-86587-8
• Дилворт, Роберт П. (1950), «Теорема разложения для частично упорядоченных множеств», Анналы математики, 51 (1): 161–166, Дои:10.2307/1969503, JSTOR 1969503.
• Эдельман, Пол Х .; Сакс, Майкл Э. (1988), "Комбинаторное представление и выпуклая размерность выпуклых геометрий", Заказ, 5 (1): 23–32, Дои:10.1007 / BF00143895, S2CID 119826035.
• Фельснер, Стефан; Рагхаван, Виджай; Спинрад, Джереми (2003), «Алгоритмы распознавания порядков малой ширины и графов малого числа Дилворта», Заказ, 20 (4): 351–364 (2004), Дои:10.1023 / B: ORDE.0000034609.99940.fb, МИСТЕР 2079151, S2CID 1363140.
• Фулкерсон, Д. (1956), «Заметка о теореме Дилворта о разложении для частично упорядоченных множеств», Труды Американского математического общества, 7 (4): 701–702, Дои:10.2307/2033375, JSTOR 2033375.
• Гэлвин, Фред (1994), "Доказательство теоремы Дилворта о цепном разложении", Американский математический ежемесячник, 101 (4): 352–353, Дои:10.2307/2975628, JSTOR 2975628, МИСТЕР 1270960.
• Грин, Кертис; Клейтман, Дэниел Дж. (1976), "Структура Спернера ${ displaystyle k}$-семьи", J. Combin. Теория Сер. А, 20 (1): 41–68, Дои:10.1016/0097-3165(76)90077-7.
• Харцхейм, Эгберт (2005), Заказанные наборы, Успехи в математике (Springer), 7, Нью-Йорк: Спрингер, теорема 5.6, с. 60, ISBN 0-387-24219-8, МИСТЕР 2127991.
• Ловас, Ласло (1972), «Нормальные гиперграфы и гипотеза об идеальном графе», Дискретная математика, 2 (3): 253–267, Дои:10.1016 / 0012-365X (72) 90006-4.
• Мирский, Леон (1971), «Двойственная теорема Дилворта о разложении», Американский математический ежемесячный журнал, 78 (8): 876–877, Дои:10.2307/2316481, JSTOR 2316481.
• Нешетржил, Ярослав; Оссона де Мендес, Патрис (2012), «Теорема 3.13», Разреженность: графики, структуры и алгоритмы, Алгоритмы и комбинаторика, 28, Гейдельберг: Springer, стр. 42, Дои:10.1007/978-3-642-27875-4, HDL:10338.dmlcz / 143192, ISBN 978-3-642-27874-7, МИСТЕР 2920058.
• Перлес, Миха А. (1963), «О теореме Дилворта в бесконечном случае», Израильский математический журнал, 1 (2): 108–109, Дои:10.1007 / BF02759806, МИСТЕР 0168497, S2CID 120943065.
• Стил, Дж. Майкл (1995), "Вариации на монотонную тему подпоследовательности Эрдеша и Секереша", в Олдос, Дэвид; Диаконис, Перси; Спенсер, Джоэл; и другие. (ред.), Дискретная вероятность и алгоритмы (PDF), Объемы IMA по математике и ее приложениям, 72, Springer-Verlag, стр. 111–131..

внешняя ссылка

• Эквивалентность семи основных теорем комбинаторики
• "Двойственная теорема Дилворта", PlanetMath, заархивировано из оригинал на 2007-07-14
• Бабай, Ласло (2005), Конспект лекций по комбинаторике и теории вероятностей, лекция 10: Совершенные графы (PDF), заархивировано из оригинал (PDF) на 2011-07-20
• Felsner, S .; Рагхаван В. и Спинрад Дж. (1999), Алгоритмы распознавания порядков малой ширины и графов малого числа Дилворта
• Вайсштейн, Эрик В. "Лемма Дилворта". MathWorld.