问题标签 [solver]

我想用 Ruby 为 megaupload.com 编写一个“客户端”，我想知道是否有用于 Ruby 的验证码求解器/解码器/自动填充器。谢谢

我正在寻找一个 C# dll 来解决简单的方程。例子 ..

结果应该是 x = 5;

有免费的DLL吗？

当我对我的问题运行 solve.QP 时，我从 R 收到以下错误：

我的 sigma 矩阵是对称的，但不是正定的。为什么需要这个？如果我自己使用拉格朗日函数解决它，我就能得到解决方案。那么为什么 R 会提出这个要求呢？

这是我在尝试编译一些使用 taucs 的代码（不是我的代码）时遇到的错误：

笏？是不是和自己矛盾？

在我捏自己之后，我创建了一个测试标头并输入了一个冲突的定义，以确保我对此是正确的：

在文件 testit.h 中：

在文件 somethingelse.h 中：

果然，我得到：

或者如果我在 testit.h 中有这个：

行号总是不同的——声明不能与自身冲突。我不明白。有人见过这个吗？

有人可以逐步解释我如何将 AMPL 添加到 SCITE 编辑器并添加 GLPK 求解器吗？

提前致谢！我正在编写一个程序来检查是否a为真，然后返回 True 或 False。我需要在等号处拆分它，然后检查列表中的第一项是否等于第二项，反之亦然。这是我到目前为止所拥有的：

我正在使用 ublas::Compressed Matrix 与稀疏线性求解器 UMFPACK 一起工作。由于我正在进行模拟，因此每次线性系统的构造都略有不同，这可能涉及放大/缩小系数矩阵和一些稀疏矩阵乘法。线性系统的规模约为 25k。

即使有用于 UMFPACK 的 boost 绑定补丁，我仍然需要不时更改矩阵，有时甚至计算非零值的数量也会很耗时（理想情况下，我必须给出数字初始化矩阵时的非零值）。此外，我使用 ublas::range 动态附加列/行。

所以我的问题是：有没有有效的方法来做到这一点？现在对我来说太慢了。转置一个尺寸为 15k 的矩阵花费近 6 秒，附加大约 12k 行很快（因为我猜它是一个行主矩阵），但将相同数量的列附加到矩阵可能花费高达 20 秒（我猜同样原因如上所述，所以即使我使用了列主矩阵，所需的总时间也是相同的）。

这里有点绝望。欢迎任何建议。

干杯。

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

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

谢谢你的帮助

编辑：

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

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

我目前正在为大型稀疏线性代数问题开发基于 C++ 的库（是的，我知道存在许多这样的库，但我主要是为了了解迭代求解器、稀疏存储容器等）。

我已经到了在我的其他编程项目中使用我的求解器的地步，并且想针对不属于我自己的问题测试求解器。首先，我希望针对正定的对称稀疏系统进行测试。我已经找到了此类系统矩阵的几个来源，例如：

矩阵市场 UF 稀疏矩阵集合

话虽如此，我还没有找到任何包含整个系统-系统矩阵和 RHS 的良好测试矩阵的来源。为了检查结果，这将是很棒的。关于我在哪里可以找到这样的完整系统的任何提示，或者，我可以做些什么来为我可以上网的系统矩阵生成一个“好的”RHS？我目前只是用随机值或全部填充一个矩阵，但怀疑这不一定是最好的方法。

我想知道这两种算法的优缺点是什么。我想写AddEmUp C++ 解决，但我不确定我应该使用哪种（IDA 或 DFID）算法。

我找到的最好的文章是这篇文章，但它似乎太旧了 - 93 年。有更新的吗？

我认为 IDA* 会更好，但是.. ? 还有其他想法吗？

任何想法和信息都会有所帮助。

谢谢 ！（：

编辑：一些关于 IDA* 的好文章和算法的好解释？

EDIT2：或者那个游戏的一些好的启发式函数？我不知道怎么想一些：/