Matroid og'irligi - Weighted matroid

Yilda kombinatorika, filiali matematika, a vaznli matroid a matroid bajarishi mumkin bo'lgan funktsiyaga ega ochko'zlik algoritmi.

A vazn funktsiyasi ${displaystyle w: Eightarrow mathbb {R} ^ {+}}$ matroid uchun ${displaystyle M = (E, I)}$ ning har bir elementiga qat'iy ijobiy vazn belgilaydi ${displaystyle E}$. Biz funktsiyani ${displaystyle E}$ yig'ish yo'li bilan; ${displaystyle w (A)}$ yig'indisi ${displaystyle w (x)}$ ustida ${displaystyle x}$ yilda ${displaystyle A}$. Bilan bog'liq og'irlik funktsiyasi bo'lgan matroid og'irlikdagi matroid deb ataladi.

Spanning o'rmon algoritmlari

Oddiy misol sifatida aytaylik, topishni istaymiz maksimal o'rmon o'rmoni grafik. Ya'ni, har bir chekka uchun grafik va vazn berilgan holda, har bir tepalikni o'z ichiga olgan va daraxtdagi qirralarning umumiy og'irligini maksimal darajada oshiradigan o'rmonni toping. Ushbu muammo ba'zi klasterlash dasturlarida paydo bo'ladi. Agar biz yuqorida joylashgan o'rmon matroidining ta'rifiga nazar tashlasak, shuni bilib olamizki, maksimal uzunlikdagi o'rmon shunchaki eng katta umumiy og'irlikka ega bo'lgan mustaqil to'plamdir - bunday to'plam grafani qamrab olishi kerak, aks holda biz tsikllar yaratmasdan qirralarni qo'shishimiz mumkin. Ammo buni qanday topishimiz mumkin?

Asosni topish

Baza topish uchun oddiy algoritm mavjud:

• Dastlab ruxsat berildi ${displaystyle A}$ bo'sh to'plam bo'ling.
• Har biriga ${displaystyle x}$ yilda ${displaystyle E}$
  • agar ${displaystyle Acup {x}}$ mustaqil, keyin o'rnatiladi ${displaystyle A}$ ga ${displaystyle Acup {x}}$.

Natijada aniq mustaqil to'plam mavjud. Bu maksimal mustaqil to'plam, chunki agar ${displaystyle Bcup {x}}$ ba'zi bir kichik to'plam uchun mustaqil emas ${displaystyle B}$ ning ${displaystyle A}$, keyin ${displaystyle Acup {x}}$ ham mustaqil emas (kontrapozitiv meros mulk ). Shunday qilib, agar biz biron bir elementni qabul qilsak, keyinchalik uni ishlatish uchun bizda hech qachon imkoniyat bo'lmaydi. Qattiqroq muammoni hal qilish uchun ushbu algoritmni umumlashtiramiz.

Optimalgacha kengaytma

Eng katta umumiy vaznning mustaqil to'plami deyiladi maqbul o'rnatilgan. Optimal to'plamlar har doim asosdir, chunki chekka qo'shilishi mumkin bo'lsa, u shunday bo'lishi kerak; bu faqat umumiy og'irlikni oshiradi. Ma'lum bo'lishicha, ahamiyatsiz narsa bor ochko'zlik algoritmi vaznli matroidning optimal to'plamini hisoblash uchun. U quyidagicha ishlaydi:

• Dastlab ruxsat berildi ${displaystyle A}$ bo'sh to'plam bo'ling.
• Har biriga ${displaystyle x}$ yilda ${displaystyle E}$, vazn bo'yicha (monotonik) kamayib boruvchi tartibda olinadi
  • agar ${displaystyle Acup {x}}$ mustaqil, keyin o'rnatiladi ${displaystyle A}$ ga ${displaystyle Acup {x}}$.

Ushbu algoritm asosni topadi, chunki u yuqoridagi algoritmning alohida holatidir. U har doim mustaqillikni saqlab qolish uchun eng katta vazn elementini tanlaydi (shunday qilib "ochko'z" atamasi). Bu har doim optimal to'plamni ishlab chiqaradi: u ishlab chiqaradi deb taxmin qiling ${displaystyle A = {e_ {1}, e_ {2}, ldots, e_ {r}}}$ va bu ${displaystyle B = {f_ {1}, f_ {2}, ldots, f_ {r}}}$. Endi har qanday kishi uchun ${displaystyle k}$ bilan ${displaystyle 1leq kleq r}$, ochiq to'plamlarni ko'rib chiqing ${displaystyle O_ {1} = {e_ {1}, ldots, e_ {k-1}}}$ va ${displaystyle O_ {2} = {f_ {1}, ldots, f_ {k}}}$. Beri ${displaystyle O_ {1}}$ dan kichikroq ${displaystyle O_ {2}}$, ning ba'zi bir elementlari mavjud ${displaystyle O_ {2}}$ ichiga qo'yish mumkin ${displaystyle O_ {1}}$ natija hali ham mustaqil bo'lib qolmoqda. Ammo ${displaystyle e_ {k}}$ qo'shilishi mumkin bo'lgan maksimal og'irlik elementidir ${displaystyle O_ {1}}$ mustaqillikni saqlab qolish. Shunday qilib ${displaystyle e_ {k}}$ ba'zi elementlardan kichikroq vaznga ega emas ${displaystyle O_ {2}}$va shuning uchun ${displaystyle e_ {k}}$ hech bo'lmaganda katta vaznga ega ${displaystyle f_ {k}}$. Bu hamma uchun to'g'ri ${displaystyle k}$, ${displaystyle A}$ nisbatan og'irroq ${displaystyle B}$.

Murakkablikni tahlil qilish

A'zolarni kesib o'tishning eng oson usuli ${displaystyle E}$ kerakli tartibda ularni saralash. Bu talab qiladi ${displaystyle O (| E | log | E |)}$ taqqoslash yordamida vaqt saralash algoritmi. Shuningdek, har biri uchun sinov o'tkazishimiz kerak ${displaystyle x}$ yo'qmi ${displaystyle Acup {x}}$ mustaqil; mustaqillik sinovlarini talab qilsa ${displaystyle O (f (| E |))}$ vaqt, algoritm uchun umumiy vaqt ${displaystyle O (| E | log | E | + | E | f (| E |))}$.

Agar biz buning o'rniga minimal uzunlikdagi daraxtni topmoqchi bo'lsak, shunchaki og'irlik funktsiyasini katta doimiydan chiqarib, "teskari" qilamiz. Aniqrog'i, ruxsat bering ${displaystyle w_ {ext {min}} (x) = W-w (x)}$, qayerda ${displaystyle W}$ barcha grafik qirralarning umumiy vaznidan oshib ketadi. Har xil matroidlar va vazn funktsiyalari bo'yicha ko'plab optimallashtirish muammolarini ushbu ahamiyatsiz usul bilan hal qilish mumkin, ammo ko'p hollarda ko'proq ixtisoslashgan xususiyatlardan foydalanadigan yanada samarali algoritmlarni topish mumkin.

Matroid talablari

Shuni ham unutmangki, agar biz to'plamni olsak ${displaystyle I}$ matroid bo'lmagan "mustaqil" to'plamlarning to'plami, shuning uchun ochko'z algoritm har doim ham ishlamaydi. Buning uchun mustaqil to'plamlar mavjud ${displaystyle I_ {1}}$ va ${displaystyle I_ {2}}$ bilan ${displaystyle | I_ {1} | <| I_ {2} |}$, ammo bunday narsa yo'q ${displaystyle ein I_ {2} setminus I_ {1}}$ bu ${displaystyle I_ {1} stakan e}$ mustaqil.

An tanlang ${displaystyle epsilon> 0}$ va ${displaystyle au> 0}$ shu kabi ${displaystyle (1 + 2epsilon) | I_ {1} | + au | E | <| I_ {2} |}$. Ning elementlarini torting ${displaystyle I_ {1} kubok I_ {2}}$ oralig'ida ${displaystyle 2}$ ga ${displaystyle 2 + 2epsilon}$, ning elementlari ${displaystyle I_ {1} setminus I_ {2}}$ oralig'ida ${displaystyle 1 + epsilon}$ ga ${displaystyle 1 + 2epsilon}$, ning elementlari ${displaystyle I_ {2} setminus I_ {1}}$ oralig'ida ${displaystyle 1}$ ga ${displaystyle 1 + epsilon}$va qolganlari oraliqda ${displaystyle 0}$ ga ${displaystyle au}$. Ochko'zlik algoritmi elementlarini tanlaydi ${displaystyle I_ {1}}$, va keyin biron bir elementni tanlay olmaydi ${displaystyle I_ {2} setminus I_ {1}}$. Shuning uchun u tuzadigan mustaqil to'plam eng katta vaznga ega bo'ladi ${displaystyle (1 + 2epsilon) | I_ {1} | + au | E | + | I_ {1} stakan I_ {2} |}$ning vaznidan kichikroq ${displaystyle I_ {2}}$.

Tarix

Faqat 1971 yilga qadar Jek Edmonds "Matroidlar va ochko'z algoritm" maqolasida vaznli matroidlarni ochko'z algoritmlarga ulagan. Korte va Lovasz ushbu fikrlarni nomlangan ob'ektlarga umumlashtiradilar greedoidlar, bu hatto katta muammolarni ochko'z algoritmlar yordamida hal qilishga imkon beradi.

Adabiyotlar

• Jek Edmonds. Matroidlar va ochko'z algoritmi. Matematik dasturlash, 1-jild, p. 125-136. 1971 yil.