目前已知三种方法：

• 判入队次数是否不小于 $n$。

• 判源点到某个点最短路所经点数是否不小于 $n$。

• 判某个点松弛次数是否不小于 $n$。

第一个很慢；前两个正确性很好理解。

请问第三个正确性要怎么说明？ /yun

像在 P7515 中，前两个都会被卡爆，但第三个跑得飞快。