从“约瑟夫问题”谈起
2019-08-16 07:54:59来源:博客园 阅读 ()
从“约瑟夫问题”谈起
约瑟夫问题是一个出现在计算机科学和数学中的问题。在计算机编程的算法中,类似问题又称为约瑟夫环。
据说著名犹太历史学家 Josephus有过以下的故事:在罗马人占领乔塔帕特后,39 个犹太人与Josephus及他的朋友躲到一个洞中,39个犹太人决定宁愿死也不要被敌人抓到,于是决定了一个自杀方式,41个人排成一个圆圈,由第1个人开始报数,每报数到第3人该人就必须自杀,然后再由下一个重新报数,直到所有人都自杀身亡为止。然而Josephus 和他的朋友并不想自杀。为避免与其他39个决定自杀的犹太人发生冲突,Josephus要他的朋友先假装遵从,他将朋友与自己安排在第16个与第31个位置,于是逃过了这场死亡游戏。
17世纪的法国数学家加斯帕在《数目的游戏问题》中讲了这样一个故事:15个教徒和15 个非教徒在深海上遇险,必须将一半的人投入海中,其余的人才能幸免于难,于是想了一个办法:30个人围成一圆圈,从第一个人开始依次报数,每数到第九个人就将他扔入大海,如此循环进行,直到仅余15个人为止。问怎样的?排法,才能使每次投入大海的都是非教徒。
【例1】约瑟夫问题。
N个人围成一圈,从某个人开始,按顺时针方向从1开始依次编号。从编号为1的人开始顺时针“1,2,…M”报数,报到M的人退出圈子。这样不断循环下去,圈子里的人将不断减少。由于人的个数是有限的,因此最终会剩下一个人,该人就是优胜者。输入N和M,输出出圈顺序。
例如,N=6、M=5,出圈的顺序是:5,4,6,2,3,1。
(1)编程思路。
为输出出圈顺序,采用一个数组来进行模拟。
定义int circle[N+1],并按circle[i]=i+1的方式赋予各元素初值。该值代表两个含义:1)值为0,代表编号i+1的人不再圈中;2)值非0,代表圈中第i个位置的人编号为i+1。
定义变量i代表报数位置的流动,i的初值为0,代表编号为1的人的位置,i的变化方式为:
i=(i+1)%(n),即0-->1-->2……->n-1 ->0-->1……。
i流动到了位置i后,该位置的人若已出圈(circle[i]==0),显然无法报数,得跳过该位置;若该位置的人在圈中,则报数(定义一个表示报数的变量p,初值为0,每次报数p++)。
当报数到m(即p==m)时,位置i的人出圈,记录出圈人数cnt++,同时p置为0。当出圈人数等于N时循环结束。
(2)源程序。
#include <stdio.h>
int main()
{
int n,m,i,p,cnt;
int circle[50];
while (scanf("%d%d",&n,&m) && n!=0)
{
for (i=0;i<n;i++)
circle[i]=i+1;
i=0; // 报数指示
p=0; // 报数计数器
cnt=0; // 出队人数
while (cnt<n)
{
if (circle[i]!=0) p++;
if (p==m)
{
printf("%d ",circle[i]);
cnt++;
circle[i]=0;
p=0;
}
i=(i+1)%(n);
}
printf("\n");
}
return 0;
}
下面我们从例1的基础上进行扩展讨论。
例如,运行例1的程序时,输入41 3,则输出为:
3 6 9 12 15 18 21 24 27 30 33 36 39 1 5 10 14 19 23 28 32 37
41 7 13 20 26 34 40 8 17 29 38 11 25 2 22 4 35 16 31
为这个输出结果进行的模拟是需要耗时的。实际上,在大多数问题中,我们不关心中间的结果,只关心某个最终结果。例如,在Josephus 的故事中,Josephus 和他的朋友不想自杀,Josephus 需要关心的是最后一个和倒数第2个出圈的编号是多少,至于中间过程(39个犹太人谁先自杀,谁后自杀)对Josephus 来说无意义。因此,Josephus 需要的是快速确定最后一个和倒数第2个出圈的编号,然后站到对应位置即可。而无需耗时模拟整个过程。
【例2】猴子选大王。
一堆猴子都有编号,编号是1,2,3 ...m,这群猴子(m个)按照1~m的顺序围坐一圈,从第1开始数,每数到第N个,该猴子就要离开此圈,这样依次下来,直到圈中只剩下最后一只猴子,则该猴子为大王。已知猴子数m和报数间隔n(设1<=n<=m<=50),问编号为多少的猴子当大王?
(1)编程思路1。
将例1的源程序略作修改,增加一个变量last记录最后获胜者编号,不输出中间过程。显然,
if (cnt==n) last=circle[i];
(2)源程序1。
#include <stdio.h>
int main()
{
int n,m,i,p,cnt,last;
int circle[50];
while (scanf("%d%d",&n,&m) && n!=0)
{
for (i=0;i<n;i++)
circle[i]=i+1;
i=0; // 报数指示
p=0; // 报数计数器
cnt=0; // 出队人数
while (cnt<n)
{
if (circle[i]!=0) p++;
if (p==m)
{
cnt++;
if (cnt==n) last=circle[i];
circle[i]=0;
p=0;
}
i=(i+1)%(n);
}
printf("%d\n",last);
}
return 0;
}
(3)编程思路2。
源程序1中采用数组模拟,由于猴子在圈中还是出圈是通过数组元素circle[i]的值非0还是0来判断,位置并未真正删除,因此当n和m很大时,程序的执行效率很低。例如,仅求最后一个出圈的元素,循环就得执行m*n次(p从1报到m,每次报数流动i得走完整一圈,其中n-1个已出圈,圈中仅一个元素)。
为提高运行效率,可以考虑采用循环链表来进行模拟,这样每次出圈就将链表中的相应元素删除。循环链表只剩最后一个元素时,输出胜者编号。
(4)源程序2。
#include <stdio.h>
struct Jose
{
int code; // 编号
Jose *next;
};
int main()
{
Jose *head,*p1,*p2;
int n,m,i,cnt,tmp;
scanf("%d%d",&n,&m);
while (n!=0 && m!=0)
{
head=new Jose;
head->code=1;
p2=head;
for (i=2;i<=n;i++) // 创建循环链表
{
p1=new Jose;
p1->code=i;
p2->next=p1;
p2=p1;
}
p2->next=head;
p1=head;
cnt=n;
while (cnt>1)
{
tmp=m%cnt; // 提高效率之举,当m大于圈中人数时会循环多圈,可以不用
if (tmp==0) tmp=cnt;
i=1;
while (i<tmp) // 报数m-1次
{
i++;
p2=p1;
p1=p1->next;
}
p2->next=p1->next; // 报m的结点出圈
delete p1; // 释放出圈结点的空间
cnt--;
p1=p2->next;
}
printf("%d\n",p1->code);
delete p1;
scanf("%d%d",&n,&m);
}
return 0;
}
(5)编程思路3。
本例中的源程序2相比源程序1可以提高运行效率,但毕竟也是采用过程模拟,因此对于n和m较大的情况,效率仍然不高。有没有可以根据n和m的值直接推出最后出圈人编号的办法呢?
为了讨论方便,先把问题稍微改变一下,并不影响原意。
问题描述:n个人(编号0~(n-1)),从0开始报数,报到(m-1)的退出,剩下的人继续从0开始报数。求胜利者的编号。
我们知道第1个人(编号一定是(m-1)%n)出列之后,剩下的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-3 --> n-3 k-2 --> n-2
变换后就完完全全成为了(n-1)个人报数的子问题,假如我们知道这个子问题的解:例如x是最终的胜利者,那么根据转换把这个x变回去不刚好就是n个人情况的解吗?
下面我们来推导变回去的公式。
序列1: 1 , 2 , 3 , 4 , …k-1 , k , k+1 ,…, n-2 , n-1 , n
序列2: 1 , 2 , 3 , 4 , … k-1 , k+1 , … , n-2 , n-1 , n
序列3: k+1 , k+2 , k+3 , …, n-2 , n-1 , n , 1 , 2 , 3 ,… , k-2 , k-1
序列4: 1 , 2 , 3 , 4 , … , 5 , 6 , 7 , 8 , …, n-2 , n-1
∵ k=m%n;
∴ x' = x+k = x+ m%n ; 而 x+ m%n 可能大于n
∴ x'= (x+ m%n)%n = (x+m)%n 。
如何知道(n-1)个人报数的问题的解f(n-1)呢? 显然只要知道(n-2)个人的解f(n-2)就行了。(n-2)个人的解呢?当然是先求f(n-3) ---- 这显然就是一个倒推问题!
令 f[i] 表示i个人玩报m退出的约瑟夫环游戏的最后胜利者的编号,则有递推公式:
f[1] = 0 ;
f[i] = (f[i-1]+m)%i; (i>1)
有了这个递推公式,我们就很容易求得n个人报m退出的约瑟夫问题的最后胜利者编号f[n]。因为实际生活中编号总是从1开始,我们输出f[n]+1即可。
编写程序时,我们可以采用数组递推以便保存中间结果,也可以不保存中间任何结果采用迭代直接得到最后胜利者编号。
(6)采用迭代方式实现的源程序3。
#include <stdio.h>
int main()
{
int n,m,i,s;
scanf("%d%d",&n,&m);
while (n!=0 && m!=0)
{
s=0;
for (i=2;i<=n;i++)
s=(s+m) % i;
printf("%d\n",s+1);
scanf("%d%d",&n,&m);
}
return 0;
}
(7)采用递推方式实现的源程序4。
// 采用打表的方式,先将所有的值求出来保存在二维数组f[51][51]中。
// f[n][m]的值代表n个人报m游戏的最后胜利者编号。
// 则有 f[i][m]=0, (i=1)
// f[i][m]= (f[i-1][m]+m)%i (i>1)
#include <stdio.h>
int main()
{
int n,m,i,j,f[51][51];
for (i=1;i<51;i++)
f[1][i]=0;
for (i=1;i<51;i++)
{
for (j=2;j<51;j++)
f[j][i]=(f[j-1][i]+i)%j;
}
scanf("%d%d",&n,&m);
while (n!=0 && m!=0)
{
printf("%d\n",f[n][m]+1);
scanf("%d%d",&n,&m);
}
return 0;
}
【例3】城市断电。
有n(3<=n<150)个城市围成圈,先将第1个城市(编号为1)断电,然后每隔m个城市使一个城市断电,直到剩下最后一个城市不断电。问使2号城市不断电的最小的m是多少?
(1)编程思路。
采用例2的求最后胜利者的方式,对n个城市,从m=1开始搜索,若当前m可使2号城市作为胜利者,则m就是所求,否则m=m+1后,继续搜索。
程序采用打表的方式,先将n=3~149的对应m值求出来并保存到数组ans[150]中。
另外,需要注意的是第1个城市先断电了,2号城市相当第1个城市,也可以把问题看成编号从1~n-1的约瑟夫问题。
(2)源程序。
#include <stdio.h>
int main()
{
int ans[150],i,j,m,tmp;
for (i = 3;i<150;i++)
{
m = 1;
while(1)
{
tmp = 1; // 注意第1个城市已经断电,相当从1~n-1个城市
for (j = 2;j < i; j++)
{
tmp = (tmp + m)%j;
if (tmp == 0)
{
tmp = j;
}
}
if (tmp == 1) // 最后胜利者是2号城市
// (编号为1一开始就断电,2号相当圈中第1个城市)
{
ans[i] = m;
break;
}
m++;
}
}
int n;
scanf("%d",&n);
while (n!=0)
{
printf("%d\n",ans[n]);
scanf("%d",&n);
}
return 0;
}
将此源程序提交给POJ 2244 “Eeny Meeny Moo”,可以Accepted。
例2、例3采用约瑟夫递推公式,直接得到的是最后胜利者的编号,中间的出圈顺序就没得到。下面我们进一步讨论一下,能否不用模拟的方式,采用递推公式计算的方法,得到例1所示的出圈顺序呢?
设有n个人(0,...,n-1),报数m出圈,则第 i 轮出圈的人为
f(i)=(f(i-1)+m-1)%(n-i+1) (i>=1), f(0)=0; f(i) 表示当前子序列中要出圈的那个人(当前序列编号为0~(n-i));
例如,设n=6,m=5
f(0)=0;
f(1)=[ f(0)+5-1]%6=4; 子序列(0,1,2,3,4,5)中的4 (也就是实际序列(1,2,3,4,5,6)中的5)
f(2)=[ f(1)+5-1]%5=3; 子序列(0,1,2,3,5)中的3 (也就是实际序列(1,2,3,4,6)中的4)
f(3)=[ f(2)+5-1]%4=3; 子序列(0,1,2,5)中的5 (也就是实际序列(1,2,3,6)中的6)
f(4)=[ f(3)+5-1]%3=1; 子序列(0,1,2)中的1 (也就是实际序列(1,2,3)中的2)
f(5)=[ f(4)+5-1]%2=1; 子序列(0,2)中的1 (也就是实际序列(1,3)中的3)
f(6)=[ f(5)+5-1]%1=0; 子序列(0)中的0 (也就是实际序列(1)中的1)
故得到的出圈顺序为:5,4,6,2,3,1。 结果正确。
按照这样的思路,可以修改例1的源程序为:
#include <stdio.h>
int main()
{
int n,m,i,j,cnt,circle[51],f[51];
scanf("%d%d",&n,&m);
while (n!=0 && m!=0)
{
for (i=0;i<n;i++)
circle[i]=i+1;
f[0]=0;
for (i=1;i<=n;i++)
{
f[i]=(f[i-1]+m-1)%(n-i+1);
}
cnt=n;
for (i=1;i<=n;i++)
{
printf("%d ",circle[f[i]]);
for (j=f[i];j<cnt-1;j++)
circle[j]=circle[j+1];
cnt--;
}
printf("\n");
scanf("%d%d",&n,&m);
}
return 0;
}
原文链接:https://www.cnblogs.com/cs-whut/p/11254070.html
如有疑问请与原作者联系
标签:
版权申明:本站文章部分自网络,如有侵权,请联系:west999com@outlook.com
特别注意:本站所有转载文章言论不代表本站观点,本站所提供的摄影照片,插画,设计作品,如需使用,请与原作者联系,版权归原作者所有
上一篇:PAT题目AC汇总(待补全)
下一篇:高精度算法之大整数类
- 从“最简真分数的个数”谈起 2019-09-17
- 从“杨辉三角形”谈起 2019-09-17
- 从“n!末尾有多少个0”谈起 2019-08-16
- C++ 新约瑟夫问题 2018-07-27
- 【.net】从比较两个字节数组谈起 2018-06-18
IDC资讯: 主机资讯 注册资讯 托管资讯 vps资讯 网站建设
网站运营: 建站经验 策划盈利 搜索优化 网站推广 免费资源
网络编程: Asp.Net编程 Asp编程 Php编程 Xml编程 Access Mssql Mysql 其它
服务器技术: Web服务器 Ftp服务器 Mail服务器 Dns服务器 安全防护
软件技巧: 其它软件 Word Excel Powerpoint Ghost Vista QQ空间 QQ FlashGet 迅雷
网页制作: FrontPages Dreamweaver Javascript css photoshop fireworks Flash