kezdetben minden v csúcsra bejárt[v] := hamis
dfs(v):
bejárt[v] := igaz
v feldolgozása
Ciklus v minden w szomszédjára
Ha bejárt[w] = hamis akkor dfs(w) Elágazás vége
Ciklus vége
Eljárás vége
Gyémánt öröklődés