T2的差分约束建出来了,还过拍了

但是写了某知名最短路算法,还是写的广搜判负环,然后显然T飞了,300大概$5s$跑出来,$b=0/1$要快很多但是还是有点危

所以判负环到底怎么做,图有$600$个节点,边几乎是完全图