约瑟夫环-公式递推法

约瑟夫问题

约瑟夫问题是个著名的问题:N个人围成一圈,第一个人从1开始报数,报M的将被杀掉,下一个人接着从1开始报。如此反复,最后剩下一个,求最后的胜利者。
例如只有三个人,把他们叫做A、B、C,他们围成一圈,从A开始报数,假设报2的人被杀掉。

首先A开始报数,他报1。侥幸逃过一劫。
然后轮到B报数,他报2。非常惨,他被杀了
C接着从1开始报数
接着轮到A报数,他报2。也被杀死了。
最终胜利者是C

解决方案

普通解法

刚学数据结构的时候,我们可能用链表的方法去模拟这个过程,N个人看作是N个链表节点,节点1指向节点2,节点2指向节点3,……,节点N-1指向节点N,节点N指向节点1,这样就形成了一个环。然后从节点1开始1、2、3……往下报数,每报到M,就把那个节点从环上删除。下一个节点接着从1开始报数。最终链表仅剩一个节点。它就是最终的胜利者。

缺点:

要模拟整个游戏过程,时间复杂度高达\(O(nm)\),当n,m非常大(例如上百万,上千万)的时候,几乎是没有办法在短时间内出结果的。

公式法

约瑟夫环是一个经典的数学问题,我们不难发现这样的依次报数,似乎有规律可循。为了方便导出递推式,我们重新定义一下题目。
问题: N个人编号为1,2,……,N,依次报数,每报到M时,杀掉那个人,求最后胜利者的编号。

这边我们先把结论抛出了。之后带领大家一步一步的理解这个公式是什么来的。

递推公式:

\[
f(N,M)=(f(N?1,M)+M)\%N
\]

\(f(N,M)\)表示,\(N\)个人报数,每报到\(M\)时杀掉那个人,最终胜利者的编号
\(f(N?1,M)\)表示,\(N-1\)个人报数,每报到\(M\)时杀掉那个人,最终胜利者的编号
下面我们不用字母表示每一个人,而用数字。
1、2、3、4、5、6、7、8、9、10、11
1、2、3、4、5、6、7、8、9、10、11

表示11个人,他们先排成一排,假设每报到3的人被杀掉。

刚开始时,头一个人编号是1,从他开始报数,第一轮被杀掉的是编号3的人。
编号4的人从1开始重新报数,这时候我们可以认为编号4这个人是队伍的头。

第二轮被杀掉的是编号6的人。
编号7的人开始重新报数,这时候我们可以认为编号7这个人是队伍的头。

第三轮被杀掉的是编号9的人。

……

第九轮时,编号2的人开始重新报数,这时候我们可以认为编号2这个人是队伍的头。这轮被杀掉的是编号8的人。
下一个人还是编号为2的人,他从1开始报数,不幸的是他在这轮被杀掉了。
最后的胜利者是编号为7的人。
下图表示这一过程(先忽视绿色的一行)

现在再来看我们递推公式是怎么得到的!
将上面表格的每一行看成数组,这个公式描述的是:幸存者在这一轮的下标位置

\(f(1,3)\):只有1个人了,那个人就是获胜者,他的下标位置是0

\(f(2,3)=(f(1,3)+3)\%2=3\%2=1\):在有2个人的时候,胜利者的下标位置为1

\(f(3,3)=(f(2,3)+3)\%3=4\%3=1\):在有3个人的时候,胜利者的下标位置为1

\(f(4,3)=(f(3,3)+3)\%4=4\%4=0\):在有4个人的时候,胜利者的下标位置为0

\(……\)

\(f(11,3)=6\)

很神奇吧!现在你还怀疑这个公式的正确性吗?上面这个例子验证了这个递推公式的确可以计算出胜利者的下标,下面将讲解怎么推导这个公式。

问题1:假设我们已经知道11个人时,胜利者的下标位置为6。那下一轮10个人时,胜利者的下标位置为多少?

答:其实吧,第一轮删掉编号为3的人后,之后的人都往前面移动了3位,胜利这也往前移动了3位,所以他的下标位置由6变成3。

问题2:假设我们已经知道10个人时,胜利者的下标位置为3。那下一轮11个人时,胜利者的下标位置为多少?

答:这可以看错是上一个问题的逆过程,大家都往后移动3位,所以\(f(11,3)=f(10,3)+3f(11,3)=f(10,3)+3\)。不过有可能数组会越界,所以最后模上当前人数的个数,\(f(11,3)=(f(10,3)+3)\%11\)

问题3:现在改为人数改为N,报到M时,把那个人杀掉,那么数组是怎么移动的?

答:每杀掉一个人,下一个人成为头,相当于把数组向前移动M位。若已知N-1个人时,胜利者的下标位置位\(f(N?1,M)\),则N个人的时候,就是往后移动M为,(因为有可能数组越界,超过的部分会被接到头上,所以还要模N),既\(f(N,M)=(f(N?1,M)+M)\%n\)

注:理解这个递推式的核心在于关注胜利者的下标位置是怎么变的。每杀掉一个人,其实就是把这个数组向前移动了M位。然后逆过来,就可以得到这个递推式。

因为求出的结果是数组中的下标,最终的编号还要加1

下面给出代码实现:

int f(int n,int m)
{//递归
    if(n==1) return 0;
    return (f(n-1,m)+m)%n;
}
int cir(int n,int m)
{//递推
    int p=0;
    for(int i=2;i<=n;i++)
    {
        p=(p+m)%i;
    }
    return p+1;
}

原文地址:https://www.cnblogs.com/tldr/p/10888872.html

时间: 2024-11-08 11:16:09

约瑟夫环-公式递推法的相关文章

约瑟夫环问题--递推解法

利用数学推导,如果能得出一个通式,就可以利用递归.循环等手段解决.下面给出推导的过程: (1)第一个被删除的数为 (m - 1) % n. (2)假设第二轮的开始数字为k,那么这n - 1个数构成的约瑟夫环为k, k + 1, k + 2, k +3, .....,k - 3, k - 2.做一个简单的映射. k         ----->  0              k+1    ------> 1              k+2    ------> 2           

约瑟夫环的递推方法

可以这样理解这个方法:当有n个人的时候,他们的编号依次是0.1.2.3.4.……….n-1.假设最后编号为x(n)的人会留下来.因为数到m的那个人会出列,那么此轮中编号为(m-1)%n的人会出列,编号为(m+0)%n的人将做为下一轮编号为0的人,此轮编号为(m+i)%n的人将做为下一轮编号为i的人…因此当有n-1个人的时候,编号为i的人对应着上一轮编号为(m+i)%n的人.假设此轮编号为x(n-1)的人最终会留下来.因为编号为x(n-1)的人肯定对应着上一轮的x(n),所以有x(n)=(m+x(

Uva 10943 - How do you add ?( 组合数公式 + 递推 )

Uva 10943 - How do you add ?( 组合数公式 + 递推 ) 题意:给定一个数N,分解韡k个数,问有多少种组合.数可以重复 (N<=100) 分析:通过组合数学将题目抽象为 N个相同的小球,放入k个不同的盒子中,且允许盒子为空然后就可以用隔板法------> ANS = C(N+M-1,M-1)隔板法--> BD然后再根据组合数的性质可以进行递推(这题数据范围比较小)----> C(A,B) = C(A-1,B) + C(A-1,B-1);预处理一遍之后即可

递推(一):递推法的基本思想

所谓递推,是指从已知的初始条件出发,依据某种递推关系,逐次推出所要求的各中间结果及最后结果.其中初始条件或是问题本身已经给定,或是通过对问题的分析与化简后确定. 利用递推算法求问题规模为n的解的基本思想是:当n=1时,解或为已知,或能非常方便地求得:通过采用递推法构造算法的递推性质,能从已求得的规模为1.2.….i−1的一系列解,构造出问题规模为i的解.这样,程序可从i=0或i=1出发,重复地由已知至i−1规模的解,通过递推,获得规模为i的解,直至获得规模为n的解. 可用递推算法求解的问题一般有

递推(二):递推法的应用

下面通过一些典型实例及其扩展来讨论递推法的应用. [例2]骨牌铺方格 在2×n的一个长方形方格中,用一种2×1的骨牌铺满方格.输入n(n<=40),输出铺放方案的总数. 例如n=3时,为2×3方格,骨牌的铺放方案有三种,如下图1所示. 图1  2×3方格的骨牌铺放方案 (1)编程思路. 设f[i]为铺满2*n方格的方案数,则有    f[i]=f[i-1]+f[i-2]. 其中,f[i-1]为铺满2*(n-1)方格的方案数(既然前面的2*(n-1)的方格已经铺满,那么最后一个只能是竖着放).f[

算法基础二 递推法

/*递推法*/ /*斐波那契数列 1 1 2 3 5 8 13..... f(n)?*/ /*递推法的特点是由前向后推算,因此注意起始条件,并在推算过程中保存结果供下一步推算使用~*/ #include<iostream> using namespace std; int f1(int n) { if (n < 3)return 1; else { int t1 = 1; int t2 = 1; for (int i = 2; i < n; i++) { int temp = t1

算法设计 之 递推法

递推法就是根据已知条件,分析推导出问题中的联系,然后一步一步进行推倒直至得到结果. 根据具体问题我们需要选择是正推还是逆推来解决问题. 下面先举一个递推中的经典例子,就是求兔子数量的问题: 现有一只一个月大的兔子,已知当兔子在第三个月大时每月就可以生下一只小兔子(好吧,就按兔子是无性繁殖的),求一年后兔子的总数量. 我们根据问题分析,发现可以把兔子分三类:一个月大.二个月大.三个或三个以上月大,列表分析: 月份 1月大 2月大 >=3月大 1 1 0 0 2 0 1 0 3 1 0 1 4 1

001-算法-递推法

一.概念: 递推算法是一种简单的算法,即通过已知条件,利用特定关系得出中间推论,直至得到结果的算法.递推分为顺推和逆推两种. 递推算法使用“步步为营”的方法,不断利用已有的信息推导出新的东西. 顺推法:是指从已知条件出发,逐步推算出要解决问题的方法.例如:斐波拉契数列就可以通过顺推法不断递推算出新的数据. 逆推法:是从已知的结果出发,用迭代表达式逐步推算出问题开始的条件,即顺推法的逆过程. demo : http://blog.csdn.net/jtlyuan/article/details/7

实用算法的分析与程序设计——递推法(顺推法)包含实例,代码

顺推法即由边界条件出发,通过递推关系式推出后项值,再由后项值按递推关系式推出再后项值...依次递推,直至从问题初始陈述向前推进到这个问题的解为止. 实例 代码 #include<iostream> #include<stdlib.h> using namespace std; const int maxN = 60 ; int N = 4 ,d = 2 , m = 3; float a1 = 2 ,an = 5; void input() { cout<<"i