‏使用了重标号操作后，至多存在一条边(u，v)满足h(u)=h(v)+.‎