建议直接将样例加为 hack。
当 K=0 且 1 号点在某个零环上时,很多记忆化搜索代码的判零环会寄掉。因为 f[1][0] 被初始化了,不会向下递归,自然就不会在重复递归到一个状态时找到这个零环。
解决方法是在 K=0 时额外做一遍 dfs(n,1),不贡献到答案上,只是检查零环。
输入
1 2 2 0 10 1 2 0 2 1 0
输出
-1
目前所有数据和 hack 都没有卡掉这个细节,只有样例卡掉了(
@小粉兔