2回答
我已经看过一些使用Prolog的clfpd库的cyrptarithmetic难题解算器的例子。请注意，我几乎没有使用Prolog或clfpd的经验。 我打算基于输入生成约束。例如，基于输入puzzle1(A，M+P，M=D，A，Y)生成A*10+M + P*10+M = D*100+A*10+Y。但我不知道该怎么做。我已经编写了一个Prolog函数(称为convert)，它基于输入创建一个约束。但它不工作，我一直收到
浏览 23提问于2019-04-07得票数 1
回答已采纳
. % needs use_module(library(clpfd)).L=[1,2,3,4,5], is_set(L).
有人知道吗？我的数独解算器需要更快的解决方案。谢谢!
浏览 2提问于2011-06-03得票数 1
2回答
我想知道人们如何在SMT解算器中实现浮点算术结构的位爆炸。有没有现成的库或工具可以做到这一点(VHDL，...)，或者它们是从头开始实现的？这表示有多少行(C？C++ ?)代码？
提前谢谢。
浏览 9提问于2017-01-03得票数 1
我需要一些随机性在答案中，它会产生一个在[101,MAXINT)范围内的随机数。例如，获取seed=1000并提供a=12344。seed=2323提供了a=9088765和...。我应该在这段简单的代码中添加什么？
浏览 0提问于2013-09-13得票数 8
2回答
纸浆装置测试失败
、、
我的研究结果：
导入纸浆pulp.pulpTestAll()解决方案pulp.solvers.CPLEX_DLL不可用。解算器pulp.solvers.CPLEX_CMD不可用。解算器pulp.solvers.COIN_CMD不可用。解算器pulp.solvers.COINMP_DLL不可用。解算器pulp.solvers.GLPK_CMD不可用。根据网页，这应该
浏览 10提问于2011-06-24得票数 6
0回答
Z3中Real变量的通常精度是多少？是否使用精确算术？如果Real意味着必须使用精确的算术，那么对于精度有限的浮点值，是否还有其他的数据类型？最后:从这个角度来看，z3与其他流行的SMT解算器是不同的，还是在SMT-LIB定义中是标准化的？
浏览 6提问于2017-06-14得票数 1
回答已采纳
1回答
我对马奇宁的学习很陌生。我一直在跟踪一些，它们通过使用python库对MNIST数据进行逻辑回归。默认的'liblinear‘解算器在6万个图像的训练集上表现缓慢，因此本教程建议使用'lbfgs’解算器。然而，建议，这个解决程序只适用于小型数据集：
建议将“lbfgs”解算器用于小型数据集，但对于较大的数据集，它的性能受到影
浏览 0提问于2019-01-24得票数 1
1回答
SAT是NP-完全的证明是一个构造性的证明，因此它应该可以作为一个程序来实现。有人这么做过吗？我正在寻找一个程序(编译器)，它接受一个程序作为输入(返回true或false)，并输出一个SAT公式。因此，例如，编译器可以将以下程序(用pythonic语法显示，但任何语言都可以)作为输入，并输出一个SAT公式。将SAT公式提供给SAT求解器将得到参数"certificate“的解。公式将有其他辅助变量，因此编译器必须指出哪些变量对应于证书。这样
浏览 5提问于2011-12-12得票数 5
我在Windows32bit的Python2.7.8中运行PuLP编程库。我用GLPK作为混合整数线性规划问题的求解器。解算器收敛到大约。1%的优化速度快，但计算时间较长，精确最优解较高。是否有一种方法可以指定GLPK解算器使用PuLP的百分比公差？我搜索了，但是它没有给出GLPK求解器的任何答案。
浏览 3提问于2014-10-30得票数 4
回答已采纳
1回答
我需要使用CBC解算器来解决混合整数优化问题，但是在目标环境中，我不能使用作为外包软件安装的CBC解算器，它必须是python库的一部分。为了克服这个问题，我找到了内置CBC解算器的mip库 ，它可以只使用这个库导入，而不需要单独安装CBC解算器。我的问题是
浏览 7提问于2021-03-05得票数 4
我有两个左手的副本，来自两个不同的跳跃运动传感器，我正在尝试转换一个，以匹配另一个的位置和旋转。Debug.DrawLine(b.PrevJoint.ToVector3(), }问题是手的旋转没有像它应该的那样对齐
浏览 3提问于2019-04-08得票数 0
2回答
我试图分析相移故障分析的琐事，并遇到了一个非线性方程组来解决。我读过关于卫星求解器和高斯消除的文章，但不幸的是，我在互联网上发现的任何一篇文章都没有说明如何处理一个含有大量变量的非线性方程组(在这里，trivium给出了288个变量)。所以我现在很难解决这些变量的问题。
浏览 1提问于2018-06-25得票数 1
回答已采纳
2回答
我目前正在使用sklearn的ProjectedGradientNMF和nimfa的Lsnmf求解器来分解一个非常稀疏的矩阵。ProjecteGradientNMF运行较慢，但收敛到更接近的解，而Lsnmf运行速度大约快一倍，但收敛到另一个解(frobenius范数距离度量)。我很好奇python社区目前最快或最接近的求解器是什么，或者有没有更好的稀疏矩阵(矩阵是稀疏的，而不是scipy.spars
浏览 0提问于2015-07-17得票数 0
3回答
我正在尝试学习一点swi-prolog (除了基本的、无用的程序之外)。谢谢!
:- use_module(library(clpfd)).
浏览 0提问于2009-11-20得票数 8
1回答
我正在构建一个自动迷宫解算器，灵感来自于以下内容：
他们已经使用模板匹配来识别球。上面链接中提到的团队还上传了一个视频，看起来他们有精明的边缘检测来找到路径并执行PID算法。我还通过USB串口建立了对我的步进器的控制。如何实现导航算法？如何实
浏览 1提问于2011-06-25得票数 2
1回答
这些时间对我来说太长了；在真实的数据上，它只是花费了太长的时间才有用。其他求解者给出的结果与MATLAB完全不同，迭代求解耗时太长。此外，计算(到目前为止)被包装在.dll库.cu中，下一步将通过CUDA并行化。为了避免计算重叠，我分别测量了所有方法的时间。为了加快计算速度，我找到了以下可能的解决方案：
完成(编译<
浏览 2提问于2020-09-08得票数 2
我正在尝试在AKS上安装证书管理器ClusterIssuer，因为集群位于Azure应用程序网关的后面，所以我选择了使用DNS解算器而不是HTTP。但是，质询失败，并出现调用Cloudflare API的错误。，但除了发行者的apiVersion之外，我看不到任何区别。我已经根据官方文档进行了检查，与这些指南中出现的内容没有任何变化。 入口和集群颁发者之间的关系似乎很好；如果我删除并重新创建入口，则会创建新的证书、顺
浏览 29提问于2021-02-08得票数 0
回答已采纳
1回答
使用CVXPY的cp.Maximize功能来最大化权重和分数的和积。添加w不能大于零的约束，但失败。1.38776160e-23 -1.71232120e-28]显然，权重是负的。
浏览 2提问于2019-12-16得票数 0
1回答
我有一个用pyomo写的优化模型。当我使用gurobi运行它时，它很快就会输出问题的答案。主要是因为它的高效预解算器。有没有办法在调用实际的求解器之前对pyomo做一个预解算，这样我就可以使用非商业包来测试我的模型，比如couenne或cbc？
浏览 12提问于2020-06-03得票数 0
云服务器
ICP备案
实时音视频
即时通信 IM
对象存储
腾讯云开发者
