当时许多人认为,不久就会有人对克里斯托菲德斯的简单算法提出改进。但事情并没有这么简单。
直到10年前,gharan和他的博士导师以及合作者开始研究提高克里斯托菲德斯算法的可能。他们受到了另一种版本的tsp的启发。在这个版本中,你可以选择一种组合路径。例如,如果你想去a地,可以选择3/4的b到a的路径,加上1/4的c到a的路径。这种“分段版本”的问题虽然没有实际的物理意义,却能够有效地求解。对计算机科学家来说,它也可以作为对求解一般性tsp的一种思路引导。
因此,gharan等人没有选择连接所有城市的最短树,而是从一个精心筛选的集合中随机选择一个树。他们创建了新的算法,利用一种随机过程创建出树,在这样的树中,拥有奇数条连接的城市倾向于有邻近的“搭档”。接着再用类似克里斯托菲德斯算法的方式,将这些城市与其“搭档”相连,就能创造出一个完整的往返旅程。
gharan等人提出的新算法的近似解,先利用随机过程创建树,然后再将它转换成完整的往返旅程。
这种方法似乎很有前景,他们相信这是一种更好的算法,但严谨地证明出这种优越性并非易事。
2011年,gharan等人成功证明,他们的新算法在“图形化”tsp上比克里斯托菲德斯算法更优。“图形化”tsp可以理解成tsp的一类特例,也就是城市之间的距离由一个网络(不一定包括所有连接)表示,每边长度相同。但他们一直没能将结果推广到一般性tsp中。
几年来,gharan仍然在一直思考这个问题。他认为,数学中的多项式几何(geometryofpolynomials)领域可能是解决问题的关键工具,但理论计算机界对这一数学领域知之甚少。gharan在与karlin共同指导研究生klein时,他们决定共同推进对这个问题的研究。
在第一年里,他们先从一种简化版本入手。尽管困难重重,但他们开始对所用的工具有了感觉,尤其是多项式几何。
多项式是由常数和变量的幂运算等组合而成的表达式,比如xy+2yz。在tsp中,研究人员将一张城市地图提炼成一个多项式,其中每座城市之间的连接是一个变量,可以连接所有城市的每个树是一项。数值因数随后为这些项加权,反映出旅行售货员问题的分段解中每条边的值。
他们发现,这个多项式有一种迷人的性质,也就是“实稳定性”(realstability),也就是说,让多项式为零的复数永远不在复平面的上半部分。实稳定性带来的优势是,即使对多项式做出许多改变,它仍然有效。例如,当研究人员操控一些更简化的多项式时,他们操控的结果仍然具有实稳定性,这就为各种各样的技巧打开了大门。
这使得研究人员能够更好地处理一些问题。终于,在一份80多页的论文中,karlin、klein和gharan证明出,10年前设计出的算法确实比克里斯托菲德斯算法要更好。新算法在克里斯托菲德斯算法(3/2近似比)的基础上,将近似比提高到了3/2-10。
虽然这一微小的数字看似不足为道,但许多理论计算机学家相信,它突破了理论和心理上的僵局。研究人员希望,这能为进一步的提高开辟道路。