建反图然后二分答案，跑分层图bfs，fij 表示从 n 到 i 路径mod k = j 的 j max。

是对的吗？大样例过了。