首页 >
TSP
✍ dations ◷ 2025-09-06 20:41:54 #TSP
行商问题(最短路径问题)(英语:travelling salesman problem, TSP)是这样一个问题:给定一系列城市和每对城市之间的距离,求解访问每一座城市一次并回到起始城市的最短回路。它是组合优化中的一个NP困难问题,在运筹学和理论计算机科学中非常重要。TSP是旅行购买者问题(英语:travelling purchaser problem)与车辆路径问题的一种特殊情况。作为计算复杂性理论中的一个典型的判定性问题,TSP的一个版本是给定一个图和长度 L,要求回答图中是否存在比 L 短的回路(英语:circuit或tour)。该问题被划分为NP完全问题。已知TSP算法最坏情况下的时间复杂度随着城市数量的增多而成超多项式(可能是指数(英语:Exponential time hypothesis))级别增长。问题在1930年首次被形式化,并且是在最优化中研究最深入的问题之一。许多优化方法都用它作为一个基准。尽管问题在计算上很困难,但已经有了大量的启发式和精确方法,因此可以完全求解城市数量上万的实例,并且甚至能在误差1%范围内估计上百万个城市的问题。甚至纯粹形式的TSP都有若干应用,如企划、物流、芯片制造。稍作修改,就是DNA测序等许多领域的一个子问题。在这些应用中,“城市”的概念用来表示客户、焊接点或DNA片段,而“距离”的概念表示旅行时间或成本或DNA片段之间的相似性度量。TSP还用在天文学中,观察很多源的天文学家希望减少在源之间转动望远镜的时间。许多应用(如资源或时间窗口有限)中,可能会加入额外的约束。可以用无向加权图来对TSP建模,则城市是图的顶点,道路是图的边,道路的距离就是该边的长度。它是起点和终点都在一个特定顶点,访问每个顶点恰好一次的最小化问题。通常,该模型是一个完全图(即每对顶点由一条边连接)。如果两个城市之间不存在路径,则增加一条非常长的边就可以完成图,而不影响计算最优回路。在对称TSP问题中,两座城市之间来回的距离是相等的,形成一个无向图。这种对称性将解的数量减少了一半。在非对称TSP问题中,可能不是双向的路径都存在,或是来回的距离不同,形成了有向图。交通事故、单行道和出发与到达某些城市机票价格不同等都是打破这种对称性的例子。单钻头的运动可以看成是典型的TSP问题。TSP可以用整数线性规划来形式化。 用数字 0, ..., n 标记这些城市(打孔位置),并定义:对于 i = 0, ..., n,令
u
i
{displaystyle u_{i}}
为一人工变量,最后把
c
i
j
{displaystyle c_{ij}}
作为从城市 i 到 j 的距离。那么TSP可以写成下面的整数线性规划问题:第一组等式要求每个城市都能另一个城市前来,而第二组等式要求每个城市都能出发。最后的约束迫使覆盖所有城市的路径只有一条,而不是两条或者多条分散的路径在一起覆盖的。要证明这一点,下面会去证 (1)每个可行解包含只有一条封闭城市序列,以及(2)对于每条覆盖所有城市的单独路径,虚拟变量
u
i
{displaystyle u_{i}}
有值可以满足约束。证明可行解中的每个子回路经过0号城市(注意到等式保证了只有一条这样的路径),就能证明所有可行解只包含一个封闭城市序列。对于若我们对所有
x
i
j
=
1
{displaystyle x_{ij}=1}
对应的不等式求和的话,对 k 步不经过0号城市的任何子回路,我们得到:这构成矛盾。必须证明对每个覆盖所有城市的单独回路,虚拟变量
u
i
{displaystyle u_{i}}
有值可以满足约束。为了不失一般性,定义起始点为0号城市。如果在第 t 步访问城市 i 后 (i, t = 1, 2, ..., n) 选取
u
i
=
t
{displaystyle u_{i}=t}
。则由于
u
i
{displaystyle u_{i}}
不大于 n 而
u
j
{displaystyle u_{j}}
不小于1;因此,每当
x
i
j
=
0
{displaystyle x_{ij}=0}
时满足约束。对于
x
i
j
=
1
{displaystyle x_{ij}=1}
,我们有:满足约束。
相关
- 蒙古入侵欧洲长子西征,又称蒙古第二次西征、蒙古侵略欧洲(英语:Mongol invasion of Europe),是蒙古帝国继成吉思汗西征花剌子模后的第二次大规模的西征。1235年开始至约1242年,历时约8年,因由各
- 偏差音音乐上的偏差音(inharmonicity)是乐器的本性,代表乐器发出的泛音频率偏离其基本频率整数倍的特性。钢琴调音(调律)中,所有平均律都需要微调,因为琴弦的刚性(stiffness)会产生偏差音。
- 纽约邮报纽约邮报(英语:New York Post)是一份美国的日报,主要在纽约市和周边地区分销。这是在美国第13份最悠久和第7份最广为发行的报纸。创办于1801年,由联邦党和开国元勋亚历山大·汉密
- 文化语文化语(朝鲜语:문화어/文化語),是朝鲜民主主义人民共和国(以下简称为“朝鲜”)所使用的标准朝鲜语。1992年出版的《朝鲜话大辞典》(조선말대사전/朝鮮말大辭典)对“文化语”的定义为:在
- 马其顿语马其顿语(马其顿语:македонски,罗马化:makedonski,IPA:.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Un
- 叶朝辉叶朝辉(1942年3月1日-),生于四川简阳,中国物理学家,中国科学院武汉物理与数学研究所研究员,曾任该所所长、中国科学院武汉分院院长。1965年毕业于北京大学无线电电子学系。2001年当
- 希腊化时代希腊化时代(英语:Hellenistic period)在亚历山大征服波斯帝国之后不久开始。通常起始点视为亚历山大大帝于公元前323年逝世开始,并结束于罗马共和国在前146年征服希腊本土,或前30
- 孤束核孤束核(英文:Nucleus of the solitary tract;拉丁文:Nucleus tractus solitarii,缩写:NTS)是延髓灰质内的一组柱状神经核(英语:Nucleus (neuroanatomy))。于孤束核内的神经纤维称为孤
- 拟交感神经性拟交感神经药,指与兴奋交感神经的效应相同的药物,也叫做拟交感药物。拟交感药的主要目的是兴奋肾上腺素受体。其中包括肾上腺素、去甲肾上腺素、麻黄碱及一些合成药如异丙肾上
- 第三期临床试验临床试验(英语:Clinical trial)是一种根据研究方案利用已上市药物或安慰剂作为对照组的方式,对药物或其他医学治疗在受试者身上进行比较测试的过程。在临床试验中,研究者要先决定