用优先队列实现状态图的最短路算法，可以有两种方法（在更新其他点权值时）： 
用s表示状态，w表示该状态下的权值。 
1。不更新队列中已经存在的，而是往队列中插入生成的新状态（s,w'）,这个时候，（s,w）和（s,w'）都在队列中。 
2。更新在队列中的（s,w）为（s,w'）。 
显然第一种对于空间要求更多一些，那么在时间上到底哪个更优？ 
总体（时间+空间）上哪个更优？