Изменения
→Жадный Алгоритм
===Корректность===
Данная идея корректна, поскольку блокирующий поток всегда найдётся<tex>dfs</tex> найдёт все пути из <tex>s</tex> в <tex>t</tex>, если из <tex>s</tex> достижима <tex>t</tex>, поэтому блокирующий поток всегда найдётся.
===Асимптотика===