规划求解怎么添加二进制约束