代码 and 提交记录

注意这不是讨论区题解

萌新写完 $\mathtt{dijkstra}$ 和 $\mathtt{SPFA}$ 后尝试把 $\mathtt{SPFA}$ 中的队列改成堆，然后意外地发现这玩意在两道模板题中跑的都比自己的 $\mathtt{dijkstra}$ 快，这是有什么原因吗

另外，这种算法有时间复杂度保证吗？