【CodeForces 567F】Mausoleum

寒假最后一题补完啦 ^∀^

题意

1到n每个数字有两个，排成先不降后不升的序列，比如112332，并且满足k个形如 3 <= 6 代表第三个数字要≤第六个数字这样的约束要求，求有多少种排法。

分析

区间DP，dp[i][j]表示只有区间[i,j]还没填时的方案数。

b[i][j]表示第i和j位置的数字约束关系。

然后从两头开始排，每次把两个数字t放在两边或者同一边。

dp[i+1][j-1]+=dp[i][j];//放在两边

dp[i+2][j]+=dp[i][j];//放在左边

dp[i][j-2]+=dp[i][j];//放在右边

并且要满足约束条件。如果i位置小于j位置，那么必须先放i位置。

即放在当前位置上的数>(≥)已经放好的位置上的数，<(≤)未放置的位置上的数。

并且每次放的两个位置如果有约束关系，只能是含有=的（=、≥、≤）。

当j==i+1时，就只能一种放法了，这时候就可以累加答案了。

当我们放数字t时，区间[i,j]的长度是2*n-2*(t-1)，所以j=i+2*n-2*(t-1)-1=2*n-2*t+i+1。

方案数比较大，所以要用long long。

代码

#include<cstdio>
#include<cstring>
#define ll long long
#define N 75
int n,k;
ll dp[N][N],ans;
int b[N][N];
//b[i][j] -2   -1   3   1   2
//i s j   >    >=   =   <=  <
int ch(int fl,int fr,int a,int c)//现在排的位置上的数要比自由部分的小
{
    for(int i=fl; i<=fr; i++)
        if(b[a][i]==||b[c][i]==||b[a][i]<||b[c][i]<)return ;
    return ;
}
int cc(int bl,int br,int a,int c){//现在排的位置上的数要比排好部分的大
    for(int i=;i<=bl;i++)
        if(b[a][i]>||b[c][i]>)return ;
    for(int i=br;i<=*n;i++)
        if(b[a][i]>||b[c][i]>)return ;
    return ;
}
int check(int i,int j)//不可以放在两个数字不允许相同的位置上
{
    return b[i][j]!=-&&b[i][j]!=;
}
int main()
{
    scanf("%d%d",&n,&k);
    for(int i=; i<=k; i++)
    {
        int l,r,f=;
        char s[];
        scanf("%d%s%d",&l,s,&r);
        if(s[]=='<')
        {
            f=;
            if(s[])f--;
        }
        else if(s[]=='>')
        {
            f=-;
            if(s[])f++;
        }
        b[l][r]=f;
        b[r][l]=f==?f:-f;
    }
    dp[][*n]=;
    for(int t=; t<=n; t++)
        for(int i=; i<=*t-; i++)
        {
            int j=*n-*t+i+;
            if(dp[i][j])
            {
                if(j==i+)
                {
                    if(check(i,j))
                        ans+=dp[i][j];
                }
                else
                {
                    if(ch(i+,j-,i,j)&&cc(i-,j+,i,j)&&check(i,j))
                        dp[i+][j-]+=dp[i][j];
                    if(ch(i+,j,i,i+)&&cc(i-,j+,i,i+)&&check(i,i+))
                        dp[i+][j]+=dp[i][j];
                    if(ch(i,j-,j-,j)&&cc(i-,j+,j-,j)&&check(j-,j))
                        dp[i][j-]+=dp[i][j];
                }
            }
        }
    printf("%lld",ans);
    return ;
}