HDU 5719 Arrange

最新推荐文章于 2019-02-18 10:54:51 发布

转载最新推荐文章于 2019-02-18 10:54:51 发布 · 52 阅读

0 ·

CC 4.0 BY-SA版权

原文链接：http://www.cnblogs.com/zufezzt/p/5682489.html

本文介绍了一种算法，用于解决在给定上下界约束的情况下，寻找合法的整数序列的总数。通过预处理和逐步确定序列中的元素，确保序列满足递增或递减条件，避免冲突，并使用模运算保证数值大小在可控范围内。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

根据条件，某些位置的数字就可以确定了。确定过程中如果有冲突，则无解。

如果B中出现了递增，C中出现了递减，则无解。

对于每一个未确定的a[i]，ans需要更新，ans=ans*((c[i]-b[i]+1)-(i-1))%MOD;

如果计算ans过程中，出现了(c[i]-b[i]+1)-(i-1)<=0，则也是无解。

#include<cstdio>
#include<cstring>
#include<cmath>
#include<vector>
#include<map>
#include<queue>
#include<stack>
#include<algorithm>
using namespace std;

long long MOD=998244353;
const int maxn=100000+10;
int T,n;
int a[maxn],b[maxn],c[maxn];
int tmp1[maxn],tmp2[maxn];
bool f[maxn];
long long h[maxn];

int main()
{
    scanf("%d",&T);
    while(T--)
    {
        scanf("%d",&n);
        for(int i=1;i<=n;i++) scanf("%d",&b[i]);
        for(int i=1;i<=n;i++) scanf("%d",&c[i]);

        memset(a,-1,sizeof a);
        memset(tmp1,-1,sizeof tmp1);
        memset(tmp2,-1,sizeof tmp2);

        tmp1[1]=b[1];
        for(int i=2;i<=n;i++) if(b[i]<b[i-1]) tmp1[i]=b[i];

        tmp2[1]=c[1];
        for(int i=2;i<=n;i++) if(c[i]>c[i-1]) tmp2[i]=c[i];

        bool fail=0;
        for(int i=1;i<=n;i++)
            if(tmp1[i]!=-1&&tmp2[i]!=-1&&tmp1[i]!=tmp2[i]) fail=1;

        for(int i=2;i<=n;i++) if(b[i]>b[i-1]||c[i]<c[i-1]) fail=1;

        if(fail) { printf("0\n"); continue;}

        for(int i=1;i<=n;i++)
        {
            if(tmp1[i]!=-1) a[i]=tmp1[i];
            if(tmp2[i]!=-1) a[i]=tmp2[i];
        }

        long long ans=1;
        for(int i=1;i<=n;i++)
        {
            if(a[i]!=-1) continue;
            if((c[i]-b[i]+1)-(i-1)<=0) ans=0;
            ans=ans*((c[i]-b[i]+1)-(i-1))%MOD;
        }
        printf("%lld\n",ans);
    }
    return 0;
}