列和约束生成算法