2回答
为变量求解
、、
我试着解下面关于x的方程。不知何故，这根本不起作用。我还用syms x尝试了这种方法错误消息：number will be removed in a future release. To create symbolic
expressions, first create symbolic variables
浏览 8提问于2016-07-16得票数 1
如下所示，我构建了一个包含两个大变量和两个输入占位符的图。每次，我都希望使用变量的当前值(部分值)和输入占位符来计算delta值。然后使用scatter_add将增量值更新为变量。tensorflow求解引擎似乎更喜欢随机选择其中一条路径--它先求解一条路径，然后再求解另一条路径。例如，tf可以首先更新变量0，然后使用这个新变量0来求解另一个路径(更新变量1)。
浏览 0提问于2017-03-18得票数 0
1回答
我正在尝试在MATLAB中求解一个具有3个变量和5个常量的方程组。是否有可能使用solve来求解这三个变量，同时保持常量为符号，而不是用数值替换它们？
浏览 2提问于2010-08-31得票数 3
回答已采纳
当使用MiniSat作为C++库时，可以将每个新变量创建为决策变量或非决策变量。
我对此的粗略理解是，当求解者决定在分支期间使用下一个变量时，不考虑非决策变量。然而，在我的项目中，当非决策变量处于隐含的左侧时，我遇到了麻烦，而不是处于等价关系中，因为求解者返回了SAT，尽管公式实际上是UNSAT。进一步的实验表明，只有当非决策变量在大于2个变量的公式中时才会发生这种情况(我猜2变量
浏览 15提问于2017-10-13得票数 3
回答已采纳
有一个方程，我不能把我想要求解的变量放在一边。我想要求解这个变量，方程中所有其他变量的给定值。举一个简单的例子作为说明，假设你不能让x只出现在下面的等式的一侧，尽管你可以：因为你不能把它放在一边，所以你不能将x定义为一个表达式-当x是一个未定义的变量时，如何求解x(具有给定的a和b的值)？
浏览 4提问于2018-03-02得票数 0
如果在求解模型之前，我们将变量model.x以特定值(即model.x = 1)初始化，那么是否需要将warmstart=True作为调用Pyomo's solve()方法的参数，以便为优化保留这些初始值请记住，不应强迫初始化变量接受指定的值，它只为变量提供一个初始值，然后求解器将在需要时对其进行更改。
浏览 2提问于2018-03-14得票数 1
回答已采纳
该代码用于求解任何一般的场变量，称为F (速度、温度、压力等)。但要求解每个变量，我们必须将该变量的EQUIVALENCE定义为F。
浏览 27提问于2019-11-27得票数 1
1回答
CountableValueRange<Integer> getDelayRange() {}现在的问题是，求解器在赋值时似乎没有回溯。在求解过程的开始，我可以看到值被设置为不同的圆弧。但经过一段时间的归因
浏览 3提问于2016-04-22得票数 0
对于线性和非线性的求解器(输入参数的固定大小)，我有一个非常好的问题。然后，我修改了它，以便输入参数的大小也可以是一个变量。为此，我定义了向量可以接受的最大大小，并将所有未使用的条目设置为float('nan')。这仍然运行良好的线性求解，并产生相同的结果与情况下，固定的输入大小。然而，所有非线性求解器都将此输入参数的值重置为1。然后，求解器将收敛到由这些inital值设置的一个琐碎的情况。我认为这相当于一个错误，因为线性求解器可以
浏览 2提问于2017-10-22得票数 0
回答已采纳
1回答
在我的布尔逻辑问题中，我有一组变量(编码为整数)，长度超过10,000 (从10到100 k)。每个变量都有其一组约束，即来自同一组的其他变量与其相矛盾。在术语中，应将其表述为：(1 & -2 & -3 ...) |...这个表达式在中是直观的，但是SAT求解器与表达式一起工作，因此转换是必要的我想：
用一个求解器(我使用)来解决这个表达式，这意味着将它转换成CN
浏览 4提问于2021-10-22得票数 0
1回答
对于excel的求解器，我已经能够进入并修改最大数量的变量。但是，我不能保存修改后的求解器，并且它不会使用更多的变量来运行。我已经看过了代码，除了求解器不会保存的事实之外，我看不出为什么它不允许更多的变量。如何让求解器保存并运行更多变量？此外，我如何才能迫使excel更努力地使用求解器，因为它经常声称没有解决方案，而我能够找到符合我提供给求解器的约束的解决方案。
浏览 0提问于2017-03-22得票数 0
但是，当我增加所选作业的数量时，优化运行，但有几个变量返回值"None“。因为我看到他们的旗帜“陈旧”变成了真。 我对此一无所知，但首先我想知道“陈旧”这面旗帜到底是什么意思。我使用"CBC“求解器。我确实尝试了其他方法，但即使是较小规模的问题，他们也没有返回可接受的解决方案。 提前感谢您的帮助！
浏览 3提问于2019-04-16得票数 0
回答已采纳
我正在尝试用我的研究数据进行非线性回归。因为它是非线性的，所以我不能使用Simplex LP。相反，我做的是GRG非线性，所有参数都有上下界。我的原始数据的正确输出是临界值= 0.006707。我最后一次运行它时，在excel工作表上，您可以看到该临界值= 3.36E-06。
如果它能帮助你更好地理解这一
浏览 1提问于2014-06-27得票数 0
1回答
剩下的两个变量，即r和c是黑点的变量，其值取决于边值，如下所示： 变量‘r’的条件: Case1:如果A为true，则C或D中只有一个变量可以为true Case2:类似地，如果B为true，则只有C或只有当情况1或情况2中的一个为真，并且r值应始终为真时，变量r才能为真。这些条件在Z3解算器中求解为： s.add(Implies(A, Xor(C,D) ))
s.add(Implies(B, Xo
浏览 8提问于2021-01-03得票数 0
回答已采纳
我需要确定两个变量来求解我的系统。根据，我需要定义"N“，它是”X“(变量)和”F“(方程)的长度。或者我可以将N定义为向量？在这种情况下，N的声明应该是什么样子的？
浏览 2提问于2014-06-05得票数 0
1回答
0-1个带分区约束的背包
、、、
我有一个表面上看起来像0-1背包的问题。我有一组可能的“候选人”，可以选择(或不选择)，每个候选人都有一个“权重”(成本)和一个潜在的“价值”。如果这就是整个问题，我会使用DP方法并完成它。但这里有一个曲线球:在最终解决方案中可能存在的候选对象上存在“分区约束”。这个约束建议使用分支定界技术或其他形式的剪枝的图搜索类型的方法，但是我有点困惑于如何开始，因为我只熟悉0-1背包的DP解决方案。什么技术/方法可能
浏览 2提问于2012-02-05得票数 8
回答已采纳
一些背景知识:我正在编写一个工具，它解析代码，产生一些需要满足的约束，并试图通过为这些约束中的变量找到令人满意的赋值来解决它们(细节超出了范围)。我需要提供Prolog求解器关于解析的代码(例如，变量名)的事实，以及为它生成的约束来求解它们。现在，我通过Prolog调用assert(fact) (首先在C++求解器中将这些谓词声明为动态)，然后查询求解器来提供这些事实。是否有更好的方法将这些非动态事实提供给Prolog求解器？或者断言它们是我唯一&#x
浏览 1提问于2014-04-09得票数 3
我有一个由一些变量和线性约束定义的线性问题，我想知道每个变量的可能值区间。例如，对于变量a、b和c，以及约束a>b、b>c和a+b+c=100，我们有：现在，我的解决方案是使用的线性规划求解器，并将每个变量设置为优化函数，使其最大化，具有上界，然后最小化，使其具有其下界。这使我在每个变量中重复两次求解步骤，这可能不是最优的。
有人知道有一个工具专门用来
浏览 10提问于2020-04-10得票数 1
回答已采纳
1回答
为图形着色优化的求解器是首选的，但不是必需的。有许多迭代算法/求解器，但我需要完备性(？)为了我的工作。我已经使用弱提交搜索算法实现了自己的求解器，但我相信有许多优化和基于线程的功能可以使求解器变得更快，并允许我增加在模拟中可以使用的变量数量。我知道这是一个非常困难的问题，但每一点都会有所帮助！
浏览 1提问于2011-12-30得票数 1
回答已采纳
云服务器
ICP备案
对象存储
云点播
实时音视频
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号