3013 毕加猪

$Task$
给定一个图，判断A到B的路径上是否存在负环。

$Solution$
强连通的好处：把图缩点成DAG（有向无环图），用Bellma¬¬_ford算法判断负点，负点所在的强连通分量一定存在负环。
问题转化为：在DAG上，询问A的强联通分量到B的强连通分量的路径上是否存在负强连通分量，等价于询问a点到b到的唯一路径上，是否存在c点，用dfs实现。