Bölüm 4.1 · Simülasyon

Topolojik Sıralama, SCC ve Eklem Noktaları

← Bölüm 4.1
DAG

Çizge Yapısı Algoritmaları

Küçük örnek çizgeler üzerinde üç çizge yapısı algoritması çalışır. Her düğme kendi örnek çizgesini yükler ve algoritmayı onun üzerinde çalıştırır.

Kullanım

  • Topolojik Sıralama: yönlü döngüsüz bir çizgede (DAG) Kahn algoritmasını çalıştırır. Her düğümün üzerindeki rozet, düğümün sıradaki yerini gösterir.
  • SCC: yönlü bir çizgede Kosaraju algoritmasını çalıştırır; her güçlü bağlantılı bileşen kendi rengini ve kesikli çerçevesini alır.
  • Eklem Noktaları: yönsüz bir çizgede DFS low-link yöntemini çalıştırır; eklem noktaları vurgulanır, DFS ağacının kenarları kalın çizilir.
  • Sıfırla: DAG'ı sonuçsuz gösterir.

Notlar

Topolojik sıralama yalnızca DAG'lara uygulanır. Güçlü bağlantılı bileşenler yönlü bir çizgeyi, içindeki her düğümün diğerine ulaşabildiği en büyük gruplara ayırır. Eklem noktaları, yönsüz bir çizgeden çıkarıldığında bileşen sayısını artıran düğümlerdir.

AlgoritmaFikirSüre
Kahn (topolojik sıralama)Giriş derecesi 0 olan bir düğümü tekrar tekrar çıkarO(V + E)
Kosaraju (SCC)DFS bitiş sırası, ardından ters çevrilmiş çizgede DFSO(V + E)
Eklem noktalarıKeşif zamanı ve low-link değerleriyle DFSO(V + E)

Kök olmayan bir u düğümü, bir DFS çocuğu v için low[v] ≥ disc[u] ise eklem noktasıdır; DFS kökü ise birden çok DFS çocuğu varsa eklem noktasıdır.