当前位置: 主页 > 百科 > 数学计算 >
-8 Comments

计算机程序与数字

发布于:2019-01-09  |   作者:http://www.zxjsq.net  |   已聚集:人围观

想象有一个网络,其中每一个节点通向其他节点的边数相同,此外,每一个节点也可以经其他任一节点到达,路径可能是经由许多不同节点的曲折路径。这里的问题是,是否可以为这种网络的边标以不同颜色,以便根据前述那种简单的指令组合到达目的地。

1970年,两位数学家猜想,符合一项技术条件的网络,确实可以用这种方式着色(这项技术条件是,图中所有的回路——也就是会回到同一节点的环——的边数,必须“互质”。这表示若有一个回路包含的边数是3,该图形中其他回路的边数必定不能是6、9、12……)。

然而,这两位研究者无法证明他们的猜想,这个问题几乎被遗忘了近40年。偶尔有数学家找到了特定网络的部分解答,直到最近,这项猜想是否正确仍然是个未知数。

2008年,这项猜想被证实的消息出人意料地传遍网络。入籍以色列的数学家特拉特曼(Avraham Trahtman)证明所有满足该技术条件的图形都能以上述方式着色。这项成果不仅仅是在纯数学上取得的智识成就,或许它更大的意义是证明了计算机科学的实用重要性。它说明,在某些情况下,数据输入的错误或其他干扰很可能无关紧要。就像在街道迷宫中迷路的驾驶员打电话求助时不需要知道自己的确切位置一样,计算机程序可以借助简单地重复指令,从不正确状态回到正确状态。

当然,证明存在着一种着色方式能让驾驶员找到通过街道网络的正确路径只是第一步,下一步是找出需要用哪几种颜色为哪些边着色。最近,两位法国数学家提出一套计算机算法,据说能在一段合理的时间内,计算出网络的适当着色方式。


标签:                   喜欢:收藏