我们可以通过（ ）来验证模型最优解。