问题标签 [ms-solver-foundation]

我在一家开发计算内核的公司工作。他们的设计很简单：它是一个 c++ 库，只有一个函数可用于从可用数据中计算结果。

这些内核中的每一个基本上都有四个步骤：

• 检索 xml 内容（格式已在 XSD 文件中定义）并存储到对象中

• 使用上述对象定义一个数学问题

• 使用求解器找到解决方案（或最优解决方案）

• 将结果导出到新的 xml 文件中

目前，我们的资源在能力和兴趣方面非常面向模型（而不是在编程方面）。显然，我们希望使环境尽可能友好和高效。我们正在使用 LinQ 和Microsoft Solver Foundation评估 c# 的使用，以替代 c++ 和自制工具。

我的问题是：

• LinQ 和 Solver Foundation 能做到这一切吗？使用起来有多容易？

• 改变环境对我们的资源（学习和重写的时间、效率等）的收益/损失是什么？

• 我应该考虑其他有趣的选择吗？

我正在研究线性和非线性编程（优化）框架的选项。

要求是：

1. 支持大约线性和非线性规划问题。100-1000 个变量和最多约 1000 个约束（我认为这很简单）。非线性问题具有涉及多个变量的乘法或除法的约束——没有比这更复杂的了。

2. 与 MS 环境（SQL Server、MS Access、.NET、Excel）很好地集成

3. 很高兴能够支持临时问题定义（即某种脚本语言或支持在 Excel 前端定义和解决问题）

4. 我会单独使用 Excel，但我还需要能够以编程方式（.NET 环境）与求解器交互以解决更大的问题。

对于编程访问，我打算为求解器开发一个抽象接口（这样我们可以在需要时更改求解器）。然后我偶然发现了已经有这个接口的MS Solver Foundation ( http://code.msdn.microsoft.com/solverfoundation )。我想知道它是否符合我们的其他要求以及用户对它的看法。

我有以下简单的问题，我想用它来试验MS Solver Foundation：

我有一个时间表，我需要每天有 2 名工人，持续 30 天。我需要遵守以下约束：

• 任何人都不应该连续工作两天。
• 除非有特殊例外，否则人们每周只能工作一次。
• 有些人只能在周末工作。
• 有些人只能在工作日工作。

我计划使用 C# 来填充模型，但我需要帮助才能开始建模。我不确定如何设置决策、参数和约束来解决此类问题。

更新：虽然 ire-and-curses 有一个良好的开端，但我不得不想象有一种更具声明性的方式来使用框架来表达这些约束，而不是必须为每个人单独编码它们。任何更熟悉无国界医生的人可以帮助这个建筑吗？

我有以下简单的问题，我想用它来试验 [MS Solver Foundation][1]：

我有 10 个插槽需要用 1 到 5 范围内的整数填充。我只想强制执行两个约束：

• 槽[n] != 槽[n + 1]
• 所有插槽的总和应大于 20

我可以简单地做出以下决定：

然后手动设置约束，如

然而，我不得不想象有更好的方法来做到这一点——希望在更类似于声明性语法的东西中。

是否可以使用 MSF api 将变量指定为半整数（V = 0或a <= V <= b）？

以下是 LP_Solve 中的一个示例，它使用“sec”和“int”关键字来指示变量是半连续的和整数的。

无国界医生中类似的东西会很好。我注意到可以在 MSF 中调用 Gurobi 插件 DLL，但是我在该 api 中找不到能够正确设置变量类型的任何地方（我认为 Gurobi 将其称为 VTYPE），所以我认为它是没有在他们的 .net api 中公开或在 MSF 使用的 Gurobi 版本中不可用？或者，有没有一种从.NET 调用 LP_Solve 的好方法？

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

请考虑我的实际模型在完成后应该包括一些约束，形式为 a a + b a <= someValue，所以如果我最终愿意做的事情不受支持，请提前告诉我。如果是这种情况，我也会感谢其他一些具有我可以使用的 .NET 友好界面的求解器的建议（请仅使用知名的商业软件包）。

提前致谢

我想将结果限制为只有平方数（我正在使用 excel 插件）。我该如何执行？

如，在 X 是平方数的条件下最小化目标 X。

我试图弄清楚以下简单的问题，以便熟悉 Solver Foundation。

我有 8 小时，1 个房间和 3 位老师。每位教师必须举办 2 节课，每次 1 小时，每位教师不得连续举办 2 节课。我很难找出如何为其中包含时间的东西建模。如何将其建模为数学方程？

我不是在寻找执行此操作的代码块，而是在寻找解释或可能是我可以阅读的一些资源。

提前致谢。

有谁知道任何可以解决线性约束数学模型的简单求解器？示例一个简单的模型：

我正在使用 MS Solver 基础，这是我的 C# 代码，但它抛出 UnsolvableModelException：

谢谢你的帮助

编辑：

因为 int CSP(constraint sstisfaction programming) 问题，解决它时不应该使用任何指令。代码应该是：

但是，我不知道为什么我跑得很慢我只需要解决方案集中的第一个解决方案。

使用 Microsoft Solver Foundation for CLP 有哪些缺点？Solver 在 Express/Standard 版本中确实有一些支持，但可以想象，除了最基本的约束编程之外，还需要购买昂贵的 Gurobi / Knitro 附加组件来完成任何事情。

纯粹考虑它的 CLP 功能，Solver 与 ECLiPSe 相比如何？