约瑟夫问题的求解！

已知有n只猴子(以编号1,2,3,..., n 分别表示)围坐一圈。从第一只猴子开始，按顺序从1开始报数，数到 m 的那只猴子出列；接着再从从 1 开始报数，报数到 m 的那只猴子又出列；依此规律重复下，直到只剩一只猴子为止。输入n和m，输出最后剩下的猴子？

 

此问题，即报数问题，也是约瑟夫问题！

 

    很多人一开始想到是用链表或数组来实现，而这都涉及到模拟整个游戏过程，要将链表或数组变成环形的！

    方法一思路：我们可以假设猴子就位的状态用1表示，把猴子离开的状态用0表示。那么我们就可以用一个a[M]的数组来存放M个猴子是否就位的状态。我们可以一边报数一边遍历该数组，每遇到第K个1时，就把当前位置的1变为0，表示当前位置的猴子已经出局了。一直循环遍历到我们的状态数组只有一个1的时候，这个存放1的数组下标再加上1（因为数组下标是由0开始的，所以要加1）即为选出的大王的编号。

#include <iostream> using namespace std; const int N=300; int main(int argc, char* argv[]) { int a[N],i,m,n,next,num,rest; //rest是剩余的猴子数，next用来递增 cout << "input the numbers of monkeys:" <<endl; cin >> n ; cout << "Input max number to call: " <<endl; cin >> m ; for(i=1;i<=n;i++) //将所有的猴子的状态都设为1 { a[i]=1; } rest=n; num=1; next=1; while(rest>1) { if(a[num]==1) if(next==m) //设置为0 ，代表退出喊数 { a[num]=0; rest--; next=1; } else next++; if(num==n) //循环到最后一个时，又从第一个开始 num=1; else num++; } i=1; while((i<=n)&&(a[i]!=1)) //循环找出状态位为1的， i++; cout<< i <<" is the king"<<endl; return 0; }

 

当n，m非常大(例如上百万，上千万)的时候，几乎是没有办法在短时间内出结果的。我们注意到原问题仅仅是要求出最后的胜利者的序号，而不是要读者模拟整个过程。因此如果要追求效率，就要打破常规，实施一点数学策略。

方法二：采用递归思想：我们知道第一个猴子(编号一定是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

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

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

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

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

有了这个公式，我们要做的就是从1-n顺序算出f的数值，最后结果是f[n]。因为实际生活中编号总是从1开始，我们输出f[n]+1

由于是逐级递推，不需要保存每个f，程序也是异常简单：

#include <iostream> using namespace std; main() { int n, m, i, s=0; cout << "input the number:" <<endl; cin >>n; cout << "input the number:" <<endl; cin >>m; for (i=2; i<=n; i++) s=(s+m)%i; //关键部分的计算 cout <<"the king is "<<s+1 <<endl; }