前言

计划是通过本文的撰写，捋清楚TSP和VRP的本质不同。(什么是本质❔)

对比	TSP（旅行商问题）	VRP（车辆路径问题）
描述	给定一个城市列表以及每对城市之间的距离，访问每个城市一次并返回出发城市的最短路线是什么	车队需要向给定的一组客户家中取货，需要遍历的最佳路线集是什么？
输入	城市数量，距离矩阵	城市数量，距离矩阵，任务量，卡车容量
约束	每个城市仅访问一次	每个城市仅访问一次，满足容量要求
目标	最小化总旅行距离	最小化总旅行距离
输出	一个旅行商访问城市的顺序	多个车辆的行驶路线
空间	城市序列：$(n-1)!$	城市序列加上车辆任务分配：$n!<S<P(n,m{)}^k$

以$n=13，m=5，k=3$为例，对比解空间：

• TSP解空间：$(n-1)!=(13-1)!=12!=4.79\times 10^8$
• VRP解空间：
  • 下限：$n!=13!=12!=6.23\times 10^9$
  • 上限：$P(n,m{)}^k=P(15,5{)}^3=3.68\times 10^{15}$

旅行商问题 (TSP)

问题介绍

旅行商问题（英语：Travelling salesman problem, TSP）在1930年被首次提出，是优化领域研究最深入的问题之一。问题的表述是：“给定一个城市列表以及每对城市之间的距离，访问每个城市一次并返回出发城市的最短路线是什么？”

图片来源：algorist.com

数学模型

符号定义

• $n$: 城市的数量。
• $c_{ij}$: 从城市 $i$ 到城市 $j$ 的距离或成本。
• $x_{ij}$: 决策变量。如果旅行商从城市 $i$ 直接前往城市 $j$，则为 1，否则为 0。

问题输入

• 城市数量：$n$
• 距离矩阵：$c_{ij}$，表示从城市 $i$ 到城市 $j$ 的距离或成本（对所有 $i,j=1,2,...,n$ 且 $i\ne j$）。

约束条件

每个城市只访问一次：
$$\sum _{j=1,j\ne i}^n{x}_{ij}=1\forall i=1,2,\dots ,n$$
$$\sum _{i=1,i\ne j}^n{x}_{ij}=1\forall j=1,2,\dots ,n$$

$$
\sum_{j=1, j \neq i}^{n} x_{ij} = 1 \quad \forall i = 1, 2, \ldots, n
$$
$$
\sum_{i=1, i \neq j}^{n} x_{ij} = 1 \quad \forall j = 1, 2, \ldots, n
$$

目标函数

最小化总旅行距离或成本：
$$\min \sum _{i=1}^n\sum _{j=1,j\ne i}^n{c}_{ij}{x}_{ij}$$

$$
\min \sum_{i=1}^{n}\sum_{j=1, j \neq i}^{n} c_{ij} x_{ij}
$$

问题输出

• 访问城市的顺序。

解的空间

旅行商问题的解空间是指所有可能的路径组合数量。

解空间大小计算

• 对于 $n$ 个城市的 TSP，旅行商从一个城市出发，并有 $(n-1)$ 个城市可以选择作为第一站。
• 在访问了第一个城市后，剩下 $(n-2)$ 个城市可以选择作为下一站，以此类推。
• 最后，旅行商将从最后一个未访问的城市返回起始城市。

因此，TSP 的解空间大小为所有可能路径的数量，计算公式为：

$$(n-1)!$$

其中，$(n-1)!$ 表示 $(n-1)$ 的阶乘，即 $1\times 2\times 3\times \dots \times (n-2)\times (n-1)$。

解释

旅行商可以从任何城市开始，但是不同的起点并不会影响各城市在解中的相对顺序。每个路径都可以通过循环移位变换为从特定城市（比如第一个城市）开始的路径，所以实际上只需考虑从一个固定城市出发的路径。

车辆路径问题 (VRP)

问题介绍

车辆路径问题（英语：Vehicle Routing Problem，VRP）在1959年被首次提出，是TSP的泛化形式，包含TSP问题。问题描述：车队需要向给定的一组客户家中取货或是送货，需要遍历的最佳路线集是什么？
值得一提的是，在1959年被提出时，论文名称是’The truck dispatching problem’，并没有使用Vehicle Routing Problem的表述。在随后十多年的相关研究中，也一直没有直接使用VRP这一名词的论文。直到Christofides, N.的论文’The vehicle routing problem’于1976年发表后，后续研究普遍采用了VRP的表述。

TSP到VRP的过渡

我们把TSP问题或一个场景表述为一辆空载的卡车从车库或是车场（出发城市）出发需要到多位客户的家中（其它城市）取货物，待取完所有货物后需要返回车库。这里有一个潜在的假定，不管所有客户家中的货物累加和究竟有多大，这一辆卡车总能全部纳入到自己的车厢中并继续正常行驶。也就是，车辆的运输能力 $C$ 大于等于所有的货物量：
$$C\ge \sum _i{q}_i$$
其中 $q_i$ 表述第 $i$ 个客户家中的货物量。
但是，当面临一辆卡车完不成所有的任务量时，也就是：
$$C<\sum _i{q}_i$$
就需要多辆车去完成，或者是一辆车多次往返。
按照论文The truck dispatching problem. Management science 6, 80–91 (1959)里面的介绍，把该条件描述为：
$$C\ll \sum _i{q}_i$$
并且，文章提出假定一辆车最多只能访问 $m$ 个点，只有当 $m$ 比较大时，有研究意义，否则的话，求解比较容易，如下：

If $m$ is small, optimal sets of $m$ points may often be determined by inspection of a map which contains the points and the arcs connecting them. One would look for “clusters of points” and determine by trial and error the order in which they should be traversed, taking care that no loop crosses itself. However, when clusters are not present in sufficient numbers or when $m$ is large, this procedure becomes inapplicable. In this case near-best solutions may be obtained by the algorithm in this paper.
如果 $m$ 很小，最优的 $m$ 个点的集合通常可以通过检查包含这些点和连接它们的弧的地图来确定。人们会寻找"点的簇集"，并通过试验和错误来确定它们应该按照什么顺序遍历，确保没有回路交叉。然而，当簇集数量不足或者 $m$ 很大时，这种方法就不适用了。在这种情况下，可以通过本文中的算法获得近似最优解。

数学模型

符号定义

• $n$: 任务点的数量。
• $P_i$: 第 $i$ 个任务点的位置，($i=1,2,\dots ,n$)。
• $[D]=[d_{ij}]$: 任务点间的距离邻接矩阵，($i,j=0,1,\dots ,n$)。
• $(Q)=(q_i)$: 各任务点的任务量，($i=1,2,\dots ,n$)。
• $C$: 卡车的容量，满足 $C>\max (q_i)$。
• $x_{ij}$: 决策变量。如果任务点 $P_i$ 和 $P_j$ 被同一辆车辆访问，则 $x_{ij}=x_{ji}=1$；如果不被同一辆车辆访问，则 $x_{ij}=x_{ji}=0$；对于所有 $i$, $x_{ii}=0$。

问题输入

• 给定 $n$ 个任务点的位置 $P_i$。
• 给定任务点间的距离邻接矩阵 $[D]$。
• 给定任务点的任务量 $(Q)$。
• 给定卡车的容量 $C。

约束条件

1. 车辆的起点和终点均是车库 $P_0$。
2. 每个任务点 $P_i$ 除了与车库 $P_0$ 外，最多与另一个任务点 $P_j$ 被同一个车辆访问一次。对于所有 $i=1,2,\dots ,n$，有 ${\sum }_{j=0}^n{x}_{ij}=1$。
3. 每辆车辆在任何时候的载荷不得超过其容量 $C$。对于车辆在访问任务点 $P_i$ 时的载荷量，满足以下条件：
   $$\sum _{i=1}^n{q}_i{x}_{ij}\le C\forall j=1,2,\dots ,n$$
   其中，$q_i$ 表示任务点 $P_i$ 的任务量，$x_{ij}$ 表示车辆是否访问了任务点 $P_i$。

$$\sum_{i=1}^{n} q_i x_{ij} \le C \quad \forall j = 1, 2, \ldots, n$$

优化目标

最小化总行驶距离 $D$：
$$\min D=\sum _{i,j=0}^n{d}_{ij}{x}_{ij}$$

$$\min D = \sum_{i,j=0}^n d_{ij} x_{ij}$$

问题输出

• 各车辆的行驶路线。

解空间

在车辆路径问题（VRP）中，我们考虑除起点和终点外的所有车辆行驶路线。这些路线可以排列成一个由 $n$ 个点组成的一维序列 $S$，拥有 $n!$ 种可能性。

特殊情况

假设 $n$ 是 $m$ 的整数倍，且每辆车必须经过 $m$ 个点才能返回车库。此时，序列 $S$ 只需平均分配给各车辆，解空间仍为 $n!$ 种。

一般情况

如果每辆车经过的点数在 1 到 $m$ 之间，解空间的计算变得复杂。

目前尚没有发现计算精确解空间大小的文献， AI 也无法给出确切数字，下面是一个粗略的估算方法。

• 单辆车的最大访问点数为 $m$，可能的访问序列数量为排列数 $P(n,m)$。
• 对于 $k$ 辆车，考虑所有可能的序列组合。
• 考虑到车辆间访问点的重叠，实际解空间小于 $P(n,m{)}^k$。

因此，解空间的上限估算为 $P(n,m{)}^k$。

TSP 与 VRP 对比

对比条目	TSP（旅行商问题）	VRP（车辆路径问题）
问题描述	给定一个城市列表以及每对城市之间的距离，访问每个城市一次并返回出发城市的最短路线是什么	车队需要向给定的一组客户家中取货，需要遍历的最佳路线集是什么？
问题输入	城市数量，距离矩阵	城市数量，距离矩阵，任务量，卡车容量
约束条件	每个城市仅访问一次	每个城市仅访问一次，满足容量要求
优化目标	最小化总旅行距离	最小化总旅行距离
问题输出	一个旅行商访问城市的顺序	多个车辆的行驶路线
求解空间	城市序列：$(n-1)!$	城市序列加上车辆任务分配：$n!<S<P(n,m{)}^k$

以n=13，m=5，k=3为例

• TSP解空间：$(n-1)!=(13-1)!=12!=4.79\times 10^8$
• VRP解空间：
  • 下限：$n!=13!=12!=6.23\times 10^9$
  • 上限：$P(n,m{)}^k=P(15,5{)}^3=3.68\times 10^{15}$

---

• 理解本质区别了吗？
  • 啥是本质，还是迷迷糊糊的😶‍🌫️，似乎是还差点，又似乎是还差许多💫。下雪了，开心👻