Son teknoloji Maksimum Akış algoritmalarının herhangi biri pratikte var mı?

İçin maksimum akış problemi , geçen yıl olduğu gibi gelişmiş en az biri ile, çok sofistike algoritmalar bir dizi var gibi görünüyor. Orlin'in Maks. O (mn) zamanda akar ya da daha iyisi , O (VE) ile çalışan bir algoritma verir.

Öte yandan, en sık uyguladığım algoritmalar şöyle:

• Edmonds-Karp: ,$O(VE^2)$
• Push-relabel: FIFO vertex seçimini kullanarak veya O ( V 3 ) ,$O(V^2 E)$$O(V^3)$
• Dinic'in Algoritması: .$O(V^2 E)$

Asimptotik çalışma süresi daha iyi olan algoritmalar gerçek dünyada problem boyutları için pratik değil midir? Ayrıca, "Dinamik Ağaçlar" ın birkaç algoritmaya karıştığını görüyorum; Bunlar hiç pratikte kullanılıyor mu?

Not: Bu soru başlangıçta yığın taşması ile ilgili olarak burada sorulmuştu , ancak bunun burada daha uygun olacağı söylendi.

EDIT : cs.stackexchange'te , özellikle de bu soruyu izleyen kişiler için ilgi çekebilecek dinamik ağaçlar (aka link-cut ağaçlar) kullanan algoritmalar hakkında ilgili bir soru sordum .

Ben yukarıda bağlantı verilen makalenin yazarlarından biriyim.

Sadece, bilgisayarlı görüşte ortaya çıkan maksimum akış örneklerinde iyi performans gösteren algoritmaları (kamuya açık uygulamaları olan) kastetmek için “son teknoloji” kullandığımızı belirtmek istiyorum.

Ayrıca, bu dar (henüz pratik) bağlamda, genellikle iyi performans gösteren algoritmaların zayıf teorik garantileri olanları da eklediğimi de belirtmek isterim. Örneğin, makalemizdeki [Boykov-Kolmogorov algoritması] makalemizden ref [5], bilgisayarlı görme topluluğunda yaygın olarak kullanılmaktadır, ancak çok zaman aralıklı bağlı çalışma süresine sahip değildir.

Son olarak, birinin ilgilenmesi durumunda, deneylerimizden elde edilen veriler burada bulunabilir: http://ttic.uchicago.edu/~dbatra/research/mfcomp/index.html

Kod yakında da mevcut olacak.

Bu soruyu cevaplamanın birkaç yolu vardır, ancak mutlaka bir fikir birliği cevabı yoktur. genel olarak kamu dağıtımı için uygulanan ve yayımlanan algoritmalar "pratiktir". bununla birlikte, ancak henüz uygulanmayan bazı algoritmalar pratik olabilir, fakat tabiri caizse "jüri çıktı". **

pratik amaçlar için iyi bir strateji bir anket aramaktır. Ayrıca, pratik algoritmalar ile ilgilenenler için, gerçek dünya verilerine karşı olan ölçütler, beklenen "gerçek dünya" davranışları konusunda mükemmel bir rehber olabilir.

bir kıyaslama anketi yeterli olabilir ancak uygulanabilir algoritmalar tarafında hatalar olacaktır. Bu, maksimum akışın birçok uygulamaya sahip olduğu, göreceli olarak kıyaslanan 14 "son teknoloji ürünü" maksimum akış algoritmasının ampirik olarak karşılaştırıldığı yakın tarihli ve kapsamlı bir deneysel analizdir. "Uygulanan" algoritmalara atıfta bulunmak için "son teknoloji" kullanılmaktadır.

[1] MaxFlow, Tekrar Görüldü: Yoğun Görme Problemleri için Maxflow Algoritmalarının , Verma ve Batra ile Yapılan Ampirik Bir Karşılaştırması , 2012

** bazı teorik algoritmalar, TCS topluluğunda, resmi olarak "galaktik" olarak adlandırılan, gayrı resmi olarak "galaktik" olarak adlandırılan bir kategoridedir, ancak ne yazık ki, TCS yazarları, bu kategorideki algoritmalarını şu anda açıkça etiketlememiştir ve "galaktik" algoritmalar, her ne kadar referans vardır bloglar .

Bu anlamda pratiklik, teorik çalışma için muhtemelen yeni ortaya çıkan bir boyuttur. İdeal olarak, özellikle bu "pratik" eksen / kriterler üzerinde, ancak muhtemelen yazı olarak bulunmayan bir maksimum akış algoritması araştırması olacaktır. TCS'de henüz tam olarak resmileştirilmemiş, daha yakın bir zamanda tanınan / kabul gören bir kavramdır (örneğin, P algoritmalarının "etkin" olarak yaygın olarak kabul edilmesinin aksine).

Goldberg, Hed, Kaplan, Tarjan ve Werneck tarafından Artan Genişlikli İlk Arama ile Maksimum Akış ilginizi çekebilir

http://research.microsoft.com/pubs/150437/ibfs-proc.pdf http://www.cs.tau.ac.il/~sagihed/ibfs/