OUTLINE

  • 前言
  • VRPTW description
  • column generation
  • Illustration
  • code
  • reference

00 前言

此前向大家介绍了列生成算法的详细过程,以及下料问题的代码。相信各位小伙伴对column generation已经有了一个透彻的了解了。今天我们在来一点干货,用column generation求解vehicle routing problems。

01 VRPTW description

关于VRPTW问题的描述,以及建模方式,可以参照此文干货|十分钟快速掌握CPLEX求解VRPTW数学模型(附JAVA代码及CPLEX安装流程)。不过今天给大家带来的是VRPTW的另外一个建模方式,它是在传统的模型上利用了Dantzig-Wolfe decomposition分解算法得到的。

关于Dantzig-Wolfe decomposition分解算法,可以参照文章:

Formulation:[1]

  • $\Omega $ :the set of feasible vehicle routes, i.e., the set of paths in G issued from the
    depot, going to the depot, satisfying capacity and time window constraints and visiting
    at most once each customer.
  • \(c_k\) :the cost of route \(r_k \in \Omega\).
  • $ a_{ik}$ := 1 if route\(r_k\)visits customer\(v_i\) and = 0 otherwise.
  • $ b_{ijk}$ := 1 if route\(r_k\)uses arc\((v_i,v_j)\)and = 0 otherwise.

The VRPTW can be described with the following set covering model:

where \(θ_k\) indicates whether route \(r_k\) is selected (\(θ_k\) = 1) or not (\(θ_k\) = 0) in the solution.其中\(v_0\)是depot点。

其中:

  • 约束1保证了每个Customer都至少被服务一次。
  • 约束2限制了车辆的使用数量。
  • $\theta_k \(定义为整数,但显然当\)\theta_k > 1$时解都不是最优的。这样做的目的是为了后续使用column generation时获得一个更好的线性松弛。

02 column generation

从上面的模型中,先来讨论一个点,用\(S(\Omega)\)表示集合\(\Omega\)里面的路径数量,n表示Customer的点数,那么
\(S(\Omega)\)和n的关系可以看下表:

\(S(\Omega)\) n
10 \((A_{10}^2+A_{10}^3+A_{10}^4+...+A_{10}^{10})/2\)
20 \((A_{20}^2+A_{20}^3+A_{20}^4+...+A_{20}^{20})/2\)
... ...
100 \((A_{100}^2+A_{100}^3+A_{100}^4+...+A_{100}^{100})/2\)

可以看出,变量\(\theta\)的数目随着问题规模n的增长会爆炸式的增长。这时候,显然branch and bound这类的算法已经无能为力了,因为变量数目太多太多,搜索树会有多少个分支想都不敢想。

所以,我们上一节课讲的column generation就派上用场辣。如果相关概念还不清楚的就赶紧回去翻一翻上一次课的内容吧。

2.1 Master Problem(MP)

我们知道,column generation是求解linear program的,因为上面的model是一个整数规划模型,还不能直接挪过来当Master Problem。

在此之前,我们需要将\(\theta_k \in N\)给线性松弛一下变成\(\theta_k >= 0\)。这下\(\theta_k\)就从整数变量松弛为线性变量了。由此我们可以得出问题的Master Problem如下:

2.2 Restricted Master Problem(RMP)

在上述模型中,约束5中的列直观表现为一条可行的路径\(r_k\),现在要Restricted一下我们的Master Problem,直接Restricted Master Problem中的 \(\Omega\)即可。我们设\(\Omega_1 \subset \Omega\),那么Restricted Master Problem可以表示为:

然后我们再顺便把RMP的对偶model也写出来,便于后续对偶变量的求解:

在对偶模型中:

  • \(\lambda_i\)是非负的对偶变量,对应着约束(9)。
  • \(\lambda_0\)是非负的对偶变量,对应着约束(10)。

2.3 Subproblem

子问题要做的就是找一条路\(r_k \in \Omega \setminus \Omega_1\)使得,

其中,\(r_k\)受到的约束:

  • 从depot出发,最终回到depot。
  • 满足容量和时间窗的约束。

03 Illustration

在这一节我们将会给大家带来一个简单的VRPTW实例,详细演示一下column generation求解VRPTW的过程。大家可以再次熟悉一下column generation的原理。

假如我们有以下的一个very simple的VRPTW问题:

其中:

  • 边上数字表示路径的距离。
  • 点上的区间表示时间窗。
  • 为了更加简化问题,我们假设车的容量足够大(总是能容量约束),车的数量足够多(总是能满足数量约束)。

Start

一开始我们很容易找到一个初始的路径集合$\Omega_1 = {(v_0,v_1,v_0),(v_0,v_2,v_0),(v_0,v_3,v_0) } $。
服务所有的Customer。所以得到的Restricted Master Problem和Dual programs如下:

Iteration 1

RMP ( $\Omega_1 = {(v_0,v_1,v_0),(v_0,v_2,v_0),(v_0,v_3,v_0) } $ ):

很容易求得上述模型的最优解为\(\theta = (1,1,1), \lambda = (2,2.8,2)\)。

现在假如subproblem通过启发式或者什么方法找到了一条路径$ r_4 = (v_0,v_1,v_2,v_0)\(,路径\)r_4\(的reduce cost 为3.4-2-2.8 = -1.4 < 0。现在将\)r_4\(加入到\)\Omega_1 $中,开始下一轮迭代。

Iteration 2

RMP ( $\Omega_1 = {(v_0,v_1,v_0),(v_0,v_2,v_0),(v_0,v_3,v_0), (v_0,v_1,v_2,v_0)} $ ):

Again,很容易求得上述模型的最优解为\(\theta = (0,0,1,1), \lambda = (2,1.4,2)\)。

subproblem找到了一条路径$ r_5 = (v_0,v_1,v_2,v_3,v_0)\(,路径\)r_5\(的reduce cost 为4-2-1.4-2 = -1.4 < 0。现在将\)r_5\(加入到\)\Omega_1 $中,开始下一轮迭代。

Iteration 3

RMP( $\Omega_1 = {(v_0,v_1,v_0),(v_0,v_2,v_0),(v_0,v_3,v_0), (v_0,v_1,v_2,v_0),(v_0,v_1,v_2,v_3,v_0)} $ ):

求解得到最优解为\(\theta = (0,0,0,0,1), \lambda = (2,1.4,0.6)\)。

现在我们可以easily发现,还剩下两条route不在\(\Omega_1\)之中了。而这两条route的reduce cost都非负,列生成算法停止。并且在这个例子中,linear relaxation的解是integer optimal solution。

至此,列生成算法求解VRPTW的过程结束,相信这么详细的过程大家已经看懂了。

04 code

关于列生成算法求解VRPTW的算法将会在下一期呈现,大家可以先把这两期的内容好好消化了先。请关注我们的公众号以获取最新的消息,在第一时间获取代码:

可以关注我们的公众号哦!获取更多精彩消息!

05 reference

-[1]A tutorial on column generation and branch-and-price for vehicle routing problems, Dominique Feillet

干货 | 10分钟教你用column generation求解vehicle routing problems的更多相关文章

  1. 干货 | 10分钟带你彻底了解column generation(列生成)算法的原理附java代码

    OUTLINE 前言 预备知识预警 什么是column generation 相关概念科普 Cutting Stock Problem CG求解Cutting Stock Problem 列生成代码 ...

  2. 10分钟 教你学会Linux/Unix下的vi文本编辑器

    10分钟 教你学会Linux/Unix下的vi文本编辑器 vi编辑器是Unix/Linux系统管理员必须学会使用的编辑器.看了不少关于vi的资料,终于得到这个总结.不敢独享,和你们共享. 首先,记住v ...

  3. 【python】10分钟教你用python打造贪吃蛇超详细教程

    10分钟教你用python打造贪吃蛇超详细教程 在家闲着没妹子约, 刚好最近又学了一下python,听说pygame挺好玩的.今天就在家研究一下, 弄了个贪吃蛇出来.希望大家喜欢. 先看程序效果: 0 ...

  4. 10分钟教你用Python打造天气机器人+关键字自动回复+定时发送

    01 前言 Hello,各位小伙伴.自上次我们介绍了Python实现天气预报的功能以后,那个小程序还有诸多不完善的地方,今天,我们再次来完善一下我们的小程序.比如我们想给机器人发“天气”等关键字,它就 ...

  5. 10分钟教你用Python打造微信天气预报机器人

    01 前言 最近武汉的天气越来越恶劣了.动不动就下雨,所以,拥有一款好的天气预报工具,对于我们大学生来说,还真是挺重要的了.好了,自己动手,丰衣足食,我们来用Python打造一个天气预报的微信机器人吧 ...

  6. 10分钟教你用Python玩转微信之好友性别比例统计分析

    01 前言+效果展示 想必,微信对于大家来说,是再熟悉不过的了.那么,大家想不想探索一下微信上的各种奥秘呢?今天,我们一起来简单分析一下微信上的好友性别比例吧~废话不多说,开始干活. 结果如下: 02 ...

  7. 10分钟教你用Python玩转微信之抓取好友个性签名制作词云

    01 前言+展示 各位小伙伴我又来啦.今天带大家玩点好玩的东西,用Python抓取我们的微信好友个性签名,然后制作词云.怎样,有趣吧~好了,下面开始干活.我知道你们还是想先看看效果的. 后台登录: 词 ...

  8. 10分钟教你用VS2017将代码上传到GitHub

    前言 关于微软的Visual Studio系列,真可谓是宇宙最强IDE了.不过,像小编这样的菜鸟级别也用不到几个功能.今天给大家介绍一个比较实用的功能吧,把Visual Studio 2017里面写好 ...

  9. 【C/C++】10分钟教你用C++写一个贪吃蛇附带AI功能(附源代码详解和下载)

    C++编写贪吃蛇小游戏快速入门 刚学完C++.一时兴起,就花几天时间手动做了个贪吃蛇,后来觉得不过瘾,于是又加入了AI功能.希望大家Enjoy It. 效果图示 AI模式演示 imageimage 整 ...

随机推荐

  1. windows 10 如何设定计划任务自动执行 python 脚本?

    我用 python 写了一些脚本,有一些是爬虫脚本,比如爬取知乎特定话题的热门问题,有一些是定期的统计分析脚本,输出统计结果到文档中.之前我都是手动执行这些脚本,现在我希望如何这些脚本能自动定时执行. ...

  2. 在 Target 中获取项目引用的所有依赖(dll/NuGet/Project)的路径

    原文:在 Target 中获取项目引用的所有依赖(dll/NuGet/Project)的路径 在项目编译成 dll 之前,如何分析项目的所有依赖呢?可以在在项目的 Target 中去收集项目的依赖. ...

  3. .Net Core WepApi-JWT认证

    JWT 介绍 JWT(Json Web Token)是一种开放标准,已Json对象的方式在各方之间安全地传输信息 JWT登陆状态不在服务器端进行存储,而是通过秘钥生成一个具有有效时间的Token返回给 ...

  4. TortoiseSVN安装和使用

    安装说明 使用说明 检出项目 导入项目 提交 更新 查看日志 版本回滚 版本控制 总结 安装说明 开发人员强烈建议使用IDE中的SVN插件更加智能与人性化. 首先安装SVN客户端,windows一般选 ...

  5. python通过装饰器检查函数参数的数据类型的代码

    把内容过程中比较常用的一些内容记录起来,下面内容段是关于python通过装饰器检查函数参数的数据类型的内容. def check_accepts(f): assert len(types) == f. ...

  6. Mac系统安装JDK

    MAC 安装 JDK: 这篇文章主要为在MAC苹果系统下安装JDK1.8并配置系统环境变量. 主要分为以下步骤: 到Oracle官网下载JDK1.8安装包. 打开获取到的安装包按步骤安装到系统上. 配 ...

  7. 从输入 URL 到页面展示到底发生了什么?

    1.输入地址 当我们开始在浏览器中输入网址的时候,浏览器其实就已经在智能的匹配可能得 url 了,他会从历史记录,书签等地方,找到已经输入的字符串可能对应的 url,然后给出智能提示,让你可以补全ur ...

  8. 米勒罗宾素数检测(Miller-Rabin)

    适用范围:较大数的较快素性判断 思路: 因为有好的文章讲解具体原理(见参考文章),这里只是把代码的大致思路点一下,读完了文章如果还有些迷糊,可以参考以下解释 原理是费马小定理:如果p是素数,则a^(p ...

  9. 2019安徽省程序设计竞赛 I.你的名字(序列自动机)

    这题和今年南昌邀请网络预选赛M题很像啊,不过主串数量不是一个了 都是在主串中判断子串是不是属于主串的一个子序列 #include <iostream> #include <cstri ...

  10. Linux centos通过安装lszrz用CRT实现与Windows互相传文件

    本经验均在CentOSrelease6.7(Final)下操作,如知识有欠缺之处 欢迎批评指正: lrzsz是一个搭配SecureCRT使用的在linux和windows之间上传下载工具. 1 2 3 ...