HDU 5719 Arrange

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

如果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=;
const int maxn=+;
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=;i<=n;i++) scanf("%d",&b[i]);
        for(int i=;i<=n;i++) scanf("%d",&c[i]);

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

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

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

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

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

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

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

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