Чем я не хочу заниматься в пол-второго ночи: валидировать корректность графов. DFS я, конечно, давно не писал