一、问题
![一道面试题及其推广过桥问题 一道面试题及其推广过桥问题](https://i2.fwwdq.com/b74da03dd2fc18/f21cec/b74cb728df/f21cec6c81ac51.jpg)
在漆黑的夜里,四位旅行者来到了一座狭窄而且没有护栏的桥边。如果不借助手电筒的话,大家是无论如何也不敢过桥去的。不幸的是,四个人一共只带了一只手电筒,而桥窄得只够让两个人同时过。如果各自单独过桥的话,四人所需要的时间分别是1、2、5、8分钟;而如果两人同时过桥,所需要的时间就是走得比较慢的那个人单独行动时所需的时间。问题是,如何设计一个方案,让这四人尽快过桥。
假设这四人分别为A、B、C、D。很明显,开始两人拿着手电筒过桥后,手电筒就在桥的另一边了,此时需要已经过桥的那两人中的一个再把手电筒送回桥这边。送手电筒回来过桥也要化时间,所以要选一个跑得比较快的。一个很自然的想法就是,每次让跑得最快的A陪着另一个过桥,然后A快速地跑回来,再陪下一位过去,最后所有人就都可以过桥了。
让我们来算一下这要多长时间。为了方便起见,我们把旅行者出发的桥的这一边称为“此岸”,而把旅行者想要到达的那边叫“彼岸”。在表达一个过桥方案时,我们用“←”来表示从彼岸到此岸的移动,用“→”表示从此岸到彼岸的移动。前面“A护送大家过河”的方案就可以写成:(右边数字为完成此步骤所需时间)
A B → 2
A ← 1
A C → 5
A ← 1
A D → 8
一共就是2+1+5+1+8=17分钟。
但其实有更快的办法:
A B → 2
A ← 1
C D → 8
B ← 2
A B → 2
一共是2+1+8+2+2=15分钟。这个办法的聪明之处在于让两个走得最慢的人同时过桥,这样花去的时间只是走得最慢的那个人花的时间,而走得次慢的那位就不用另花时间过桥了。可以把所有可能的方案都列举一遍,就会发现这是最快的方案了。
现在我们把这个问题推广到N(N≥4)个人过桥的情况:如果有N个旅行者,假设他们有各自所需的过桥时间(正实数)。在只有一只手电筒的情况下,要过上述的一条桥,怎样才能找到最快的过桥方案?
假设最快地把N个旅行者从此岸移动到彼岸需要f分钟时间,那么我们把所有在f分钟时间内把N个旅行者从此岸移动到彼岸的方案称为“最佳方案”。最佳方案很有可能不止一个,我们的目的是要找到一个最佳方案,但是并不需要把所有的最佳方案全都找出来。
二、一个合理的假设
为了讨论的方便起见,这一节我们要说明的是,事实上我们可以假设每个旅行者的速度都是不一样的。这样当我们说一些人中“最快的那个”,“次慢的那一个”时,都不会有歧义了,因为每个人的速度都是独一无二的。这个假设在讨论中并非必要,只是为了在证明的叙述过程中避免不断地嗦类似“我们让两人中最快的那个过桥,如果两人一样快,那就随便选一人”、“我们选在彼岸最快的那个人回来,如果上一步刚从此岸到彼岸的人中,其中有一个是现在彼岸走得最快的之一,我们就特别选择让他回来”之类的话。
为什么我们可以假设每个旅行者的速度都是不一样的?原理就在于,我们可以把原来过桥时间相同的旅行者的过桥时间分别加上一个不同的但是非常非常小的量,这样就能保证旅行者的速度是不一样的了。但是因为加上去的量都非常小,所以对最终总的过桥时间的影响也非常小。所以这样改动过后得到的最佳方案在原来的条件下实施的话,也该是原来条件下的最佳方案。
如果你对上面的说明满意了,就完全可以跳过这一节直接看第三节。这一节后面哩叭嗦的都是为了向一些对严格性要求比较高的朋友解释上面所说的方法的确可行。
首先对于任何一组N个旅行者,假定他们过桥所需的时间分别为a1、a2、……、aN,它们都是大于零的实数。假设这个序列已经从小到大排列了(当然不排除其中有数相等)。每次都由第一个旅行者陪同一个人过桥,然后第一个旅行者回来,这样一个方案所需要的时间是:
S = (N-2)*a1+a2+……+an
(第一个旅行者要返回N-2次)。所以最佳方案所需要的时间一定不会比S大。
我们把一个过桥方案中让一个或者两个人拿着手电筒从桥的一边走到另一边的一次移动叫做这个方案中的一次移动或者“一步”,就是前面解四个人的题中使用“→”或“←”来表示的一个步骤。因为一次移动所需要的最少的时间是a1分钟,所以最佳方案中所需的移动步数一定不会多于K=[S/a1]步,这里"[]"是取整运算。
让我们考虑一下所有在K步以内完成的方案。上面的例子表明这样的方案至少有一个,而且这样的方案显然只有有限多个,假设一共有M个。我们又设这些方案执行时要花的时间是
t1、t2、……、tM
我们还可以假设上面这些时间已经从小到大排列了,t1就是最佳方案所需要的时间。
现在是关键的步骤。我们要选取一个很小的正实数ε>0。它有多小呢?它必须满足下面的条件:
1) 对于任何两个过桥时间不同的旅行者(假设他们的过桥时间是a和b分钟),必须满足ε<|a-b|/N。换句话说,Nε要小于不同的旅行者过桥时间之间的差别。
2) 对于任何两个所需的完成时间不同的K步以内的方案(假设它们的所需时间是t和s分钟),必须满足ε<|t-s|/K。换句话说,Kε要小于不同的方案完成时间之间的差别。
因为旅行者的数目和方案的数目都是有限的,所以我们必然可以选取这样一个ε。至于这两个条件有什么用,我们马上就可以看到。
假设若干个旅行者过桥的时间都是一样的a分钟,我们就把题目改一下,使得他们的过桥时间分别为
a、a+ε/N、a+2ε/N、a+3ε/N……
如果有其他的旅行者过桥时间相互一样,也按照同样方式修改题目。这时在修改后的题目中,如果原来两个旅行者所需的过桥时间相同,那么现在就变得不同,差一个非常小的量(不会超过ε);如果原来两个旅行者所需的过桥时间不同,那么根据上面的条件1),现在还是不同,而且原来谁比较快,现在仍旧是他比较快。
我们看看这个修改后的题目的最佳方案和原来的题目的最佳方案有什么联系。
假设我们已经有一个关于修改后的题目的最佳方案,那么它所需要的时间必定是这个模样的:
a + bε
我们知道bε部分是修改时把旅行者过桥时间“微调”了以后造成的,而且每走一步这部分的改变不会超过ε,所以我们有0
如果我们把这个最佳移动方案照搬到原来的题目中去,所需要的时间就是a分钟。这个方案应该同样是原来题目中的最佳方案。否则的话,假设我们有另一个方案,所需时间为a,而且a
a < a + Kε
把这个耗时a的方案搬到改动过的题目里去的话,所需的时间就会是
a + bε
其中0
a + bε < a + bε
这就和a+bε是改动后题目的最佳方案所需的时间矛盾了。
所以只要找到一个修改过的题目中的最佳方案,我们就得到了原来题目中的一个最佳方案,于是我们只要考虑所有旅行者的速度都不同的题目就可以了。
三、一个“很显然”的结论
编个计算机程序,把所有步数少于上一节中所计算的K=[S/a1]的可能的过桥方案都列举一遍,然后找出最快的,当然是一种方法,这理论上也是可行的,因为少于K步的`方案只有有限多个,计算机程序必定能够将它们全部列举出来。只是当人数N增大时,过桥方案数会增加得很快。事实上,如果我们只考虑“每次过去两个人,然后这两个人中其中一个人回来”这类方案的数目的数量就已经远远超过N!个了,想像一下如果N=1000的话所需要的计算量!况且还有更多数量的其他类型方案。特别是,我们是在做智力题,不是在学编程。当然你还可以说,如果人多的话,所需要的时间超过了12小时,那时天已经亮了,不再需要手电筒,大家可以直接过桥唉!我们是在做智力题,不是在做抬杠式的脑筋急转弯我们可以假设是在有漫长极夜的极地嘛,要不然,这桥是在一个黑暗山洞里,就象电影《指环王》中的那样……
但是如果不用列举法的话,我们有一个重要的任务要做,就是不仅要说明如何找到一个我们自以为最快的方案,而且还要证明这样的方法的确给出了一个最佳方案。
在我们的直觉当中,最快的方案必然有这样一个特征:每次过桥去彼岸的一定是两个人,然后一定只有一个人把手电筒送回此岸(当然要除去最后一次过桥的情况,那时就不需有人把手电筒送回来了)。但是为什么一定是这样的呢?为什么不可能有一个意想不到的巧妙方案,在那里有某一步居然需要一个人单独过到彼岸去,或者需要有两个人把手电筒送回此岸来?这是个看起来很显而易见但是我们不能支吾不回答的问题。
在讨论中我们经常需要说明,在某一时刻,桥的两边分别有哪些人,手电筒又在哪一边。这样的说明称为一个“局面”。当然,一个局面必须是合理的。比如说,不能够所有人都在桥的一边,而手电筒却在桥的另一边;一个人必须处在桥的某一边,而且只能处在桥的某一边。
比如说,在四个旅行者的问题里,如果某一个时刻A、B和C在此岸,而D在彼岸,手电筒也在彼岸,这就给出了一个局面(这个局面看起来有点奇怪,大概是D拿着手电筒一个人跑过桥去了,接下去除了他再拿着手电筒回来别无它法)。所有人和手电筒都在此岸,就是一个特殊的局面,叫作初始局面;而所有人和手电筒都在彼岸,也是一个特殊的局面,叫完结局面;所有其他的局面我们称为中间局面。
想像一下现在有两种局面。在两种局面中,手电筒都在桥的同一边(都在此岸或都在彼岸);而且在第一种局面里所有在彼岸的旅行者,在第二种局面里也都在彼岸,而且有这样的旅行者,在第一种局面中他在此岸,而第二种局面中他在彼岸。那么我们就说第二种局面“优于”第一种局面。
比如说,在四个旅行者的问题里,第一种局面是A、B和C在此岸,而D在彼岸,手电筒也在彼岸;第二种局面是A和B在此岸,C和D在彼岸,手电筒也在彼岸。那么第二种局面就优于第一种局面。很显然,除了初始