Мирскис теоремасы - Mirskys theorem - Wikipedia

Жылы математика аудандарында тапсырыс теориясы және комбинаторика, Мирский теоремасы кез келген ақырдың биіктігін сипаттайды жартылай тапсырыс берілген жиынтық тапсырыстың минималды санына бөлу тұрғысынан античайндар. Ол аталған Леон Мирский  (1971 ) және тығыз байланысты Дилворт теоремасы ішінара бұйрықтардың ені бойынша кемелдік туралы салыстырмалы графиктер, дейін Галлай – Хассе – Рой – Витавер теоремасы қатысты ең ұзын жолдар және бояғыштар графиктерге және Эрдис-Секерес теоремасы монотонды секрециялар туралы.

Теорема

Ішінара реттелген жиынтықтың биіктігі а-ның максималды кардиналына тең шынжыр, а толығымен тапсырыс берілді берілген ішінара бұйрықтың ішкі жиыны. Мысалы, 1-ден оңға дейінгі сандардың жиынтығында N, тапсырыс бойынша бөлінгіштік, ең үлкен тізбектердің бірі екінің күші сол диапазонда орналасқан, одан осы ішінара тәртіптің биіктігі шығады .

Мирскийдің теоремасында, ішінара реттелген әрбір ақырлы жиын үшін биіктік жиынтықты бөлуге болатын античайнерлердің (элементтер жұбы тапсырыс берілмейтін ішкі жиындар) минималды санына тең болады делінген. Мұндай бөлімде ең ұзын тізбектің әрбір екі элементі екі түрлі античайнға енуі керек, сондықтан античайнер саны әрқашан биіктіктен үлкен немесе оған тең болады; Мирский теоремасының тағы бір тұжырымы - античайнердің саны биіктікке тең болатын әрдайым бөлім бар. Тағы да, бөлінгіштікке реттелген натурал сандар мысалында сандарды антихейндерге бөлуге болады {1}, {2,3}, {4,5,6,7} және т.с.с. Осы бөлімдегі жиындар, және осы жиындардың әрқайсысының ішінде сандардың әр жұбы екіден кем қатынасты құрайды, сондықтан осы жиындардың біреуінің ішіндегі екі сан бөлінбейді.

Еркін ақырғы ішінара реттелген жиынтық үшін аздаған антитейндерге бөлудің болуын дәлелдеу үшін әр элемент үшін қарастырыңыз х бар тізбектер х олардың ең үлкен элементі ретінде N(х) олардың ішіндегі ең үлкенінің мөлшерін белгілеңіз х- максималды тізбектер. Содан кейін әрбір жиынтық N−1(мен) тең мәндерге ие элементтерден тұрады N, античайн болып табылады, және бұл античейндер ішінара тәртіпті ең үлкен тізбектің өлшеміне тең античайналар қатарына бөледі. Мирский өзінің дәлелі бойынша ең ұзын тізбектердің максималды элементтерінің антихайнын таңдап, қалған элементтер арасындағы ең ұзын тізбектің ұзындығы бір-біріне азаятынын көрсетіп, сол бөлімді индуктивті түрде салады.

Ұқсас нәтижелер

Дилворт теоремасы

Мирский шабыттандырды Дилворт теоремасы, әрбір ішінара реттелген жиынтық үшін античейннің максималды мөлшері жиынтықтың тізбектегі бөліміндегі тізбектердің минималды санына тең болатындығын көрсете отырып. Жиынтықтары үшін тапсырыс өлшемі екі, екі теорема сәйкес келеді (. тізбегі мамандандыру нүктелерді жазықтықта жалпы күйде орналастыру - бұл бастапқы жиынтықтан 90 ° айналу арқылы пайда болған нүктелер жиынтығындағы антишайн, және керісінше), бірақ жалпы жартылай тәртіптер үшін екі теорема бір-бірінен ерекшеленеді және (Мирский байқағандай) Дилворттың теореманы дәлелдеу қиынырақ.

Мирский теоремасы мен Дилворт теоремасы да бір-бірімен теориясы арқылы байланысты тамаша графиктер. Бағытталмаған график мінсіз егер, әрқайсысында болса индукцияланған субография, хроматикалық сан ең үлкен кликтің өлшеміне тең. Ішінде салыстыру графигі ішінара реттелген жиынтықтың, клика тізбекті, ал бояу античейндерге бөлуді білдіреді, ал салыстырмалы графиктердің индустрияланған графиктерінің өзі салыстыруға болатын графиктер болып табылады, сондықтан Мирскийдің теоремасы салыстырмалы графиктердің мінсіз екенін айтады. Ұқсас түрде Дилворт теоремасында әрбір толықтыру сызбасы салыстыруға болатын график өте жақсы. The тамаша графикалық теорема туралы Ловас (1972) мінсіз графиктердің толықтауыштары әрдайым мінсіз болатындығын және Дилворт теоремасын Мирскийдің теоремасынан және керісінше шығаруға болатындығын айтады (Голумбич 1980 ж ).

Галлай – Хассе – Рой – Витавер теоремасы

Мирский теоремасын терминдер бойынша қайта құруға болады бағытталған ациклдік графиктер (ішінара реттелген жиынтығын білдіретін қол жетімділік бар екендігі туралы а) график гомоморфизмі берілген бағытталған ациклдік графиктен G а к-текс өтпелі турнир егер (және) -ден гомоморфизм болмаса ғанак + 1) -текс жол сызбасы дейін G. Гомоморфизмі бар ең үлкен жол графигі үшін G қол жетімділіктің реттілігіндегі ең ұзын тізбекті береді, ал транзиторлық турнирге гомоморфизмдегі бірдей бейнесі бар шыңдар жиынтығы антихейндерге бөлінеді. Бұл мәлімдеме істі жалпылайды G ациклді емес және формасы болып табылады Галлай – Хассе – Рой – Витавер теоремасы қосулы графикалық бояғыштар және бағдарлар (Нешетил & Оссона де Мендес 2012 ).

Эрдис-Секерес теоремасы

Әрбір ішінара реттелген жиынтықта Дилворт теоремасынан да, Мирский теоремасынан да шығады rs + 1 элемент, онда тізбегі болуы керек р + 1 элемент немесе антитейн с + 1 элемент. Мирский (1971) дәлелдеу үшін реттік өлшемнің ішінара тәртібіне қолданылатын осы бақылауды қолданады Эрдис-Секерес теоремасы бұл кез-келген тізбекте rs + 1 толығымен реттелген элементтердің монотонды түрде өсетін тізбегі болуы керек р + 1 элементі немесе монотонды кемитін тізбегі с + 1 элемент.

Кеңейтімдер

Мирский теоремасы шексіз биіктігі бар шексіз ішінара реттелген жиындарға таралады. Алайда, тізбектің ұзындығы мен античейндерге бөлінген античейндер санының арасындағы байланыс шексіз кардиналға жетпейді: әр шексіз үшін негізгі нөмір κ, шексіз тізбегі жоқ және κ немесе одан аз античейні бар антитейндік бөлімі жоқ жартылай реттелген жиынтықтар бар (Schmerl 2002 ).

Пайдаланылған әдебиеттер

  • Дилворт, Роберт П. (1950), «Ішінара реттелген жиынтықтардың ыдырау теоремасы», Математика жылнамалары, 51 (1): 161–166, дои:10.2307/1969503, JSTOR  1969503.
  • Голумбич, Мартин Чарльз (1980), «5.7. Бояу және салыстырмалы графикадағы басқа мәселелер», Алгоритмдік графика теориясы және тамаша графиктер, Нью-Йорк: Academic Press, 132–135 б., ISBN  0-12-289260-7, МЫРЗА  0562306.
  • Ловас, Ласло (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», Сараңдық: Графиктер, құрылымдар және алгоритмдер (PDF), Алгоритмдер және комбинаторика, 28, Гайдельберг: Шпрингер, б. 42, дои:10.1007/978-3-642-27875-4, ISBN  978-3-642-27874-7, МЫРЗА  2920058.
  • Шмерл, Джеймс Х. (2002), «Мирский теоремасын кеңейтуге кедергі», Тапсырыс, 19 (2): 209–211, дои:10.1023 / A: 1016541101728, МЫРЗА  1922918.