回答情况：
提问时间：
问题标签：
1回答
有人能给我举一些例子，这些例子可以用SMT求解器(比如microsoft z3 )来解决，但是不能通过约束求解器(比如Gecode )来解决吗？约束求解器和SMT求解器的基本区别是什么？
浏览 5提问于2020-05-27得票数 1
3回答
如果您不熟悉逻辑益智游戏Takuzu，我就学会了如何玩它，并从这个挑战发布在reddit上中得到了灵感来完成这个项目。这个游戏的简短版本是，它是一个逻辑难题，在n×n网格上使用0和1s，它不允许一行中三个重复的数字，也不允许两行或两列相同。import re, i
浏览 0修改于2016-07-06得票数 7
回答已采纳
我的代码有点臃肿，我发现我正在求解的全局参数很大程度上依赖于对本地参数的初始猜测(这是非常令人关注的)。different equations I won't list here for space reasons
因此，我们可以用4个全局参数(k，k1，k2，k3)来计算p's，然后用给定的p‘s分别遍历每个方程组，求解
浏览 0修改于2023-03-31得票数 2
回答已采纳
迭代求解器比基于LU分解的直接求解器更稳定。对于基于逻辑单元的求解器，我们总是有cond(A) < cond(L) * cond(U)，因此因式分解放大了数值误差。因此，在条件数大于1e10的病态矩阵A的情况下，为了稳定性和数值精度，使用迭代求解器会更好吗？
浏览 5修改于2016-02-08得票数 1
1回答
目前我的问题是，求解器需要的时间仍然太长，无法找到一个可接受的解决方案。
我想优化具有固定数量的工人的问题，这些工人必须处理具有多个时间窗口的固定数量的订单。我正在计算监听器的订单的开始和结束时间点。另一个监听器正在保存每个实体中的每个链的锚点(因为它需要很多时间来遍历一个可能比1000个实体…更长的链。)我的目标是解决一个有大约3000个实体的问题，此时求解器需要超过2个小时才能得到一个可接受的解决方案。对于400个实体的较小问题，它需要近5分钟，这也太长了。我已经使用基准测试找到了最
浏览 1修改于2014-11-14得票数 0
2回答
然后，我使用求解器("na“- 1)次数来改变单元上的值(B6:B9)，并优化从它们在单元格B14上计算出来的值。然后(C6:C9)优化C14等等，直到我到达CN列，在这种特殊情况下。
浏览 3修改于2022-09-10得票数 0
回答已采纳
1回答
我需要一个类似于MATLAB ode15s的刚性问题的代码求解器.
对于我的问题，我需要检查对于不同的初始值需要多少个步骤(计算)，并将其与我自己的ODE求解器进行比较。
浏览 3修改于2017-08-04得票数 4
回答已采纳
我想了解MATLAB Simulink中离散求解器和连续求解器的区别。
有没有人能用简单的语言举例解释一下这种区别。
浏览 0修改于2016-03-11得票数 0
1回答
对于excel的求解器，我已经能够进入并修改最大数量的变量。但是，我不能保存修改后的求解器，并且它不会使用更多的变量来运行。我已经看过了代码，除了求解器不会保存的事实之外，我看不出为什么它不允许更多的变量。如何让求解器保存并运行更多变量？此外，我如何才能迫使excel更努力地使用求解器，因为它经常声称没有解决方案，而我能够找到符合我提供给求解器的约束的解决方案。
浏览 0修改于2018-07-10得票数 0
1回答
我想请求帮助设置求解器。 假设我有5个单元格，必须分配总和为1000的值。但是，如果可以容纳其他约束，则其中一些可以为零。在这一点上，我得到了一些求解器输出，使5个零中的4个，并将1000分配给1个单元格。 我想知道如何添加另一个约束来告诉求解器，比如说，5个中至少有3个不能为零(任意5个)。 您的协助将不胜感激。谢谢
浏览 24修改于2020-01-29得票数 0
1回答
我想知道pyomo脚本传递给求解器的是什么信息(例如Cbc)。具体地说，我想问的是，无论我编写了什么约束和目标函数，求解器是否要求python进行这些函数的计算，或者它们是用求解器编写的语言完成的。
浏览 12提问于2018-08-01得票数 0
回答已采纳
我正在寻找一种方法来编码在巧克力解算器上的数学方程。我看到有一种对约束进行编码的方法，比如：但我正在尝试编码如下内容其中x和y是整型变量。
浏览 3提问于2016-02-29得票数 0
1回答
对于VBA来说，这是相当新的，但初始的单行求解器代码如下所示，基本上需要继续重复这个过程，然后通过更改变量C10 - F10来求解J10，然后移到第11行等。
任何开始循环过程的指针都将不胜感激！
浏览 0修改于2018-05-18得票数 1
我必须做一个索科班解算器()。你做过这样的事吗？我是在寻找提示，而不是代码。比如“你可以使用IDA* alg”或者“我使用了启发式方法，它很好”，或者“我使用了不能避免死锁的技术”。
浏览 1提问于2010-11-21得票数 14
2回答
我正在努力实现一种在随机的5x5字母板中查找所有单词的解决方案。目前，它只返回几个单词，但不是完整的列表。我非常确定我的问题存在于我的for循环的findWords方法中，但是我不知道如何使用if语句来继续遍历所有8个方向。import java.util.*; private static Random r = new Random();
private static
浏览 5修改于2017-01-10得票数 1
1回答
不管是哪种类型的求解器，"GRG非线性“似乎工作得很好。其中解是最小化的，或者=0，因为我想要一个实数根。我的可变单元格是D7:D207
它正在求解的变量是一个三次方程，其中它输出实根(没有虚部)。我看了论坛周围，但我真的看不出有什么意义。
浏览 0修改于2017-08-03得票数 0
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号