Mélységi bejárás Az algoritmus elve: Egy kezdőpontból kiindulva addig megyünk egy él mentén, ameddig el nem jutunk egy olyan csúcsba, amelyből már nem tudunk tovább menni, mivel nincs már meg nem látogatott szomszédja. Ekkor visszamegyünk az út utolsó előtti csúcsához, és onnan próbálunk egy másik él mentén tovább menni. Ha ezen az ágon is minden csúcsot már bejártunk, ismét visszamegyünk egy csúcsot, és így tovább.
Stuktogramok
A két ábrán látható ugyanozon gráf különböző elrendezésben. Az alsó ábrán láthatjuk a gráfot az inicializáló lépés lefutását követően. Egy csúcs legyen fehér, ha még nem jutottunk el hozzá a bejárás során Egy csúcs legyen szürke, ha a bejárás során már elértük a csúcsot, de még nem állíthatjuk, hogy az illető csúcsból elérhető összes csúcsot meglátogattuk A csúcs legyen fekete, ha azt mondhatjuk, hogy az illető csúcsból elérhető összes csúcsot már meglátogattuk és és visszamehetünk (vagy már visszamentünk) az idevezető út megelőző csúcsára. A bejárás során tároljuk el, hogy egy csúcsot hányadikként értünk el, azaz hányadikként lett szürke és tároljuk el, hogy hányadikként fejeztük be a csúcs, és a belőle elérhető csúcsok bejárását, azaz a csúcs hányadikként lett fekete. Az említett számokat nevezzük mélységi (bal alsó), illetve befejezési (jobb alsó) számnak és az ábrákon a csúcsok címkéi alatt fogjuk megjeleníteni.
Az 1. csúcsot érjük el elsőként, erre hívjuk meg az MB(u) eljárást
Ki: 1 Ezen a dián az MB(u) eljárás inicializáló lépése utáni állapotot látjuk. A kezdőcsúcsot érjük el elsőként, tehát ezt színezzük szürkére és a mélységi számot 1-re állítjuk.
Szomszéd(1) = [4, 5] Az 1-es csúcsból két él vezet ki. Ezen két él mentén indulhatunk ki, melyek a Szomszéd(1) minimum prioritásos sorban vannak elhelyezve. Ez az adatszerkezet biztosítja, hogy a 4-es csúcsot érjük el másodikként. (Hiszen csak a legelső vagyis a legkisebb kulcsú elemet vehetjük ki a sorból). Ki: 1 MB(1)
Következő lépésben megvizsgáljuk a 4. csúcs színét. Ha fehér, akkor az igaz ág hajtódik végre, melynek során a 4. csúcs szülőpointerét ráállítjuk az 1-es csúcsra és rekurzívan meghívódik az MB(u) eljárás a 4. csúcsra. A rekurzív hívás szerkezetét jobb oldalon láthatjuk. Ki: 1 MB(1) MB(4)
Szomszéd(4) = [7] MB(1) MB(4) Ki: 1, 4 Hasonlóan mint az 1-es csúcsnál, az MB(u) eljárás inicializáló rész lefutása utáni állapotot látjuk: a 4-es csúcs szürke, értékét kiírattuk, a mélységi számot megnöveltük eggyel és feljegyeztük értékét a 4-es csúcshoz.
Szomszéd(4) = [7] MB(1) MB(4) MB(7) Megvizsgáljuk a 4-es csúcshoz tartozó szomszédsági sort. Jelenleg egy eleme van (7), melynek színe fehér ezért ismételten az igaz ág hajtódik végre. Itt a 7 csúcs szülő pointerét ráállítjuk a 4-es csúcsra és rekurzívan meghívjuk az MB(u) eljárást a 7. csúcsra.
MB(1) MB(4) MB(7) Szomszéd(7) = [4, 5, 10] MB(7) eljárás inicializálás utáni állapot. Ki: 1, 4, 7
MB(1) MB(4) MB(7) Szomszéd(7) = [4, 5, 10] Szomszéd(7) első eleme szürke csúcsra mutat ezért továbblépünk a következő elemre. Ki: 1, 4, 7
MB(1) MB(4) MB(7) MB(5) Szomszéd(7) következő eleme az 5 csúcsra mutat. MB(5) fv-t, rekurzívan meghívjuk. Ki: 1, 4, 7 Szomszéd(7) = [4, 5, 10]
MB(1) MB(4) MB(7) MB(5) Ki: 1, 4, 7, 5
MB(1) MB(4) MB(7) MB(5) MB(3) Ki: 1, 4, 7, 5 Szomszéd(5) = [3]
MB(1) MB(4) MB(7) MB(5) MB(3) Ki: 1, 4, 7, 5, 3
Szomszéd(3) = [2,6] MB(1) MB(4) MB(7) MB(5) MB(3) MB(2) Ki: 1, 4, 7, 5, 3
MB(1) MB(4) MB(7) MB(5) MB(3) MB(2) Ki: 1, 4, 7, 5, 3, 2
Szomszéd(2) = [1] MB(1) MB(4) MB(7) MB(5) MB(3) MB(2) Ki: 1, 4, 7, 5, 3, 2
Szomszéd(2) = [1] MB(1) MB(4) MB(7) MB(5) MB(3) MB(2) Ki: 1, 4, 7, 5, 3, 2
MB(1) MB(4) MB(7) MB(5) MB(3) MB(6) Ki: 1, 4, 7, 5, 3, 2 Szomszéd(3) = [6]
MB(1) MB(4) MB(7) MB(5) MB(3) MB(6) Ki: 1, 4, 7, 5, 3, 2, 6
MB(1) MB(4) MB(7) MB(5) MB(3) MB(6) MB(8) Szomszéd(6) = [8] Ki: 1, 4, 7, 5, 3, 2, 6
MB(1) MB(4) MB(7) MB(5) MB(3) MB(6) MB(8) Ki: 1, 4, 7, 5, 3, 2, 6, 8
MB(1) MB(4) MB(7) MB(5) MB(3) MB(6) MB(8) MB(11) Szomszéd(8) = [11, 12] Ki: 1, 4, 7, 5, 3, 2, 6, 8
MB(1) MB(4) MB(7) MB(5) MB(3) MB(6) MB(8) MB(11) Ki: 1, 4, 7, 5, 3, 2, 6, 8, 11
MB(1) MB(4) MB(7) MB(5) MB(3) MB(6) MB(8) MB(11) MB(12) Szomszéd(11) = [12] Ki: 1, 4, 7, 5, 3, 2, 6, 8, 11
MB(1) MB(4) MB(7) MB(5) MB(3) MB(6) MB(8) MB(11) MB(12) Ki: 1, 4, 7, 5, 3, 2, 6, 8, 11, 12
MB(1) MB(4) MB(7) MB(5) MB(3) MB(6) MB(8) MB(11) MB(12) MB(9) Ki: 1, 4, 7, 5, 3, 2, 6, 8, 11, 12 Szomszéd(12) = [9, 11]
MB(1) MB(4) MB(7) MB(5) MB(3) MB(6) MB(8) MB(11) MB(12) MB(9) Ki: 1, 4, 7, 5, 3, 2, 6, 8, 11, 12, 9
MB(1) MB(4) MB(7) MB(5) MB(3) MB(6) MB(8) MB(11) MB(12) MB(9) Szomszéd(9) = [8, 12] Ki: 1, 4, 7, 5, 3, 2, 6, 8, 11, 12, 9
MB(1) MB(4) MB(7) MB(5) MB(3) MB(6) MB(8) MB(11) MB(12) MB(9) Szomszéd(9) = [8, 12] Ki: 1, 4, 7, 5, 3, 2, 6, 8, 11, 12, 9
MB(1) MB(4) MB(7) MB(5) MB(3) MB(6) MB(8) MB(11) MB(12) MB(9) Ki: 1, 4, 7, 5, 3, 2, 6, 8, 11, 12, 9
MB(1) MB(4) MB(7) MB(5) MB(3) MB(6) MB(8) MB(11) MB(12) Szomszéd(12) = [9, 11] Ki: 1, 4, 7, 5, 3, 2, 6, 8, 11, 12, 9
MB(1) MB(4) MB(7) MB(5) MB(3) MB(6) MB(8) MB(11) MB(12) Ki: 1, 4, 7, 5, 3, 2, 6, 8, 11, 12, 9
Szomszéd(11) = [12] MB(1) MB(4) MB(7) MB(5) MB(3) MB(6) MB(8) MB(11) Ki: 1, 4, 7, 5, 3, 2, 6, 8, 11, 12, 9
MB(1) MB(4) MB(7) MB(5) MB(3) MB(6) MB(8) MB(11) Ki: 1, 4, 7, 5, 3, 2, 6, 8, 11, 12, 9
MB(1) MB(4) MB(7) MB(5) MB(3) MB(6) MB(8) Szomszéd(8) = [11, 12] Ki: 1, 4, 7, 5, 3, 2, 6, 8, 11, 12, 9
MB(1) MB(4) MB(7) MB(5) MB(3) MB(6) MB(8) Ki: 1, 4, 7, 5, 3, 2, 6, 8, 11, 12, 9
MB(1) MB(4) MB(7) MB(5) MB(3) MB(6) Szomszéd(6) = [8] Ki: 1, 4, 7, 5, 3, 2, 6, 8, 11, 12, 9
MB(1) MB(4) MB(7) MB(5) MB(3) MB(6) Ki: 1, 4, 7, 5, 3, 2, 6, 8, 11, 12, 9
MB(1) MB(4) MB(7) MB(5) MB(3) Szomszéd(3) = [2,6] Ki: 1, 4, 7, 5, 3, 2, 6, 8, 11, 12, 9
MB(1) MB(4) MB(7) MB(5) MB(3) Ki: 1, 4, 7, 5, 3, 2, 6, 8, 11, 12, 9
MB(1) MB(4) MB(7) MB(5) Ki: 1, 4, 7, 5, 3, 2, 6, 8, 11, 12, 9 Szomszéd(5) = [3]
MB(1) MB(4) MB(7) MB(5) Ki: 1, 4, 7, 5, 3, 2, 6, 8, 11, 12, 9
MB(1) MB(4) MB(7) MB(10) Szomszéd(7) = [4, 5, 10] Ki: 1, 4, 7, 5, 3, 2, 6, 8, 11, 12, 9
Szomszéd(10) = [7, 8, 11] Ki: 1, 4, 7, 5, 3, 2, 6, 8, 11, 12, 9, 10 MB(1) MB(4) MB(7) MB(10)
Szomszéd(10) = [7, 8, 11] MB(1) MB(4) MB(7) MB(10) Ki: 1, 4, 7, 5, 3, 2, 6, 8, 11, 12, 9, 10
Szomszéd(10) = [7, 8, 11] MB(1) MB(4) MB(7) MB(10) Ki: 1, 4, 7, 5, 3, 2, 6, 8, 11, 12, 9, 10
Szomszéd(10) = [7, 8, 11] MB(1) MB(4) MB(7) MB(10) Ki: 1, 4, 7, 5, 3, 2, 6, 8, 11, 12, 9, 10
MB(1) MB(4) MB(7) MB(10)
MB(1) MB(4) MB(7) Szomszéd(7) = [4, 5, 10] Ki: 1, 4, 7, 5, 3, 2, 6, 8, 11, 12, 9, 10
MB(1) MB(4) MB(7) Szomszéd(7) = [4, 5, 10] Ki: 1, 4, 7, 5, 3, 2, 6, 8, 11, 12, 9, 10
MB(1) MB(4) MB(7) Ki: 1, 4, 7, 5, 3, 2, 6, 8, 11, 12, 9, 10
Szomszéd(4) = [7] MB(1) MB(4) Ki: 1, 4, 7, 5, 3, 2, 6, 8, 11, 12, 9, 10
MB(1) MB(4) Ki: 1, 4, 7, 5, 3, 2, 6, 8, 11, 12, 9, 10
Szomszéd(1) = [4, 5] MB(1) Ki: 1, 4, 7, 5, 3, 2, 6, 8, 11, 12, 9, 10
MB(1) Ki: 1, 4, 7, 5, 3, 2, 6, 8, 11, 12, 9, 10