证明floyd算法利用了最优子结构