8行代码解决约瑟夫问题

首先是问题描述:

约瑟夫斯问题(有时也称为约瑟夫斯置换),是一个出现在计算机科学和数学中的问题。在计算机编程的算法中,类似问题又称为约瑟夫环。

8行代码解决约瑟夫问题个囚犯站成一个圆圈,准备处决。首先从一个人开始,越过8行代码解决约瑟夫问题个人(因为第一个人已经被越过),并杀掉第k个人。接着,再越过8行代码解决约瑟夫问题个人,并杀掉第k个人。这个过程沿着圆圈一直进行,直到最终只剩下一个人留下,这个人就可以继续活着。

问题是,给定了8行代码解决约瑟夫问题8行代码解决约瑟夫问题,一开始要站在什么地方才能避免被处决?

                                                                                                                                                                                                                                                 --摘自*

这么说可能比较抽象,我们举个例子:

当n=5,k=3时,我们假设这5个人的序号分别为1、2、3、4、5。那么依次被杀掉的人是3、1、5、2,最后活下来的是4。

 

接下来我们分析一下问题:

我们先来做些准备工作:

1.  我们把这个问题记为 f 。 f(n, k) 为问题的解。其中参数 n 和 k 的含义与问题描述中的一致。n 个人的序号分别为1、2、3...n。我们会得到最后剩下那个人的序号。

2.  因为这个问题操作起来是环形的,所以我们可以这么认为:

        序号 0 和序号 n 是一样的、序号 -1 和序号 (n-1)  是一样的、 序号 -2 和序号 (n-2) 是一样的...

        同样,序号 (n+1)  和序号 1 是一样的、 序号 (n+2) 和序号 2 是一样的...

        也就是说,对 n 求模相等的数指向的是同一个人。但在给出最终结果时我们会进行处理,将结果映射在整数区间[1, n]内 。

3.  对于给定的 n 和 k,第一个被杀掉的人是 k 。(k 有可能大于 n,但根据“准备工作2”,k 同样会指向正确的那个人)

4.  f(1, 1) = 1。

5.  将一个数 m, 按照“准备工作2”中的规则映射到整数区间[1, n]内可以这样操作: (m - 1)%n + 1 

准备工作完毕。

 

下面开始正式分析:

我们可以根据 f(n-1, k)来快速得到 f(n, k):

    我们固定 k 值不变。

    假设 f(n-1, k) = r, 也就是说有 (n-1) 个人时, 活下来的那个人到起点的距离是 (r-1)。(起点那个人序号为1)

    那么,当人数为 n 时, 我们可以先杀掉一个人让人数变为 (n-1)。根据准备工作中的第三条,我们第一步先杀掉 k。这时新的起点变为了 (k+1),人数变为了 (n-1),活下来的那个人为 (k+1) + (r-1), 也就是 (f(n-1, k) + k)。

    我们还要把这个结果处理一下,根据“准备工作5”,处理后的结果为: (f(n-1, k) + k - 1)%n + 1

    最终得到的是: f(n, k) = (f(n-1, k) + k - 1)%n + 1

分析完毕。

 

最后用一种你喜欢的语言来实现你的分析结果:

f(1, 1) = 1;

 f(n, k) = (f(n-1, k) + k - 1)%n + 1;

这个就很简单了,你可以用递归,也可以用循环。用递归写起来简单,但执行起来比较消耗资源;循环相反。

我在这里用scheme的尾递归实现。简单提一下scheme的尾递归,它书写上是递归的形式,但执行时解释器做了优化,不会保存上次的调用栈(因为这在尾递归中是不必要的),所以采用尾递归可以既写起来简单又不会太消耗资源。

8行代码解决约瑟夫问题
#lang scheme
(define (f n k)
  (define (f-iter result counter)
    (if (> counter n)
        result
        (f-iter (add1 (modulo (+ result k -1) counter))
                (add1 counter))))
  (f-iter 1 2))
8行代码解决约瑟夫问题

运行示例:

> (f 5 3)
4

 

短短的几行代码就把问题解决了。这也告诉了我们在写代码前要先做两件事:

    1.  将问题分析透彻,减少不必要的计算量,也就是降低时间复杂度,节约计算机的时间。比如这个问题你也可以不用分析,直接让计算机去傻瓜式地挨个数,一直数到只剩最后一个。可能问题规模不大时,这种方法你还能忍受,一旦问题规模加大,线性时间复杂度和指数时间复杂度的区别还是挺大的。

    2.  选择一门合适的计算机语言,尽量快地完成任务,也就是节约自己的时间。同样的问题你也可以选择c语言,java或者其它,但我认为在这个问题的解决上scheme无疑是最优秀的。

 

PS:

也许对上面的结果还不太满意,因为上面只给出了最后剩下的人,你可能还想知道这些人的死亡顺序。我可以给出我写的升级版程序:

8行代码解决约瑟夫问题
#lang scheme
(define (advanced-f *ers k)
  (define (new-list lst p)
    (append (list-tail lst (add1 p)) (take lst p)))
  (let* ((len (length *ers))
         (pos (modulo (- k 1) len)))
    (if (= len 1)
        (display *ers)
        (begin 
          (display (list-ref *ers pos))
          (display " ")
          (advanced-f (new-list *ers pos) k)))))
8行代码解决约瑟夫问题

运行示例:

> (advanced-f   ‘(1 2 3 4 5)   3)
3 1 5 2 (4)

同样用的scheme,同样只用了简短的几行代码就解决了问题。至于采用了什么方法,我只简单说几句就不再详细描述了。

advanced-f 函数每次只杀掉一名囚犯并打印出来,然后以这名囚犯为界将囚犯列表分为头尾两部分,头部接到尾部上生成新的囚犯列表。将新列表带入下一次操作。直到列表只剩一个人。

 

结束。

 

如果程序有什么错误,请大家不吝指出,我也及时更正。

8行代码解决约瑟夫问题

上一篇:PHP访问MySql数据库介绍


下一篇:利用 __FUNCTION__ 宏打印函数调用信息