Bo'linish muammosini o'rnating - Set splitting problem

Yilda hisoblash murakkabligi nazariyasi, Splitting-ni o'rnating muammo quyidagilar qaror muammosi: oila berilgan F cheklangan to'plamning pastki to'plamlari S, bo'limi mavjudligiga qaror qiling S ikkita kichik guruhga S1, S2 ning barcha elementlari F ushbu bo'lim tomonidan bo'linadi, ya'ni elementlarning hech biri F to'liq ichida S1 yoki S2. Set Splitting - bu ulardan biri Garey va Jonsonnikidir klassik To'liq emas muammolar.[1]

Variantlar

Ushbu muammoning optimallashtirish versiyasi deyiladi Maksimal ajratish va bo'lingan elementlar sonini maksimal darajada oshiradigan bo'limni topishni talab qiladi F. Bu APX tugadi[2] muammo va shuning uchun NPO.

The O'rnatish k-Taklash muammo quyidagicha bayon etilgan: berilgan S, Fva butun son k, ning bo'limi mavjudmi? S hech bo'lmaganda bo'linadigan k kichik guruhlari F? Asl formulasi - bu cheklangan holat k ning kardinalligiga teng F. To'plam k-Splitting bu belgilangan parametrlarni boshqarish mumkin, ya'ni, agar k Kirishning bir qismi emas, balki belgilangan parametr sifatida qabul qilingan bo'lsa, unda har qanday sobit uchun polinom algoritmi mavjud k. Dehne, Fellows va Rosamond buni o'z vaqtida hal qiladigan algoritmni taqdim etishdi ba'zi funktsiyalar uchun f va doimiy v.[3]

Qachonki har bir element F aniq bir xillik bilan cheklangan k, qaror varianti deyiladi Ek-Bilishni sozlang va optimallashtirish versiyasi Maks Ek-Bilishni sozlang. Uchun k > 2 avvalgi NP to'liq bo'lib qoladi va uchun k ≥ 2 ikkinchisi APX tugallangan bo'lib qoladi.[4] Uchun k ≥ 4, E.k-Set Splitting taxminiy qarshilikka ega. Ya'ni, P = NP bo'lmasa, polinom vaqti yo'q (omil) taxminiy algoritm bu tasodifiy bo'limdan ko'ra yaxshiroq ishlaydi.[5][6]

The O'lchangan to'plamni ajratish pastki to'plamlar joylashgan variant F og'irliklarga ega va maqsad pastki qismlarning umumiy og'irligini maksimal darajaga ko'tarishdir.

Boshqa muammolarga ulanish

Splitting - bu alohida holat Hamma uchun teng bo'lmagan qoniqish muammosi inkor qilingan o'zgaruvchilarsiz. Bundan tashqari, Ek-Set Splitting monoxromatik bo'lmaganga teng grafik rang berish ning k- bir xil gipergrafalar. Uchun k= 2, optimallashtirish varianti taniqli darajaga kamayadi Maksimal kesish.[6]

Adabiyotlar

  1. ^ Garey, Maykl R.; Jonson, Devid S. (1979). Kompyuterlar va echib bo'lmaydiganlik: NP to'liqligi nazariyasi uchun qo'llanma. Nyu-York: W.H. Freeman. ISBN  0-7167-1045-5.
  2. ^ Petrank, Erez (1994). "Yaqinlashishning qattiqligi: bo'shliqning joylashuvi". Hisoblash murakkabligi. Springer.
  3. ^ Dehne, Frank; Yigitlar, Maykl; Rosamond, Frances (2003). O'rnatishni ajratish uchun FPT algoritmi (PDF). Kompyuter fanidagi grafik nazariy tushunchalar (WG2003), Kompyuter fanidan ma'ruza matnlari. 2880. Springer. 180-191 betlar.
  4. ^ Lovash, Laslo (1973). Gipergraflarning qoplamalari va ranglari. Kombinatorika, grafik nazariyasi va hisoblash bo'yicha 4-sharqiy konferentsiya.
  5. ^ Xestad, Yoxan (2001). "Yaqinlashmaslikning ba'zi optimal natijalari". ACM jurnali. Hisoblash texnikasi assotsiatsiyasi. 48: 798–859. doi:10.1145/502090.502098.
  6. ^ a b Gurusvami, Venkatesan (2003). "Aralashgan gaplarsiz bo'linish va to'yinganlik muammolarining to'siqsiz natijalari". Algoritmika. Springer. 38: 451–469. doi:10.1007 / s00453-003-1072-z.