我是SCIP的新手并阅读了一些示例问题和文档，但我仍然不确定如何为SCIP求解器制定以下问题：
argmax(w) sum(sign(Aw) == sign(b))
其中 A 是nxm矩阵， w 是mx1向量， b 是nx1向量 . 数据类型是浮点数/实数，它是一个无约束的问题 .
A 和 b 的值也在.txt文件中按行包含 . 我该如何导入？
Overall - 我是SCIP的新手，不知道如何开始创建变量（特别是目标函数值参数），导入数据，制定目标函数......对我来说这个问题有点过分了，但是你的感谢帮助！
1 回答
这应该工作：
哪里
beta(i) = sign(b(i)). 可以使用指标约束来实现含义 . 这样我们就不会't need big-M' .很可能
>= 0约束应该是>= 0.0001（否则我们可以设置所有w(j)=0） .