Kosarajus algoritmi - Kosarajus algorithm - Wikipedia

Ushbu maqolada a foydalanilgan adabiyotlar ro'yxati, tegishli o'qish yoki tashqi havolalar, ammo uning manbalari noma'lum bo'lib qolmoqda, chunki u etishmayapti satrda keltirilgan. Iltimos yordam bering yaxshilash tomonidan ushbu maqola tanishtirish aniqroq iqtiboslar. (Iyul 2020) (Ushbu shablon xabarini qanday va qachon olib tashlashni bilib oling)

Yilda Kompyuter fanlari, Kosarajuning algoritmi (shuningdek,. nomi bilan ham tanilgan Kosaraju-Sharir algoritmi) a chiziqli vaqt algoritm topish kuchli bog'langan komponentlar a yo'naltirilgan grafik. Aho, Hopkroft va Ullman kredit bering S. Rao Kosaraju va Micha Sharir. Kosaraju 1978 yilda taklif qilgan, ammo nashr etmagan Sharir mustaqil ravishda kashf etdi va 1981 yilda nashr etdi. Bu haqiqatdan foydalanadi grafani joylashtiring (har bir chekka yo'nalishi teskari yo'naltirilgan bir xil grafik) asl grafika bilan bir xil kuchli bog'langan tarkibiy qismlarga ega.

Algoritm

Algoritm ishlatadigan ibtidoiy grafik operatsiyalari - bu graflik tepalarini sanab chiqish, vertikalda ma'lumotlarni saqlash (agar grafik ma'lumotlar tuzilmasining o'zida bo'lmasa, u holda tepalarni indeks sifatida ishlata oladigan ba'zi jadvallarda), tashqi qo'shnilarni sanash. vertexning (old tomonga o'tish qirralari) va vertexning qo'shnilarini sanash uchun (orqaga qarab yo'nalishdagi qirralarning); ammo oxirgisi transpozitsiya grafasining oldinga siljish bosqichida tasvirini qurish bahosisiz amalga oshirilishi mumkin. Algoritm uchun zarur bo'lgan yagona qo'shimcha ma'lumotlar tuzilishi buyurtma qilingan ro'yxatdir L har bir cho'qqini bir marta o'z ichiga oladigan grafik tepaliklarning

Agar kuchli tarkibiy qismlarni har bir komponent uchun alohida ildiz tepasini tayinlash va har bir tepaga uning tarkibiy qismining ildiz tepasini tayinlash orqali ko'rsatish kerak bo'lsa, unda Kosaraju algoritmini quyidagicha ifodalash mumkin.

1. Har bir tepalik uchun siz grafika, belgilang siz chaqirilmagan sifatida. Ruxsat bering L bo'sh bo'ling
2. Har bir tepalik uchun siz grafigi tashrifi (siz), qaerga tashrif buyurish (siz) rekursiv subroutine:

   Agar siz u holda chaqirilmaydi:

   1. Mark siz tashrif buyurganidek.
   2. Har bir tashqi qo'shni uchun v ning siz, do Visit (v).
   3. Prepend siz ga L.

   Aks holda hech narsa qilmang.

3. Har bir element uchun siz ning L tartibda, Assign-ni bajaring (siz,siz) qaerda Assign (siz,ildiz) rekursiv subroutine:

   Agar siz komponentga tayinlanmagan bo'lsa, unda:

   1. Tayinlang siz uning ildizi bo'lgan komponentga tegishli sifatida ildiz.
   2. Har bir qo'shni uchun v ning siz, Assign-ni bajaring (v,ildiz).

   Aks holda hech narsa qilmang.

Trivial variatsiyalar - buning o'rniga har bir tepaga komponent raqamini berish yoki unga tegishli bo'lgan tepaliklarning har bir komponent uchun ro'yxatlarini tuzish. Ko'rilmagan / tashrif buyurilgan ko'rsatkich, vertex uchun ildizning oxirgi tayinlanishi bilan saqlash joyini bo'lishishi mumkin.

Algoritmning asosiy nuqtasi shundaki, grafika qirralarini birinchi (oldinga) o'tish paytida tepaliklar ro'yxatga o'rnatiladi L yilda keyingi buyurtma o'rganilayotgan qidiruv daraxtiga nisbatan. Bu shuni anglatadiki, vertexning ahamiyati yo'q v birinchi marta barcha tepaliklarni sanab chiqishda yoki boshqa tepalikning tashqi qo'shnisi bo'lganligi sababli tashrif buyurgan. siz tashrif buyurgan; nima bo'lsa ham v oldindan belgilanadi L oldin siz bo'ladi, shuning uchun agar oldinga yo'l bo'lsa siz ga v keyin siz oldin paydo bo'ladi v yakuniy ro'yxatda L (agar bo'lmasa siz va v ikkalasi ham bir xil kuchli komponentga tegishli bo'lib, u holda ularning nisbiy tartibi L o'zboshimchalik bilan). Yuqorida aytib o'tilganidek, soddalik algoritmi ishlaydi birinchi chuqurlikdagi qidiruv, lekin u ham xuddi shunday ishlatilishi mumkin kenglik bo'yicha birinchi qidiruv buyurtmadan keyingi xususiyat saqlanib qolguncha.

Algoritmni tepalikning kuchli komponentini aniqlash deb tushunish mumkin siz erishish mumkin bo'lgan tepaliklar to'plami sifatida siz orqaga va oldinga o'tish yo'li bilan. Yozish ${ displaystyle F (u)}$ erishish mumkin bo'lgan tepaliklar to'plami uchun ${ displaystyle u}$ oldinga o'tish yo'li bilan, ${ displaystyle B (u)}$ erishish mumkin bo'lgan tepaliklar to'plami uchun ${ displaystyle u}$ orqaga qarab o'tish va ${ displaystyle P (u)}$ oldin paydo bo'lgan tepaliklar to'plami uchun ${ displaystyle u}$ ro'yxatda L algoritmning 2-bosqichidan so'ng, vertexni o'z ichiga olgan kuchli komponent ${ displaystyle u}$ root sifatida tayinlangan

${ displaystyle B (u) cap F (u) = B (u) setminus (B (u) setminus F (u)) = B (u) setminus P (u)}$.

O'rnatilgan kesishma hisoblash uchun qimmatga tushadi, ammo mantiqan ikki baravarga teng farqni o'rnating, va beri ${ displaystyle B (u) setminus F (u) subseteq P (u)}$ ning yangi duch kelgan elementini tekshirish uchun etarli bo'ladi ${ displaystyle B (u)}$ allaqachon tarkibiy qismga tayinlangan yoki berilmagan.

Murakkablik

Agar grafik yordamida tasvirlangan bo'lsa qo'shni ro'yxat, Kosaraju algoritmi grafaning ikkita to'liq harakatini bajaradi va shuning uchun Θ (V + E) (chiziqli) vaqt ichida ishlaydi, ya'ni asimptotik jihatdan maqbul chunki mos keladigan pastki chegara mavjud (har qanday algoritm barcha tepaliklar va qirralarni tekshirishi kerak). Bu kontseptual jihatdan eng sodda algoritm, ammo amalda u qadar samarali emas Tarjanning kuchli bog'langan komponentlar algoritmi va yo'lga asoslangan kuchli komponent algoritmi, grafaning faqat bitta o'tishini bajaradigan.

Agar grafik an shaklida ko'rsatilsa qo'shni matritsa, algoritm talab qiladi Ο (V²) vaqt.

Adabiyotlar

• Alfred V. Aho, Jon E. Xopkroft, Jeffri D. Ullman. Ma'lumotlar tuzilmalari va algoritmlari. Addison-Uesli, 1983 yil.
• Tomas X. Kormen, Charlz E. Leyzerson, Ronald L. Rivest, Klifford Shteyn. Algoritmlarga kirish, 3-nashr. MIT Press, 2009 yil. ISBN  0-262-03384-4.
• Micha Sharir. Kuchli ulanish algoritmi va uning ma'lumotlar oqimini tahlil qilish uchun qo'llanilishi. Ilovalar bilan ishlaydigan kompyuterlar va matematikalar 7(1):67–72, 1981.

Tashqi havolalar

• Yaxshi matematik, yomon matematik: bir-biriga chambarchas bog'liq komponentlarni hisoblash