洛谷P3622 动物园

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

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

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

首先能想到断环成链DP。

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

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

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

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

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

 const int N = ;

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

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

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

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

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

 int main() {

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

         for(int i = ; i < n; i++) {
             for(int s = ; s < ; s++) {
                 if(f[i][s] == -) {
                     continue;
                 }
                 /// f[i][s] -> f[i + 1][t]

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

AC代码