Maksimal ajratilgan to'plam - Maximum disjoint set

Yilda hisoblash geometriyasi, a maksimum disjoint set (MDS) nomzod shakllarining berilgan to'plamidan tanlangan bir-birining ustiga chiqmaydigan geometrik shakllarning eng katta to'plamidir.

MDS-ni topish kabi dasturlarda muhim ahamiyatga ega avtomatik yorliqlarni joylashtirish, VLSI elektron dizayni va uyali aloqa multiplekslash chastotasini taqsimlash.

Qatlamaydigan shakllarning har bir to'plami mustaqil to'plam ichida kesishish grafigi shakllarning Shuning uchun MDS muammosi maksimal mustaqil to'plam (MIS) muammosi. Ikkala muammo ham NP tugadi, ammo MDSni topish ikki jihatdan MIS topishdan ko'ra osonroq bo'lishi mumkin:

• Umumiy MIS muammosi uchun eng yaxshi ma'lum bo'lgan aniq algoritmlar eksponent hisoblanadi. Ba'zi geometrik kesishish grafikalarida MDSni topishning subeksponensial algoritmlari mavjud.^[1]
• Umumiy MIS muammosini taxmin qilish qiyin va hattoki doimiy faktorli yaqinlashishga ega emas. Ba'zi geometrik kesishish grafikalarida mavjud polinom-vaqtni taxminiy sxemalari MDSni topish uchun (PTAS).

MDS muammosini har bir shaklga har xil vazn berish va maksimal umumiy og'irlik bilan ajratilgan to'plamni izlash orqali umumlashtirish mumkin.

Quyidagi matnda MDS (C) to'plamdagi maksimal ajratilgan to'plamni bildiradi C.

Ochko'zlik algoritmlari

To'plam berilgan C shakllari, MDS ga yaqinlashishi (C) ni quyidagilar orqali topish mumkin ochko'zlik algoritmi:

• INITIALIZATION: bo'sh to'plamni ishga tushirish, S.
• Qidirish: har qanday shakl uchun x yilda C:
  1. Hisoblang N (x) - barcha shakllarning pastki qismi C bu kesishadi x (shu jumladan x o'zi).
  2. Ushbu kichik to'plamdagi eng katta mustaqil to'plamni hisoblang: MDS (N (x)).
  3. Tanlang x shu kabi | MDS (N (x)) | minimallashtirilgan.
• Qo'shish x ga S.
• Olib tashlash x va N (x) dan C.
• Agar shakllar mavjud bo'lsa C, Qidiruvga qayting.
• END: to'plamni qaytaring S.

Har qanday shakl uchun x biz qo'shadigan narsalar S, biz shakllarni yo'qotamiz N (x), chunki ular kesishadi x va shu bilan qo'shib bo'lmaydi S keyinroq. Shu bilan birga, ushbu shakllarning ba'zilari o'zaro bir-birini kesib o'tishadi va shuning uchun har qanday holatda ularning barchasi optimal echimda bo'lishi mumkin emas MDS (S). Shakllarning eng katta to'plami mumkin barchasi maqbul echimda bo'ladi MDS (N (x)). Shuning uchun, ni tanlang x bu minimallashtiradi | MDS (N (x)) | qo'shishdan yo'qotishni minimallashtiradi x ga S.

Xususan, agar mavjudligini kafolatlasak x buning uchun | MDS (N (x)) | doimiy bilan chegaralangan (aytaylik, M), keyin bu ochko'zlik algoritmi doimiylikni beradi M- omillarni taxminiyligi, chunki biz quyidagilarga kafolat beramiz:

${ displaystyle | S | geq { frac {| MDS (C) |} {M}}}$

Bunday yuqori chegara M bir nechta qiziqarli holatlar uchun mavjud:

1 o'lchovli intervallar: aniq polinomial algoritm

Qachon C bu chiziqdagi intervallar to'plami, M= 1 va shu bilan ochko'z algoritm aniq MDSni topadi. Buni ko'rish uchun w.l.o.g. intervallarni vertikal ekanligini va ruxsat bering x bilan interval bo'ling eng yuqori so'nggi nuqta. Boshqa barcha intervallar bilan kesilgan x uning pastki so'nggi nuqtasini kesib o'tishi kerak. Shuning uchun, barcha intervallar N (x) bir-birini kesib o'tadi va MDS (N (x)) eng ko'pi 1 ga teng (rasmga qarang).

Shuning uchun, 1 o'lchovli holatda, MDSni o'z vaqtida topish mumkin O(n jurnaln):^[2]

1. Intervallarni pastki uchlari ko'tarilish tartibida saralash (bu vaqt talab etadi) O(n jurnaln)).
2. Eng pastki so'nggi nuqta bilan oraliq qo'shing va uni kesib o'tgan barcha intervallarni o'chirib tashlang.
3. Hech qanday interval qolmaguncha davom eting.

Ushbu algoritm shunga o'xshash dastlabki rejalashtirish birinchi rejalashtirish uchun echim intervallarni rejalashtirish muammo.

1 o'lchovli holatdan farqli o'laroq, 2 yoki undan ortiq o'lchovlarda MDS muammosi NP bilan to'ldiriladi va shu bilan aniq super-polinom algoritmlariga yoki taxminiy polinom algoritmlariga ega bo'ladi.

Yog 'shakllari: doimiy faktorli taxminlar

Qachon C bu birlik disklari to'plami, M=3,^[3] chunki eng chap disk (markazi eng kichigi bo'lgan disk) x koordinatali) ko'pi bilan 3 ta ajratilgan diskni kesib o'tadi (rasmga qarang). Shuning uchun ochko'zlik algoritmi taxminan 3 ga yaqinlashadi, ya'ni o'lchamlari kamida bo'linadigan to'plamni topadi MDS (C)/3.

Xuddi shunday, qachon C eksa-parallel birlik kvadratlarining to'plami, M=2.

Qachon C o'zboshimchalik bilan o'lchamdagi disklar to'plami, M= 5, chunki eng kichik radiusi bo'lgan disk eng ko'p 5 ta boshqa ajratilgan disklarni kesib o'tadi (rasmga qarang).

Xuddi shunday, qachon C o'zboshimchalik bilan o'qi-parallel kvadratlar to'plami, M=4.

Boshqa barqarorlarni boshqalari uchun hisoblash mumkin muntazam ko'pburchaklar.^[3]

Algoritmlarni ajratib oling

MDSni topishda eng keng tarqalgan yondashuv - bu bo'linish va zabt etish. Ushbu yondashuvdagi odatiy algoritm quyidagicha ko'rinadi:

1. Berilgan shakllar to'plamini ikki yoki undan ortiq kichik guruhlarga bo'ling, shunda har bir kichik to'plamdagi shakllar geometrik mulohazalar tufayli boshqa kichik to'plamlardagi shakllarni qoplay olmaydi.
2. Rekursiv ravishda har bir kichik to'plamdagi MDSni toping.
3. MDSlarning birlashmasini barcha kichik to'plamlardan qaytaring.

Ushbu yondashuvning asosiy muammosi to'plamni pastki qismlarga bo'lishning geometrik usulini topishdir. Buning uchun quyidagi kichik bo'limlarda tushuntirilganidek, kichik hajmdagi biron bir shaklga mos kelmaydigan shakllarni tashlash kerak bo'lishi mumkin.

Eksa-parallel to'rtburchaklar: Logaritmik-faktor yaqinlashishi

Ruxsat bering C to'plami bo'ling n tekislikda o'qi-parallel to'rtburchaklar. Quyidagi algoritm hech bo'lmaganda kattaligi bilan ajratilgan to'plamni topadi ${ displaystyle { frac {| MDS (C) |} { log {n}}}}$ o'z vaqtida ${ displaystyle O (n log {n})}$:^[2]

• INITIALIZATION: berilgan to'rtburchaklar gorizontal qirralarini ular bo'yicha saralash y- koordinatali va vertikal qirralar ularning tomonidan x-koordinat (bu qadam vaqt talab etadi O(n jurnaln)).
• ShARTNI TO'XTATISH: Agar ko'pi bo'lsa n ≤ 2 shakl, MDSni to'g'ridan-to'g'ri hisoblang va qaytib keling.
• QARShI QISM:
  1. Ruxsat bering ${ displaystyle x _ { mathrm {med}}}$ median bo'ling x- muvofiqlashtirish.
  2. Kiritilgan to'rtburchaklar chiziqqa nisbatan uchta guruhga bo'linadi ${ displaystyle x = x _ { mathrm {med}}}$: butunlay chap tomonida bo'lganlar (${ displaystyle R _ { mathrm {left}}}$), uning o'ng tomonida joylashganlar (${ displaystyle R _ { mathrm {right}}}$) va u bilan kesishganlar (${ displaystyle R _ { mathrm {int}}}$). Tuzilishi bo'yicha ${ displaystyle R _ { mathrm {left}}}$ va ${ displaystyle R _ { mathrm {right}}}$ eng ko'p n/2.
  3. Rekursiv ravishda hisoblash taxminiy MDS in ${ displaystyle R _ { mathrm {left}}}$ (${ displaystyle M _ { mathrm {left}}}$) va ${ displaystyle R _ { mathrm {right}}}$ (${ displaystyle M _ { mathrm {right}}}$) va ularning birlashishini hisoblang. Qurilish bo'yicha to'rtburchaklar ${ displaystyle M _ { mathrm {left}}}$ va ${ displaystyle M _ { mathrm {right}}}$ barchasi bir-biridan ajratilgan, shuning uchun ${ displaystyle M _ { mathrm {left}} cup M _ { mathrm {right}}}$ ajratilgan to'plam.
  4. Hisoblash an aniq MDS in ${ displaystyle R _ { mathrm {int}}}$ (${ displaystyle M _ { mathrm {int}}}$). Barcha to'rtburchaklar ichida ${ displaystyle R _ { mathrm {int}}}$ bitta vertikal chiziqni kesib o'tadi ${ displaystyle x = x _ { mathrm {med}}}$, bu hisoblash intervallar to'plamidan MDSni topishga teng va uni o'z vaqtida hal qilish mumkin O (n log n) (yuqoriga qarang).
• Qayting ${ displaystyle M _ { mathrm {left}} cup M _ { mathrm {right}}}$ yoki ${ displaystyle M _ { mathrm {int}}}$ - qaysi biri kattaroq.

Bu oxirgi bosqichda ham induksiya bilan tasdiqlanadi ${ displaystyle M _ { mathrm {left}} cup M _ { mathrm {right}}}$ yoki ${ displaystyle M _ { mathrm {int}}}$ hech bo'lmaganda kardinallikka ega bo'ling ${ displaystyle { frac {| MDS (C) |} { log {n}}}}$.

Taxminan koeffitsient kamaytirildi ${ displaystyle O ( log { log {n}})}$^[4] va to'rtburchaklar turli xil vaznga ega bo'lgan holatlar uchun umumlashtirilgan.^[5]

Balandligi bir xil bo'lgan o'qi-parallel to'rtburchaklar: 2-yaqinlashish

Ruxsat bering C to'plami bo'ling n tekislikdagi o'qi parallel to'rtburchaklar, barchasi bir xil balandlikda H lekin turli uzunliklarda. Quyidagi algoritm kamida | MDS (C) | / 2 o'z vaqtida O(n jurnaln):^[2]

• Chizish m gorizontal chiziqlar, shunday qilib:
  1. Ikki chiziq orasidagi ajratish qat'iyan ko'proq H.
  2. Har bir chiziq kamida bitta to'rtburchakni kesib o'tadi (shuning uchun) m ≤ n).
  3. Har bir to'rtburchak aniq bitta chiziq bilan kesilgan.
• Barcha to'rtburchaklar balandligi bo'lgani uchun H, to'rtburchak bir nechta chiziq bilan kesilishi mumkin emas. Shuning uchun chiziqlar to'rtburchaklar to'plamini ajratadi m kichik to'plamlar (${ displaystyle R_ {i}, ldots, R_ {m}}$) - har bir kichik to'plamga bitta chiziq bilan kesilgan to'rtburchaklar kiradi.
• Har bir kichik to'plam uchun ${ displaystyle R_ {i}}$, aniq MDSni hisoblang ${ displaystyle M_ {i}}$ bir o'lchovli ochko'zlik algoritmidan foydalanish (yuqoriga qarang).
• Tuzilishi bilan, (${ displaystyle R_ {i}}$) faqat to'rtburchaklar kesib o'tishi mumkin ${ displaystyle R_ {i + 1}}$ yoki ichida ${ displaystyle R_ {i-1}}$. Shuning uchun, quyidagi ikkita kasaba uyushmalarining har biri ajralgan to'plamlardir:
  • Toq MDSlar birlashmasi: ${ displaystyle M_ {1} cup M_ {3} cup cdots}$
  • Hatto MDSlar ittifoqi: ${ displaystyle M_ {2} cup M_ {4} cup cdots}$
• Ushbu ikkita kasaba uyushmaning eng kattasini qaytaring. Uning hajmi kamida | MDS | / 2 bo'lishi kerak.

Balandligi bir xil bo'lgan o'qi-parallel to'rtburchaklar: PTAS

Ruxsat bering C to'plami bo'ling n tekislikdagi o'qi-parallel to'rtburchaklar, barchasi bir xil balandlikda, lekin turli uzunliklarda. Hech bo'lmaganda | MDS () o'lchamiga ega bo'linmagan to'plamni topadigan algoritm mavjud.C)|/(1 + 1/k) o'z vaqtida O(n^2k−1), har bir doimiy uchun k > 1.^[2]

Algoritm - bu yuqorida aytib o'tilgan 2-taxminiylikni birlashtirish orqali takomillashtirish dinamik dasturlash ning o'zgaruvchan texnikasi bilan.^[6]

Ushbu algoritmni umumlashtirish mumkin d o'lchamlari. Agar yorliqlar bitta o'lchamdan tashqari barcha o'lchamlarda bir xil o'lchamga ega bo'lsa, murojaat qilish orqali shunga o'xshash taxminni topish mumkin dinamik dasturlash o'lchovlardan biri bo'ylab. Bu vaqtni n ^ O (1 / e) gacha kamaytiradi.^[7]

Bir xil o'lchamdagi yog'li narsalar: PTAS

Ruxsat bering C to'plami bo'ling n bir xil o'lchamdagi kvadratchalar yoki doiralar. Bor polinom-vaqtni taxminiy sxemasi oddiy siljigan-grid strategiyasidan foydalangan holda MDSni topish uchun. (1 - ichida echim topadie) vaqt ichida maksimal n^O(1/e2) vaqt va chiziqli makon.^[6] Strategiya har qanday to'plam uchun umumlashtiriladi semiz narsalar taxminan bir xil o'lchamdagi (ya'ni, maksimaldan minimalgacha bo'lgan nisbat doimiy bilan chegaralanganida).

Ixtiyoriy kattalikdagi yog 'ob'ektlari: PTAS

Ruxsat bering C to'plami bo'ling n semiz narsalar (masalan, kvadratchalar yoki doiralar) ixtiyoriy kattaliklar. Bor PTAS ko'p darajali panjara tekislashiga asoslangan MDSni topish uchun. Taxminan bir vaqtning o'zida ikki guruh tomonidan topilgan va ikki xil usulda tasvirlangan.

1-versiya hajmi kamida (1 - 1 / bo'lgan bo'linma to'plamni topadik)² · | MDS (C) | o'z vaqtida n^O(k2), har bir doimiy uchun k > 1:^[8]

Disklarni masshtabini kattalashtiring, shunda eng kichik disk diametri 1 ga teng. Disklarni ularning o'lchamlari logaritmasiga asosan darajalarga bo'ling. Ya'ni j- daraja () orasidagi (k + 1)^j va (k + 1)^j+1, uchun j ≤ 0 (eng kichik disk 0 darajasida).

Har bir daraja uchun j, tekislikdagi chiziqlardan tashkil topgan panjara qo'ying (k + 1)^j+1 bir-biridan uzoqda. Qurilishi bo'yicha har bir disk o'z sathidan ko'pi bilan bitta gorizontal chiziq va bitta vertikal chiziqni kesib o'tishi mumkin.

Har bir kishi uchun r, s 0 va k, aniqlang D.(r,s) indeks moduli bo'lgan har qanday gorizontal chiziq bilan kesilmagan disklarning pastki qismi sifatida k bu r, shuningdek indikatori modulli vertikal chiziq bilan k bu s. Tomonidan kaptar teshigi printsipi, kamida bitta juftlik bor (r, s) shu kabi ${ displaystyle | mathrm {MDS} (D (r, s)) | geq (1 - { frac {1} {k}}) ^ {2} cdot | mathrm {MDS} |}$, ya'ni biz MDSni faqat shu erda topishimiz mumkin D.(r,s) va optimal echimdagi disklarning faqat kichik bir qismini o'tkazib yuboring:

• Barcha uchun k² ning mumkin bo'lgan qiymatlari r,s (0 ≤ r,s < k), hisoblang D.(r,s) foydalanish dinamik dasturlash.
• Ulardan eng kattasini qaytaring k² to'plamlar.

Nuqta ma'lumotlari bo'lgan mintaqa kvadrati

2-versiya hajmi kamida (1 - 2 /k· · MDS (C) | o'z vaqtida n^O(k), har bir doimiy uchun k > 1.^[7]

Algoritm o'zgargan foydalanadi to'rtburchaklar. Algoritmning asosiy tushunchasi hizalama to'rtburchaklar panjarasiga. Hajmi ob'ekti r deyiladi k-tekislangan (qayerda k ≥ 1 doimiy), agar u maksimal darajada to'rtburchaklar katakchada bo'lsa kr (R ≤ kr).

Ta'rifga ko'ra, a k- kattalikdagi to'rtburchak katak chegarasini kesib o'tuvchi moslashtirilgan ob'ekt R hech bo'lmaganda o'lchamga ega bo'lishi kerak R/k (r > R/k). O'lchamdagi hujayraning chegarasi R 4 bilan qoplanishi mumkink kvadratchalar R/k; shuning uchun bu hujayraning chegarasini kesib o'tuvchi ajratilgan yog 'ob'ektlarining soni ko'pi bilan 4 ga tengkc, qayerda v ob'ektlarning semizligini doimiy ravishda o'lchashdir.

Shuning uchun, agar barcha ob'ektlar yog 'va k-hizalanib, aniq vaqt oralig'ida aniqlangan kelishmovchilikni topish mumkin n^O(kc) ajratish va yutish algoritmidan foydalanish. Barcha moslamalarni o'z ichiga olgan to'rtburchak katakchadan boshlang. Keyin rekursiv ravishda uni to'rtburchaklar kichikroq bo'laklarga bo'linib, har bir kichik katakchada maksimalni toping va natijalarni birlashtirsangiz kattaroq katakchada maksimal darajaga erishing. Har bir to'rtburchak xujayraning chegarasini kesib o'tgan birlashtirilmagan semiz jismlarning soni 4 ga tengkc, biz shunchaki optimal taxminiy echimdagi qaysi ob'ektlar chegarani kesib o'tishini "taxmin qilishimiz" mumkin, so'ngra ichidagi narsalarga bo'linish va zabt etishni qo'llaymiz.

Agar deyarli barcha ob'ektlar k-tizilgan, biz shunchaki mavjud bo'lmagan narsalarni tashlab yuborishimiz mumkin k-hizalanib, qolgan ob’ektlarni vaqtida maksimal darajada ajratilgan to‘plamini toping n^O(k). Natijada (1 -e) yaqinlashish, bu erda e - bu bo'lmagan narsalarning ulushi k- moslangan.

Agar ko'p ob'ektlar bo'lmasa k-tizilgan, biz ularni qilishga harakat qilishimiz mumkin ktomonidan imzolangan siljish katak (1 / ga ko'paytiriladik,1/k). Birinchidan, moslamalarni masshtabida, ularning barchasi birlik maydonida bo'lishi kerak. Keyin, o'ylab ko'ring k panjaraning siljishi: (0,0), (1 /k,1/k), (2/k,2/k), ..., ((k − 1)/k,(k − 1)/k). Ya'ni, har biri uchun j {0, ..., ichidak - 1}, gridning (j / k, j / k) siljishini ko'rib chiqing. Har bir yorliq 2 ga teng bo'lishini isbotlash mumkink- hech bo'lmaganda moslashtirilgan k - ning 2 qiymatij. Endi, har bir kishi uchun j, bo'lmagan narsalarni tashlang k-da joylashgan (j/k,j/k) siljiting va qolgan narsalarning maksimal darajada ajratilgan to'plamini toping. Ushbu to'plamga qo'ng'iroq qiling A(j). Ajratilgan maksimal maksimal to'plamni chaqiringA*. Keyin:

${ displaystyle sum _ {j = 0, ldots, k-1} {| A (j) |} geq (k-2) | A * |}$

Shuning uchun, eng katta A(j) kamida o'lchamga ega: (1 - 2 /k)|A* |. Algoritmning qaytish qiymati eng katta hisoblanadi A(j); taxminiy koeffitsient (1 - 2 /k) va ishlash vaqti n^O(k). Biz taxminiy omilni xohlagancha kichikroq qilishimiz mumkin, shuning uchun bu a PTAS.

Ikkala versiyani ham umumlashtirish mumkin d o'lchovlar (turli xil taxminiy nisbatlarda) va tortilgan holatga.

Geometrik ajratuvchi algoritmlar

Ajratish va zabt etishning bir nechta algoritmlari ma'lum narsalarga asoslanadi geometrik ajratuvchi teorema. Geometrik separator - bu berilgan shakllar to'plamini ikkita kichik kichik qismga ajratadigan chiziq yoki shakl, chunki bo'linish paytida yo'qolgan shakllar soni nisbatan kichik. Bu ikkalasiga ham imkon beradi PTASlar va quyida tushuntirilganidek sub-eksponentli aniq algoritmlar.

Ixtiyoriy kattalikdagi yog 'ob'ektlari: geometrik ajratgichlardan foydalangan holda PTAS

Ruxsat bering C to'plami bo'ling n semiz narsalar o'zboshimchalik bilan o'lchamlari. Quyidagi algoritm o'lchamlari kamida (1 -O(√b)) · | MDS (C) | o'z vaqtida n^O(b), har bir doimiy uchun b > 1.^[7]

Algoritm quyidagi geometrik ajratuvchi teoremaga asoslanadi, uni shunga o'xshash isbotlash mumkin ajratilgan kvadratlar uchun geometrik ajratuvchi mavjudligining isboti:

Har bir to'plam uchun C semiz narsalarga bo'linadigan to'rtburchak mavjud C ob'ektlarning uchta to'plamiga - C_ichida, C_tashqarida va C_chegara, shu kabi:

• MDS (C_ichida)| ≤ aMDS (C)|
• MDS (C_tashqarida) | ≤ a | MDS (C)|
• MDS (C_chegara)| v√|MDS (C)|

qayerda a va v doimiydir. Agar biz MDSni hisoblasak (C) aniq, biz doimiylikni qila olamiz a ajratuvchi to'rtburchakni to'g'ri tanlash bilan 2/3 gacha past. Ammo biz faqat MDSni taxmin qilishimiz mumkin (C) doimiy koeffitsient bilan, doimiy a kattaroq bo'lishi kerak. Yaxshiyamki, a | dan doimiy mustaqil bo'lib qoladiC|.

Ushbu ajratuvchi teorema quyidagi PTASni yaratishga imkon beradi:

Doimiylikni tanlang b. Gacha bo'lgan barcha mumkin bo'lgan kombinatsiyalarni tekshiring b + 1 ta yorliq.

• Agar | MDS (C) | eng katta o'lchamga ega b (ya'ni barcha to'plamlari b + 1 yorliqlar ajratilmagan), keyin faqat MDS-ni qaytaring va chiqing. Ushbu qadam talab qilinadi n^O(b) vaqt.
• Aks holda, ajratish uchun geometrik ajratgichdan foydalaning C ikkita kichik guruhga. Taxminan MDS-ni toping C_ichida va C_tashqarida ajratib oling va ularning kombinatsiyasini taxminiy MDS sifatida qaytaring C.

Ruxsat bering E(mMDSning optimal hajmi MDS bo'lganda (yuqoridagi algoritmning xatosi)C) = m. Qachon m ≤ b, xato 0 ga teng, chunki disjunktning maksimal to'plami aniq hisoblangan; qachon m > b, xato eng ko'p ortadi v√m ajratuvchi bilan kesilgan yorliqlar soni. Algoritm uchun eng yomon holat bu har bir qadamda bo'linish mumkin bo'lgan maksimal nisbatda bo'lishidir a:(1 − a). Shuning uchun xato funktsiyasi quyidagi takrorlanish munosabatini qondiradi:

${ displaystyle E (m) = 0 { text {if}} m leq b}$

${ displaystyle E (m) = E (a cdot m) + E ((1-a) cdot m) + c cdot { sqrt {m}} { text {if}} m> b}$

Ushbu takrorlanishning echimi:

${ displaystyle E (m) = ({ frac {0} {b}} + { frac {c} {{ sqrt {b}} ({ sqrt {a}} + { sqrt {1-a }} - 1)}}) cdot m - { frac {c} {{ sqrt {a}} + { sqrt {1-a}} - 1}} cdot { sqrt {m}}. }$

ya'ni, ${ displaystyle E (m) = O (m / { sqrt {b}})}$. To'g'ri tanlash orqali taxminiy omilni istagancha kichikroq qilishimiz mumkin b.

Ushbu PTAS to'rtburchaklar asosidagi PTASga qaraganda kosmosga nisbatan samaraliroq va ob'ektlar siljishi mumkin bo'lgan umumlashma bilan shug'ullanishi mumkin, ammo u vaznli ishni ko'rib chiqa olmaydi.

Chegaralangan o'lcham-nisbati bo'lgan disklar: aniq sub-eksponent algoritm

Ruxsat bering C to'plami bo'ling n disklar, eng katta radius va eng kichik radius o'rtasidagi nisbat ko'pi bilan r. Quyidagi algoritm MDS ni topadi (C) o'z vaqtida ${ displaystyle 2 ^ {O (r cdot { sqrt {n}})}}$.^[9]

Algoritm a ga asoslangan kenglik bilan chegaralangan geometrik ajratuvchi to'plamda Q barcha disklarning markazlari C. Ushbu ajratuvchi teorema quyidagi aniq algoritmni yaratishga imkon beradi:

• Ajratuvchi qatorni toping, u ko'pi bilan 2 ga tengn/ 3 markaz uning o'ng tomonida (C_to'g'ri), ko'pi bilan 2n/ 3 markaz chap tomonda (C_chap) va ko'pi bilan O(√n) markazlari kamroq masofada joylashgan r/ 2 qatordan (C_int).
• Ning bir-biriga mos kelmaydigan barcha quyi to'plamlarini ko'rib chiqing C_int. Eng ko'pi bor ${ displaystyle 2 ^ {O (r cdot { sqrt {n}})}}$ bunday kichik to'plamlar. Har bir bunday kichik to'plam uchun MDS-ni rekursiv ravishda tuzing C_chap va MDS C_to'g'riva eng katta birlashtirilgan to'plamni qaytaring.

Ushbu algoritmning ishlash muddati quyidagi takrorlanish munosabatini qondiradi:

${ displaystyle T (1) = 1}$

${ displaystyle T (n) = 2 ^ {O (r cdot { sqrt {n}})} T chap ({ frac {2n} {3}} right) { text {if}} n > 1}$

Ushbu takrorlanishning echimi:

${ displaystyle T (n) = 2 ^ {O (r cdot { sqrt {n}})}}$

Mahalliy qidiruv algoritmlari

Soxta disklar: PTAS

A pseudo-disklar o'rnatilgan har bir juft ob'ektning chegaralari eng ko'p ikki marta kesib o'tadigan ob'ektlar to'plamidir. (E'tibor bering, ushbu ta'rif butun kollektsiyaga taalluqlidir va to'plamdagi aniq ob'ektlarning shakllari haqida hech narsa demaydi). Pseudo-disklar to'plami cheklangan kasaba uyushma murakkabligi, ya'ni barcha ob'ektlarning birlashuvi chegarasidagi kesishish nuqtalari soni ob'ektlar soniga ko'ra chiziqli.

Ruxsat bering C bilan soxta disklar to'plami bo'ling n ob'ektlar. Quyidagi mahalliy qidiruv algoritmi hech bo'lmaganda o'lchamlarning to'plamini topadi ${ displaystyle (1-O ({ frac {1} { sqrt {b}}})) cdot | MDS (C) |}$ o'z vaqtida ${ displaystyle O (n ^ {b + 3})}$, har bir butun doimiy uchun ${ displaystyle b geq 0}$:^[10]

• INITIALIZATION: bo'sh to'plamni ishga tushirish, ${ displaystyle S}$.
• Qidirish: ning barcha kichik to'plamlarini ko'rib chiqing ${ displaystyle C-S}$ uning kattaligi 1 va orasida ${ displaystyle b + 1}$. Har bir bunday kichik to'plam uchun X:
  • Buni tasdiqlang X o'zi mustaqil (aks holda keyingi pastki qismga o'ting);
  • To'plamni hisoblang Y ob'ektlar S bu kesishadi X.
  • Agar ${ displaystyle | Y | <| X |}$, keyin olib tashlang Y dan S va joylashtiring X: ${ displaystyle S: = S-Y + X}$.
• END: to'plamni qaytaring S.

Qidiruv bosqichidagi har bir almashinuv hajmini oshiradi S kamida 1 ga, va shuning uchun eng ko'p sodir bo'lishi mumkin n marta.

Algoritm juda oddiy; qiyin qismi taxminiy nisbatni isbotlashdir.^[10]

Shuningdek qarang.^[11]

Lineer dasturlash gevşeme algoritmlari

Soxta disklar: PTAS

Ruxsat bering C bilan soxta disklar to'plami bo'ling n ob'ektlar va ittifoqning murakkabligi siz. Foydalanish chiziqli dasturlash gevşemesi, hech bo'lmaganda o'lchamlarning to'plamini topish mumkin ${ displaystyle { frac {n} {u}} cdot | MDS (C) |}$. Bu muvaffaqiyatga erishish ehtimoli va ishlash muddati yuqori bo'lgan tasodifiy algoritm bilan ham mumkin ${ displaystyle O (n ^ {3})}$, yoki sekinroq ishlash muddati bo'lgan deterministik algoritm (lekin baribir polinom). Ushbu algoritmni tortilgan holat bo'yicha umumlashtirish mumkin.^[10]

Yaqinlashishlar ma'lum bo'lgan shakllarning boshqa sinflari

• Ikki o'lchovli tekislikdagi chiziqli segmentlar.^[11][12]
• O'zboshimchalik bilan ikki o'lchovli qavariq narsalar.^[11]
• Kesishish nuqtalarining chegaralangan soni bo'lgan egri chiziqlar.^[12]

Tashqi havolalar

• Maksimal mustaqil psevdo-disklar to'plamining taxminiy algoritmlari - taqdimot Sariel Xar-Peled.
• To'liq to'rtburchaklar kesilgan maksimal maksimal to'plamni hisoblash uchun Javascript kodi.

Izohlar