Subgrafik izomorfizm muammosi - Induced subgraph isomorphism problem

Yilda murakkablik nazariyasi va grafik nazariyasi, chaqirilgan subgraf izomorfizmi bu To'liq emas qaror muammosi bu berilgan grafikani an shaklida topishni o'z ichiga oladi induktsiya qilingan subgraf kattaroq grafika

Muammoni hal qilish

Rasmiy ravishda, muammo ikkita kirish sifatida qabul qilinadi grafikalar G1=(V1, E1) va G2=(V2, E2), bu erda tepalar soni V1 dagi tepalar sonidan kam yoki unga teng deb qabul qilish mumkin V2. G1 bu izomorfik ning induatsiyalangan subgrafasiga G2 agar mavjud bo'lsa in'ektsiya funktsiyasi f tepaliklarini xaritada aks ettiradigan G1 tepaliklarga G2 barcha tepalik juftliklari uchun x, y yilda V1, chekka (x, y) ichida E1 agar va faqat chekka bo'lsa (f(x), f(y)) ichida E2. Qaror muammosiga javob, agar bu funktsiya bo'lsa f mavjud, aks holda yo'q.

Bu boshqacha subgraf izomorfizm muammosi unda chekka yo'qligi G1 mos keladigan chekka G2 shuningdek yo'q bo'lishi kerak. Subgraf izomorfizmida bu "ortiqcha" qirralarning ichida G2 mavjud bo'lishi mumkin.

Hisoblashning murakkabligi

Induktsiyalangan subgraf izomorfizmining murakkabligi ajralib chiqadi tashqi planli grafikalar ularni umumlashtirishdan ketma-ket parallel grafikalar: bu hal qilinishi mumkin polinom vaqti uchun 2-ulangan tashqi planar grafikalar, lekin 2 ulangan ketma-ket parallel grafikalar uchun NP tugallangan.[1][2]

Maxsus holatlar

Uzoqni topishning maxsus holati yo'l a induktsiyali subgrafasi sifatida giperkub ayniqsa yaxshi o'rganilgan va "deb nomlangan qutidagi ilon muammo.[3] The maksimal mustaqil to'plam muammosi shuningdek, subgrafik izomorfizm muammosi bo'lib, u katta topishga intiladi mustaqil to'plam kattaroq grafika induktsiyalangan subgrafasi sifatida va maksimal darajadagi muammo - bu katta hajmni topishga intiladigan subgraf izomorfizm muammosi klik grafigi kattaroq grafikaning induktiv subgrafasi sifatida.

Subgraf izomorfizm muammosi bilan farqlar

Induktiv subgraf izomorfizm muammosi subgraf izomorfizm muammosidan bir oz farq qilsa-da, "induktsiya qilingan" cheklash etarli darajada katta o'zgarishlar kiritadi, biz hisoblash murakkabligi nuqtai nazaridan farqlarga guvoh bo'lishimiz mumkin.

Masalan, subgraf izomorfizm muammosi ulangan to'g'ri intervalli grafikalarda va bog'langan bipartitli permutatsiya grafikalarida NP-to'liq,[4] lekin induktsiya qilingan subgraf izomorfizm masalasini polinom vaqtida ushbu ikki sinfda echish mumkin.[5]

Bundan tashqari, induktsiya qilingan subtree izomorfizm muammosi (ya'ni induktsiya qilingan subgraf izomorfizm muammosi qaerda G1 daraxt sifatida cheklangan) intervalli grafikalar bo'yicha polinom vaqtida echilishi mumkin, subtree izomorfizm masalasi esa to'g'ri intervalli grafikalarda NP-to'liq.[6]

Adabiyotlar

  1. ^ Sysło, Maciej M. (1982), "Tashqi planar grafikalar uchun subgraf izomorfizm muammosi", Nazariy kompyuter fanlari, 17 (1): 91–97, doi:10.1016/0304-3975(82)90133-5, JANOB  0644795.
  2. ^ Jonson, Devid S. (1985), "NP to'liqligi ustuni: doimiy qo'llanma", Algoritmlar jurnali, 6 (3): 434–451, doi:10.1016/0196-6774(85)90012-4, JANOB  0800733.
  3. ^ Ramanujacharyulu, S.; Menon, V. V. (1964), "Qutidagi ilon muammosi to'g'risida eslatma", Publ. Inst. Statist. Univ. Parij, 13: 131–135, JANOB  0172736.
  4. ^ Kijima, Shuji; Otachi, Yota; Sayto, Toshiki; Uno, Takeaki (2012 yil 1-noyabr). "Grafika darslarida subgraf izomorfizmi". Diskret matematika. 312 (21): 3164–3173. doi:10.1016 / j.disc.2012.07.010.
  5. ^ Heggernes, Pinar; van 't Xof, Pim; Mayster, Doniyor; Villanger, Yngve. "To'g'ri intervalli va ikki tomonlama permutatsion grafikalar bo'yicha indografiya subgraf izomorfizmi" (PDF). topshirilgan.
  6. ^ Heggernes, Pinar; van 't Xof, Pim; Milanič, Martin (2013). "Intervalli grafikalarda induktsiya qilingan kichik daraxtlar" (PDF). Kombinatorial algoritmlar bo'yicha 24-Xalqaro seminar (IWOCA) materiallari. Paydo bo'lmoq.