问题标签 [solver]

我有一个简单的优化问题，正在为此寻找 java 软件。

Apache 数学优化软件看起来就像我想要的，但我找不到满足我需求的文档（这些需求对初学者/非数学专业人士有用！）

有谁知道一个有效的，简单的例子？

如果有帮助，问题是我想找到最大 r

并且有一些约束和公式来定义变量之间的关系。Excel Solver 可以很好地解决这个问题。我让 LPSolve 工作得很好，但是这个问题需要 s 和 m 的乘法，所以我理解 LPSolve 无能为力，因为这会使问题成为非线性问题。

我最近开始使用 MathNet 来实现我们的线性代数，但是我在将 MATLAB 函数转换为 MathNet 时遇到了一些麻烦。

在 MATLAB 中，我经常使用反斜杠运算符进行简单求解：

C = A \ B

在 MathNet 中这个等价物是什么？

我使用 C = Inv(A) * B 在一个小矩阵中得到相同的结果，但我不知道结果是否一样精确。

我试图建立一个程序，将一个激进变成最简单的激进形式。显然，我没有运气。

我正在寻找一种接受 aString并返回 a的方法String。

一个输入String：sqrt[160]。我已经让我的方法取出数值（160）。

现在，我只需要一些东西来打破 160 并返回一个String赞："4*sqrt[10]"

提前致谢！

笔记：

1. 以上只是一个例子

我是编程新手（Python 是我的第一语言），但我喜欢设计算法。我目前正在研究一个方程组（整数），我找不到任何参考资料来解决我的特定问题。

让我解释。

我有一个方程式（如果你愿意，可以做一个测试）：

其中 a 是某个常数。

我的问题是，变量 z 的计数方式与斐波那契数列非常相似，变量 x 是 z 的步长。所以我的意思是（对于斐波那契数列），在 z 序列的第一项，x = 0，在 z 序列的第二项，x = 1。我需要求解 y。

确定z的具体过程如下

我需要扫描（跳过）z < x 的值以测试 y 的整数解的条件。

这看起来可能吗？

最近我看到一篇关于使用 SAT 解决难题的 Reddit 文章 [1]。这让我对这个“SAT”的东西非常好奇。我阅读了维基百科的文章，但我想请你们中的某个人用更通俗的语言为我解释一下。

什么是SAT，它有什么用？可以用来遍历树结构吗？用于解析文本？对于换行 [2]？用于装箱 [3]？它是一种优化技术吗？

在相关说明中，我读到 NP 与 P 是关于选择一组总和的哪些数字为零，而不是检查某些数字的总和是否为零 - SAT 是否与此有关？

[1] http://www.reddit.com/r/programming/comments/pxpzd/solving_hexiom_really_fast_with_a_sat_solver/

[2] http://en.wikipedia.org/wiki/Line_wrap

[3] http://en.wikipedia.org/wiki/Bin_packing_problem

我正在尝试解决这个简单的系统。请看一下并告诉我：

我最近一直在研究回溯数独求解算法，目前我想问一下我应该如何将我的 solve() 方法从 void 更改为布尔值。

我正在使用一个非常简单的回溯算法，它目前工作正常，但我宁愿使用布尔值而不是 void，因为拥有 printstack 不是很好......

谢谢！

我目前正在为我正在制作的这个数独求解器开发我的 GUI。我已经成功地打印出了电路板，没有任何问题。但是，我想知道如何用某种较粗或彩色的线来区分 3x3 区域。

基本上类似于下图。

下面是我已经实现的代码。谢谢！

我正在编写数独求解器（仍然需要编写复选框并实际完成程序）但我正在测试它，因为我知道。我现在正在测试的谜题“非常简单”，因为任何行/列中只有一个空单元格。这个谜题以“空”单元格作为零开始。我的问题是，当我运行程序并在调用 solve() 后打印出拼图时，零并没有改变，原始拼图只是打印出来。不知道我的问题是什么，希望得到一些指导！

我正在使用 Microsoft 求解器，并想问我如何找到

使用 LP 的 K 最佳解决方案，而不仅仅是最优解决方案？

例如，我知道 CPLEX 具有解决方案池功能。

感谢您的帮助。

保罗。