А, понял, я тупой. При обходе графа с возможными циклами, конечно же, O(|V|) и будет. При обходе дерева, соответственно, константной памяти достаточно.