Matroid parite muammosi - Matroid parity problem - Wikipedia

Matroid parite muammosining misoli grafik matroid: rangli qirralarning grafigi berilgan, har bir rang uchun to'liq ikkita qirraga ega bo'lgan holda, har bir rang uchun to'liq ikkita qirraga ega bo'lgan iloji boricha katta o'rmonni toping.

Yilda kombinatorial optimallashtirish, matroid parite muammosi a-da juftlangan elementlarning eng katta mustaqil to'plamini topish muammosi matroid.[1] Muammo tomonidan shakllantirildi Lawler (1976) ning umumiy umumlashtirilishi sifatida grafikani moslashtirish va matroid kesishishi.[1][2] Bundan tashqari, sifatida tanilgan polimetroid taalukli yoki matxoid muammosi.[3]

Matroid paritetini hal qilish mumkin polinom vaqti uchun chiziqli matroidlar. Biroq, bu shunday Qattiq-qattiq ba'zi bir ixcham vakili bo'lgan matroidlar uchun va polinom sonidan ko'proq qadamlarni talab qiladi matroid oracle model.[1][4]

Matroid parite algoritmlari qo'llanmalariga topish kiradi katta planar subgrafalar[5] va topish grafik ko'milish ning maksimal jins.[6] Ushbu algoritmlardan topish uchun ham foydalanish mumkin ulangan ustunlik to'plamlari va teskari aloqa vertex to'plamlari maksimal darajadagi uchta.[7]

Formulyatsiya

A matroid dan belgilanishi mumkin cheklangan to'plam elementlarning elementlari va quyidagi cheklovlarga bo'ysungan holda elementlarning quyi to'plamlari mustaqil bo'lishi nimani anglatishini tushunishdan:

  • Mustaqil to'plamning har bir kichik qismi mustaqil bo'lishi kerak.
  • Agar va bilan mustaqil to'plamlar , keyin u erda element mavjud shu kabi mustaqil.[1]

Matroidlarning misollariga quyidagilar kiradi chiziqli matroidlar (unda elementlar a-dagi vektorlardir vektor maydoni, bilan chiziqli mustaqillik ), the grafik matroidlar (unda elementlar an yo'naltirilmagan grafik, agar ular yo'q bo'lsa, mustaqil tsikl ), va matroidlar bo'limi (unda elementlar bir oilaga tegishli ajratilgan to'plamlar, va har bir to'plamda ko'pi bilan bitta element bo'lsa mustaqil bo'ladi). Grafik matroidlar va bo'linish matroidlari - bu chiziqli matroidlarning maxsus holatlari.[1]

Matroid pariteti muammosida kirish har bir element bitta juftlikka tegishli bo'lishi uchun elementdagi juftlik bilan birga matroiddan iborat. Maqsad, tanlangan pastki qismdagi juftlarning birlashishi mustaqil bo'lishi uchun, imkon qadar kattaroq juftlik to'plamini topishdir.[1][2] Ruxsat etilgan juftliklar bitta elementga bitta juftlik bo'lishiga emas, balki grafikani tashkil etadigan yana bir umumiy ko'rinishga ega bo'lgan o'zgaruvchanlik tengdir: bir nechta juftlikda paydo bo'ladigan element elementning bir juftiga bir nechta nusxalari bilan almashtirilishi mumkin.[8]

Algoritmlar

Lineer matroidlar uchun matroid parite muammosi a tomonidan hal qilinishi mumkin tasodifiy algoritm o'z vaqtida , qayerda matroid elementlarining soni, bu uning daraja (eng katta mustaqil to'plamning kattaligi) va vaqt chegaralaridagi ko'rsatkichdir tezkor matritsani ko'paytirish.[1]Xususan, Le Gall matritsasini ko'paytirish algoritmidan foydalanib,[9] buni o'z vaqtida hal qilish mumkin . Tez matritsali ko'paytirishni ishlatmasdan, chiziqli matroid parite muammosi o'z vaqtida echilishi mumkin .[1]

Ushbu algoritmlar a chiziqli algebra muammoni shakllantirish Geelen va Ivata (2005). Masalaning kiritilishi quyidagidan iborat deb taxmin qiling juftlari o'lchovli vektorlar (quyidagicha joylashtirilgan: ustunli vektorlar a matritsa hajmi ). U holda optimal echimdagi juftliklar soni

qayerda a blokli diagonali matritsa kimning bloklari shaklning submatrikalari

o'zgaruvchilar ketma-ketligi uchun .[10] The Shvarts-Zippel lemmasi ushbu matritsaning to'liq darajaga ega yoki yo'qligini tekshirish uchun ishlatilishi mumkin (ya'ni, eritmaning kattaligi bor-yo'qligini) yoki yo'q), o'zgaruvchilarga tasodifiy qiymatlarni berish orqali va natijada olingan matritsaning mavjudligini tekshirish aniqlovchi nol. Qo'llash orqali ochko'zlik algoritmi Matritsa to'liq darajadagi bo'lib qolganda (o'zaro teskari matritsani saqlab turish uchun) aniqlanmagan nolga qo'yib, juftlarni birma-bir olib tashlaydi. Sherman-Morrison formulasi har bir olib tashlanganidan keyin darajani tekshirish uchun), ushbu test mavjudligini ko'rsatadigan har doim echimini topish mumkin. Qo'shimcha usullar ushbu algoritmni matroid parite muammosining optimal echimi kamroq bo'lgan holatga qadar kengaytiradi juftliklar.[1]

Grafik matroidlar uchun ish vaqti ancha samarali bo'lgan algoritmlar ma'lum bilan grafikalarda tepaliklar va qirralar.[11]Uchun oddiy grafikalar, bu , lekin uchun multigraflar, u kattaroq bo'lishi mumkin, shuning uchun ham kichikroq yoki unga bog'liq bo'lmagan algoritmlarga ega bo'lish qiziq va undan ham yomon qaramlik . Bunday hollarda, shuningdek, tasodifiy kutilgan vaqt ichida grafik matroid parite muammosini hal qilish mumkin yoki o'z vaqtida har bir juft qirra yo'lni tashkil qilganda.[1]

Matroid parite muammosi bo'lsa-da Qattiq-qattiq o'zboshimchalik bilan matroidlar uchun uni hali ham samarali ravishda taxmin qilish mumkin. Oddiy mahalliy qidiruv algoritmlari ta'minlash polinom-vaqtni taxminiy sxemasi ushbu muammo uchun va o'lchamlari optimal echim o'lchamining bir qismi sifatida o'zboshimchalik bilan biriga yaqin bo'lgan echimlarni toping. Algoritm. Bilan boshlanadi bo'sh to'plam uning echimi sifatida va eng ko'p doimiy sonni olib tashlash orqali eritma hajmini bir necha bor oshirishga harakat qiladi eritmadan juftlik va ularni boshqa to'plam bilan bitta juftlik bilan almashtirish. Endi bunday harakatlarning iloji bo'lmasa, natijada olingan eritma optimal echimga yaqinlashganda qaytariladi. Ning taxminiy koeffitsientiga erishish uchun , tanlash kifoya taxminan bo'lishi .[8]

Ilovalar

Boshqa ko'plab optimallashtirish muammolari chiziqli matroid parite muammolari sifatida shakllantirilishi va ushbu formuladan foydalanib polinom vaqtida echilishi mumkin.

Grafikni moslashtirish
A maksimal moslik grafada qirralarning pastki qismi, iloji boricha kattaroq so'nggi nuqta bilan bo'lishadigan ikkitasi yo'q. Bu grafadagi har bir vertikal qirralarning tushishi uchun elementga ega bo'lgan qism matroididagi matroid parite muammosi sifatida shakllantirilishi mumkin. Ushbu matroidda ikkita element birlashtiriladi, agar ular bir-birlari bilan bir xil qirralarning ikkita hodisasi bo'lsa. Grafaning har bir tepasi uchun eng ko'p bitta tushish bo'lsa, elementlarning bir qismi mustaqil bo'ladi. Ushbu matroid uchun matroid parite muammosini hal qilishda elementlarning juftligi maksimal darajada mos keladigan qirralarning orasidagi chiziqlar va ularning so'nggi nuqtalari.[2]
Matroid kesishmasi
Matroid kesishishi masalasining misoli bir xil elementlar to'plamidagi ikkita matroiddan iborat; maqsad, imkon qadar kattaroq va ikkala matroidda ham mustaqil bo'lgan elementlarning pastki qismini topishdir. Matroid kesishishini matroid parite muammosi sifatida shakllantirish uchun yangi matroid quring, uning elementlari har bir kirish matroid uchun bittadan berilgan elementlarning ikkita nusxasini ajratilgan birlashmasidir. Yangi matroidda, agar ikkala nusxaning har biriga cheklanishi, mos ravishda, har ikkala matroidning har birida mustaqil bo'lsa, kichik to'plam mustaqil bo'ladi. Har bir element o'zining nusxasi bilan bog'langan bo'lishi uchun yangi matroid elementlarini juftlang. Ushbu matroid uchun matroid parite muammosini hal qilishda elementlarning juftligi matroid kesishishi masalasida echimdagi har bir elementning ikkita nusxasi.[2]
Katta tekislikdagi pastki yozuvlar

Ixtiyoriy grafada, tanlangan uchburchaklardan boshqa tsikllarsiz, berilgan grafikada eng katta uchburchaklar to'plamini topish masalasi, elementlari grafigi chekkalari bo'lgan grafik matroidda matroid parite masalasi sifatida tuzilishi mumkin. har uchburchakda bir juft qirralar (agar ular bir nechta uchburchakka tegishli bo'lsa, ularni takrorlash). Ushbu matroid uchun matroid parite muammosini hal qilishda elementlarning juftligi optimal uchburchaklar to'plamining har bir uchburchagidagi ikkita qirradan iborat bo'lib, xuddi shu masalani eng kattasini topishdan biri deb ham atash mumkin. Berge-asiklik 3-formaning pastki gipergrafasi gipergraf. Muammoning gipergrafiya versiyasida giper qirralar berilgan grafikning uchburchaklaridir.[3]

A kaktus grafigi har ikki tsiklning ko'pi bilan bitta tepalikka ega bo'lgan grafik. Maxsus holat sifatida, har bir tsikl uchburchak bo'lgan grafikalar, albatta, kaktus grafikalaridir. Keyinchalik berilgan grafadagi eng katta uchburchak kaktusni a dan qo'shimcha qirralar qo'shish orqali topish mumkin yoyilgan daraxt, yangi tsikllar yaratmasdan, natijada olingan subgraf bir xil bo'ladi ulangan komponentlar asl grafik sifatida. Kaktus grafikalari avtomatik ravishda planar grafikalar va uchburchak kaktus grafikalarini topish muammosi eng yaxshi tanilganlarga asos bo'lib xizmat qiladi taxminiy algoritm berilgan grafikaning eng katta planar subgrafini topish muammosiga, muhim qadam rejalashtirish. Eng katta uchburchak kaktus har doim kamida 4/9 eng katta planar subgrafaning chekka soniga ega bo'lib, o'zboshimchalik bilan yoyilgan daraxt yordamida olingan 1/3 taxminiy nisbatni yaxshilaydi.[5]

Kombinatorial qat'iylik
Qattiq panjaralar ramkasi Evklid samolyoti, moslashuvchan bo'g'inlarda ularning so'nggi nuqtalarida bog'langan, uning ba'zi bo'g'inlarini tekislikning nuqtalariga mahkamlash orqali tekislikdagi bitta holatga o'rnatilishi mumkin. Kadrni tuzatish uchun biriktirilishi kerak bo'lgan minimal sonli bo'g'inlar soni uning biriktiruvchi raqami deyiladi. U matroid bilan bog'liq parite muammosining echimidan hisoblanishi mumkin.[3]
Maksimal turdagi ko'milishlar

A uyali joylashtirish berilgan grafikaning mumkin bo'lgan maksimal yuzasiga tur dan olish mumkin Xuong daraxti grafikning Bu daraxtda bo'lmagan qirralarning subgrafasida soni bo'lgan xususiyatga ega bo'lgan daraxt ulangan komponentlar toq sonli qirralarning imkoni boricha kichikroq.

Xuong daraxtini matroid parite muammosi sifatida topish masalasini shakllantirish uchun avval har bir qirrasini ajratib oling yo'lning uzunligi berilgan boshqa qirralarning soniga teng bo'lgan yo'lning ichiga berilgan grafikning . Keyin, ajratilgan grafaning qirralarini juftlang, shunda asl grafadagi har bir juft qirrali bo'linadigan grafada bitta juft qirralar bilan ifodalanadi va bo'linadigan grafadagi har bir chekka aynan bir marta juftlanadi. Matematik parite masalasini uning bo'linadigan grafigining juftlangan qirralari bilan echib oling, uning kografik matroididan (qirralarning pastki qismi mustaqil bo'lsa, chiziqli matroid, agar uni olib tashlash grafikni ajratmasa). Matroid parite yechimida ishlatiladigan qirralarning oldini oladigan asl grafadagi har qanday daraxt daraxti, albatta, Xuong daraxti hisoblanadi.[6]

Bog'liq hukmronlik
A ulangan ustunlik to'plami grafada tepaliklarning kichik to'plami, ularning induktsiya qilingan subgraf boshqa barcha tepaliklarga tutashgan bo'lib, o'zboshimchalik bilan chizilgan grafikalarda eng kichik ulangan dominant to'plamni topish NP-ni qiyin, lekin maksimal darajadagi grafikalar uchun polinom vaqtida topish mumkin. kubik grafik, har bir tepalikni uchta uchining uchlari bilan bog'langan ikki qirrali yo'l bilan almashtirishi mumkin va kengaytirilgan grafikning kografik matroididan foydalanib, shu tarzda hosil qilingan qirralarning juftlarida matroid parite muammosini shakllantirish mumkin. Yechimida foydalanilmaydigan tepaliklar minimal bog'langan ustunlik to'plamini tashkil qiladi. Maksimal darajadagi uchlikdagi grafikada ba'zi bir oddiy qo'shimcha transformatsiyalar muammoni kub grafigiga qadar kamaytiradi.[7]
Teskari aloqa tepasi o'rnatildi
A teskari aloqa vertex to'plami grafada barcha tsikllarga tegadigan tepalar to'plami mavjud. Kubik grafikalarda tepalar soni bilan bog'liq bo'lgan chiziqli tenglama mavjud, siklomatik raqam, ulangan komponentlarning soni, minimal ulangan dominant to'plamning kattaligi va minimal teskari tepalik to'plamining hajmi.[12] Bundan kelib chiqadiki, bir-biriga bog'langan dominant to'plamlarni topish uchun ishlatiladigan matroid parite muammosi, shuningdek, maksimal darajadagi uchta grafikada teskari aloqa vertex to'plamlarini topish uchun ishlatilishi mumkin.[7]

Qattiqlik

The klik muammosi, topish a -vertex to'liq subgraf berilgan birida -vertex grafigi , matroid parite misoliga quyidagi tarzda o'zgartirilishi mumkin asfaltlangan matroid kuni bir juft tepalikka bitta juft element bo'lishi uchun bog'langan elementlar. Ichki to'plamni aniqlang quyidagi uchta shartdan birini qondiradigan bo'lsa, ushbu elementlarning mustaqilligi:

  • dan kami bor elementlar.
  • aniq bor elementlari, lekin ning birlashmasi emas elementlarning juftligi.
  • ning birlashmasi ichida klik hosil qiluvchi juft elementlar .

Keyinchalik, bu matroid uchun kattalikdagi matroid parite muammosiga echim bor , agar va faqat shunday bo'lsa kattalikka ega . Berilgan kattalikdagi kliklarni topish NP bilan yakunlanganligi sababli, ushbu turdagi matritsa tengligi muammosining o'lcham echimi borligini aniqlash kerak shuningdek NP bilan to'ldirilgan.[13]

Ushbu muammoni o'zgartirish klik muammosining tuzilishiga hech qanday bog'liq emas va o'lchamlarni topish uchun boshqa har qanday muammo uchun ishlaydi. Hisoblanadigan sinovni qondiradigan kattaroq to'plamning pastki to'plamlari. To'liq bitta klik o'lchamini o'z ichiga olgan tasodifiy buzilgan grafaga qo'llash orqali Matroid pariteti uchun har qanday deterministik yoki tasodifiy algoritm o'z matroidiga faqat mustaqillik testlari orqali kirganligini ko'rsatishi mumkin.[4]

Adabiyotlar

  1. ^ a b v d e f g h men j Cheung, Xo Yi; Lau, Lap Chi; Leung, Kay Man (2014), "Lineer matroid parite muammolarining algebraik algoritmlari" (PDF), Algoritmlar bo'yicha ACM operatsiyalari, 10 (3): 10:1–10:26, CiteSeerX  10.1.1.194.604, doi:10.1145/2601066, JANOB  3233690, S2CID  894004
  2. ^ a b v d Lawler, Eugene L. (1976), "9-bob: Matroid pariteti muammosi", Kombinatorial optimallashtirish: tarmoqlar va matroidlar, Nyu-York: Xolt, Raynxart va Uinston, 356–367-betlar, JANOB  0439106
  3. ^ a b v Lovasz, L. (1980), "Matroid taalukli va ba'zi ilovalar", Kombinatorial nazariya jurnali, B seriyasi, 28 (2): 208–236, doi:10.1016/0095-8956(80)90066-0, JANOB  0572475
  4. ^ a b Jensen, Per M.; Korte, Bernxard (1982), "Matroid xususiyati algoritmlarining murakkabligi", Hisoblash bo'yicha SIAM jurnali, 11 (1): 184–190, doi:10.1137/0211014, JANOB  0646772
  5. ^ a b Clinesk, Gruya; Fernandes, Kristina G.; Finkler, Ulrix; Karloff, Xovard (1998), "Planar subgrafalarni topish uchun taxminiy algoritm", Algoritmlar jurnali, 27 (2): 269–302, CiteSeerX  10.1.1.47.4731, doi:10.1006 / jagm.1997.0920, JANOB  1622397, S2CID  8329680.
  6. ^ a b Furst, Merrik L.; Gross, Jonathan L.; McGeoch, Lyle A. (1988), "Maksimal turdagi grafani ko'mishni topish", ACM jurnali, 35 (3): 523–534, doi:10.1145/44483.44485, JANOB  0963159, S2CID  17991210
  7. ^ a b v Ueno, Shuichi; Kajitani, Yoji; Gotoh, Shin'ya (1988), "vertikal darajasi uchdan yuqori bo'lmagan grafikalar uchun ajralmas mustaqil to'plam va teskari aloqa to'plami muammosi to'g'risida", Birinchi Yaponiya Grafika nazariyasi va ilovalari konferentsiyasi (Hakone, 1986), Diskret matematika, 72 (1–3): 355–360, doi:10.1016 / 0012-365X (88) 90226-9, JANOB  0975556
  8. ^ a b Li, Jon; Sviridenko, Maksim; Vondrak, yanvar (2013), "Matroidga mos kelish: mahalliy qidiruv kuchi", Hisoblash bo'yicha SIAM jurnali, 42 (1): 357–379, CiteSeerX  10.1.1.600.4878, doi:10.1137 / 11083232X, JANOB  3033132
  9. ^ Le Gall, Fransua (2014), "Tensorlarning kuchlari va tezkor matritsalarni ko'paytirish", Simvolik va algebraik hisoblash bo'yicha 39-Xalqaro simpozium materiallari (ISSAC 2014), Nyu-York: ACM, 296-303 betlar, doi:10.1145/2608628.2608664, ISBN  9781450325011, JANOB  3239939, S2CID  2597483
  10. ^ Geelen, Jeyms; Ivata, Satoru (2005), "Aralash skew-nosimmetrik matritsalar orqali matroidni moslashtirish", Kombinatorika, 25 (2): 187–215, CiteSeerX  10.1.1.702.5431, doi:10.1007 / s00493-005-0013-7, JANOB  2127610, S2CID  18576135
  11. ^ Gabov, Garold N.; Stallmann, Matthias (1985), "Grafik matroid kesishishi va tengligi uchun samarali algoritmlar (kengaytirilgan mavhum)", Brauerda, Uilfrid (tahr.), 12-Xalqaro avtomatika, tillar va dasturlash bo'yicha kollokvium (ICALP), Nafplion, Gretsiya, 1985 yil 15-19 iyul, Kompyuter fanidan ma'ruza matnlari, 194, Berlin: Springer, 210-220 betlar, doi:10.1007 / BFb0015746, ISBN  978-3-540-15650-5, JANOB  0819256
  12. ^ Speckenmeyer, E. (1986), "yo'naltirilmagan kubikli grafiklarning teskari vertikal to'plamlari chegaralari", Algebra, kompyuter fanida kombinatorika va mantiq, jild. I, II (Dyur, 1983), Colloquia Mathematica Societatis Yanos Bolyai, 42, Amsterdam: Shimoliy-Gollandiya, 719-729-betlar, JANOB  0875903
  13. ^ Soto, Xose A. (2014), "Kuchli bazaga buyurtma qilingan matroidlarda og'irlikdagi matroidlarni moslashtirish uchun oddiy PTAS", Diskret amaliy matematika, 164 (2 qism): 406-412, arXiv:1102.3491, doi:10.1016 / j.dam.2012.10.019, JANOB  3159127