19 hdu多校 Blank //dp

19 hdu多校 Blank //dp

http://acm.hdu.edu.cn/showproblem.php?pid=6578

题意：每次从[1,4]挑选一个数，构造一个长度为n的数组，满足m个条件，每个条件包括li，ri，xi，表示[li,ri]的区间里有xi个不相同的数，问可以构造多少种不一样的数组满足题意。

思路：

 我是全hdu最蠢的把....

一开始在写区间dp+hash......

然后看了题解老老实实分类讨论了四种情况.......

然后卡常.....（dp数组一半不需要用到，需要剪枝掉.....

调一晚上.....

那么多人过...人均EXdp吗....

心情好再来优化吧...肝不动了....

#include<bits/stdc++.h>
using namespace std;
#define LL long long
#define FI first
#define SE second
#define MP make_pair
#define PII pair<int,int>
const int MXLOG = 30;
const LL mod = 998244353;
const int MX = 1e5+5;
LL dp[105][105][105][2];
vector<PII>v[105];
inline void Mod(LL &x) {
    static LL mod = 998244353;//1e9 + 7;
    if (x >= mod) x -= mod;
}
void add(LL &a,LL b){
    a=(a+b);
    Mod(a);
}
bool ju(){
    for(int i=0;i<105;i++)
        for(auto j:v[i]){
            if(i-j.FI+1<j.SE) return 0;
        }
    return 1;
}
int main(){

    int T;cin>>T;while(T--){
        int n,m;cin>>n>>m;
        for(int i=1;i<=n;i++)v[i].clear();
        for(int i=1;i<=m;i++){
            int aa,bb,cc;scanf("%d%d%d",&aa,&bb,&cc);
            v[bb].push_back(MP(aa,cc));
        }
        if(ju()==0){puts("0");continue;}
        int now=1;
        for(int i=0;i<=1;i++)for(int j=0;j<=1;j++)for(int k=0;k<=1;k++)dp[i][j][k][now]=0;
        dp[0][0][0][now]=4;
        for(int w=2;w<=n;w++){
            for(int i=0;i<=w;i++)for(int j=0;j<=w;j++)for(int k=0;k<=w;k++)dp[i][j][k][now^1]=0;
            add(dp[0][0][0][now^1],dp[0][0][0][now]);//没有
            add(dp[w-1][0][0][now^1],3LL*dp[0][0][0][now]);
            for(int i=1;i<w;i++){ //有一个
                add(dp[i][0][0][now^1],dp[i][0][0][now]);
                add(dp[w-1][0][0][now^1],dp[i][0][0][now]);
                add(dp[i][w-1][0][now^1],2LL*dp[i][0][0][now]);
            }
            for(int i=1;i<w;i++)for(int j=i+1;j<w;j++){//有两个
                add(dp[i][j][0][now^1],dp[i][j][0][now]);
                add(dp[i][w-1][0][now^1],dp[i][j][0][now]);
                add(dp[j][w-1][0][now^1],dp[i][j][0][now]);
                add(dp[i][j][w-1][now^1],dp[i][j][0][now]);
            }
            for(int i=1;i<w;i++){ //有三个
                for(int j=i+1;j<w;j++){
                    for(int k=j+1;k<w;k++){
                        add(dp[i][j][k][now^1],dp[i][j][k][now]);
                        add(dp[i][j][w-1][now^1],dp[i][j][k][now]);
                        add(dp[i][k][w-1][now^1],dp[i][j][k][now]);
                        add(dp[j][k][w-1][now^1],dp[i][j][k][now]);
                    }
                }
            }
            for(auto z:v[w]) if(z.SE>1) {dp[0][0][0][now^1]=0;break;}
            for(int i=1;i<w;i++) {
                for(auto z:v[w]){
                        if(z.SE==1) if(z.FI<=i){dp[i][0][0][now^1]=0;break;}
                        if(z.SE==2) if(z.FI>i) {dp[i][0][0][now^1]=0;break;}
                        if(z.SE>2) {dp[i][0][0][now^1]=0;break;}
                }
            }
            for(int i=1;i<w;i++){
                for(int j=i+1;j<w;j++){
                    for(auto z:v[w]){
                        if(z.SE==1) if(z.FI<=j){dp[i][j][0][now^1]=0;break;}
                        if(z.SE==2) if(z.FI>j||z.FI<=i) {dp[i][j][0][now^1]=0;break;}
                        if(z.SE==3) if(z.FI>i){dp[i][j][0][now^1]=0;break;}
                        if(z.SE>3) {dp[i][j][0][now^1]=0;break;}
                    }
                }
            }
            for(int i=1;i<w;i++){
                for(int j=i+1;j<w;j++){
                    for(int k=j+1;k<w;k++){
                        for(auto z:v[w]){
                            if(z.SE==1) if(z.FI<=k){dp[i][j][k][now^1]=0;break;}
                            if(z.SE==2) if(z.FI>k||z.FI<=j) {dp[i][j][k][now^1]=0;break;}
                            if(z.SE==3) if(z.FI>j||z.FI<=i){dp[i][j][k][now^1]=0;break;}
                            if(z.SE==4) if(z.FI>i){dp[i][j][k][now^1]=0;break;}
                        }
                    }
                }
            }
            now=now^1;
        }
        LL ans=0;
        for(int i=0;i<=n;i++){
            for(int j=0;j<=n;j++)
                for(int k=0;k<=n;k++) add(ans,dp[i][j][k][now]);
        }
        cout<<ans<<'\n';
    }
    return 0;
}

UPD:

将i，j，k排序，值0为没有，可以将四种规为一种写法（考虑的时候还是要思考每一位是否为0

#include<bits/stdc++.h>
using namespace std;
#define LL long long
#define FI first
#define SE second
#define MP make_pair
#define PII pair<int,int>
const int MXLOG = 30;
const LL mod = 998244353;
const int MX = 1e5+5;
LL dp[105][105][105][2];
vector<PII>v[105];

void add(LL &a,LL b){
    a=(a+b);
    if(a>=mod)a-=mod;
}

int main(){
    int T;cin>>T;while(T--){
        int n,m;cin>>n>>m;
        for(int i=1;i<=n;i++)v[i].clear();
        for(int i=1;i<=m;i++){
            int aa,bb,cc;scanf("%d%d%d",&aa,&bb,&cc);
            v[bb].push_back(MP(aa,cc));
        }
        int now=1;
        dp[0][0][0][now]=1;
        for(int w=1;w<=n;w++){
            for(int i=0;i<=w;i++)for(int j=0;j<=w;j++)for(int k=0;k<=w;k++)dp[i][j][k][now^1]=0;
            for(int i=0;i<w;i++){
                for(int j=i;j<w;j++){
                    for(int k=j;k<w;k++){
                        if(dp[i][j][k][now]==0)continue;
                        add(dp[i][j][k][now^1],dp[i][j][k][now]);
                        add(dp[i][j][w-1][now^1],dp[i][j][k][now]);
                        add(dp[i][k][w-1][now^1],dp[i][j][k][now]);
                        add(dp[j][k][w-1][now^1],dp[i][j][k][now]);
                    }
                }
            }
            for(int i=0;i<w;i++){
                for(int j=i;j<w;j++){
                    for(int k=j;k<w;k++){
                        if(dp[i][j][k][now^1]==0)continue;
                        for(auto z:v[w]){
                            if(z.SE==1) {if(z.FI<=k){dp[i][j][k][now^1]=0;break;}}
                            else if(z.SE==2) {if(z.FI>k||z.FI<=j) {dp[i][j][k][now^1]=0;break;}}
                            else if(z.SE==3) {if(z.FI>j||z.FI<=i){dp[i][j][k][now^1]=0;break;}}
                            else { if(z.FI>i){dp[i][j][k][now^1]=0;break;}}
                        }
                    }
                }
            }
            now=now^1;
        }
        LL ans=0;
        for(int i=0;i<=n;i++){
            for(int j=0;j<=n;j++)
                for(int k=0;k<=n;k++) add(ans,dp[i][j][k][now]);
        }
        cout<<ans<<'\n';
    }
    return 0;
}