SCIP标志的作用是什么？

Question

我是SCIP的新手，已经阅读了一些示例问题和文档，但是仍然不确定如何为SCIP求解器提出以下问题：

argmax(w) sum(sign(Aw) == sign(b))

其中A是nxm矩阵，w是mx1向量，而b是nx1向量。数据类型为浮点数/实数，这是一个无约束的问题。

A和b的值也按行包含在.txt文件中。我该如何导入？

总体-我不熟悉SCIP，不知道如何开始创建变量（尤其是目标函数值参数），导入数据，制定目标函数……这有点我很想问这个问题，但是您的帮助表示感谢！

Answer 1

这应该有效：

其中beta(i) = sign(b(i))。可以使用指标约束来实现含义。这样我们就不需要大M了。

>= 0约束最有可能应该为>= 0.0001（否则我们可以设置所有w(j)=0）。