自定义博客皮肤VIP专享

*博客头图:

格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图

请上传大于1920*100像素的图片!

博客底图:

图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景

栏目图:

图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB

主标题颜色:

RGB颜色,例如:#AFAFAF

Hover:

RGB颜色,例如:#AFAFAF

副标题颜色:

RGB颜色,例如:#AFAFAF

自定义博客皮肤

-+
  • 博客(113)
  • 收藏
  • 关注

原创 决策变量乘积项的线性化

介绍了决策变量相乘情况下的线性化,并用案例进行线性化演示,其中针对连续变量相乘的情况介绍了McCormick包络的近似线性化方法

2024-04-25 16:24:52 117

原创 强化学习(五)基于时序差分法 TD 的求解

介绍了如何用时序差分法求解最优价值函数,并举例演示了时序差分在线控制算法SARSA的计算过程

2024-04-24 19:49:22 1012

原创 基于Python调用Gurobi求解器的入门文档

介绍了Gurobi求解器相关的入门知识(使用接口),以及用简单案例进行演示。

2024-04-22 14:59:04 129

原创 图搜索的经典启发式算法A星(A*、A Star)算法详解

从广度优先搜索算法开始介绍,扩展地介绍到 A* 算法,并对比分析了几种方法之间的特点

2024-04-19 18:55:26 933

原创 【项目案例】基于强化学习Q-Learning训练“汉诺塔Tower of Hanoi”游戏策略

基于强化学习的基础值迭代算法Q-Learning,演示了如何针对简单的汉诺塔游戏训练出一个成功的策略

2024-04-19 15:24:49 1282

原创 强化学习(四)基于蒙特卡罗算法 Monte-Calo 的求解

介绍了如何用蒙特卡洛求解最优价值函数,并用Python代码示例进行了演示

2024-04-17 19:03:22 779

原创 强化学习(三)基于动态规划 Dynamic Programming 的求解方法

介绍了动态规划与强化学习的关系,并用例子详细演示了动态规划如何求解策略评估、策略迭代问题

2024-04-16 19:30:30 1077

原创 基于云引擎求解的运筹优化库Qaekwy介绍——以指派问题为例

以指派问题为例,介绍了如何使用Qaekwy建模和求解

2024-04-15 19:03:40 127

原创 强化学习(二)马尔科夫决策过程 MDP

介绍了马尔可夫过程的相关概念,并用实例展示如何求解最优价值函数

2024-04-12 19:56:57 1128

原创 强化学习(一)基础概念入门

介绍了强化学习的基本概念,以及常见算法的分类

2024-04-12 14:03:18 1000

原创 基于pyscipopt库求解带时间窗车辆路径问题VRPTW

介绍了VRPTW的模型及如何用pyscipopt进行求解

2024-04-10 23:00:59 346

原创 【项目案例】利用强化学习训练“井字棋”下棋策略的详细介绍

基于Python介绍了如何用强化学习训练井字棋游戏的案例

2024-04-10 14:56:20 851

转载 LeetCode_35_简单_搜索插入位置

LeetCode_35:搜索插入位置(简单)

2024-04-07 14:04:08 17

转载 LeetCode_34_中等_在排序数组中查找元素的第一个和最后一个位置

LeetCode_34:在排序数组中查找元素的第一个和最后一个位置(中等)

2024-04-07 11:40:52 361

原创 基于约束求解器对“火影忍者Online”进行智能布阵

以火影忍者OL的布阵为案例,用约束规划进行求解

2024-04-03 18:47:03 163

原创 详细介绍如何利用 A star(A*)算法解决8数码问题

介绍了如何用A*算法一步步解决8数码难题,以及讨论解决列表排序和算法收敛效率低的问题

2024-04-03 11:45:21 1562

转载 LeetCode_33_中等_搜索旋转排序数组

LeetCode_33:搜索旋转排序数组(中等)

2024-04-01 23:05:42 816

原创 大规模柔性作业车间调度常用的瓶颈转移Shifting Bottleneck(局部搜索算法)

详细介绍了大规模FJSP常用的瓶颈转移策略,用以加速启发式全局算法

2024-04-01 18:56:20 186 2

转载 LeetCode_32_困难_最长有效括号

LeetCode_32:最长有效括号(困难)

2024-03-23 13:42:20 732

转载 LeetCode_31_中等_下一个排列

LeetCode_31:下一个排列(中等)

2024-03-22 00:09:06 589

转载 LeetCode_30_困难_串联所有单词的子串

LeetCode_30:串联所有单词的子串(困难)

2024-03-20 22:19:40 720

转载 LeetCode_29_中等_两数相除

LeetCode_29:两数相除(中等)

2024-03-19 07:45:00 713

转载 LeetCode_28_简单_找出字符串中第一个匹配项的下标

LeetCode_28:找出字符串中第一个匹配项的下标(简单)

2024-03-14 23:25:52 928

原创 基于SCIP的约束处理器Conshdlr添加惰性约束——以TSP问题为例

介绍了scip添加惰性约束的方法,并对比了有无惰性约束下TSP问题的求解效率差异

2024-03-14 22:43:13 272

转载 LeetCode_27_简单_移除元素

LeetCode_27:移除元素(简单)

2024-03-13 23:49:43 696

转载 LeetCode_26_简单_删除有序数组中的重复项

LeetCode_26:删除有序数组中的重复项(简单)

2024-03-13 00:03:15 797

原创 基于Python调用SCIP求解器的入门文档

介绍SCIP的python接口库pyscipopt的使用方法

2024-03-08 18:31:34 199

原创 利用auto-py-to-exe库的简单图形界面实现.py到.exe的转换

介绍了如何利用auto-py-to-exe库对py文件进行打包

2024-03-07 17:43:36 610

原创 基于streamlit库的CP-SAT求解日志分析器

介绍了能够自动分析CP-SAT求解日志的工具

2024-03-07 15:15:07 1012

转载 LeetCode_25_困难_K个一组翻转链表

LeetCode_25:K个一组翻转链表(困难)

2024-03-06 23:36:47 1029

原创 利用MiniZinc进行约束建模——以着色问题为例

以着色问题为例,介绍了如何用minizinc进行约束建模并求解

2024-03-06 17:46:47 133

转载 LeetCode_24_中等_两两交换链表中的节点

LeetCode_24:两两交换链表中的节点(中等)

2024-03-05 23:30:28 927

原创 基于SAT方法的超大规模集成电路设计——以多容量生产问题为视角

介绍了关于解决超大规模集成电路设计的案例

2024-03-05 19:44:09 485

转载 LeetCode_23_困难_合并 K 个升序链表

LeetCode_23:合并K个升序链表(困难)

2024-03-04 23:44:44 764

原创 解决约束满足问题的SMT求解器——基于z3+Python的入门案例

介绍了约束满足问题SMT求解器z3,并演示了使用方法

2024-03-04 19:14:32 549

转载 LeetCode_22_中等_括号生成

LeetCode_22:括号生成(中等)

2024-03-01 20:02:15 726

转载 LeetCode_21_简单_合并两个有序链表

LeetCode_21:合并两个有序链表(简单)

2024-02-27 23:46:07 1227

原创 基于贝叶斯定理的病情诊断案例分析

基于一个病情诊断案例,介绍贝叶斯定理的使用方法

2024-02-20 23:30:56 1039

转载 LeetCode_20_简单_有效的括号

LeetCode_20:有效的括号(简单)

2024-02-19 22:12:46 1159

原创 SMT2020:半导体制造流程标准仿真测试数据介绍

介绍半导体生产制造研究中常用到的标准仿真测试数据SMT2020

2024-02-18 19:00:33 313

基于Python的图搜索算法实现:广度优先搜索BFS,Dijkstra 算法,贪心最佳优先搜索,A*搜索

改代码实现了广度优先搜索BFS,Dijkstra 算法,贪心最佳优先搜索,A*搜索,并提供了将搜索结果画图展示的接口。 在入口文件处,提供了如何调用各类算法的例子以及演示了使用画图接口的方法。

2024-04-19

Python调用COPT实现列生成算法求解切割下料问题

本代码通过Python调用COPT,实现了列生成求解下料问题。模型是常见的列生成的案例模型,本代码的价值在于构建了清晰易复用的CG框架,能够根据具体的问题(修改主问题、子问题)而直接套用求解。

2024-04-15

Python调用Gurobi实现列生成算法求解切割下料问题

本代码通过Python调用Gurobi,实现了列生成求解下料问题。模型是常见的列生成的案例模型,本代码的价值在于构建了清晰易复用的CG框架,能够根据具体的问题(修改主问题、子问题)而直接套用求解。

2024-04-15

SMT-2020:半导体制造测试模型 Semiconductor Manufacturing Testbed

该资源包含了SMT2020的半导体制造测试数据,以及基于该测试数据衍生的测试模型文件(需要自行导入到 AutoSched AP 仿真软件当中才能输出仿真结果)。 内含两个维度(容量的高低、混合加工的产品数的多少)的四份不同模型,以及独立于仿真之外的Excel数据文件,可以进行学习研究。

2024-02-18

基于贪心随机自适应搜索算法(GRASP)解决TSP问题(Python)

此代码包用贪心随机自适应搜索(Greedy Randomized Adaptive Search,GRASP)解决TSP问题(附带实验数据),返回的结果包括TSP的访问城市的序列,以及求解方案的总路程(欧式举例,可自定义),输出的结果图中,红色点代表初始城市,橙色点代表第二个城市,用以标识TSP的出发方向。 适合于学习自适应搜索算法,以及研究路径问题。

2024-01-09

圣诞主题的贺卡程序(基于Python代码)

运行主程序"ChristmasFinal.py",进入用户界面,可以选择画圣诞树、画冰墩墩、给”snow.jpg“加雪花特效(自行更换图片)。 三个圣诞礼物的生成代码分别为”ChristmasTree.py“,”DrawBDD.py“,”drawSnow.py“,修改相应的参数可以到这些文件下修改,保存后重启进入用户界面。

2023-12-24

混合整数规划测试问题集:MIPLIB 2017

该测试问题集包含了多个标准问题的mps文件,由德国科研机构 Zuse Institute Berlin 维护,是混合整数规划领域最重要的问题集,常常被作为求解器性能评测的标杆。

2023-12-12

JSP测试数据集:Demirkol数据集(Ebru Demirkol, Sanjay Mehta, Reha Uz, 1998)

JSP的标准测试数据集,包含80个算例。数据来源:Ebru Demirkol, Sanjay Mehta, Reha Uzsoy. "Benchmarks for shop scheduling problems", European Journal of Operational Research, 109(1), 1998, pp. 137-141.

2023-12-10

JSP测试数据集:TA数据集(E. Taillard, 1993)

JSP的标准测试数据集,包含80个算例(ta01~80)。数据来源:E. Taillard. "Benchmarks for basic scheduling problems", European Journal of Operational Research, Vol. 64, Issue 2, pp. 278-285, 1993.

2023-12-10

JSP测试数据集:YN数据集(. Yamada, R. Nakano, 1992)

JSP的标准测试数据集,包含4个算例(yn01~04)。数据来源:T. Yamada, R. Nakano. "A genetic algorithm applicable to large-scale job-shop problems.", Proceedings of the Second international workshop on parallel problem solving from Nature (PPSN'2). Brussels (Belgium), pp. 281-290, 1992.

2023-12-10

JSP测试数据集:SWV数据集(R.H. Storer, S.D. Wu, R. Vaccari, 1992)

JSP的标准测试数据集,包含20个算例(swv01~20)。数据来源:R.H. Storer, S.D. Wu, R. Vaccari. "New search spaces for sequencing problems with applications to job-shop scheduling.", Management Science Vol. 38, Issue 10, pp. 1495-1509, 1992.

2023-12-10

JSP测试数据集:ORB数据集(D. Applegate, W. Cook, 1991)

JSP的标准测试数据集,包含10个算例(orb01~10)。数据来源:D. Applegate, W. Cook. "A computational study of job-shop scheduling.", ORSA Journal on Computer, Vol. 3, Isuue 2, pp. 149-156, 1991.

2023-12-10

JSP测试数据集:LA数据集(S. Lawrence, 1984)

JSP的标准测试数据集,包含40个算例(la01~40)。数据来源:S. Lawrence. "Resource constrained project scheduling: an experimental investigation of heuristic scheduling techniques (Supplement).", Graduate School of Industrial Administration. Pittsburgh, Pennsylvania, Carnegie-Mellon University, 1984.

2023-12-10

JSP测试数据集:FT数据集(J.F. Muth, G.L. Thompson, 1963)

JSP的标准测试数据集,包含3个算例。数据来源:J.F. Muth, G.L. Thompson. "Industrial scheduling.", Englewood Cliffs, NJ, Prentice-Hall, 1963.

2023-12-10

JSP测试数据集:ABZ数据集(Adams, E. Balas, D. Zawack, 1988)

JSP的标准测试数据集,包含5个算例(ABZ5~9)。数据来源:Adams, E. Balas, D. Zawack. "The shifting bottleneck procedure for job shop scheduling.", Management Science, Vol. 34, Issue 3, pp. 391-401, 1988.

2023-12-10

FJSP测试数据集:Hurink数据集(Hurink, B. Jurisch, & M. Thole, 1994)

FJSP的标准测试数据集,内部包含4个子数据集(edata/rdata/sdata/vdata),每个子数据集分别包含66个算例,这些子数据集由JSP标准测试数据集修改而来(ABZ/FT/LA/ORB)。数据来源:Hurink, B. Jurisch, and M. Thole, “Tabu search for the job-shop scheduling problem with multi-purpose machines,” Operations-Research-Spektrum, vol. 15, no. 4, pp. 205–215, 1994. 其中,sdata算例中每个工序只能分配一台机器;edata算例中有少量工序可以分配给多台机器;rdata算例中许多工序都可以分配给多台机器;vdata算例中每个工序都可以分配给多台机器。

2023-12-10

FJSP测试数据集:Dauzere数据集(S. Dauzère-Pérès & J. Paulli, 1994)

FJSP的标准测试数据集,包含18个算例。数据来源:S. Dauzère-Pérès and J. Paulli. Solving the General Multiprocessor Job-Shop Scheduling Problem. Technical report, Rotterdam School of Management, Erasmus Universiteit Rotterdam, 1994.

2023-12-10

FJSP测试数据集:Brandimarte数据集(P. Brandimarte, 1993)

FJSP的标准测试数据集,包含10个算例。数据来源:P. Brandimarte. Routing and Scheduling in a Flexible Job Shop by Tabu Search. Annals of Operations Research, 41(3):157–183, 1993.

2023-12-10

FJSP测试数据集:Barnes数据集(B. Chambers & J. W. Barnes, 1996)

FJSP的标准测试数据集,包含21个算例。数据来源:B. Chambers and J. W. Barnes. Flexible Job Shop Scheduling by Tabu Search. The University of Texas, Austin, TX, Technical Report Series ORP96-09, Graduate Program in Operations Research and Industrial Engineering, 1996.

2023-12-10

CVRP测试数据集:Christofides, Mingozzi, Toth Set-CMT(1979)

CVRP问题的经典测试数据。

2023-11-28

CVRP测试数据集:Augerat Set-P(1995)

CVRP问题的经典测试数据。 数据文件名形如 P-n16-k8,其中 n 后跟着测试问题的节点数,k 后跟着问题的最大车辆数。

2023-11-28

CVRP测试数据集:Christofides, Mingozzi, Toth Set-M(1979)

CVRP问题的经典测试数据。 数据文件名形如 M-n101-k10,其中 n 后跟着测试问题的节点数,k 后跟着问题的最大车辆数。

2023-11-28

CVRP测试数据集:Fisher Set-F(1994)

CVRP问题的经典测试数据。 数据文件名形如 F-n45-k4,其中 n 后跟着测试问题的节点数,k 后跟着问题的最大车辆数。

2023-11-28

CVRP测试数据集:Christofides&Eilon Set-E(1969)

CVRP问题的经典测试数据。 数据文件名形如 E-n32-k5,其中 n 后跟着测试问题的节点数,k 后跟着问题的最大车辆数。

2023-11-28

CVRP测试数据集:Augerat Set-B(1995)

CVRP问题的经典测试数据。 数据文件名形如 B-n31-k5,其中 n 后跟着测试问题的节点数,k 后跟着问题的最大车辆数。

2023-11-28

CVRP测试数据集:Augerat Set-A(1995)

CVRP问题的经典测试数据。 数据文件名形如 A-n32-k5,其中 n 后跟着测试问题的节点数,k 后跟着问题的最大车辆数。

2023-11-28

VRPTW 的大规模测试数据集 Homberger&Gehring 标准测试数据集

VRPTW问题的大规模测试数据集(200个客户节点),适于相关算法研究人员进行算法性能的测试验证。

2023-11-28

VRPTW 的 Solomon 标准测试数据集

CVRP问题下的VRPTW变体的测试数据集,常用来测试验证算法性能

2023-11-27

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章?
取消 删除