四边形不等式优化