17.2 优化的理论基础