证明最短路径问题是p问题的过程