对偶约束条件 约束函数 整体最优解 对偶问题 几何规划 目标函数