一 优化的理论基础