问题标签 [solver]

我希望这对某人来说是显而易见的。我只使用了 GLPK/MathProg。我无法弄清楚 GNU MathProg（在 GLPK 中）执行以下操作的语法，例如：

问题是这被 MathProg 拒绝了。

一般来说，我只想能够： - 声明一个分区（这里是 PartsOfWeek）和一个集合（这里是 Weekdays） - 从数据构建分区 - 用分区中集合的元素填充集合。

一个更好的例子可能是季节和月份。

我正在编写一个算法c++，我有一个主问题和一个子问题。所以我两次调用 cplex 求解器。第一次是当我称之为解决主要问题时，这是我的代码：

但它不起作用！当我把它不打印它cout<<"1" << endl;之后。IloCplex cplex_master(env);

假设我在一些变量之间有一些已知的关系，例如a = b + c和一个起始解决方案，例如a=2, b=1, c=1。我正在编写一些代码，例如，给定更新a=3，我更新 and 的值，b以便c仍然满足关系，例如设置b=2（显然有很多可能性，我只需要一个）。

在实践中，有很多关系，它们不是线性的。该代码通过用户为每个变量提供函数作为其他变量的函数来工作，例如a(b,c)、b(a,c)和c(a,b)。然后我构建一个依赖关系图，当一个值发生变化时，我会执行广度优先搜索之类的操作来更新其他值。这似乎可行，但我不禁认为我正在重新发明轮子，这是一些众所周知的计算机科学/图论问题。也许甚至还有一个包裹？

谁能提供一些链接或一些关于我正在解决的问题的见解？

有什么好的工具可以解决 Linux 上的整数程序吗？

我有一个小问题要计算以节省时间：D。这是一种子集和问题。我有一个大约 20 个整数值的列表，我想计算满足某个最小值的最小总和的子集。你可以用一个整数程序来制定这个......就像

和

还是有其他好方法可以做到这一点？

我正在为一个解决数独难题的课程编写一个 c 程序。我们应该实现三种方法，首先它在每个只有一个可能选择的方格中放置正确的数字，重复直到找不到任何选择。接下来，它使用蛮力，在每个方格中放置尽可能小的数字。我有这两种方法工作。最后一种方法是带有回溯的蛮力，它是蛮力功能的一部分。它的工作方式与常规蛮力相同，只是它到达一个无法放置数字的方格，它会移动到前一个方格并放置下一个最高数字。一旦实现这一点，这应该可以解决所有给定的数独难题，但这是我遇到麻烦的地方。

我已经实现了所有这三种方法，并且给了我们不同的数独谜题示例，有些可以仅使用第一个“单选”方法解决，有些可以仅使用“单选”和“暴力破解”解决回溯”和其他使用“单一选择”和“带有回溯的蛮力”的人。我的程序既适用于“单选”谜题，也适用于“单选”和“没有回溯的蛮力”谜题。但是，它不适用于“单一选择”和“带有回溯的蛮力”难题。

虽然我不明白的奇怪部分是，对于回溯谜题，程序在蛮力函数被调用之前就停止了工作。

这是我的主要功能：

我使用"printf("a\n")" 来显示程序停止工作的位置。

这是一个有效的输出示例。这是一个使用“单选”方法和“无回溯的蛮力”工作的数独游戏示例。请注意，零代表拼图中的空格。：

这是一个不起作用的输出示例。这是一个必须使用“单选”和“回溯蛮力”解决的示例难题：

程序继续运行，就好像它处于无限循环中，而 ^C 是我退出程序。如您所见，该程序甚至从未到达它在数独谜题中读取的正下方的 printf("a")，甚至在它调用“带有回溯的蛮力”函数之前，这很奇怪，因为它只是谜题这需要蛮力和不工作的回溯。

这是似乎卡在上面的 readSudoku 函数：

这是实施了回溯的蛮力功能

这是一个非常奇怪的问题，对我来说完全没有意义，任何帮助表示赞赏。

是否有任何java库可以重新排列方程如下：

我搜索了很多，但我发现的大多数库只能求解方程（通过找到满足方程的值）但不能重新排列。

谢谢

我正在使用 Microsoft 的 Z3 对动态观察进行一些简单的分析。作为其中的一部分，如果我可以将一些公式从使用一组变量转换为另一组目标变量，那将会很有帮助。

我对 Z3 真的很陌生，但我知道它有一些内部简化规则和其他转换公式的方法......基本上，我想知道是否可以进行一些转换，例如：

我认识到这并不是 Z3 的真正主要目标，但我知道它已经有一些简化/解决的能力......从帮助文本来看，我的印象是有一些方法可以设计目标状态和策略到达他们，但我真的无法根据 Z3 的(help)命令找到有关如何做到这一点的信息（除非我遗漏了一些东西......）。

我真的不想做任何复杂的事情——只是简单地替换/消除不在目标集中的符号......我想知道是否有某种方法可以诱使该工具执行此操作？

有没有办法让 z3 求解器发出“符号”解决方案？例如，对于方程：

1+x=c

解是 x=c-1，但 z3 总是发出一个特定的模型，比如[c = 0, x = -1]. 如何将 c“定义”为符号变量？

我有一个带有约束的非线性优化问题。它可以在 Microsoft Excel 中使用 Solver 加载项解决，但我无法在 C# 中复制它。

我的问题显示在以下电子表格中。我正在解决经典的 A x = b问题，但需要注意的是x的所有分量都必须是非负的。因此，我没有使用标准线性代数，而是使用具有非负约束的 Solver，最小化平方差之和，并得到一个合理的解决方案。我尝试使用Microsoft Solver Foundation或Solver SDK在 C# 中复制它。但是我似乎无法与他们取得任何进展，因为使用 MSF 我无法弄清楚如何定义目标，而使用 Solver SDK 我总是得到“最佳”状态和全 0 的解决方案，这绝对不是本地的最低限度。

这是我的 Solver SDK 代码：

我没有 Microsoft Solver Foundation 的任何代码，因为我认为目标函数不能写在一行中，并且它不允许像 Solver SDK 那样的委托。

我正在开发一个项目，使用 ODE 求解器（ode45）为 MATLAB 中的算法创建 GUI。所以我必须将 MATLAB 代码翻译成 Java。问题在于 ode45 求解器。Java 似乎没有准备好使用的求解器，而且 ODE 并不是我的专长。我只是看起来不太好，还是真的没有实现 Java 的 ODE 求解器？

谢谢