四边形不等式优化

当m满足四边形不等式时，函数s[i, j]具有单调性，可以采用四边不等式优化。

利用s[i, j]的单调性，得到优化的状态转移方程如下：