Lins号丹
喜欢爬山的运筹算法工程狮
展开
-
《优化求解器》专栏导读
《优化求解器》专栏导读原创 2024-02-18 14:12:51 · 147 阅读 · 0 评论 -
利用PyCSP3库(含大量全局约束)进行组合约束建模
介绍了约束规划求解器PyCSP3如何进行建模并求解原创 2024-05-27 19:21:52 · 268 阅读 · 0 评论 -
求解器的可行解存在一个允许的误差范围
介绍了求解器当中的误差容忍机制原创 2023-12-20 22:21:56 · 163 阅读 · 0 评论 -
基于云引擎求解的运筹优化库Qaekwy介绍——以指派问题为例
以指派问题为例,介绍了如何使用Qaekwy建模和求解原创 2024-04-15 19:03:40 · 155 阅读 · 0 评论 -
基于Python调用SCIP求解器的入门文档
介绍SCIP的python接口库pyscipopt的使用方法原创 2024-03-08 18:31:34 · 426 阅读 · 0 评论 -
基于SCIP的约束处理器Conshdlr添加惰性约束——以TSP问题为例
介绍了scip添加惰性约束的方法,并对比了有无惰性约束下TSP问题的求解效率差异原创 2024-03-14 22:43:13 · 315 阅读 · 0 评论 -
利用MiniZinc进行约束建模——以着色问题为例
以着色问题为例,介绍了如何用minizinc进行约束建模并求解原创 2024-03-06 17:46:47 · 157 阅读 · 0 评论 -
解决约束满足问题的SMT求解器——基于z3+Python的入门案例
介绍了约束满足问题SMT求解器z3,并演示了使用方法原创 2024-03-04 19:14:32 · 600 阅读 · 0 评论 -
OR-Tools的CP-SAT求解器入门案例
通过一个简单案例演示如何用CP-SAT求解规划问题原创 2023-12-06 20:09:05 · 351 阅读 · 1 评论 -
OR-Tools的CP-SAT求解器常用参数设置与说明
介绍了ortools常用的求解器参数原创 2024-02-01 23:32:02 · 1161 阅读 · 0 评论 -
利用OR-Tools(CP-SAT)的Callback方法控制搜索过程的结束
介绍了如何在OR-Tools的CP-SAT求解器当中控制求解进程原创 2024-01-06 23:06:30 · 408 阅读 · 0 评论 -
OR-Tools的线性规划求解器入门——调用不同求解内核
介绍了如何使用OR-Tools的线性规划求解器原创 2024-01-16 17:22:49 · 180 阅读 · 0 评论 -
利用OR-Tools多样的约束函数快速建模详解
介绍了OR-Tools中常用的特殊约束函数,能极大地方便建模原创 2024-01-15 19:30:09 · 363 阅读 · 0 评论 -
OR-Tools约束通过OnlyEnforceIf方法快速建立分段约束函数
介绍了OR-Tools中快速建立逻辑约束函数的OnlyEnforceIf方法原创 2024-01-16 11:07:22 · 595 阅读 · 0 评论 -
利用OR-Tools求解器的callback功能返回可行解
介绍了ortools的callback功能原创 2023-12-06 11:34:12 · 1139 阅读 · 1 评论 -
基于Python调用Gurobi求解器的入门文档
介绍了Gurobi求解器相关的入门知识(使用接口),以及用简单案例进行演示。原创 2024-04-22 14:59:04 · 245 阅读 · 0 评论 -
通过Gurobi的printStats函数查看模型的系数范围
介绍gurobi查看模型系数范围的函数用法原创 2023-12-22 20:57:27 · 60 阅读 · 0 评论 -
利用Gurobi的Callback方法在求解过程中添加惰性约束
介绍了python调用gurobi求解带惰性约束的问题原创 2023-11-26 19:33:33 · 372 阅读 · 4 评论