https://123dok.net/document/yngnkxw0-the-watchman-s-walk-problem-on-directed-graphs.html