约束问题的线性化方法