SCIP | 数学规划求解器SCIP超详细的使用教程

最新推荐文章于 2024-05-31 15:55:52 发布
最新推荐文章于 2024-05-31 15:55:52 发布
阅读量1w 收藏 33
点赞数 4
分类专栏： 算法 java 文章标签： java SCIP
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/Rivalsx/article/details/84970787
版权

前言

小伙伴们大家好呀！继上次lp_solve规划求解器的推文出来以后，大家都期待着更多求解器的具体介绍和用法。小编哪敢偷懒，这不，赶在考试周之际，又在忙里偷闲中给大家送上一篇SCIP规划求解的推文教程。快一起来看看吧。

 

欲获取代码，请关注我们的微信公众号【程序猿声】，在后台回复：SCIP。即可获取。

微信公众号

 

Part1 惯例科普篇

What is SCIP?

官方的介绍：

SCIP is currently one of the fastest non-commercial solvers for mixed integer programming (MIP) and mixed integer nonlinear programming (MINLP). It is also a framework for constraint integer programming and branch-cut-and-price. It allows for total control of the solution process and the access of detailed information down to the guts of the solver.

SCIP is a framework for Constraint Integer Programming oriented towards the needs of mathematical programming experts who want to have total control of the solution process and access detailed information down to the guts of the solver. SCIP can also be used as a pure MIP and MINLP solver or as a framework for branch-cut-and-price.

SCIP is implemented as C callable library and provides C++ wrapper classes for user plugins. It can also be used as a standalone program to solve mixed integer programs given in various formats such as MPS, LP, flatzinc, CNF, OPB, WBO, PIP, etc. Furthermore, SCIP can directly read ZIMPL models.
有关SCIP概述及其算法的实现原理方法更多详情，可以点击下面链接下载相关文档：

SCIP的更详细描述：

有关凸与非凸MILPS的全局优化的非线性求解特征：

SCIP Optimization

SuiteSCIP优化套件是用于生成和求解混合整数非线性规划模型、混合整数线性规划模型和整数约束规划模型的工具集。 它由以下部分组成：

  • SCIP mixed integer (linear and nonlinear) programming solver and constraint programming framework
  • SoPlex linear programming solver
  • ZIMPL mathematical programming language
  • UG parallel framework for mixed integer (linear and nonlinear) programs
  • GCG generic branch-cut-and-price solver

用户可以使用建模语言ZIMPL轻松生成线性，混合整数和混合整数二次约束的规划模型。 得到的模型可以直接加载到SCIP中并求解。 在解决方案过程中，SCIP可以使用SoPlex作为底层LP求解器。

上面五个组件都可以获得它们的源代码，并且都是免费的。因此它们是用于学术研究和混合整数编程的理想工具。

可以点击下面链接下载SCIP Optimization Suite：
（https://scip.zib.de/index.php#download）

目前最新版本是SCIP version 6.0.0。

支持以下平台：

  • Linux
  • Mac
  • Windows
  • SunOS
  • Android

SCIP的特点

对于SCIP，它主要有以下几个优点：

  • very fast standalone solver for linear programming (LP), mixed integer programming (MIP), and mixed integer nonlinear programming (MINLP)
  • framework for branching, cutting plane separation, propagation, pricing, and Benders’ decomposition,
  • large C-API, C++ wrapper classes for user plugins
  • interfaces to other applications and programming languages (contained in source code packages or available from http://github.com/SCIP-interfaces):

Python
Java
AMPL
GAMS
MATLAB

  • open LP solver support:

CPLEX
Gurobi
XPress
Mosek
SoPlex
QSopt
CLP.

  • highly flexible through many possible user plugins

Part2 基础入门篇

SCIP-下载和安装前面介绍了这么多，终于要动手撸一撸代码了。想必各位小伙伴也迫不及待了吧。不过这里再强调两句，SCIP和SCIP Optimization Suite的区别就是前者是一个工具，后者是一个工具集。后者包含了前者之外，还包含了其他的求解器。

下载：
前面已经给出了下载地址，大家根据自己的平台下载相应的文件即可。小编系统平台是Windows 10 64bit的。所以就下载了：

安装的话，照旧一路向西。需要注意的是，这里把这些勾选以下，免得后续出现麻烦：

关于SCIP的说明文档，访问（https://scip.zib.de/）定位到右上角Documentation，版本选6.0即可。

0) 好了现在兴高采烈打开命令行，输入SCIP：

纳尼？剧本好像不是这么写的啊。

是什么问题呢？（敲黑板），刚刚即使勾选了把SCIP Optimization Suite添加到系统路径里面，可能对某些情况并不会成功（可能是被杀毒软件拦截了）。所以咱们还是要手动添加一下。

如下图：右键此电脑-属性。然后按下图操作：

找到我们SCIPOptSuite 6.0.0的安装路径，把它复制下来：

然后添加到PATH变量里面：

然后再回到命令行。（注意要重启一下命令行）输入SCIP：

大功告成。

SCIP-简单上手那么，怎么用SCIP求解一个规划问题呢？例如下面一个简单的例子：
Max z = x1 + 2 x2 + 3 x3 + x4
Subject To
- x1 + x2 + x3 + 10 x4 <= 20
x1 - 3 x2 + x3 <= 30
x2 - 3.5 x4 = 0
0 <= x1 <= 40
2 <= x4 <= 3

SCIP支持以下格式的文件：

部分格式文件说明可以点击下面的链接（个别需要科学上网）：

在这里我们选择CPLEX lp files格式的文件作为演示。将上述模型改写为CPLEX lp files格式便可以用SCIP读取并且求解。例如我们在D:\scip目录下建立一个simple.lp文件，输入以下代码：
Maximize
obj: x1 + 2 x2 + 3 x3 + x4
Subject To
c1: - x1 + x2 + x3 + 10 x4 <= 20
c2: x1 - 3 x2 + x3 <= 30
c3: x2 - 3.5 x4 = 0
Bounds
0 <= x1 <= 40
2 <= x4 <= 3
General
x4
End

保存。

在我们的命令行模式下，进入到D:\scip这个目录。

然后输入以下命令：
1) 首先进入scip：> scip

2) 然后读取我们的模型文件：> read simple.lp

3) 求解我们的问题：> optimize

最低0.47元/天 解锁文章
infinitor
关注
  • 4
    点赞
  • 踩
  • 33
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
基于Python调用SCIP求解器的入门文档
Linshaodan520的博客
03-08 498
介绍SCIP的python接口库pyscipopt的使用方法
混合整数非线性规划_SCIP混合整数规划框架简介
weixin_39654619的博客
11-21 2373
SCIP：优化求解器介绍题主学习SCIP起因是CPLEX并不支持列生成算法，经过一番打听，发现SCIP(Solving Constraint Integer Programs)一款非常成熟的开源混合整数规划(MILP)框架，支持自定义搜索树中的各个模块，当然包括在分支限界(Branch and Bound)过程中添加变量的功能，如获至宝。SCIP核心库由C写成，有相应的C++封装函数，相比CPLE...
【无人机控制】SQP求解器、 Runge-Kutta、模型预测控制 (MPC) 四旋翼飞行器的全系统动力学设计【含Matlab源码 4596期】
最新发布
Matlab武动乾坤的博客
05-31 791
SQP求解器、 Runge-Kutta、模型预测控制 (MPC) 四旋翼飞行器的全系统动力学设计 完整的代码，方可运行；可提供运行操作视频！适合小白！
混合整数非线性规划求解器SCIP初探
beingstrong的博客
11-04 1326
SCIP是目前最快的混合整数线性规划(mixed integer programming,MIP)和混合整数非线性规划(mixed integer nonlinear programing, MINLP)的求解器之一。
Python 安装scip
风少_Hpy的博客
10-18 2006
Python 安装 scip 安装
jar包的制作和使用
yijiaodingqiankun的博客
09-25 453
一.jar包的制作1.将写好的java文件放到需要打包的模块Modules里面(本次举例模块名称为tool)2.点击左上角File中的Project Structure3.选择Artifacts,点击+4.按照图下点击5.弹出的小窗口中选择要制作jar包的模块(tool),点击OK,后面再点击一个OK6.点击软件上面的位置Build-Build Artifacts7.在弹出来的两个小窗口中点击Build,右下角会有进度条跑动。
SCIP求解速度加速
as472780551的博客
11-02 659
实际使用中遇到scip求解速度慢，需要加速或者牺牲一定的精度换取时间。
开源求解器SCIP的python接口学习手册
04-25
SCIP（Solving Constraint Integer Programs）是一个开源的数学优化求解器，用于解决混合整数规划问题。Python 是一种流行的编程语言， PySCIPOpt 是 SCIP 的 Python 接口，提供了一个易于使用的 API，允许用户使用 ...
SCIP约束整型规划器库及头文件
04-13
SCIP（Solving Constraint Integer Programs）是一个开源的数学优化求解器，专门用于解决混合整数线性规划（MILP）、混合整数二次规划（MIQP）以及其他类型的整数优化问题。它是一个完整的框架，包含了建模语言、...
MATLAB OPTI工具箱，包括scip.mexw64文件和sedumi
04-03
https://blog.csdn.net/xiaofei473/article/details/107731714?utm_medium=distribute.pc_relevant.none-task-blog-baidujs_title-5&spm=1001.2101.3001.4242借助前人的博文，下载了OPTI Toolbox的第三方工具箱，但是发现安装不了。偶然的机会，发现多年前下载过OPTI Toolbox某个版本，结合该博主提供的其他求解器，完美解决了OPTI Toolbox安装问题。这里，提供我安装后的压缩包，直接运行opti_Install.m即可。
一种非线性优化器scip与soplex
05-03
SCIP（Solving Constraint Integer Programs）是一个开源的数学优化求解器，专门处理混合整数线性和非线性规划问题。它不仅是一个强大的求解器，还提供了一个灵活的框架，允许用户添加新的约束类型、新的求解策略...
scip-3.1.1.tgz
06-22
SCIP（Solving Constraint Integer Programs）是一个开源的数学优化求解器，主要用于处理整数规划问题，包括线性、混合整数、二元、逻辑和非线性规划等。SCIP由Zuse Institute Berlin开发，广泛应用于运营研究、数学...
AMPL专业版 .zip建模求解软件
05-26
在求解器方面，AMPL集成了多种业界知名的优化求解器，如CPLEX、Gurobi、SCIP等，能够解决大规模的线性、非线性和整数优化问题。用户可以根据问题的具体类型和规模选择合适的求解器，以达到最佳的计算效率和解的质量...
SCIP求解器使用VS软c++语言调用详细方法
hjllllllllllllll的博客
03-20 486
使用c++调用scip求解器
SCIP求解器解决旅行商问题
qq_40275637的博客
11-15 1071
TSP旅行商问题 TSP旅行商问题是运筹学领域一个经典问题，一个旅行商访问所有的城市，每个城市仅访问一次，总路程最短。 问题的模型如图： 目标函数：总路程最短 决策变量xij:若经过以ij为节点的边，则xij=1,否则为0 约束1：表示的是流入和流出节点的边相等，但是这里建模方式不同，看到程序大家就会明白 约束2：子回路约束，对任意一个V的子集，去掉V子集和空集，边的数量小于等于点的数...
SCIP使用详解（一）
dyingstarAAA的博客
03-09 4748
国内的SCIP用的少，看英文太难受了，翻译在这里用于备份，转载请注明来源 SCIP官网：https://www.scipopt.org/index.php#welcome 概述 什么是SCIP？ SCIP是一个用于解决约束整数规划（CIP）和混合整数非线性规划的框架。特别的，SCIP结合了混合整数规划（MIP）求解器和基于LP的混合整数非线性规划（MINLP）求解器，是一个分支减界定价的框架。 快速开始 让我们从下面这个LP的小例子开始。具有一个通用整数变量和三个线性约束的4变量问题 Maximize .
路径规划的二次规划方法-知识总结
weixin_39735688的博客
03-19 4049
总的来说，路径的优化方法还是比路径的采样方法好，耗时少，但是采样也有采样的优点。每个场景结合不同的规划算法，会比较合适。
SCIP matlab
08-09
SCIP 是一个优化软件包，用于求解数学规划问题。它提供了一种高性能的求解器，支持线性规划、混合整数规划、约束规划等各种类型的优化问题。 在 MATLAB 中使用 SCIP，您可以使用 SCIP 的 MATLAB 接口，将问题传递给 SCIP 求解器进行求解。这个接口提供了一系列函数，可以设置问题的变量、约束和目标函数，并且可以调用求解器进行求解。 要使用 SCIP MATLAB 接口，您需要先安装 SCIP 软件包，并将其与 MATLAB 进行关联。安装和配置过程可能会因操作系统和 MATLAB 版本而有所不同，您可以参考 SCIP 官方文档或其他资源进行指导。 一旦安装和配置完成，您就可以使用 MATLAB 中的 SCIP 接口来建立和求解您的优化问题。您可以使用 MATLAB 的脚本或函数来调用 SCIP 接口，并根据您的需求进行问题设置和求解。 希望这个回答能对您有所帮助！如果您有任何进一步的问题，请随时提问。

“相关推荐”对你有帮助么？

  • 非常没帮助
  • 没帮助
  • 一般
  • 有帮助
  • 非常有帮助
提交
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值