感谢各位大佬能抽出时间解答这个疑惑

题目：P6245

这里用n代替F，即岩石个数

本题n最大值1e4,最短路建边复杂度n(n-1)/2。 跑堆优dijkstra的复杂度（n+m）logn，在完全图中m=n*(n-1) 因此理论复杂度上限

(n+m)log(n)+n*(n-1)/2
=[n+n*(n-1)logn]+(n²-n)/2
=2*n²log(n)/2+(n²-n)/2
≈(n²(log(2n)+1))/2
=n²log(4n)/2
=2n²log(√n)

当图里有且只有一条路径时，复杂度达到下限，为 n²/2+常数

可见，当n=1e4时，最短路在理论上必超时

所以，为什么跑最短路不会TLE？有大佬能证明吗？万分感谢！