非线性规划 凸规划 离散线性子集 存在性 向量F-隐补问题 最优化问题 可达性定理 数学规划