CPS银
约束满足和优化问题的基于本地搜索的求解器
约束求解器库包含一个基于本地搜索的框架，该框架允许使用约束编程原语（变量，值，约束）对问题进行建模。
搜索基于迭代前向搜索算法。 该算法类似于本地搜索方法。 但是，与经典的本地搜索技术相比，它在可行的解决方案上运行，尽管不一定完整。 在这些解决方案中，某些变量可能未分配。 但是，必须满足对分配变量的所有硬约束。 与完整但不可行的解决方案相比，此类解决方案更易于可视化，并且对人类用户更有意义。 由于该算法的迭代特性，求解器还可以轻松地从任何可行的解决方案（完整或不完整）开始，停止或继续。
该框架还支持最小扰动问题的动态方面，从而使解决方案（扰动）的更改次数保持尽可能小。
约束求解器是计时（ITC2007）的所有三个曲目的决赛选手之一，它赢得了其中的两个冠军，有关更多详细信息，请参阅 。
组件
库中包含以下模块：
基于局部搜索的约束
2022-02-27 22:48:15
2.02MB
1
提供了一个tsp类的文件，提供了一个启动的main函数，还有一个绘图的DW类，核心的参数有交叉概率，变异概率，种群数目和迭代次数，读者可以根据自己情况进行修改，并且本代码在遗传算法中内嵌了EO极值优化算法，可以得到更加准确的值。读者可以自行修改其中的代码逻辑
2022-02-24 17:20:39
7KB
1
计算智能课程作业，要求写一篇计算智能相关技术的小论文。本论文对TSP问题，采用遗传算法进行求解。
2022-02-11 15:44:28
148KB
1
该资源采用python编写，通过调用gurobi对数值双层优化问题进行求解，是学习双层规划的绝佳材料。
2021-12-28 18:05:20
24KB