Microsoft Solver Foundation 约束

Question

我正在尝试使用 Microsoft Solver Foundation 2 来解决一个相当复杂的情况，但是即使我尽可能地简化模型，我也会遇到 UnsupportedModelException。
有谁知道我做错了什么？
以下是重现问题行为所需的最少示例。

var ctx = SolverContext.GetContext();
var model = ctx.CreateModel();
var someConstant = 1337.0;

var decisionA = new Decision(Domain.Real, "decisionA");
var decisionB = new Decision(Domain.Real, "decisionB");
var decisionC = new Decision(Domain.Real, "decisionC");

model.AddConstraint("ca", decisionA <= someConstant);
model.AddConstraint("cb", decisionB <= someConstant);
model.AddConstraint("cc", decisionC <= someConstant);

model.AddConstraint("mainConstraint", Model.Equal(Model.Sum(Model.Abs(decisionA), decisionB, decisionC), someConstant))

model.AddDecisions(decisionA, decisionB, decisionC);

model.AddGoal("myComplicatedGoal", GoalKind.Minimize, decisionC);

var solution = ctx.Solve();

solution.GetReport().WriteTo(Console.Out);

Console.ReadKey();

请考虑一下，一旦完成，我的实际模型应该包括一些 aa+ba

提前致谢

Answer 1

我认为您需要先将决策添加到模型中，然后再在约束中使用它们。如果您在创建决策后添加此行，您的代码对我有用：

model.AddDecisions(decisionA, decisionB, decisionC);

内森

Answer 2

从此链接获取源并尝试（它有几个 Model.Abs）。如果它死了，那么您的设置有问题，最短的解决方案是卸载、重新启动并重新安装。

http://geekswithblogs.net/cyoung/archive/2009/02/25/129672.aspx

好的，既然你提到了二次约束，至少 Express 版本肯定不支持它们：

http://code.msdn.microsoft.com/solverfoundation/Thread/View.aspx?ThreadId=2756

企业版可能会，但它要花费 $$$$-如果您有“学术企业”，它仍然没有 Gurobi 求解器，因此在考虑放弃您的资金之前，最好向他们发送具体问题 (http://gurobi.com/) 并询问为了一些保证，以防他们说它会处理它但它没有。