BZOJ原题链接 洛谷原题链接 很明显的差分约束,但数据范围较大,朴素\(SPFA\)判正环求解会\(T\)(理论上如此,但我看到有挺多人用朴素的还跑得挺快..),所以需要优化. 我们所建立的有向图中所有边的权值只有\(0\)或\(1\),而且若图中有环,那么环上所有边的权值必须为\(0\),否则无解. 所以我们可以用\(tarjan\)找强连通分量并判断每个强连通分量有没有包含权值为\(1\)的边,有则无解. 若有解,就进行缩点,最后得到一张\(DAG\),直接跑\(SPFA\)即可(也可按拓…