Floyd-Warshall Algoritması

Floyd-Warshall Algoritması, çizge teorisinde kullanılan ve tüm düğüm çiftleri arasındaki en kısa yolları bulmak için tasarlanmış bir algoritmadır. Bu algoritma, dinamik programlama yaklaşımını kullanır ve hem pozitif hem de negatif ağırlıklı kenarlara sahip çizgelerde çalışabilir (ancak negatif ağırlıklı döngüler içermemelidir). Algoritma, 1962 yılında Robert Floyd ve Stephen Warshall tarafından bağımsız olarak geliştirilmiştir.

Floyd-Warshall Algoritması, bir çizgedeki tüm düğüm çiftleri arasındaki en kısa yolları bulmak için kademeli bir yaklaşım kullanır. Algoritma, her adımda bir ara düğüm ekleyerek en kısa yolları günceller.

1- Başlangıç:

• Çizgenin komşuluk matrisi kullanılır. Bu matris, düğümler arasındaki doğrudan kenar ağırlıklarını içerir.
• Eğer iki düğüm arasında doğrudan bir kenar yoksa, mesafe sonsuz (∞) olarak ayarlanır.
• Her düğümün kendisine olan mesafesi 0 olarak belirlenir.

2- Dinamik Programlama Yaklaşımı:

• Algoritma, her bir düğümü ara düğüm olarak kullanır ve tüm düğüm çiftleri arasındaki mesafeleri günceller.
• Her adımda, bir düğüm k ara düğüm olarak seçilir ve tüm (i,j) düğüm çiftleri için şu formül uygulanır: dist[i][j] = min(dist[i][j], dist[i][k] + dist[k][j])

Burada:

• dist[i][j]: i ve j düğümleri arasındaki mevcut en kısa mesafe.
• dist[i][k]: i ve k düğümleri arasındaki mesafe.
• dist[k][j]: k ve j düğümleri arasındaki mesafe.

3- Tüm Ara Düğümlerin İşlenmesi:

• Algoritma, tüm düğümleri sırayla ara düğüm olarak kullanır ve her adımda mesafeleri günceller.
• Bu işlem, tüm düğümler ara düğüm olarak kullanılana kadar devam eder.

4- Sonuç:

• Algoritma tamamlandığında, dist[i][j] matrisi, tüm (i,j) düğüm çiftleri arasındaki en kısa mesafeleri içerir.

^{Floyd-Warshall Algoritması örneği}

Floyd-Warshall Algoritması'nın zaman karmaşıklığı O(V3)'tür, burada V düğüm sayısını temsil eder. Bu, algoritmanın büyük çizgelerde yavaş olabileceği anlamına gelir, ancak tüm düğüm çiftleri arasındaki en kısa yolları bulmak için etkili bir yöntemdir.

• Negatif Ağırlıklı Döngüler: Algoritma, negatif ağırlıklı döngüler içeren çizgelerde doğru sonuç vermez.
• Büyük Çizgeler: O(V3) zaman karmaşıklığı nedeniyle, çok büyük çizgelerde verimli değildir.