约瑟夫环问题

百度百科之：

约瑟夫环　　是一个数学的应用问题：

　　已知n个人（以编号1，2，3...n分别表示）围坐在一张圆桌周围。从编号为k的人开始报 数，数到m的那个人出列；他的下一个人又从1开始报数，数到m的那个人又出列；依此规律重复下去，直到圆桌周围的人全部出列。
　　例如：n = 9, k = 1, m = 5
　　【解答】
　　出局人的顺序为5, 1, 7, 4, 3, 6, 9, 2, 8。

下面讨论解决方法：

1、链表方法，这种方法模拟题目中人的出列过程，直到链表中只剩下来一个人。实现如下：

/**@brief 使用双向循环链表实现 */ int Josephus(int n, int m, int k) { CLinkedList list; int last = -1; for(int i=1; i<=n; i++) { list.Insert(i); } LinkedListNode* start = list.Head; int i = 1; while(i!=k) { start = start->next; i++; } while(list.Head != NULL && start != NULL) { for(int j=1; j<m; j++) { start = start->next; } cout<<start->id<<" "; last = start->id; LinkedListNode* toDel = start; start = start->next; list.Delete(toDel); } return last; }

这种方法的缺点在于时间复杂度太高，其复杂度为O(mn)，当m和n很大很大的时候计算起来很费时间。于是有了更神奇的方法。。

 

2、数学方法

 

为了讨论方便，先把问题稍微改变一下，并不影响原意：
问题描述：n个人（编号0~(n-1))，从0开始报数，报到(m-1)的退出，剩下的人继续从0开始报数。求胜利者的编号。

我们知道第一个人(编号一定是m%n-1) 出列之后，剩下的n-1个人组成了一个新的约瑟夫环（以编号为k=m%n的人开始）:
k k+1 k+2 ... n-2, n-1, 0, 1, 2, ... k-2并且从k开始报0。
现在我们把他们的编号做一下转换：

k    --> 0
k+1   --> 1
k+2   --> 2
...
...
k-2   --> n-2
k-1   --> n-1

 

（这里的k, k+1, ... , k-2, k-1 都是取模n的）
变换后就完完全全成为了(n-1)个人报数的子问题，假如我们知道这个子问题的解为x(即x是最终的胜利者)，那么根据上面这个表把这个x变回去不刚好就是n 个人情况的解吗？！！变回去的公式很简单，相信大家都可以推出来：x'=(x+k)%n, x'即为最终的解。

如何知道(n-1)个人报数的问题的解？对，只要知道(n-2)个人的解就行了。(n-2)个人的解呢？当然是先求 (n-3)的情况——这显然就是一个倒推问题！好了，思路出来了，下面写递推公式：

令f[i]表示i个人玩游戏报m退出最后胜利者的编号，最后的结果自然是f[n]

递推公式
f[1]=0;
f[i]=(f[i-1]+m)%i; (i>1)

这里得到的结果f[n]是从第1个人开始报数得到的结果，而且人的编号是从0~n-1的，如果从第k个人开始报数，并且转换成前面的从1开始编号，那么结果为(f[n] + k - 1) % n + 1

 

实现方法如下：

/** 使用递推的数学方法实现，递推公式： f[1] = 0; f(n) =(f[n-1] + m) % n */ int Josephus2(int n, int m, int k) { int result = 0; for(int i = 2; i <= n; i++) { result = (result + m) % n; } //若要求从第k个人开始报数，则只能得到最终结果，中间的过程很难得出 result = (result + k - 1) % n + 1; cout<<result<<endl; return result; }

这个方法的时间复杂度为O(n) 应该已经是极限的最好方法了。