Теория по поиску в глубину (вплоть до весьма продвинутой)