洛谷P3622 动物园

题意：给定一个n个元素的圈，m个条件。满足一个条件需要选某些元素或不选另一些元素。

问最多能满足多少条件。每个条件所关联的元素，最远的两个距离不会超过5。

解：想了半天......

首先能想到断环成链DP。

然后某个时刻灵光一闪，突然发现可以状压最近的5个位置......这样枚举开始位置做32次DP就行了！

实现的时候发现只要枚举16种开始情况，状压4个位置...

转移就是考虑下一个位置选/不选。

注意细节......为什么有人20行A题，我写了160行呀...

#include <cstdio>
#include <cstring>
#include <vector>
#include <algorithm>

const int N = 10010;

struct Node {
    int p, fear, like;
    int a[5]; // 0 none  1 fear  2 like
}node[5 * N];

int f[N][16], n;
std::vector<int> v[N];

inline void exmax(int &a, int b) {
    a < b ? a = b : 0;
    return;
}

inline void out(int x, int tag) {
    printf(" ");
    for(int i = 0; i < tag; i++) {
        printf("%d", (x >> i) & 1);
    }
    printf(" ");
    return;
}

inline int check(Node x, int s) {
    for(int i = 0; i < 5; i++) {
        if(x.a[i] == 1 && ((s >> i) & 1)) {
            return 1;
        }
        if(x.a[i] == 2 && (((s >> i) & 1) == 0)) {
            return 1;
        }
    }
    return 0;
}

int main() {

    int m;
    scanf("%d%d", &n, &m);
    for(int i = 1, x; i <= m; i++) {
        scanf("%d%d%d", &node[i].p, &node[i].fear, &node[i].like);
        node[i].p += 4;
        while(node[i].p > n) {
            node[i].p -= n;
        }
        for(int j = 1; j <= node[i].fear; j++) {
            scanf("%d", &x);
            for(int k = 4, now = node[i].p + 1; k >= 0; k--) {
                now--;
                if(!now) {
                    now = n;
                }
                if(now == x) {
                    node[i].a[k] = 1;
                    break;
                }
            }
        }
        for(int j = 1; j <= node[i].like; j++) {
            scanf("%d", &x);
            for(int k = 4, now = node[i].p + 1; k >= 0; k--) {
                now--;
                if(!now) {
                    now = n;
                }
                if(now == x) {
                    node[i].a[k] = 2;
                    break;
                }
            }
        }
        v[node[i].p].push_back(i);
    }
    /// input
    int ans = 0;
    /// -----
    /// 01234
    for(int op = 0; op < 16; op++) { /// first four
        memset(f, 0, sizeof(f));
        for(int s = 0; s < 16; s++) {
            if(s != op) {
                f[4][s] = -1;
            }
        }

        for(int i = 4; i < n; i++) {
            for(int s = 0; s < 16; s++) {
                if(f[i][s] == -1) {
                    continue;
                }
                /// f[i][s] -> f[i + 1][t]
                
                int t = s >> 1, temp = f[i][s]; /// put 0  don't move
                for(int j = 0; j < v[i + 1].size(); j++) {
                    /// node[v[i + 1][j]]  and  s
                    temp += check(node[v[i + 1][j]], s);
                }
                exmax(f[i + 1][t], temp);
                // -------------------------------------
                t = t | (1 << 3); /// put 1  move
                temp = f[i][s];
                for(int j = 0; j < v[i + 1].size(); j++) {
                    temp += check(node[v[i + 1][j]], s | (1 << 4));
                }
                exmax(f[i + 1][t], temp);
            }
        }
        for(int s = 0; s < 16; s++) {
            /// f[n][s]
            int temp = f[n][s], now = s << 1;
            for(int i = 0; i < 4; i++) {
                now = (now >> 1) + (((op >> i) & 1) << 4);
                for(int j = 0; j < v[i + 1].size(); j++) {
                    temp += check(node[v[i + 1][j]], now);
                }
            }
            exmax(ans, temp);
        }
    }
    printf("%d\n", ans);
    return 0;
}