Ikkita qopqoqni aylantiring - Cycle double cover - Wikipedia
 | Matematikada hal qilinmagan muammo: Har bir ko'priksiz grafada har ikki qirrasini to'liq ikki marta qoplaydigan ko'p tsikli bormi? (matematikada ko'proq hal qilinmagan muammolar) |
Yilda grafik-nazariy matematika, a ikki tomonlama qopqoqni aylantirish to'plamidir tsikllar ichida yo'naltirilmagan grafik birgalikda grafikning har bir qirrasini to'liq ikki marta o'z ichiga oladi. Masalan, har qanday kishi uchun ko'p qirrali grafik, a yuzlari qavariq ko'pburchak grafani aks ettiruvchi grafaning ikki qavatli qopqog'ini taqdim etadi: har bir chekka to'liq ikkita yuzga tegishli.
Bu hal qilinmagan muammo Jorj Sekeres[1] va Pol Seymur[2] va sifatida tanilgan tsiklning ikki qavatli gipotezasi, har biri ko'priksiz grafik tsiklning ikki qavatli qopqog'iga ega. Gipoteza teng ravishda tuzilishi mumkin grafik ko'milish, va bu kontekstda ham dumaloq dafn gipotezasi.
Formulyatsiya
Ikkala qopqoqli gipotezaning odatdagi formulasi har biri yoki yo'qligini so'raydi ko'priksiz yo'naltirilmagan grafik to'plamiga ega tsikllar shunday qilib, grafikning har bir qirrasi aylananing ikkitasida joylashgan. Grafik ko'priksiz bo'lishi kerakligi, bunday tsikllar to'plamining mavjud bo'lishi uchun aniq zaruriy shartdir, chunki ko'prik hech qanday tsiklga tegishli bo'lolmaydi. Ikkala qopqoqli gipotezaning shartini qondiradigan tsikllar to'plami a deb ataladi ikki tomonlama qopqoqni aylantirish. Kabi ba'zi bir grafikalar tsikl grafikalari va ko'priksiz kaktus grafikalari faqat bitta tsiklni bir necha marta ishlatish bilan qoplanishi mumkin, shuning uchun tsiklning ikki marta qopqog'ida bunday takrorlanishga yo'l qo'yiladi.
Snarksgacha kamaytirish
A snark ko'priksiz grafika uchun maxsus hodisa bo'lib, qo'shimcha xususiyatlarga ega bo'lib, har bir tepada to'liq uchta tushgan qirralar mavjud (ya'ni, grafik kub ) va grafik qirralarini uchga bo'lish mumkin emasligi mukammal mosliklar (ya'ni grafada 3- yo'qbo'yash va tomonidan Vizing teoremasi bor kromatik indeks 4). Ko'rinib turibdiki, snorklar tsiklning ikki qavatli gipotezasining yagona qiyin holatini tashkil qiladi: agar gumon snarklar uchun to'g'ri bo'lsa, u har qanday grafik uchun to'g'ri bo'ladi.[3]
Jaeger (1985) tsiklning ikki qavatli gipotezasiga har qanday mumkin bo'lgan minimal qarshi misolda, barcha tepaliklar uch yoki undan ortiq hodisa qirralariga ega bo'lishi kerak. Chunki, faqat bitta qirrasi tushgan tepalik ko'prikni tashkil qiladi, agar ikkita qirrasi tepaga tushgan bo'lsa, ularni kichikroq grafika hosil qilish uchun qisqartirish mumkin, shunda kichikroq grafaning har qanday ikki qavatli qopqog'i asl grafigidan biriga to'g'ri keladi. Boshqa tomondan, agar vertex bo'lsa v to'rt yoki undan ortiq hodisa qirralariga ega, ulardan ikkitasi ularni grafikadan olib tashlash va ularni boshqa ikkita so'nggi nuqtalarini birlashtiradigan bitta chekka bilan almashtirish orqali "ajratish" mumkin, natijada olingan grafaning ko'prikliligi saqlanib qoladi. Shunga qaramay, natijada olingan grafikning ikki qavatli qopqog'i to'g'ridan-to'g'ri asl grafigining ikki qavatli qopqog'igacha kengaytirilishi mumkin: ajratilgan grafaning har bir tsikli yoki asl grafaning tsikliga, yoki soatiga to'g'ri keladigan juft tsiklga to'g'ri keladi. v. Shunday qilib, har bir minimal qarshi namuna kub bo'lishi kerak. Ammo kubikli grafada uning qirralari 3 rangga ega bo'lishi mumkin (masalan, qizil, ko'k va yashil ranglar bilan), u holda qizil va ko'k qirralarning subgrafasi, ko'k va yashil qirralarning subgrafasi va qizil va yashil qirralarning subgrafasi. ularning har biri birgalikda grafikaning barcha qirralarini ikki marta qamrab oladigan bo'linmagan tsikllar to'plamini hosil qiladi. Shuning uchun har bir minimal qarshi namuna 3 qirrali bo'lmagan rangsiz ko'priksiz kubik grafigi, ya'ni snark bo'lishi kerak.[3]
Kamaytirilgan konfiguratsiyalar
Ikkala qopqoqli tsikl muammosiga mumkin bo'lgan hujumlardan biri, har qanday grafada o'z ichiga olganligini isbotlash orqali minimal qarshi misol mavjud emasligini ko'rsatishdir. kamaytiriladigan konfiguratsiya, kichikroq subgraf bilan tsiklning ikki qavatli qopqog'ining mavjudligini yoki yo'qligini saqlab qoladigan tarzda almashtirish mumkin bo'lgan subgraf. Masalan, kubik grafada uchburchak bo'lsa, a B-Y konvertatsiyasi uchburchakni bitta tepalik bilan almashtiradi; kichikroq grafikaning har qanday tsikli ikki qavatli qopqog'ini asl kubik grafigining tsikli ikki qavatli qopqog'iga qaytarish mumkin. Shuning uchun, tsiklning ikki qavatli gipotezasiga minimal qarshi misol a bo'lishi kerak uchburchaksiz grafik, kabi ba'zi bir shilqimliklarni istisno qilish Titsening grafigi uchburchaklar Kompyuter izlashlari natijasida ma'lumki, kubik grafadagi uzunligi 11 va undan past bo'lgan har bir tsikl kamaytiriladigan konfiguratsiyani hosil qiladi va shuning uchun tsiklning ikki qavatli gipotezasiga har qanday minimal qarshi misol bo'lishi kerak. atrofi kamida 12.[4]
Afsuski, kamaytiriladigan konfiguratsiyalarning cheklangan to'plami yordamida tsiklning ikki qopqoqli gipotezasini isbotlash mumkin emas. Har qanday qisqartiriladigan konfiguratsiya tsiklni o'z ichiga oladi, shuning uchun har bir cheklangan to'plam uchun S kamaytiriladigan konfiguratsiyalar soni mavjud, chunki to'plamdagi barcha konfiguratsiyalar maksimal uzunlik tsiklini o'z ichiga oladi. Biroq, o'zboshimchalik bilan baland bo'yli snorklar mavjud, ya'ni ularning eng qisqa tsikli davomiyligida o'zboshimchalik bilan yuqori chegaralar mavjud.[5] Snark G th dan katta atrofi bilan to'plamdagi hech qanday konfiguratsiyani o'z ichiga olmaydi S, shuning uchun kamayishlar S ehtimolini istisno qiladigan darajada kuchli emas G minimal qarshi namuna bo'lishi mumkin.
Dairesel joylashtirish gumoni
Agar grafada tsiklning ikki qavatli qopqog'i bo'lsa, qopqoqning tsikllari yordamida a ning 2 katakchalari hosil bo'ladi grafik ichiga joylashtirish ikki o'lchovli hujayra kompleksi. Kubik grafada bu kompleks har doim a ni hosil qiladi ko'p qirrali. Grafik shunday deyilgan dumaloq o'rnatilgan manifoldga, bunda ko'milishning har bir yuzi grafadagi oddiy tsikl hisoblanadi. Shu bilan birga, grafaning uchdan kattaroq tsiklli ikki qavatli qoplamasi kollektorga o'rnatilishga mos kelmasligi mumkin: qopqoq tsikllari natijasida hosil bo'lgan hujayra kompleksi tepalarida ko'p qirrali bo'lmagan topologiyaga ega bo'lishi mumkin. The dumaloq dafn gipotezasi yoki kuchli kiritish gumoni[3] har bir narsani ta'kidlaydi ikki tomonlama grafik manifoldga aylana shaklida joylashtirilgan. Agar shunday bo'lsa, grafada ko'milgan yuzlar tomonidan hosil qilingan tsikli ikki qavatli qopqoq ham mavjud.
Kubik grafalar uchun ikkiyoqlama va ko'priksizlik tengdir. Shuning uchun, dumaloq dafn gipotezasi, hech bo'lmaganda, tsiklning ikki qavatli gipotezasi kabi kuchli. Biroq, bu kuchliroq emas. Agar grafaning tepalari bo'lsa G kubik grafika hosil qilib kengaytirilib, keyinchalik aylana shaklida o'rnatiladi va kengayishlar qo'shilgan qirralarning qisqarishi bilan bekor qilinadi, natijada dumaloq ko'milgan bo'ladi G o'zi. Shuning uchun, agar tsiklning ikki qavatli gipotezasi rost bo'lsa, har ikki bog'langan grafada aylana shaklida joylashtiriladi. Ya'ni, tsiklning ikki qavatli gipotezasi dumaloq ko'milgan gipotezaga tengdir, garchi tsiklning ikki qavatli qopqog'i va dumaloq ko'mish har doim ham bir xil narsa emas.[3]
Agar dumaloq plombalash mavjud bo'lsa, u minimal turdagi yuzada bo'lmasligi mumkin: Nguyen Xuy Syuong ikkitomonlama tasvirlangan toroidal grafik dumaloq birikmalarining hech biri torusda yotmaydi.[3]
Dumaloq dafn gipotezasining yanada kuchliroq versiyasi, har ikkala bog'langan grafada dumaloq ko'milish borligi gumonidir. yo'naltirilgan manifold. Ikkala qopqoqli tsikl gipotezasi nuqtai nazaridan, bu ikki qavatli tsikl mavjud bo'lgan gipotezaga teng va qopqoqdagi har bir tsikl uchun, masalan, har bir chekka uchun e qamrab oladigan ikkita tsikl e orqali qarama-qarshi yo'nalishlarga yo'naltirilgan e.[3]
Shu bilan bir qatorda, taxminni kuchaytirish rang berish qopqog'idagi tsikllar ham ko'rib chiqilgan. Ularning eng kuchli tomoni shundaki, har bir ko'priksiz grafada yuzlar 5 rangli bo'lishi mumkin bo'lgan yo'naltiriladigan manifoldda aylana shaklida joylashtirilgan. Agar rost bo'lsa, bu taxminni anglatadi V. T. Tutte har bir ko'priksiz grafikada a hech qaerda nolinchi 5 oqim.[3]
Dumaloq dafn qilishdan ko'ra kuchliroq joylashish turi a ko'p qirrali ko'mish, har qanday yuz oddiy tsikl va kesishgan har ikki yuz bitta tepada yoki bitta qirrada bajarilishi uchun grafani sirtga joylashtirish. (Kubik grafada bu kesishgan har ikki yuz bir chekkada bajarilishi sharti bilan soddalashtirilishi mumkin.) Shunday qilib, tsiklning ikki qavatli gipotezasi snarklarga kamayganligi sababli, bu qiziqish uyg'otadi snorklarning ko'p qirrali ko'milishini o'rganish. Bunday joylashuvlarni topib bo'lmadi, Branko Grünbaum ular mavjud emas deb taxmin qilishgan, ammo Kochol (2009a, 2009b ) ko'p qirrali ko'milgan snark topib, Grünbaumning gumonini rad etdi.
Shuningdek qarang Petersenning rang berish gipotezasi.
Izohlar
Adabiyotlar
- Fleyshner, Herbert (1976), "Eine gemeinsame Basis für die Theorie der Eulerschen Graphen und den Satz von Petersen", Monatshefte für Mathematik, 81 (4): 267–278, doi:10.1007 / BF01387754.
- Xek, A. (2000), "Ikkala qopqoqli gipoteza uchun qisqartiriladigan konfiguratsiyalar", Diskret amaliy matematika, 99 (1–3): 71–90, doi:10.1016 / S0166-218X (99) 00126-2.
- Jaeger, F. (1985), "Ikkita qopqoqli gipoteza tsikli", Diskret matematika yilnomalari 27 - Grafadagi tsikllar, Shimoliy-Gollandiyalik matematik tadqiqotlar, 27, 1-12 betlar, doi:10.1016 / S0304-0208 (08) 72993-1.
- Kochol, Martin (1996), "Kichik tsiklsiz snarks", Kombinatoriya nazariyasi jurnali, B seriyasi (1 tahr.), 67 (1): 34–47, doi:10.1006 / jctb.1996.0032.
- Kochol, Martin (2009a), "yo'naltirilgan yuzalarga ko'p qirrali ko'milgan 3-rangli bo'lmagan 3 qirrali rangli grafikalar", Grafika chizmasi 2008 yil, Tahrirlovchilar: I.G. Tollis, M. Patrignani, Kompyuter fanidan ma'ruza matnlari, 5417, 319-323 betlar.
- Kochol, Martin (2009b), "yo'naltirilgan sirtlarda snarklarning ko'p qirrali ko'milishi", Amerika matematik jamiyati materiallari (5 tahr.), 137 (05): 1613–1619, doi:10.1090 / S0002-9939-08-09698-6.
- Seymur, P. D. (1980), "Grafikdagi ajratilgan yo'llar", Diskret matematika, 29 (3): 293–309, doi:10.1016 / 0012-365X (80) 90158-2.
- Sekeres, G. (1973), "Kubik grafiklarning ko'p qirrali parchalanishi", Avstraliya matematik jamiyati byulleteni, 8 (03): 367–387, doi:10.1017 / S0004972700042660.
- Chjan, Cun-Quan (1997), Butun sonli oqimlar va grafiklarning tsikllari, CRC Press, ISBN 978-0-8247-9790-4.
- Chjan, Cun-Quan (2012), Grafiklarning ikki qavatli davri, Kembrij universiteti matbuoti, ISBN 978-0-5212-8235-2.