lingo在求解非线性规划时,离散型变量的约束问题