Ugrás a tartalomhoz

strongly connected component

A Wikiszótárból, a nyitott szótárból
(SCC szócikkből átirányítva)


Főnév

strongly connected component (tsz. strongly connected components)

  1. (informatika) erősen összefüggő komponens

Egy strongly connected component (SCC) egy irányított gráf olyan maximális részhalmaza (komponense), amelyben minden csúcsból elérhető bármely másik csúcs az élek irányát követve.



🔁 Formális definíció

Egy irányított gráf SCC-je olyan csúcshalmaz , amelyre:

  • Minden esetén létezik út -ból -be és -ből -ba.
  • maximális ilyen halmaz, azaz nem bővíthető új csúcs hozzáadásával úgy, hogy a fenti tulajdonság megmaradjon.



🔧 Algoritmusok SCC meghatározására

  1. Kosaraju algoritmus – két DFS futtatása, egyszer az eredeti gráfon, egyszer a transzponált gráfon.
  2. Tarjan algoritmus – egy DFS-alapú algoritmus, amely hatékonyan találja meg az összes SCC-t egyetlen menetben.
  3. Gabow algoritmus – alternatív, veremalapú SCC-meghatározás.



🧠 Példa

Ha egy gráfban:

  • A → B → C → A → D
  • És D → E (de E nem mutat vissza)

Akkor:

  • {A, B, C} egy SCC
  • {D} külön SCC
  • {E} külön SCC



📌 Alkalmazások

  • Programanalízis (pl. függőségi ciklusok detektálása)
  • Webgraf elemzés (pl. összefüggő weboldalcsoportok)
  • Adatfolyam- és vezérlési gráfok optimalizálása
  • Moduláris komponenskeresés szoftverekben és hálózatokban



Összefoglalás

A strongly connected component az irányított gráfok egyik alapvető strukturális eleme, amelyben minden csúcs elérhető bármely másikból. Az SCC-k meghatározása kulcsszerepet játszik a gráfok elemzésében, felbontásában és optimalizálásában.