UVALive 3882 - And Then There Was One【约瑟夫问题】

时间:2023-03-09 09:33:02
UVALive 3882 - And Then There Was One【约瑟夫问题】

题目链接:https://icpcarchive.ecs.baylor.edu/index.php?option=com_onlinejudge&Itemid=8&page=show_problem&problem=1883

题意:n个人围成一圈,第一次删第m个人,然后每数K个删一个人,求最后一个人的编号

分析:典型的约瑟夫问题,和杀人游戏差不多,杀人游戏描述如下:

推导过程:

首先,我们要对问题描述改一下,n个人编号为0,1,2,….,n-1,f[n]表示n个人组成的约瑟夫环按照规则后最后一个存活的编号。

这样之后,首先,我们知道,第一个出列的人的编号(m-1)%n,则我们可以从这个人的后面编号设为k= m % n,则这n-1个人的编号依次为k,k+1,….n-1,n,1,2,…k-2;
则重新编号为0,1,2….n-2,那么我们就可以看作是在这n-1规模的子问题的约瑟夫环的基础上,求解n规模的约瑟夫环。

设n-1规模的子问题的约瑟夫环的解为f[n-1],则n规模约瑟夫环是f[n] = (f[n-1] + k) % n;
证明过程如下:
原来编号依次为k,k+1,….n-1,n,1,2,…k-2; 重新编号以后依次为0,1,2,….,n-2;

f[n] = (f[n-1] + k) % n;(加上k是因为编号要变成n规模里面的编号,不太明白的请看上面的序列)
而 k = m % n; 则f[n] = (f[n-1] + m) % n;递推公式是f[i] = (f[i-1] + k) % i;
而f[1] = 0,则最后的结果是f[n]+1(因为f[n]是0,1…n-1编号的,所以要加1)这样,光秃秃的约瑟夫环问题就结束了。。。

 #include <bits/stdc++.h>
using namespace std;
typedef long long ll;
const int N=;
ll dp[N]={};
int main()
{
ll n,k,m;
while(scanf("%lld%lld%lld",&n,&k,&m)!=EOF)
{
if(n==||k==||m==)
break;
for(int i=;i<n;i++)
dp[i]=(dp[i-]+k)%i;
dp[n]=(dp[n-]+m)%n;
printf("%lld\n",dp[n]+);
}
}

第一次:        0.1.2 ..... k-1.k.k+1........n-1

去掉k - 1     0.1.2 .....       k.k+1........n-1

从k开始       k.k+1...... n-1.0.1........ k-2

转换           0.1..........n-2  (转换公式: ( i - k + n ) % n )

第二次        0.1..........n-2

去掉k - 1     0.1.2 .....       k.k+1........n-2

从k开始       k.k+1...... n-2.0.1........ k-2

转换           0.1..........n-3  (转换公式: ( i - k + n - 1 ) % ( n - 1 ) )

........

第n次         0

反向递推

a = 0

第n次的0等价于第n-1次。最后一个删除的数  a = ( a + k  ) % 2

a 等价于第n - 2次。最后一个删除的数         a = ( a + k ) % 3

......

a = ( a + k ) % n

那么递推公式出来了

a = 0;
for( int i = 2; i <= n; i ++ ) a = ( a + k ) % i;

再根据m - 1 与 k - 1 的相对位置判断即可

最后需要 + 1

在这题中,m是开始第一个跳出的人,我们并不需要在一开始的时候从m开始, 我们依然从 0 开始,只是最后的结果偏移一下就可以,具体偏移多少,慢慢道来首先,我要强调一点,推导都是从0开始的,这一点请大家牢记心中,而约瑟夫环 的问题特征则是,从不同的位置算起,出列的依次顺序比从0开始的顺序依次顺序
整体向右平移了几个单位。
n=8,k=5,m=3为例,出列依次为3,8,6,5,7,2,4,1
n=8,k=5,m=1为例,出列依次为5,2,8,7,1,4,6,3
整体向右偏移了2,(对n取膜的情况下)

那么,我们只要确定起点就可以了,因为编号是0,1,2,…n-1,而我们是从m(m是1到n)开始算,则起点的偏移就是m-1,而第一个m-1是出队的
我们算的是0开始数k个才是第一个出队的,所以,必须再减掉k-1个偏移(相当于算m-1是第一个出列的,算起点就是减掉k-1个,起点也算一个哟),这样最后的起点
的偏移就可以算出来了0 + m - 1 - ( k - 1 ) = m - k; 因为偏移量是相同的,那么终点也是这么多则结果为f[n] + m - k 是最终的结果
而这个最终的编号是0,1,2…n-1(n-1编号之内)。最后的结果在加上一个1, 最后结果f[n] + m - k + 1,最后对n取膜,保障在1到n编号就可以了。。。

下面给出AC代码: