Dinics algoritması - Dinics algorithm - Wikipedia

Dinic'in algoritması veya Dinitz algoritması bir kuvvetli polinom hesaplamak için algoritma maksimum akış içinde akış ağı, 1970 yılında İsrailli (eski adıyla Sovyet) bilgisayar bilimcisi Yefim (Chaim) A. Dinitz tarafından tasarlandı.^[1] Algoritma çalışır ${ displaystyle O (V ^ {2} E)}$ zaman ve benzer Edmonds-Karp algoritması hangi koşuyor ${ displaystyle O (VE ^ {2})}$ en kısa artırma yollarını kullandığı için. Kavramlarının tanıtımı seviye grafiği ve engelleme akışı Dinic'in algoritmasının performansına ulaşmasını sağlar.

Tarih

Yefim Dinitz, bu algoritmayı sınıf öncesi bir alıştırmaya yanıt olarak icat etti. Adelson-Velsky algoritmaları sınıfı. O sırada, söz konusu olay ile ilgili temel gerçeklerin farkında değildi. Ford – Fulkerson algoritması.^[2]

Dinitz, 1970 yılında dergide yayınlanan algoritmasını Ocak 1969'da icat ettiğinden bahsediyor. Doklady Akademii Nauk SSSR. 1974'te Shimon Even ve (o zamanki doktora öğrencisi) Alon Itai, Technion Hayfa'da Dinitz'in algoritması çok meraklı ve ilgisini çekmişti. Alexander V. Karzanov akışı engelleme ile ilgili bir fikir. Bununla birlikte, derginin kısıtlamalarını karşılamak için her biri dört sayfayla sınırlı olan bu iki makaleyi deşifre etmek zordu. Doklady Akademii Nauk SSSR. Hatta pes etmedi ve üç günlük çabanın ardından, katmanlı ağ bakımı sorunu dışında her iki belgeyi de anlamayı başardı. Sonraki birkaç yıl içinde, "Dinic'in algoritması" üzerine konferanslar verdi, yazarın adını yanlış telaffuz ederken onu popülerleştirdi. Even ve Itai de bu algoritmaya katkıda bulundu. BFS ve DFS, algoritma şimdi yaygın olarak bu şekilde sunulmaktadır.^[3]

Ford-Fulkerson algoritması icat edildikten sonra yaklaşık 10 yıl boyunca, genel irrasyonel sınır kapasiteleri durumunda polinom zamanda sonlandırmanın yapılıp yapılamayacağı bilinmiyordu. Bu, genel durumlarda maksimum akış problemini çözmek için bilinen herhangi bir polinom-zaman algoritmasının eksikliğine neden oldu. Dinitz'in algoritması ve Edmonds-Karp algoritması (1972'de yayınlanmıştır) her ikisi de bağımsız olarak, Ford-Fulkerson algoritmasında, her artırma yolunun en kısa yol olması durumunda, artırma yollarının uzunluğunun azalmadığını ve algoritmanın her zaman sona erdiğini gösterdi.

Tanım

İzin Vermek ${ displaystyle G = ((V, E), c, f, s, t)}$ ile ağ olmak ${ displaystyle c (u, v)}$ ve ${ displaystyle f (u, v)}$ kenar kapasitesi ve akışı ${ displaystyle (u, v)}$, sırasıyla.

artık kapasite bir haritalama ${ displaystyle c_ {f} iki nokta üst üste V times V ila R ^ {+}}$ olarak tanımlanır,

1. Eğer ${ displaystyle (u, v) E’de}$,

   ${ displaystyle c_ {f} (u, v) = c (u, v) -f (u, v)}$

2. ${ displaystyle c_ {f} (u, v) = 0}$ aksi takdirde.

artık grafik ağırlıksız bir grafiktir ${ displaystyle G_ {f} = ((V, E_ {f}), c_ {f} | _ {E_ {f}}, s, t)}$, nerede

${ displaystyle E_ {f} = {(u, v) in V times V kolon ; c_ {f} (u, v)> 0 }}$.

Bir artırma yolu bir ${ displaystyle s}$–${ displaystyle t}$ kalıntı grafikteki yol ${ displaystyle G_ {f}}$.

Tanımlamak ${ displaystyle operatorname {dist} (v)}$ en kısa yolun uzunluğu olmak ${ displaystyle s}$ -e ${ displaystyle v}$ içinde ${ displaystyle G_ {f}}$. Sonra seviye grafiği nın-nin ${ displaystyle G_ {f}}$ grafik ${ displaystyle G_ {L} = ((V, E_ {L}), c_ {f} | _ {E_ {L}}, s, t)}$, nerede

${ displaystyle E_ {L} = {(u, v) in E_ {f} kolon ; operatöradı {dist} (v) = operatöradı {dist} (u) +1 }}$.

Bir engelleme akışı bir ${ displaystyle s}$–${ displaystyle t}$ akış ${ displaystyle f}$ öyle ki grafik ${ displaystyle G '= ((V, E_ {L}'), s, t)}$ ile ${ displaystyle E_ {L} '= {(u, v) iki nokta üst üste ; f (u, v)$ içermez ${ displaystyle s}$–${ displaystyle t}$ yol.^[4][5]

Algoritma

Dinic Algoritması

Giriş: Ağ ${ displaystyle G = ((V, E), c, s, t)}$.

Çıktı: Bir ${ displaystyle s}$–${ displaystyle t}$ akış ${ displaystyle f}$ maksimum değer.

1. Ayarlamak ${ displaystyle f (e) = 0}$ her biri için ${ displaystyle e E’de}$.
2. İnşaat ${ displaystyle G_ {L}}$ itibaren ${ displaystyle G_ {f}}$ nın-nin ${ displaystyle G}$. Eğer ${ displaystyle operatorname {dist} (t) = infty}$, dur ve çıktı ${ displaystyle f}$.
3. Engelleyen bir akış bulun ${ displaystyle f '}$ içinde ${ displaystyle G_ {L}}$.
4. Arttırma akışı ekle ${ displaystyle f}$ tarafından ${ displaystyle f '}$ ve 2. adıma geri dönün.

Analiz

Her engelleme akışındaki katman sayısının her seferinde en az 1 arttığı ve bu nedenle en fazla olduğu gösterilebilir. ${ displaystyle | V | -1}$ algoritmada akışları engelleme. Her biri için:

• seviye grafiği ${ displaystyle G_ {L}}$ tarafından inşa edilebilir enine arama içinde ${ displaystyle O (E)}$ zaman
• seviye grafiğindeki engelleyici bir akış ${ displaystyle G_ {L}}$ Içinde bulunabilir ${ displaystyle O (VE)}$ zaman

toplam çalışma süresi ile ${ displaystyle O (E + VE) = O (VE)}$ her katman için. Sonuç olarak, Dinic'in algoritmasının çalışma süresi ${ displaystyle O (V ^ {2} E)}$.^[6]

Adlı bir veri yapısını kullanma dinamik ağaçlar, her aşamada bir tıkanma akışı bulmanın çalışma süresi azaltılabilir ${ displaystyle O (E log V)}$ ve bu nedenle Dinic'in algoritmasının çalışma süresi şu şekilde iyileştirilebilir: ${ displaystyle O (VE log V)}$.

Özel durumlar

Birim kapasiteye sahip ağlarda, çok daha güçlü bir zaman sınırı vardır. Her engelleme akışı şurada bulunabilir: ${ displaystyle O (E)}$ zaman ve aşama sayısının geçmediği gösterilebilir ${ displaystyle O ({ sqrt {E}})}$ ve ${ displaystyle O (V ^ {2/3})}$. Böylece algoritma çalışır ${ displaystyle O ( min {V ^ {2/3}, E ^ {1/2} } E)}$ zaman.^[7]

Ortaya çıkan ağlarda iki taraflı eşleştirme problem, fazların sayısı ile sınırlıdır ${ displaystyle O ({ sqrt {V}})}$, bu nedenle ${ displaystyle O ({ sqrt {V}} E)}$ zaman sınırı. Ortaya çıkan algoritma aynı zamanda Hopcroft – Karp algoritması. Daha genel olarak, bu sınır herhangi bir birim ağı - kaynak ve havuz haricindeki her bir tepe noktasının tek bir kapasite giriş kenarına sahip olduğu veya tek bir kapasite çıkış kenarına sahip olduğu ve diğer tüm kapasitelerin keyfi tamsayılar olduğu bir ağ.^[5]

Misal

Aşağıdaki, Dinic'in algoritmasının bir simülasyonudur. Seviye grafiğinde ${ displaystyle G_ {L}}$kırmızı etiketli köşeler değerlerdir ${ displaystyle operatorname {dist} (v)}$. Mavi renkli yollar engelleyici bir akış oluşturur.

	${ displaystyle G}$	${ displaystyle G_ {f}}$	${ displaystyle G_ {L}}$
1.
	Engelleme akışı şunlardan oluşur: ${ displaystyle {s, 1,3, t }}$ 4 birim debili, ${ displaystyle {s, 1,4, t }}$ 6 birim akışlı ve ${ displaystyle {s, 2,4, t }}$ 4 adet debi ile. Bu nedenle, engelleme akışı 14 birimdir ve akış değeri ${ displaystyle | f |}$ 14. Engelleme akışındaki her bir artırma yolunun 3 kenarlar.
2.
	Engelleme akışı şunlardan oluşur: ${ displaystyle {s, 2,4,3, t }}$ 5 birim akış ile. Bu nedenle, engelleme akışı 5 birimdir ve akış değeri ${ displaystyle | f |}$ 14 + 5 = 19. Her artırma yolunun 4 kenarı olduğuna dikkat edin.
3.
	Dan beri ${ displaystyle t}$ ulaşılamaz ${ displaystyle G_ {f}}$algoritma, maksimum 19 değerinde bir akışı sonlandırır ve döndürür. Her engelleme akışında, artırma yolundaki kenarların sayısının en az 1 arttığını unutmayın.

Ayrıca bakınız

• Ford – Fulkerson algoritması
• Maksimum akış sorunu

Notlar

Referanslar

• Yefim Dinitz (2006). "Dinitz 'Algoritması: Orijinal Sürüm ve Even'in Sürümü" (PDF). İçinde Oded Goldreich; Arnold L. Rosenberg; Alan L. Selman (editörler). Teorik Bilgisayar Bilimi: Hafızasında Denemeler Shimon Bile. Springer. s. 218–240. ISBN  978-3-540-32880-3.
• Tarjan, R. E. (1983). Veri yapıları ve ağ algoritmaları.CS1 bakimi: ref = harv (bağlantı)
• B. H. Korte; Jens Vygen (2008). "8.4 Akışları Engelleme ve Fujishige Algoritması". Kombinatoryal Optimizasyon: Teori ve Algoritmalar (Algoritmalar ve Kombinatorikler, 21). Springer Berlin Heidelberg. sayfa 174–176. ISBN  978-3-540-71844-4.