我认为这题就是一个 SPFA 判负环模板,直接按照差分约束建图 l,r,cl,r,cl,r,c 就建 (l,r,c),(r,l,−c)(l,r,c),(r,l,-c)(l,r,c),(r,l,−c) 对吧,然后 SPFA 最短路记录 cntcntcnt 表示一个点的入队次数,如果现在松弛的 vvv 满足 cntv≥ncnt_v\ge ncntv≥n 那就有负环了嘛。然后我这么写(可以通过负环模板),结果在 AT 上 TLE Link,但是改成每次松弛 vvv 时如果原先的 disvdis_vdisv 以及被更新过且不为 disu+wdis_u+wdisu+w 就说明矛盾了,这显然嘛,然后这么做就过了 Link,前一种直接判断负环为啥错了捏。