我知道在整数优化问题中，我们可以使用差分求解器(cp-sat-cp).In routing problem (tsp或其他)如何使用差分求解问题。我发现这个函数(SolveModelWithSat)也许可以通过ortools文档使用不同的求解器，但我不知道如何使用它。
浏览 35提问于2020-09-30得票数 1
回答已采纳
1回答
标准纸浆解算器背后的算法
、、、、
我目前正在处理一个LP优化问题，并研究了PuLP。 我知道纸浆的默认求解器是: PULP-CBC-CMD。我用这个解决了一个测试问题，我想知道这个求解器实际使用的是哪种算法……它似乎不是一个单纯形，因为我的问题得到了完全不同于单纯形解释的解释。另外: PuLP的所有其他求解器都必须手动添加到PuLP中，对吗？
浏览 18提问于2021-05-03得票数 1
在我的申请中，我有一个司机和许多车辆。也就是说，在上一次旅行结束后，他可以驾驶下一辆车，从约束的角度来看，这有点像 time_dimension.CumulVarint(vehicle_id)))经过多次尝试，我发现只有当我将第一个解决方案策略设置为PARALLEL_CHEAPEST_INSERTION时，这样的约束才能起作用在这里，我有一些
浏览 2提问于2020-08-13得票数 2
回答已采纳
2回答
PuLP和OR-工具替代方案
、、、、
我目前有一个用Gurobi的python API制定的MIP模型，但最近我一直在研究PuLP和OR-Tools等工具，它们允许我构建模型并将其提供给多个不同的优化器。在我的模型中广泛使用的Gurobi的一个功能是能够具有使用and、or、min、max和abs等函数的约束。然而，似乎PuLP和OR工具并不支持这些。有没有支持这些的替代方案？或者，如果我想使用这样<
浏览 8提问于2019-01-17得票数 3
1回答
我目前正在评估谷歌或-工具，只是注意到它本身并不是一个真正的解决者，而主要是一个与其他解决程序的接口。我想知道的是这个框架用于约束和路由问题的解决者。我已经仔细查看过，但只发现
对于网络流优化，似乎使用了自己的求解器("OR-Tools为其图形库中的网络流问题提供了几个求解</e
浏览 0提问于2019-07-20得票数 12
回答已采纳
我想知道是否有任何优化求解器依赖于它所实现的语言。但我也听到过“不”的回答；人们说求解器是用C实现的，不管
浏览 2提问于2021-07-04得票数 0
2回答
我正在使用Z3 Python接口为我的实验创建公式。然后，我将该公式发送到Z3求解器。如果我没记错的话，Z3使用了自己的求解器！
如何在Z3py中使用不同的SAT/SMT求解器？我在CBMC (C bounded Checker)中使用的方法是:运行程序并生成一个中间DIMAC表示(在一个文件中)，然后使用该文件作为其
浏览 2提问于2017-06-19得票数 3
1回答
我正在使用ode15s函数在MATLAB中求解一个DAE系统，在仿真中的某个时刻，求解器无法达到所需的公差，执行将终止。如果我将最大步长减小到一个小值(~1e-5)，程序就能够继续并到达指定的端点。基于缩短时间步长允许程序继续运行的事实，我怀疑ode15s脚本在某个时候采取了太大的时间步骤，无法从它中恢复过来。然而，保持这个小的最大步骤意味着我有数千个不必要的数据
浏览 1提问于2015-07-15得票数 0
回答已采纳
1回答
Ajax路由实践
、、、、
我开始在Symfony2中使用Ajax，并对此提出了一些实践问题，特别是路由问题。
关于Ajax发送请求的方法(GET?)用哪种方法来响应(POST？)？如何设计Ajax的路由？在大型ajax路由上，控制器检查客户端想要什么并回答什么，还是有几条不同的路由。或者甚至有处理HTML和JSON请求的混合控制
浏览 2提问于2012-03-13得票数 0
我对我的配置很困惑。在我的服务器中，我有两个接口：eth2: 10.2.1.6 gw 10.2.1.1ip r a 8.8.8.8
浏览 0提问于2023-04-28得票数 0
因为我需要针对不同的系统和信号条件测试分析算法，所以我决定创建一个简化但适合的simulink模型来生成数据，而不是做几个“真实”的实验。此模型在get_data()函数中调用，数据如期返回到变量d。
因为我需要估计给定系统的传递函数，所以我必须创建一个iddata对象，以便以合适的数据类型提供数据。从simulink中检索的时间步长存储在data_time中，系统的输入和输出数据分别存储在data
浏览 12提问于2016-09-21得票数 0
回答已采纳
我有一个用App Engine (python)编写的程序，我想在其中使用整数线性规划求解器。我能找到的所有求解器似乎都是部分用C语言编写的，所以我想它们在App Engine中是不能工作的。谁知道有一个纯python库可以解决整数线性规划中的不等式问题？
我设法找到了这个，但它似乎不能处理不平等问题。
浏览 6提问于2012-09-22得票数 1
回答已采纳
我的申请者最初是SAT问题。现在，我试图做一些扩展，需要使用一些int变量。所以这个问题变成了SMT问题。但是，在使用z3解决问题时，我遇到了一个性能问题。由于int变量有界(小于100)，将其转换为纯SAT问题是可行的。
有人知道如何在z3 c++接口中应用这种策略吗？或者我可以使用z3首先将SMT约束转换为SAT公式，然后再尝试其他SAT求解器？
浏览 0提问于2014-05-09得票数 0
回答已采纳
我在网上读到，用pyomo解决混合整数非线性问题是可能的。但我不明白是怎么回事。我用“glpk”和“ipopt”求解器解决了问题，但这两个都不适用于我当前的问题(ipopt不考虑布尔变量)。(我还重新构建了问题以避免布尔变量，但如果全局最优值为0(在一维中)，ipopt仅显示远离0的局部最优值)。我找到了这篇介绍MindtPy的论文http://
浏览 157提问于2019-05-07得票数 4
2回答
有可能有两个变量和相同的URL开头吗？
我是说'turnaje/{tournament}'和'turnaje/{region}'。
浏览 6提问于2021-01-30得票数 0
回答已采纳
我按照这个示例在MIP的控件(分支)回调中使用make_branch()进行分支。但我注意到，在变量选择策略的不同设置下，求解过程有着惊人的不同。既然我用我的决定取代了CPLEX的所有决定，那怎么可能呢？
浏览 1提问于2020-02-20得票数 1
使用RVersion4.0.4 (2021-02-15)，使用GLPK可调用库版本5.0，我将得到一个目标值低于我通过直接运行GLPSOL/MIP解决器5.0所得到的最大目标值的解决方案。这种情况发生在Linux (上面提到的版本)和Windows (与GLPSOL/MIP Solver版本4.65相比，分别是4.2.1和GLPK可调用库4.65)。
它们都运行在64位机器上。更奇怪的是，在32位MX Linux上，R和GLPK的旧版本都给出了与上述
浏览 5提问于2022-07-20得票数 0
1回答
希望通过使用不同的查找字段来访问不同的请求。在django rest框架的视图中，我在路由器和ModelViewSet中使用了simplerouter。预期用例示例： 要执行更新的url - /user/{id}/ 要执行删除的url - /user/{creation_date}/ 请帮我解决这个<em
浏览 25提问于2021-11-11得票数 1
我在一个VBA循环中使用Excel2003中的内置求解器来解决许多不同的问题。有时，求解器会达到最大时间或迭代次数限制，这会导致出现一个弹出对话框，询问用户是要继续、停止还是结束。在所有情况下，我都希望它结束，并继续循环的下一行。这将避免用户每次都必须坐在那里进行响应。
似乎有人在这里尝试了一下，但失败了：
浏览 0提问于2010-10-21得票数 2
扫码
添加站长 进交流群
领取专属 10元无门槛券
手把手带您无忧上云
相关资讯
热门标签
云服务器
ICP备案
对象存储
腾讯会议
云直播活动推荐
腾讯云开发者
