AcWing394。 题解中用的方法是记录总松弛次数，超过某一个上限（比如 $10^5$）就退出。感觉正确性显然是难以保证的。但是如果不用这种玄学优化的话又会被卡。所以这题在给定数据范围下真的有能保证通过所有数据的代码吗？或者说，此题是否在卡 SPFA 的状态下可做？

话说从来没有见到判负环的题卡 SPFA 的吧…