如何证明每一种路径（可能最优的路径）多出来的长度都一一对应了一个s和t的对应绝对值之差呢？

题解都是感觉，没有严格证明的。

Orz求大佬解救。