返回
十年前就已经实现的技术（44年10³⁶的关键突破）
十年前就已经实现的技术（44年10³⁶的关键突破）
2024-09-29 05:17:52  作者:风中人  网址:https://m.xinb2b.cn/sport/fqh425239.html


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

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

这个问题有个专属的名字，它通常被称为旅行推销员问题（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）。这种算法利用了连接所有城市的最短“树”，也就是没有闭合回路的连接（或者叫“边”）网络，然后将这种树作为主干，随后添加额外的连接，将它转换成完整的往返路径。


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

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

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

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

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

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

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


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-09-29漫威洛基的那些有意思的形态前几周不同的平台有两位朋友都留言让小祸介绍一下洛基关于洛基小祸准备分为两篇来写，这一篇介绍一下洛基的那些有意思的形态，下一篇就说一说洛基的故事之神的称号关于洛基和他的能力洛基.劳菲森是冰霜巨人之王劳菲。
  • 怀孕了流鼻血是不是上火了（怀孕时流鼻血以为是上火了）
  • 2024-09-29怀孕时流鼻血以为是上火了众所周知，流鼻血是大多数人都出现过的一种症状，而孕妇流鼻血也是一种比较常见的现象但是，孕妇流鼻血不免会令人比较担心其实，会导致孕妇流鼻血的原因也非常多，在孕期出现流鼻血症状要根据自己的其他症状做好鉴别。
  • 示儿古诗（关于示儿古诗全文和翻译）
  • 2024-09-29关于示儿古诗全文和翻译《示儿》作者：陆游，朝代：宋死去元知万事空，但悲不见九州同王师北定中原日，家祭无忘告乃翁译文：我本来知道，当我死后，人间的一切就都和我无关了；但唯一使我痛心的，就是我没能亲眼看到祖国的统一因此，当大宋。
  • 乒乓培训试课（中凯乒训知识小课堂）
  • 2024-09-29中凯乒训知识小课堂关于合法发球的高度:正式比赛中发球都必须使用合法发球，那何为合法发球，合法发球的高度有什么要求呢？发球开始时，球要自然地置于不持拍手的手掌上，手掌张开，保持静止发球员须将球几乎垂直地向上抛起，不得使球。
  • 虫子怎么吃好吃（虫子能吃还很好吃）
  • 2024-09-29虫子能吃还很好吃【“虫子”能吃？还很好吃！泉州人都有神来之手吗？】在泉州，这种用“虫子”做成的美食叫做土笋冻！这种能吃的“虫子”叫海星虫海星虫不仅肉质脆嫩，味道鲜美，还具有较高的食疗价值一、海星虫性寒、味甘，具有滋阴。
  • 陈宝国姜文对手戏（姜文陈宝国陈道明）
  • 2024-09-29姜文陈宝国陈道明第一娱记出品必属精品！毋庸置疑，姜文、陈宝国、陈道明、王志文、李幼斌这五个都是实力强悍，气场强大的男演员，但是谁更强势呢？姜文：姜文长相带着一股子匪气，强壮高大的身材，一脸络腮胡子，眼神锐利，不怒而威。
  • 陈赫许婧离婚哪一年（与许婧从校服到婚纱）
  • 2024-09-29与许婧从校服到婚纱从初中时相恋，到步入婚姻，许婧曾陪伴了陈赫14年的时间大家也都曾以为，这对从校服到婚纱的情侣，能够一直这样恩爱下去然而，陈赫为何在与许婧结婚仅一年后，就宣布离婚，转身又娶了二婚的张子萱呢？今天我们一起。
  • 五年级日记100字（五年级日记范例）
  • 2024-09-29五年级日记范例今天我起得早早，因为今天我要参加运动会比赛开始了，我飞跑在前谁都没我快就往往在前我高兴了起来，旁边的同学开始超过我了赶紧跑过去可是已经超过我了比赛完后，我跑了第二名跟老师说的目标我已经到达了，我下次一。
  • 全自动巴氏消毒机怎么用（土耳其推出购物袋消毒机）
  • 2024-09-29土耳其推出购物袋消毒机央视网消息：近日，土耳其一家公司研发出一款能向食品购物袋喷洒消毒液的设备，深受民众喜爱据介绍，结账之后，民众只需把购物袋从机器里过一遍即可，短短几秒钟，顾客的双手、购物袋，以及袋子里的商品就被消毒干净。
  • 没见过世面你就不要乱讲（就知道你没有见过世面）
  • 2024-09-29就知道你没有见过世面《了不起的盖茨比》中曾写道：“当你想要批评别人的时候，要知道，并不是所有人，都有你拥有的那些优越条件”的确如此，这个世界没有感同身受，任何自以为地评价，要么是傲慢，要么是愚蠢千万不要通过朋友圈随意地评。
  • 这条地铁线又公布6个站点位置（明天开通4条地铁）
  • 2024-09-29明天开通4条地铁根据上海市交通委统一部署，为做好复工复产后城市公交服务运行保障、有序恢复交通出行，5月22日起将逐步恢复地铁及跨区公交线路首批涉及4条地铁线路和278条公交线路，其中39条公交线路覆盖4大交通枢纽，各。