Графикалық құрылым теоремасы - Graph structure theorem

Жылы математика, граф құрылымының теоремасы саласындағы үлкен нәтиже болып табылады графтар теориясы. Нәтижесі теориясы арасында терең және түбегейлі байланыс орнатады графикалық кәмелетке толмағандар және топологиялық ендірулер. Теорема 23 мақалалар сериясының он жетіншісінде көрсетілген Нил Робертсон және Пол Сеймур. Оның дәлелі өте ұзақ және байланысты. Каварабааши және Мохар (2007) және Ловаш (2006) арнайы емес мамандарға қол жетімді, теореманы және оның салдарын сипаттайтын сауалнамалар.

Теореманы орнату және мотивация

A кәмелетке толмаған график G кез келген граф H тармағынан алуға болатын графикке изоморфты болып табылады G арқылы келісім-шарт кейбір шеттері Егер G жасайды емес графигі бар H кәмелетке толмағандықтан, біз мұны айтамыз G болып табылады H-Тегін. Келіңіздер H бекітілген график болу. Интуитивті, егер G бұл өте үлкен H- ақысыз график, онда бұған «жақсы себеп» болуы керек. Графикалық құрылым теоремасы құрылымның өрескел сипаттамасы түрінде осындай «дәлелді себептерді» ұсынады G. Шын мәнінде, әрқайсысы H-тегін график G құрылымдық кемшіліктердің біреуінен зардап шегеді: немесе G болу үшін «тым жұқа» H кәмелетке толмаған ретінде немесе G енгізуге тым қарапайым бетке топологиялық түрде ендірілуі мүмкін (дерлік) H үстінде. Бірінші себеп, егер қолданылады H Бұл жазықтық график және екі себеп те қолданылады H жазық емес. Біз алдымен дәл осы түсініктерді жасаймыз.

Ағаш ені

The ағаштың ені график G «жіңішкелігін» анықтайтын оң бүтін сан болып табылады G. Мысалы, қосылған график G егер ол ағаш болса және онда ағаш ені бар G ағаштың ені екеу болады, егер ол а болса қатар-параллель график. Интуитивті, үлкен график G ағаштың ені кішкентай болса, және егер болса G түйіндері мен шеттері кішігірім графиктермен ауыстырылған алып ағаштың құрылымын алады. Клик-қосындыларға қатысты кіші бөлімде ағаш енінің нақты анықтамасын береміз. Бұл теорема, егер H кәмелетке толмаған G, содан кейін ағаштың ені H қарағанда үлкен емес G. Сондықтан, бір «жақсы себеп» G болу H- тегін - бұл ағаштың ені G өте үлкен емес. Графикалық құрылым теоремасы бұл себеп әрқашан жағдайда қолданылатынын білдіреді H жазық.

Қорытынды 1. Әрбір жазықтық график үшін H, оң бүтін сан бар к осылай әрқайсысы H-тегін графиктің ағаш ені кем к.

Өкінішке орай, мәні к Қорытынды 1-де ағаштың енінен едәуір үлкен H (айрықша ерекшелік - қашан H = Қ₄, төрт шыңдағы толық график, ол үшін к= 3). Бұл графикалық құрылым теоремасының «дөрекі құрылымды» сипаттайтындығының бір себебі H-тегін графиктер.

Беткі қабаттар

Шамамен, а беті - бұл дискінің локальды топологиялық құрылымы бар нүктелер жиынтығы. Беттер шексіз екі отбасына енеді: бағдарлы беттерге жатады сфера, торус, қос тор және тағы басқа; The бағдарлы емес беттерге жатады нақты проективті жазықтық, Klein бөтелкесі және тағы басқа. График ендіреді егер графикті бетіне бір-бірімен қиылыспайтын немесе жанаспайтын нүктелер (шыңдар) мен доғалар (шеттер) жиынтығы ретінде сызуға болады, тек шеттер мен шыңдар бір-біріне түскен немесе жапсарлас жағдайларды қоспағанда. График - бұл жазықтық егер ол сфераға енсе. Егер график болса G белгілі бір бетке енеді, содан кейін әрбір кәмелетке толмаған G сол бетке енеді. Сондықтан, «жақсы себеп» G болу H-тегін G жер бетіне енеді H ендірілмейді.

Қашан H жазықтық емес, графикалық құрылым теоремасы Куратовский теоремасының кең қорытуы ретінде қарастырылуы мүмкін. Осы теореманың нұсқасы Вагнер (1937) егер график болса G екеуі де Қ₅-тегін және Қ_3,3-тегін G жазық. Бұл теорема графиктің «жақсы себебі» келтірілген G болмауы керек Қ₅ немесе Қ_3,3 кәмелетке толмағандар ретінде; нақты, G шарға енеді, ал екеуі де жоқ Қ₅ не Қ_3,3 шарға ендірілген. Өкінішке орай, бұл «дәлелді себеп» ұғымы график құрылымының теоремасы үшін жеткілікті дәрежеде күрделі емес. Тағы екі түсінік қажет: сома және құйындар.

Сомалар

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

Егер G₁, G₂, ..., G_n графтардың тізімі, содан кейін графиктер тізіміне қосылу арқылы жаңа график шығаруға болады k-клик-қосындылары арқылы. Яғни, біз а к-клик-сомасы G₁ және G₂, содан кейін а к-клик-сомасы G₃ алынған графикпен және т.б. График бар ағаш ені к арқылы алуға болатын болса к- графиктердің қосындылары, мұндағы тізімдегі әр графта ең көп график бар к + 1 шыңдар.

1-қорытынды бізге осыны көрсетеді к-кіші графиктердің қосындылары өрескел құрылымды сипаттайды H-қашан тегін графиктер H жазық. Қашан H жоспардан тыс, біз де ескеруіміз керек к-клика-әрқайсысы жер бетіне салынған графиктер тізімінің қосындылары. Келесі мысал H = Қ₅ осы тармақты суреттейді. График Қ₅ сферадан басқа барлық беткейлерге енеді. Алайда бар Қ₅- жазықтықтан алыс орналасқан еркін графиктер. Атап айтқанда, кез-келген жоспарлы графиктердің 3-клик-қосындысы а-ға әкеледі Қ₅-тегін график. Вагнер (1937) нақты құрылымын анықтады Қ₅- ақысыз графиктер, нәтижелер кластері ретінде белгілі Вагнер теоремасы:

Теорема 2. Егер G болып табылады Қ₅-тегін G жоспарлы графиктер тізімінен 3-клик-қосындылар және 8 шыңдары бар бір арнайы жазықтық емес графиктің көшірмелері арқылы алуға болады.

Теорема 2-нің ан нақты құрылым теоремасы өйткені дәл құрылымы Қ₅-тегін графиктер анықталады. Мұндай нәтижелер график теориясында сирек кездеседі. Граф құрылымының теоремасы бұл мағынада дәл емес, өйткені көптеген графиктер үшін H, құрылымдық сипаттамасы H-тегін графикаға кейбір графиктер кіреді емес H-Тегін.

Құйындар (дөрекі сипаттама)

Теорема 2-нің аналогы графикке сәйкес келеді деген болжам жасауға азғырылуы мүмкін H басқа Қ₅. Мүмкін: кез-келген H жазық емес графигі үшін оң бүтін k саны бар, сондықтан әрбір H-сыз графиктерді графиктер тізімінен k-clique-қосындылар арқылы алуға болады, олардың әрқайсысы ең көбі k төбеге ие немесе кейбір бетіне енеді Н енгізілмеген. Өкінішке орай, бұл мәлімдеме әлі шындыққа жетерліктей күрделі емес. Біз әрбір енгізілген графикке рұқсат беруіміз керек G_мен екі жолмен «алдау». Біріншіден, біз шектелген түрде бір-бірінен өтуге рұқсат етілген кейбір жаңа шыңдар мен шеттер қосатын жердегі шектеулі орындарға рұқсат беруіміз керек. күрделілік. Мұндай орындар деп аталады құйындар. Құйынның «күрделілігі» оның деп аталатын параметрімен шектеледі тереңдік, тығыз байланысты жол ені. Оқырман тереңдіктің құйынының келесі сипаттамасын оқуды кейінге қалдыруды жөн көруі мүмкін к. Екіншіден, біз шектердің әрқайсысына құйылған графиктердің әрқайсысына жаңа шыңдардың қосылуына мүмкіндік беруіміз керек.

Құйындар (дәл анықтама)

A бет ендірілген графтың бөлігі - бұл графиктен бөлінген, бірақ шекарасы ендірілген графтың кейбір шеттерінің бірігуі болып табылатын, бетіндегі ашық 2-ұяшық. Келіңіздер F енгізілген графиктің бет-бейнесі болу G және рұқсат етіңіз v₀, v₁, ..., v_n−1,v_n = v₀ шекарасында жатқан шыңдар болыңыз F (сол дөңгелек тәртіппен). A шеңбер аралығы үшін F - бұл форманың шыңдарының жиынтығыv_а, v_а+1, ..., v_а+с} қайда а және с бүтін сандар болып табылады және бұл жерде жазылым модулі кішірейтілгенn. Λ үшін дөңгелек интервалдардың ақырғы тізімі болсын F. Біз келесідей жаңа график саламыз. Әр шеңбер аралығы үшін L Λ -те біз жаңа шың қосамыз v_L нольге немесе одан да көп шыңдарға қосылатын L. Соңында, әр жұп үшін {L, Мof аралығындағы} интервалды қосатын боламыз v_L дейін v_М деген шартпен L және М бос емес қиылысы бар. Алынған графикті алынған деп айтады G арқылы тереңдіктегі құйынды қосу к(беткеF) шекарасында ешқандай төбе болмаса ғана F ішінде пайда болады к in интервалдарының.

Графикалық құрылым теоремасының мәлімдемесі

Графикалық құрылым теоремасы. Кез-келген H графі үшін оң бүтін k саны бар, сондықтан H-сыз әр графикті келесі түрде алуға болады:

1. Біз графиктердің тізімінен бастаймыз, мұндағы тізімдегі әрбір граф H салынбайтын бетке салынған
2. тізімдегі әрбір ендірілген графикке біз ең көп k құйынды қосамыз, мұнда әрбір құйынның тереңдігі k
3. әрбір алынған графикке біз ең көбі k шыңдарын қосамыз (деп аталады) шыңдар ) және кез-келген шетін қосыңыз, олардың әрқайсысында шыңдар арасында кем дегенде бір нүктесі болады.
4. ақырында, біз графиктердің алынған тізімін қосамыз.

1. және 2. қадамдар бос графикке әкелетінін ескеріңіз, егер H жазық, бірақ 3-қадамға қосылған төбелердің шектелген саны тұжырымды 1-қорытындыға сәйкес етеді.

Нақтылау

Графикалық құрылым теоремасының күшейтілген нұсқалары жиынға байланысты мүмкін H тыйым салынған кәмелетке толмағандардың. Мысалы, графиктердің бірі H болып табылады жазықтық, содан кейін әрқайсысы H-жақысыз графикте a бар ағаштың ыдырауы шектелген ені; баламалы түрде оны а түрінде ұсынуға болады клик-сома тұрақты өлшемді графиктер^[1] Графиктердің бірі H жазықтықта тек жалғызмен салуға болады өту, содан кейін H- кішігірім графиктер ыдырауды құйындыларсыз тұрақты өлшемді графиктердің және шектелген тектес графтардың клик-қосындысы ретінде қабылдайды.^[2]Графиктердің бірі болған кезде әртүрлі күшейту белгілі болады H болып табылады шыңдар сызбасы.^[3]

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

• Робертсон - Сеймур теоремасы

Ескертулер

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

• Демейн, Эрик Д.; Гаджиагайи, Мұхаммед Таги; Каварабаяши, Кен-ичи (2009 ж.), «Шексіз минорлар үшін құрылымдық нәтижелер арқылы алгоритмдерді жуықтау», Proc. 36-шы халықаралық коллоквиум автоматтары, тілдер және бағдарламалау (ICALP '09) (PDF), Информатикадағы дәрістер, 5555, Springer-Verlag, 316–327 б., дои:10.1007/978-3-642-02927-1_27, МЫРЗА  2544855.
• Демейн, Эрик Д.; Гаджиагайи, Мұхаммед Таги; Тиликос, Димитриос М. (2002), «1.5-Графиктердің енін кеңейтуге жуықтау, кішігірім ретінде бір қиылысы бар графикті қоспағанда», Proc. Комбинаторлық оңтайландырудың жуықтау алгоритмдері бойынша 5-ші Халықаралық семинар (APPROX 2002), Информатикадағы дәрістер, 2462, Springer-Verlag, 67-80 бет, дои:10.1007/3-540-45753-4_8, МЫРЗА  2091577.
• Каварабаяши, Кен-ичи; Мохар, Боян (2007), «Графикалық минорлық теориядағы кейбір соңғы жетістіктер мен қолданбалар», Графиктер және комбинаторика, 23 (1): 1–46, дои:10.1007 / s00373-006-0684-x, МЫРЗА  2292102.
• Ловас, Ласло (2006), «Графикалық минорлық теория», Американдық математикалық қоғамның хабаршысы, 43 (1): 75–86, дои:10.1090 / S0273-0979-05-01088-8, МЫРЗА  2188176.
• Робертсон, Нил; Сеймур, П. Д. (1983), «Графикалық кәмелетке толмағандар. I. Орманды қоспағанда», Комбинаторлық теория журналы, B сериясы, 35 (1): 39–61, дои:10.1016/0095-8956(83)90079-5, МЫРЗА  0723569.
• Робертсон, Нил; Сеймур, П. Д. (1986), «Графикалық кәмелетке толмағандар. II. Ағаш енінің алгоритмдік аспектілері», Алгоритмдер журналы, 7 (3): 309–322, дои:10.1016/0196-6774(86)90023-4, МЫРЗА  0855559.
• Робертсон, Нил; Сеймур, П. Д. (1984), «Графикалық кәмелетке толмағандар. III. Жазық ағаштың ені», Комбинаторлық теория журналы, B сериясы, 36 (1): 49–64, дои:10.1016/0095-8956(84)90013-3, МЫРЗА  0742386.
• Робертсон, Нил; Сеймур, П. Д. (1990), «Графикалық кәмелетке толмағандар. IV. Ағаштың ені және жақсы квази тәртіпті», Комбинаторлық теория журналы, B сериясы, 48 (2): 227–254, дои:10.1016 / 0095-8956 (90) 90120-O, МЫРЗА  1046757.
• Робертсон, Нил; Сеймур, П. Д. (1986), «Графикалық кәмелетке толмағандар. V. Пландық графиканы қоспағанда», Комбинаторлық теория журналы, B сериясы, 41 (1): 92–114, дои:10.1016/0095-8956(86)90030-4, МЫРЗА  0854606.
• Робертсон, Нил; Сеймур, П. Д. (1986), «Графикалық кәмелетке толмағандар. VI. Диск арқылы бөлінген жолдар», Комбинаторлық теория журналы, B сериясы, 41 (1): 115–138, дои:10.1016/0095-8956(86)90031-6, МЫРЗА  0854607.
• Робертсон, Нил; Сеймур, П. Д. (1988), «Графикалық кәмелетке толмағандар. VII. Жер бетіндегі бөлінген жолдар», Комбинаторлық теория журналы, B сериясы, 45 (2): 212–254, дои:10.1016/0095-8956(88)90070-6, МЫРЗА  0961150.
• Робертсон, Нил; Сеймур, П. Д. (1990), «Графикалық кәмелетке толмағандар. VIII. Жалпы беттерге арналған Куратовский теоремасы», Комбинаторлық теория журналы, B сериясы, 48 (2): 255–288, дои:10.1016 / 0095-8956 (90) 90121-F, МЫРЗА  1046758.
• Робертсон, Нил; Сеймур, П. Д. (1990), «Графикалық кәмелетке толмағандар. IX. Бөлінген қиылысқан жолдар», Комбинаторлық теория журналы, B сериясы, 49 (1): 40–77, дои:10.1016/0095-8956(90)90063-6, МЫРЗА  1056819.
• Робертсон, Нил; Сеймур, П. Д. (1991), «Графикалық кәмелетке толмағандар. X. ағаштардың ыдырауына кедергі», Комбинаторлық теория журналы, B сериясы, 52 (2): 153–190, дои:10.1016 / 0095-8956 (91) 90061-N, МЫРЗА  1110468.
• Робертсон, Нил; Сеймур, П. Д. (1993), «Графикті бір өткелден басқа», Робертсон, Нилде; Сеймур, Пол (ред.), Графикалық құрылым теориясы: Proc. AMS – IMS – SIAM бірлескен жазғы ғылыми-зерттеу конференциясы, Қазіргі заманғы математика, 147, Американдық математикалық қоғам, 669–675 б., дои:10.1090 / conm / 147/01206, МЫРЗА  1224738.
• Робертсон, Нил; Сеймур, П. Д. (1994), «Графикалық кәмелетке толмағандар. XI. Жер бетіндегі тізбектер», Комбинаторлық теория журналы, B сериясы, 60 (1): 72–106, дои:10.1006 / jctb.1994.1007, МЫРЗА  1256585.
• Робертсон, Нил; Сеймур, П. Д. (1995), «Графикалық кәмелетке толмағандар. XII. Жер бетіндегі арақашықтық», Комбинаторлық теория журналы, B сериясы, 64 (2): 240–272, дои:10.1006 / jctb.1995.1034, МЫРЗА  1339851.
• Робертсон, Нил; Сеймур, П. Д. (1995), «Графикалық кәмелетке толмағандар. XIII. Бөлінген жолдар проблемасы», Комбинаторлық теория журналы, B сериясы, 63 (1): 65–110, дои:10.1006 / jctb.1995.1006, МЫРЗА  1309358.
• Робертсон, Нил; Сеймур, П. Д. (1995), «Графикалық кәмелетке толмағандар. XIV. Ендіруді кеңейту», Комбинаторлық теория журналы, B сериясы, 65 (1): 23–50, дои:10.1006 / jctb.1995.1042, МЫРЗА  1347339.
• Робертсон, Нил; Сеймур, П. Д. (1996), «Графикалық кәмелетке толмағандар. XV. Алып қадамдар», Комбинаторлық теория журналы, B сериясы, 68 (1): 112–148, дои:10.1006 / jctb.1996.0059, МЫРЗА  1405708
• Робертсон, Нил; Сеймур, П. Д. (2003), «Графикалық кәмелетке толмағандар. XVI. Плансыз графты қоспағанда», Комбинаторлық теория журналы, B сериясы, 89 (1): 43–76, дои:10.1016 / S0095-8956 (03) 00042-X, МЫРЗА  1999736.
• Робертсон, Нил; Сеймур, П. Д. (1999), «Кәмелетке толмағандар графигі. XVII. Құйынды қолға үйрету», Комбинаторлық теория журналы, B сериясы, 77 (1): 162–210, дои:10.1006 / jctb.1999.1919, МЫРЗА  1710538.
• Робертсон, Нил; Сеймур, Пол (2003), «Графикалық кәмелетке толмағандар. XVIII. Ағаштардың ыдырауы және жақсы квази тәртiбi», Комбинаторлық теория журналы, B сериясы, 89 (1): 77–108, дои:10.1016 / S0095-8956 (03) 00067-4, МЫРЗА  1999737.
• Робертсон, Нил; Сеймур, П. Д. (2004), «Графикалық кәмелетке толмағандар. ХІХ. Жер бетінде жақсы квази-тапсырыс», Комбинаторлық теория журналы, B сериясы, 90 (2): 325–385, дои:10.1016 / j.jctb.2003.08.005, МЫРЗА  2034033.
• Робертсон, Нил; Сеймур, П. Д. (2004), «Графикалық кәмелетке толмағандар. ХХ. Вагнер жорамалы», Комбинаторлық теория журналы, B сериясы, 92 (2): 325–357, дои:10.1016 / j.jctb.2004.08.001, МЫРЗА  2099147.
• Робертсон, Нил; Сеймур, Пол (2009), «Графикалық кәмелетке толмағандар. ХХІ. Бірегей байланысы бар графиктер», Комбинаторлық теория журналы, B сериясы, 99 (3): 583–616, дои:10.1016 / j.jctb.2008.08.003, МЫРЗА  2507943.
• Робертсон, Нил; Сеймур, Пол (2012), «Графикалық кәмелетке толмағандар. XXII. Байланыстырудағы мәселелердің маңызды емес шыңдары», Комбинаторлық теория журналы, B сериясы, 102 (2): 530–563, дои:10.1016 / j.jctb.2007.12.007, МЫРЗА  2885434.
• Робертсон, Нил; Сеймур, Пол (2010), «ХХІІІ кәмелетке толмаған граф. Нэш-Уильямстың иммерсиялық гипотезасы», Комбинаторлық теория журналы, B сериясы, 100 (2): 181–205, дои:10.1016 / j.jctb.2009.07.003, МЫРЗА  2595703.
• Вагнер, Клаус (1937), «Über eine Erweiterung des Satzes von Kuratowski», Deutsche Mathematik, 2: 280–285.