返回
十年前就已经实现的技术（44年10³⁶的关键突破）
十年前就已经实现的技术（44年10³⁶的关键突破）
2024-07-01 01:15:57  作者:风中人  网址:https://m.xinb2b.cn/tech/fqh425239.html

十年前就已经实现的技术（44年10³⁶的关键突破）(1)

你是一位辛苦而忙碌的推销员，需要穿梭在许多城市之间。假设现在你有一系列目的地城市需要逐一拜访，并最终返回你生活的那座起点城市。你已经做了充足的准备，知道任意两座城市之间的距离，那么，应当如何规划旅行路径，才能使得整个旅程最短呢？

虽然描述和理解起来并不复杂，但这绝不能算是一个简单的问题，尤其是当“城市”的数量远不止三五座，而是一个庞大的数字时，问题的复杂程度也可能变得超乎想象。

这个问题有个专属的名字，它通常被称为旅行推销员问题（travelling salesman problem, TSP），是理论计算机科学中一个最著名的存在已久的基本问题之一。理论计算机科学家为了检验有效计算的极限，对这一问题进行了反复研究。几十年来，它也激发了计算机科学中许多基础的进步，帮助阐释了线性规划等技术的能力。一些科学家甚至把探索TSP称为一种“瘾”。

TSP也并非单纯的“纸上谈兵”，而是具有广泛的实际意义，在物流、制造业，甚至DNA测序中都有应用。在这些情况下，“城市”就代表着客户、DNA片段等，而“城市间的距离”则可以指时间、距离、相似度等。

两年前，当Nathan Klein开始研究生学习时，他的导师Anna Karlin与Shayan Oveis Gharan提出了这样一个规划——共同研究理论计算机科学中这个著名问题。Klein的导师都认为，即使他们无法解决这个问题，Klein也能在这个过程中学到很多东西。当时仍是研究生新生的Klein同意了这个计划，他还不知道自己在接下来两年将会面临什么。

如今，在上传至预印本网站的一篇论文中，导师与Klein终于实现了他们的目标，事实上，这也是计算机科学家近半个世纪以来一直所追求的——他们证明了找出TSP近似解的更优算法。

大多数计算机科学家相信，没有一种算法可以有效地为TSP所有可能的城市组合找到最优解。虽然如此，找到接近最优解的方法还是有可能的。

1976年，尼科斯·克里斯托菲德斯（Nicos Christofides）提出了一种算法，可以有效地找到TSP的近似解，并保证这种近似解中的往返旅程最多比最优解长出50%（近似比不超过3/2）。这种算法利用了连接所有城市的最短“树”，也就是没有闭合回路的连接（或者叫“边”）网络，然后将这种树作为主干，随后添加额外的连接，将它转换成完整的往返路径。

十年前就已经实现的技术（44年10³⁶的关键突破）(2)

这是一个简单的TSP例子，在这个例子中，最优解并不复杂。而克里斯托菲德斯算法会先找到连接所有城市的最短树，然后再将它转换成完整的往返旅程。| 图片设计：雯雯子；素材参考：[1]

在任何往返旅程中，连接每座城市的边都必须是偶数条，这不难理解，因为每次到达后都会离开。事实证明反之亦然，也就是说，如果网络中的每座城市都有偶数条连接，那么网络中的连接一定能构成一个往返旅程。

连接所有城市的最短树则缺乏这种“偶数性”，因为位于分支末端的城市只存在一条连接。克里斯托菲德斯算法找到了最佳的方式，将拥有奇数条连接的城市相连，就让最短树变成了一个往返旅程。随后他证明，由此产生的往返旅程最多比最优解长50%。

克里斯托菲德斯算法是理论计算机科学中最著名的近似算法之一，它也成了不少教科书和课程中经常出现的最佳案例。但计算机科学家一直相信，应当存在比克里斯托菲德斯算法更优的近似算法。毕竟，克里斯托菲德斯算法虽然简单直观，但并非总是那么高效，因为连接城市的最短树或许并非可选择的最佳主干。比如，如果这个树有许多分支，那么分支末端的每座城市都需要与另一座城市相匹配，这可能会带来大量昂贵的新连接。

当时许多人认为，不久就会有人对克里斯托菲德斯的简单算法提出改进。但事情并没有这么简单。

直到10年前，Gharan和他的博士导师以及合作者开始研究提高克里斯托菲德斯算法的可能。他们受到了另一种版本的TSP的启发。在这个版本中，你可以选择一种组合路径。例如，如果你想去A地，可以选择3/4的B到A的路径，加上1/4的C到A的路径。这种“分段版本”的问题虽然没有实际的物理意义，却能够有效地求解。对计算机科学家来说，它也可以作为对求解一般性TSP的一种思路引导。

因此，Gharan等人没有选择连接所有城市的最短树，而是从一个精心筛选的集合中随机选择一个树。他们创建了新的算法，利用一种随机过程创建出树，在这样的树中，拥有奇数条连接的城市倾向于有邻近的“搭档”。接着再用类似克里斯托菲德斯算法的方式，将这些城市与其“搭档”相连，就能创造出一个完整的往返旅程。

十年前就已经实现的技术（44年10³⁶的关键突破）(3)

Gharan等人提出的新算法的近似解，先利用随机过程创建树，然后再将它转换成完整的往返旅程。| 图片设计：雯雯子；素材参考：[1]

这种方法似乎很有前景，他们相信这是一种更好的算法，但严谨地证明出这种优越性并非易事。

2011年，Gharan等人成功证明，他们的新算法在“图形化”TSP上比克里斯托菲德斯算法更优。“图形化”TSP可以理解成TSP的一类特例，也就是城市之间的距离由一个网络（不一定包括所有连接）表示，每边长度相同。但他们一直没能将结果推广到一般性TSP中。

几年来，Gharan仍然在一直思考这个问题。他认为，数学中的多项式几何（geometry of polynomials）领域可能是解决问题的关键工具，但理论计算机界对这一数学领域知之甚少。Gharan在与Karlin共同指导研究生Klein时，他们决定共同推进对这个问题的研究。

在第一年里，他们先从一种简化版本入手。尽管困难重重，但他们开始对所用的工具有了感觉，尤其是多项式几何。

多项式是由常数和变量的幂运算等组合而成的表达式，比如x²y 2yz⁵。在TSP中，研究人员将一张城市地图提炼成一个多项式，其中每座城市之间的连接是一个变量，可以连接所有城市的每个树是一项。数值因数随后为这些项加权，反映出旅行售货员问题的分段解中每条边的值。

他们发现，这个多项式有一种迷人的性质，也就是“实稳定性”（real stability），也就是说，让多项式为零的复数永远不在复平面的上半部分。实稳定性带来的优势是，即使对多项式做出许多改变，它仍然有效。例如，当研究人员操控一些更简化的多项式时，他们操控的结果仍然具有实稳定性，这就为各种各样的技巧打开了大门。

这使得研究人员能够更好地处理一些问题。终于，在一份80多页的论文中，Karlin、Klein和Gharan证明出，10年前设计出的算法确实比克里斯托菲德斯算法要更好。新算法在克里斯托菲德斯算法（3/2近似比）的基础上，将近似比提高到了3/2 - 10⁻³⁶。

虽然这一微小的数字看似不足为道，但许多理论计算机学家相信，它突破了理论和心理上的僵局。研究人员希望，这能为进一步的提高开辟道路。

参考来源：

https://www.quantamagazine.org/computer-scientists-break-traveling-salesperson-record-20201008/

https://arxiv.org/pdf/2007.01409.pdf

封面来源：pikrepo.com

来源：原理

编辑：前进四

声明：转载此文是出于传递更多信息之目的。若有来源标注错误或侵犯了您的合法权益，请作者持权属证明与本网联系，我们将及时更正、删除，谢谢。

来源： 中科院物理所

  • 六坐八爬是不是这个一（农村俗语七坐八爬）
  • 2024-07-01农村俗语七坐八爬在农村，有很多俗语说的是生活中的一些普遍规律，尤其是生孩的一些常识一直在教育我们年轻的后一辈人、这些俗语老话很多都是非常有道理的，这里农家人农家事就给大家分享一句农村俗语：“七坐八爬，半岁生牙”这话说。
  • 摩羯能斗得过双子吗（当摩羯遇上双子）
  • 2024-07-01当摩羯遇上双子土象星座的摩羯和风象星座的双子，前途不甚乐观，阴阳两地，本就是两个不同的极端，况且还是距离最远的顶点；双子对爱情的态度是“不在乎天长地久，只要求曾经拥有”而摩羯最是不喜这种为了恋爱而恋爱人，对此感到痛。
  • 武汉艺术学校美术高考情况（武汉艺考美术学校美术艺考变难了吗）
  • 2024-07-01武汉艺考美术学校美术艺考变难了吗美术省统考的脚步在越来越临近，考生和家长还在积极的备考冲刺当中那么我们最近也收到了很多的考生的一些留言，说在美术省统考的时候遇到陌生题应该怎么办呢？实际上在我们的统考当中遇到陌生题是很正常的事情，因为。
  • psn二档游戏排行（国外黑客组织公开PSN）
  • 2024-07-01国外黑客组织公开PSN请注意：拥有PSN、WindowsLive和2K账户的玩家现在最好尽快修改你的账号密码，国外黑客组织DerpTrolling在推特上公布了2131个PSNID，1473个WindowsLive账号以及。
  • 冬季修身打底裙怎么搭配好看（冬季修身打底裙搭配方法介绍）
  • 2024-07-01冬季修身打底裙搭配方法介绍竖条纹打底裙：黑白虽说是对比强烈的色彩，但是体现在这款连衣裙上，却显得维和动人，竖条纹在视线上无敌显瘦，腰间搭配的腰带似乎耍了点小心机，让人看起来婀娜多姿，搭配今季最热的毛衣外套，减龄又时尚蕾丝打底裙。
  • iphone一定得是苹果吗（iPhone之后没有iPhone）
  • 2024-07-01iPhone之后没有iPhone问道者辛火从现在手机上的诸多特征来看，没有iphone的出现，就不可能会有现在这样的手机在多个方面看来，现在的手机上的大部分特征，都由苹果手机所开创如iphone1首次采用大块触摸屏，现在虽然在硬件上。
  • 十年后的我作文600字（十年后的我作文范文）
  • 2024-07-01十年后的我作文范文都说世界上最长而又最短，最快而又最慢，最平凡而又最珍贵的就是时间不知道再过十年后，我会变成什么样子呢？十年后的我可能会成为一名教师从小我就对教师这个职业非常感兴趣，梦想着自己长大后成为一名教师，这是一。
  • 宅在家必看的十部电影（豆瓣高分日本电影TOP10）
  • 2024-07-01豆瓣高分日本电影TOP10其实在经历了人从众之后，你就会发现，最好的假期其实就是宅在家里一杯可乐一袋薯片，再加上一部好看的电影小编给大家整理了豆瓣上，日语的高分电影TOP10，来承包你接下来的假期01千与千寻千と千尋の神隠し千。
  • 金恩圣身价（金恩圣举办婚礼）
  • 2024-07-01金恩圣举办婚礼看点：2022年10月20日，张檬和金恩圣在三亚举行婚礼在婚礼现场，两人互相告白，张檬表示：“要一起好好地经营一个家，如果可以选择，我要下辈子，下下辈子，下下下辈子枕边人都是你，我爱你老公”金恩圣则对。
  • 打哈欠会传染是好事（打哈欠竟然会传染）
  • 2024-07-01打哈欠竟然会传染打哈欠是我们每个人都会做的动作，尤其是刚刚睡醒，或者很困的时候但有个很奇怪的现象，如果看到身边人打哈欠，自己也会不由自主的跟着打哈欠尤其是对已经结婚的人，看到自己身边的老公或老婆打哈欠的话，然后就是两。