More precisely, given a graph G {\displaystyle G} , let O = ( v 1 , … , v n ) {\displaystyle O=(v_{1},\dots ,v_{n})} be the ordering computed by the standard recursive DFS algorithm.
Mai precis, având un graf  G {\displaystyle G} , fie  O = ( v 1 , … , v n ) {\displaystyle O=(v_{1},\dots ,v_{n})} ordonarea calculată prin algoritmul DFS standard recursiv.