腾讯云
开发者社区
文档
建议反馈
控制台
首页
学习
活动
专区
工具
TVP
最新优惠活动
文章/答案/技术大牛
搜索
搜索
关闭
发布
登录/注册
精选内容/技术社群/优惠产品,
尽在小程序
立即前往
文章
问答
(9999+)
视频
沙龙
1
回答
SCIP
代码
如何
处理
SAT
问题
?
mathematical-optimization
、
scip
、
sat
我想知道
SCIP
是
如何
处理
SAT
问题
的。 在
SCIP
网站上,建议在读取cnf文件后,在
SAT
问题
的命令行中键入'set emphasis cpsolver‘。然后,
SCIP
求解器将在键入'optimize‘后执行自己的操作。我在
代码
跟踪方面不是特别熟练,我想知道在输入'set emphasis cpsolver‘命令后
SCIP
求解器所采用的路径。此命令是否接受
S
浏览 28
提问于2020-01-02
得票数 2
回答已采纳
1
回答
是否可以访问
SCIP
的C++源
代码
?
c++
、
mathematical-optimization
、
scip
、
sat
我想问一下,是否可以访问C++ ()程序的源
代码
。我在目录中找了找,没有找到它。原因是,我想跟踪
代码
,看看
SCIP
是
如何
处理
SAT
问题
的,也许还会修改
代码
,以测试我所面临的
SAT
问题
的新想法。在
SCIP
界面中,我看到
SCIP
> 我在txt文件中读取它,它会提示我使用文件读取器。 然后我输入'cnf‘。 然后我设置了我的时间限制,并输入'optimize‘
浏览 22
提问于2020-01-28
得票数 0
1
回答
如何
使用
SCIP
解决
SAT
问题
?
mathematical-optimization
、
scip
、
sat
我正在尝试使用
SCIP
来解决
SAT
问题
。我的公司使用Mobaxterm的Linux命令行。我已经安装了SCIPoptsuite 6.0.2。我在网上找不到任何关于
如何
打电话给
SCIP
来解决
SAT
问题
的信息,包括英文和中文。我有很多cnf文件,我想调用
SCIP
来解决:enter image description here 有人能指导我怎么做吗?
浏览 15
提问于2019-12-16
得票数 1
回答已采纳
1
回答
是否有可能在解决
问题
后保留信息,并在不同的设置下重用相同的信息来解决相同的
问题
?
mathematical-optimization
、
scip
、
sat
我的
问题
是大
SAT
问题
。在
SCIP
7.0.0中,有许多分支规则可供选择。如果我把一个
问题
发送给
SCIP
,
SCIP
解决了这个
问题
,那么在整个求解过程中,是否可以使用学习到的信息,比如切割面、冲突约束和可变分支历史,用不同的方法来解决相同的
问题
?例如,我发送一个包含45万个约束的7500个变量的
SAT
实例,并使用默认设置进行优化。是否可以使用存储在
SCIP
中的信息(如上面所述),使用完全强分支
处
浏览 2
提问于2020-05-14
得票数 0
回答已采纳
1
回答
如何
为
SAT
问题
生成切割面?
mathematical-optimization
、
scip
我正在研究一个想法,它要求我为
SAT
问题
生成切割平面。我使用的
问题
来自,qg5-10.cnf来自
SAT
编码的准组(或拉丁方)实例。然而,没有打印出来,这使
浏览 3
提问于2021-12-23
得票数 0
回答已采纳
1
回答
ORTOOLS [python]中的多个MILP解
python
、
optimization
、
or-tools
、
scip
、
mixed-integer-programming
相关的声明: 下面是我的示例
代码
,它演示了一个我想解决的类型的简单示例。import pywraplp solver = pywraplp.Solver("multiple_solutio
浏览 4
提问于2020-08-06
得票数 3
1
回答
SCIP
如何
选择要使用的分支规则?
mathematical-optimization
、
scip
、
sat
我的数据集由大型
SAT
实例组成。我正在尝试了解
SCIP
的默认设置
如何
选择要使用的分支规则。 我有一个包含7,295个变量和409834个约束的数据集。在设置了8h的时间限制、使用默认设置并将统计数据写入文件后,我看到
SCIP
调用了inference分支。但是,当我使用1040个变量和3668个约束的较小数据集再次尝试此操作时,
SCIP
调用了relpscost分支。 是否有一些文档或
代码
说明
SCIP
使用什么标准来选择分支规则?
浏览 20
提问于2020-03-30
得票数 1
回答已采纳
1
回答
如何
在OR-Tools proto接口中设置线程数?
java
、
or-tools
考虑到二进制变量的数量很大,
问题
的解决阶段通常需要几个小时才能运行。原始
代码
:1线程 .setEnableInternalSolverOutput(true) .setSolverType(MPModelRequest.SolverType.
SCIP
_MIXED_INTEGER_PROGRAMMING)MPSolver mpSolver = MPS
浏览 2
提问于2022-01-11
得票数 1
1
回答
在java中实现事件
处理
程序,并通过jni接口将其传递给
scip
。
java
、
java-native-interface
、
scip
我通过Jni接口使用Java中的
Scip
解决程序。
SCIP
_RETCODE SCIPincludeEventhdlrBasic (
SCIP
*
scip
浏览 3
提问于2016-05-19
得票数 0
1
回答
是否可以将预先解决的
问题
写入文件中?
optimization
、
scip
、
sat
我想把一个预先解决的
问题
写进文件中。有什么办法吗?背景是,我正在研究
SAT
问题
。
SCIP
的预解阶段减少了
问题
的约束和变量数,有效地减小了
问题
的规模。我想看看预先解决的
问题
,并将其与原来的
问题
进行比较,并提出一些看法。
浏览 5
提问于2020-03-19
得票数 1
回答已采纳
2
回答
线性规划的目标函数稍有差异,使程序运行速度极慢。
python
、
optimization
、
or-tools
、
mixed-integer-programming
、
scip
我正在使用Google的OR工具
SCIP
(解决约束整数程序)来使用Python解决混合整数规划
问题
。这个
问题
是标准调度
问题
的一个变体,其中限制每个工人每天最多工作一次,而每班只由一名工人负责。
问题
的模型如下:其中n代表工人,d代表一天,i代表给定一天中的特定班次。当我改变我想要最小化的目标函数时,
问题
就出现了。至:在第一种情况下,在5秒内找到一个最优解。
如何
在不影响性能的情况下改变目标函数? 下面是由目标函数中使用的变量层和接受度所
浏览 4
提问于2021-06-16
得票数 2
1
回答
如何
更新节点的下界和上界
scip
我正在尝试编写一个新的
scip
松弛
处理
程序。对于每个节点,我希望用我提供的值更新其下界和上界。然后,我希望
scip
在其求解过程中自然地使用这些更好的界限。但我得到了奇怪的结果。我的
问题
是
如何
更新分支和界中当前节点的下界和上界?在我的关系
处理
程序中,我有以下调试
代码
:double u = -15; cout << "
SCIP
STAGE " << (
scip
浏览 8
提问于2015-03-11
得票数 1
回答已采纳
1
回答
或工具制定收入
python
、
constraints
、
nonlinear-optimization
、
or-tools
我正在寻求关于
如何
在OR工具中解决一个
问题
的建议。 背景是,我是一个游戏所有者,在轮班时,我可以设置不同数量的游戏站点。在这种情况下,我
如何
表示总游戏速度,其中涉及到客户到车站的均匀分布,并且游戏速度取决于车站的客户数量?
浏览 14
提问于2021-09-21
得票数 1
1
回答
说明
SCIP
“显示
问题
”和“写统计”命令中使用的术语
mathematical-optimization
、
scip
、
sat
我读过一些使用.cnf的
SCIP
文件,我对使用的术语感到困惑。我也无法在任何
SCIP
文档中找到这些术语。1)当在读取.cnf文件后输入“显示
问题
”时,我看到以下内容:在这种情况下,initial2)在输入optimize时,默认情况下,
SCIP
每100次迭代打印一行。有一个名为confs的列,它代表冲突。在这种情况下,冲突意味着什么? 它是否指冲突条款?目前,我将节点理解为
SCIP
到
浏览 2
提问于2020-03-12
得票数 1
回答已采纳
1
回答
消除简单TSP
问题
中的子路
linear-programming
、
scip
、
mixed-integer-programming
我正在尝试解决一个非常简单的TSP
问题
,但是
SCIP
的TSP示例有点吓人。 我只想添加简单的惰性约束,就像GuRoBi一样。 我可能需要一些帮助来理解在某些地方发生了什么。我假设我不必实现
SCIP
_DECL_CONSSEPALP、
SCIP
_DECL_CONSENFOLP和
SCIP
_DECL_CONSENFOPS。我只需要实现一个简单的周期检测函数,并将其添加为cut。如果我理解正确的话,我可以用
SCIP
_DECL_CONSCHECK编写这个函数来做周期检测,但是我不确定它是
如何<
浏览 52
提问于2021-01-13
得票数 0
回答已采纳
2
回答
如何
收集
scip
的分支过程数据在每个节点上提供分支规则
scip
我想做的是:
SCIP
_DECL_BRANCHEXECLP(collectBranchProcessData)
SCIP
_BRANCHRULE* relpscostRule = SCIPfindBranchrule(
scip
, "relpscost");
SCIP
_RETCODE (*
浏览 4
提问于2021-03-01
得票数 0
1
回答
还是工具linear_solver
scip
加速-多线程?
python
、
or-tools
我有以下
代码
:SOLVER = pywraplp.Solver.CreateSolver('
SCIP
'),我在这里假设多线程是一个低挂的水果,所以我怎么才能让它工作--我们谈论的是普通的python,特别是在jupyter笔记本上(但我们也可以以python script.py的形式运行它警告--我是数据工程师,我认为数据科学家所做的一切都是完美的--所以我在寻找
如何
更快地使用ortoo
浏览 3
提问于2021-03-23
得票数 0
回答已采纳
1
回答
使用
SCIP
实现CPLEX与CPLEX的速度
scipy
、
cplex
、
gurobi
、
scip
、
pulp
为什么
SCIP
3.2.1 - CPLEX 12.63和CPLEX 12.6.3之间存在速度差异?
SCIP
是否仍然使用CPLEX来解决
问题
?为什么有人会在CPLEX解决器中使用
SCIP
,而不是直接使用CPLEX?
浏览 3
提问于2016-10-07
得票数 7
1
回答
显示排名前五的解决方案
SCIP
scip
我已经写了一个整数规划模型,并使用
SCIP
解决了它。我可以很容易地获得最优解,但我也对获得下四个最佳解决方案感兴趣。我可以输入display allsolutions来显示
SCIP
shell中的一些解决方案,但我最多对4个其他解决方案感兴趣,并且希望从c++程序而不是shell中执行此操作。我该怎么做呢?
浏览 1
提问于2014-09-29
得票数 1
1
回答
SCIP
的性能:
SCIP
可以
处理
多少变量和约束,
SCIP
需要多长时间才能解决?
scip
我是
SCIP
新手,我有一个包含大约500,000个整数变量、500,000个线性约束和100,000个非线性约束的大型MINLP。我读了很多关于
SCIP
性能的论文,但找不到
SCIP
可以
处理
多少变量和约束。我发现的其中一篇论文显示了已解决
问题
的数量,但没有显示变量和约束的数量,如下所示。关于
SCIP
可以
处理
多少变量和约束,以及
SCIP
需要多少时间来解决,有没有什么经验或论文可以参考?
浏览 13
提问于2021-11-11
得票数 0
点击加载更多
扫码
添加站长 进交流群
领取专属
10元无门槛券
手把手带您无忧上云
相关
资讯
这个乱码的问题如何处理,网页代码用print还是正常的?
如何让 Python 处理速度翻倍?内含代码
如何处理服务器问题
如何处理数据不均衡问题
JavaScript如何正确处理Unicode编码问题
热门
标签
更多标签
活动推荐
运营活动
广告
关闭
领券