AGC020_B题解

AGC020_B题解

题意

一开始有n个小朋友，k轮游戏之后剩下2个小朋友，游戏规则是这样的:
第i轮对于当前的小朋友数量X取模Ai，也就是X%Ai个小朋友离开，X/Ai*Ai个小朋友进入下一轮。
求n的最大值和最小值。

笺释

设remmin为开始第i轮的时候最少的人，remmax为开始第i轮时最多的人。
在开始第k+1轮的时候，remmin和remmax都只能为2
在开始第k轮的时候，因为下一轮的最少人数是暂定的remmin，这一轮的最少人数满足这样的规律:

如果上一轮的最小人数能满足这一轮的情况(不增加)，那么保持remmin
也就是说，如果remmin正好能全部分Ai(remmin%Ai==0)，那么不需要有小朋友离开，也就是这一轮开始的时候不需要有多余的小朋友。
如果不能全部分Ai(remmin%Ai!=0)，那么就一定有小朋友离开，如果在目前remmin的基础上还有小朋友离开，那么剩下的小朋友无论怎么分组都一定比remmin小(确切一点，小1)，而remmin已经是下一回合开始的时候最小的，因此不可能保持remmin，一定要增加remmin，，增加多少个呢,这样考虑，我们把remmin依次加一，直到加到正好能全部分Ai为止(增加的量最小)，那么这样得到的remmin一定是当前回合最小的，用代码表示就是remmin/Ai*Ai+Ai。

下一轮的最多人数是暂定的remmax，这一轮的最多人数满足这样的规律:

如果remmax能正好全部分Ai(remmax%Ai==0),那么remmax最多可以在这个基础上增加Ai-1个，就相当于多余了Ai-1个小朋友。至于为什么最多增加Ai-1个，这样考虑:如果增加了Ai个的话，下一轮最多的小朋友就会相应地增加Ai个(多余的小朋友组成一组没有被踢出游戏)。
如果remmax不能全部分Ai(remmax%Ai!=0)，那么remmax同样也是在这个基础上增加到正好分的Ai-1个。

又考虑到这样的问题:我们这样递推实际上每一次都是假设remmin为下一回合暂定的最小值，是否存在这样的可能性，比如说remmin在第2回合更新的值只是满足了第二回合和第三回合的要求，对于其后面的回合不再满足呢，也就是那个老问题局部最优是否代表了全局最优呢。
我们说，这道题依然是局部最优能代表全局最优的，并且原因也就是动态规划的那个原因：当前最优只与之前的有限个状态决定，拿3 4 3 2这组数据来说，remmin一开始初始为2，然后对于最后一个ai为2发现可以不更新，也就保留最少人数为2，对于ai为3来说，发现一定要增加，那么增加最少为增加一个变成3，变成3之后显然第四轮剩下的人数也就相应成为3，离开一个小朋友剩余2。然后到达第二回合，此时最小人数为3，发现一定要增加，那么增加为4，我们可能会考虑，这个4会不会导致最后一回合的条件不再满足呢。确实，4只能保证第3回合离开一个剩余3个，对第4回合不能保证，但与此同时，第三回合剩余3个对第四回合做出了保证。
就像是多米诺骨牌一样，每一块骨牌只能保证他下一块骨牌会被推倒，但是每一块骨牌的保证也就保证了所有骨牌都会被推倒了。

完整代码

#include<bits/stdc++.h>
#define MAXN 100005
using namespace std;
int k,a[MAXN];
int main()
{
    scanf("%d",&k);
    for(int i=1;i<=k;i++)
    {
        scanf("%d",&a[i]);
    }

    long long remmin=2,remmax=2;
    for(int i=k;i>=1&&remmin<=remmax;i--)
    {
        if(remmin%a[i]==0)
        {
            remmin=remmin;
        }
        else
        {
            remmin=remmin/a[i]*a[i]+a[i];
        } 
        remmax=(remmax/a[i]+1)*a[i]-1;
    }
    if(remmin<=remmax)
    {
        printf("%lld %lld\n",remmin,remmax);
    }
    else
    {
        printf("-1\n");
    }
}