当一层循环执行完后，m_vMat[i1][i2]表示经过[0,i)中的任意个点的最短距离。
初始状态下, m_vMat[i1][i2]表示直达的最小距离，也就是经过0个点。
通过[0,i)中任意个点，i1到i2的最短路径记为PrePathi1i2，通过[0,i+1)中任意个点，i1到i2的距离的路径为Pathi1i2，如果Path不经过Pathi1i2，则和PrePathi1i2相同。如果经过则可以拆分成{i1…i}+{i…i2}，显然{i1…i}是PrePathi1i,{i…i2}是PrePathii2，否则替换成PrePathi1i和PrePathii2。
m_vMat同时表示PreMath和Math，如果m_vMat[i1][i]或m_vMat[i][i2]已经更新，会带来错误的结果么？结果是不会，会更新但值不变。
当i1等于i时：
m_vMat[i][i2] = min(…, m_vMat[i][i] + m_vMat[i][i2]);
由于m_vMat[i][i]为0,所以右式就是左式。
当i2等于i时，类似。
