Куратовскис теоремасы - Kuratowskis theorem - Wikipedia

Бөлімшесі Қ3,3 ішінде жалпыланған Петерсен графигі G(9,2), графиктің жоспардан тыс екендігін көрсетеді.

Жылы графтар теориясы, Куратовский теоремасы математикалық болып табылады тыйым салынған графикалық сипаттама туралы жазықтық графиктер, атындағы Казимерц Куратовский. Онда ақырлы график жазықтықта болады, егер онда а бар болса ғана подограф бұл а бөлу туралы Қ5 ( толық граф беске төбелер ) немесе Қ3,3 (толық екі жақты график алты төбесінде, олардың үшеуі әрқайсысымен жалғасады, олар сондай-ақ қызметтік график ).

Мәлімдеме

A жазықтық график - бұл шыңдары. нүктелерімен бейнеленетін график Евклидтік жазықтық, және оның шеттері арқылы ұсынылуы мүмкін қарапайым қисықтар олардың жалпы нүктеден басқа екі қисық қиылыспайтындай етіп, олардың соңғы нүктелерін білдіретін нүктелерді қосатын бірдей жазықтықта. Пландық графиктер жиі кездеседі сызылған тікелей сызық сегменттері олардың шеттерін білдіретін, бірақ Фери теоремасы бұл олардың графикалық-теоретикалық сипаттамаларына ешқандай айырмашылық жасамайды.

A бөлу график дегеніміз - оның шеттерін ішіне бөлу арқылы құрылған график жолдар бір немесе бірнеше шеттер. Куратовский теоремасы ақырлы график деп айтады G жиектерін бөлу мүмкін болмаса, жазықтық болып табылады Қ5 немесе Қ3,3, содан кейін графикті құру үшін қосымша шеттер мен шыңдарды қосыңыз изоморфты дейін G. Эквивалентті түрде, ақырлы график жазықтық болып табылады, егер онда тек субтограф болмаса гомеоморфты дейін Қ5 немесе Қ3,3.

Куратовскийдің ішкі суреттері

Егер G ішкі графикті қамтитын график болып табылады H бұл бөлімше Қ5 немесе Қ3,3, содан кейін H а ретінде белгілі Куратовский субографиясы туралы G.[1] Осы белгімен Куратовский теоремасын қысқаша түрде айтуға болады: егер график Куратовскийдің подграфиясы болмаса ғана жазықтықты болады.

Екі график Қ5 және Қ3,3 жоспарланбаған болып табылады, мұны а жағдайды талдау немесе қатысқан дәлел Эйлер формуласы. Сонымен қатар, графиканы бөлу жоспарланбаған графикті жазық графаға айналдыра алмайды: егер графиктің бөлімшесі болса G жазықтық сызбасы бар, бөлудің жолдары шеттерін бейнелеу үшін пайдаланылатын қисықтарды құрайды G өзі. Демек, Куратовскийдің ішкі графасын қамтитын график жазықтықта бола алмайды. Куратовскийдің теоремасын дәлелдеудің қиын бағыты, егер график жазықсыз болса, онда Куратовскийдің подографиясын қамтуы керек.

Алгоритмдік салдар

Куратовскийдің жоспардан тыс графигінің ішкі графасын мына жерден табуға болады сызықтық уақыт, кіріс графигінің өлшемімен өлшенгендей.[2] Бұл а дұрыстығына мүмкіндік береді жоспарлы тестілеу жоспардан тыс енгізулер үшін тексерілетін алгоритм, өйткені берілген подографтың Куратовский субографиясы болып табылатындығын немесе болмайтындығын тексеру өте қарапайым.[3]Әдетте, жазық емес графикаларда көптеген Куратовский-субографиялар болады. Бұл ішкі суреттерді шығару қажет, мысалы, in бұтақ және кесу қиылысуды минимизациялау алгоритмдері. Куратовскийдің кіші графикасын уақытында олардың жалпы көлеміне байланысты алуға болады.[4]

Тарих

Казимерц Куратовский өзінің теоремасын 1930 жылы жариялады.[5] Теорема өз бетінше дәлелденді Оррин Фринк және Пол Смит, сонымен қатар 1930 ж.[6] бірақ олардың дәлелдері ешқашан жарияланбаған. Ерекше жағдай текше планарлы графиктер (олар үшін минималды тыйым салынған жалғыз төменгі графика бар) Қ3,3) арқылы да дербес дәлелденді Карл Менгер 1930 ж.[7]Содан бері теореманың бірнеше жаңа дәлелдері табылды.[8]

Ішінде кеңес Одағы, Куратовский теоремасы не деп аталатын Понтрягин-Куратовский теоремасы немесе Куратовский-Понтрягин теоремасы,[9]өйткені теорема дербес дәлелденді Лев Понтрягин шамамен 1927 ж.[10]Алайда Понтрягин ешқашан өзінің дәлелін жарияламағандықтан, бұл қолдану басқа жерлерге таралмаған.[11]

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

Тығыз байланысты нәтиже, Вагнер теоремасы, жазықтық графиктерді олардың сипаттамалары бойынша сипаттайды кәмелетке толмағандар сол екі тыйым салынған графика тұрғысынан Қ5 және Қ3,3. Куратовскийдің кез-келген подграфиясы - сол типтегі кәмелетке толмағанның ерекше жағдайы, ал керісінше дұрыс болмаса да, тыйым салынған осы екі кәмелетке толмағандардың біреуінен Куратовскийдің (сол немесе басқа түрдегі) субфографиясын табу қиын емес; сондықтан бұл екі теорема эквивалентті болып табылады.[12]

Кеңейту - бұл Робертсон-Сеймур теоремасы.

Сондай-ақ қараңыз

Әдебиеттер тізімі

  1. ^ Тутте, В. Т. (1963), «Графикті қалай салуға болады», Лондон математикалық қоғамының еңбектері, Үшінші серия, 13: 743–767, дои:10.1112 / plms / s3-13.1.743, МЫРЗА  0158387.
  2. ^ Уильямсон, С.Г. (қыркүйек 1984 ж.), «Тереңдік-алғашқы іздеу және Куратовский субографиясы», J. ACM, 31 (4): 681–693, дои:10.1145/1634.322451.
  3. ^ Мехлхорн, Курт; Нахер, Стефан (1999), LEDA: Комбинаторлық және геометриялық есептеу платформасы, Кембридж университетінің баспасы, б. 510, ISBN  9780521563291.
  4. ^ Химани, Маркус; Мутцель, Петра; Шмидт, Дженс М. (2007), Бірнеше Куратовский бөлімшелерін тиімді шығару, 159-170 бет, дои:10.1007/978-3-540-77537-9_17.
  5. ^ Куратовский, Казимерц (1930), «Sur le problème des courbes gauches en topologie» (PDF), Қор. Математика. (француз тілінде), 15: 271–283.
  6. ^ Фринк, Оррин; Смит, Пол А. (1930), «Азайтылмайтын жазықтық емес графиктер», БАЖ хабаршысы, 36: 214
  7. ^ Менгер, Карл (1930), «Über plättbare Dreiergraphen und Potenzen nichtplättbarer Graphen», Венадағы Anzeiger der Akademie der Wissenschaften, 67: 85–86
  8. ^ Томассен, Карстен (1981), «Куратовский теоремасы», Графикалық теория журналы, 5 (3): 225–241, дои:10.1002 / jgt.3190050304, МЫРЗА  0625064.
  9. ^ Бурштейн, Майкл (1978), «Куратовски-Понтрягин теоремасы жазықтық графиктер», Комбинаторлық теория журналы, В сериясы, 24: 228–232, дои:10.1016/0095-8956(78)90024-2
  10. ^ Кеннеди, Джон В .; Квинтас, Луис V .; Сисло, Мачей М. (1985), «Пландық графиктер туралы теорема», Historia Mathematica, 12: 356–368, дои:10.1016 / 0315-0860 (85) 90045-X
  11. ^ Чартран, Гари; Лесняк, Линда; Чжан, Пинг (2010), Графиктер мен диграфтар (5-ші басылым), CRC Press, б. 237, ISBN  9781439826270.
  12. ^ Бонди, Дж. А.; Мерти, АҚШ (2008), Графикалық теория, Математика бойынша магистратура мәтіндері, 244, Springer, б. 269, ISBN  9781846289699.