证明在这里 https://web.engr.oregonstate.edu/~glencora/wiki/uploads/dijkstra-proof.pdf
如果使用单调队列实现的版本, 保证的不是被更新一次,而是弹出队列的不再被更新