To my friends⑩（2 / 6）

妹二人之间展开，如同表示否定般缓慢地摇了摇头。

“你们觉得，这有可能办得到吗？”

听到母亲如此说，穹乃皱起了眉头。别的姑且不说，对于这种明面上的说法，她很难去相信那是可以实现的。

“不可能。”

混沌效应毫无疑问会使得误差累积，而误差的累积和放大毫无疑问的呈现非线性，原则上这应该会使得计算变得不可能。只是她对于计算机理论了解不多，难以做出确定的结论。

“所以这本来就是骗人的，其实也就只能骗骗普通人而已。树形图设计者并不是通过这样的方式来计算天气的。”

“树形图设计者应该是量子计算机吧？”

海原光贵插口说。

“如果不是这样的话，那就什么都不用说了。不过如果仅仅只是如此的话，还不够，远远不够。这需要从数学上去探讨，因为这牵涉到‘树形图设计者’这个名字的由来。其实‘树形图设计者’这个名字至少有5个不同方面的意义。从物理上的费因曼图，到dna热点树形图等等不一而终。不过这些原因大部分都是从‘希望它达成的目标’这一角度去猜测。和我们的话题有关的，应该不是目标，而是一个问题。我这么说吧，嗯……”海原夫人轻点脸颊，然后用手指沾着杯中的清水在餐桌上点了七个点，“假如有一个售货员，他需要到若干城市去推销商品，这其中每一座城市他都必须经过，并且在最后回到出发的城市。我现在问，他怎么走才能够以最短的路线达成这一目的？”（注1）

“如果城市不多的话，解起来不难。不过哪怕只是多一座城市，求解难度就会大大上升。用计算机的话，很难求出多城市前提下的解……呃——”

但是穹乃的话说到一半，忽然露出了困惑的表情。数学很好的她一下子就意识到了母亲为什么要问这样一个问题。

在性质上，这不是和所谓的“计算一个月的天气”相当类似吗？

“对，通常的计算机是解决不了这个问题的。它们每一时刻根据当时的状态和输入，都只能做出唯一的确定的动作，也就是‘顺序控制逻辑方法’。它的每一步都是一环扣一环的，确定的。它们是一种‘确定性自动机’。或者用计算机领域的话来说，它们是‘确定型图灵机’。就像我的忒修斯一样，虽然拥有记忆、试错等能力，却存在一项缺失，那就是它们不会‘猜测’。要想用它们来解决售货员问题，恐怕只能从穷举法入手，这显然是一条死路。所以以确定型图灵机来计