LOJ#2244 起床困难综合症

解：m = 0的部分分，直接模拟。有and 0的部分分，直接模拟。<=1000的部分分，枚举攻击力之后模拟。所有操作相同的部分分，可以合并成只有一个操作。然后枚举m或者逐位贪心。

正解是逐位贪心，内层跑一遍1~n个操作。然后后面这个1~n其实可以优化，在外层用00000...0和11111...1来一次性搞完即可。

#include <bits/stdc++.h>

const int N = 100010;

int a[N], opt[N], n, m;
char str[5]; /// 0 AND &   1 OR |   2 XOR ^

namespace m0 {
    inline void solve() {
        int ans = 0;
        for(int i = 1; i <= n; i++) {
            if(opt[i] == 0) {
                ans = ans & a[i];
            }
            else if(opt[i] == 1) {
                ans = ans | a[i];
            }
            else if(opt[i] == 2) {
                ans = ans ^ a[i];
            }
        }
        printf("%d
", ans);
        return;
    }
}

namespace bf {
    inline void solve() {
        int ans = 0;
        for(int i = 0; i <= m; i++) {
            int x = i;
            for(int j = 1; j <= n; j++) {
                if(opt[j] == 0) {
                    x = x & a[j];
                }
                else if(opt[j] == 1) {
                    x = x | a[j];
                }
                else {
                    x = x ^ a[j];
                }
            }
            ans = std::max(ans, x);
        }
        printf("%d
", ans);
        return;
    }
}

namespace same {
    inline void solve() {
        int x = a[1];
        for(int i = 2; i <= n; i++) {
            if(opt[i] == 0) {
                x = x & a[i];
            }
            else if(opt[i] == 1) {
                x = x | a[i];
            }
            else {
                x = x ^ a[i];
            }
        }
        int ans = 0;
        if(m <= 100000) {
            for(int i = 0; i <= m; i++) {
                if(opt[1] == 0) {
                    ans = std::max(ans, i & x);
                }
                else if(opt[1] == 1) {
                    ans = std::max(ans, i | x);
                }
                else if(opt[1] == 2) {
                    ans = std::max(ans, i ^ x);
                }
            }
        }
        else {
            int now = 0;
            for(int i = 29; i >= 0; i--) {
                if(opt[1] == 0) {
                    if(((x >> i) & 1) && (now | (1 << i)) <= m) {
                        now |= (1 << i);
                    }
                }
                else if(opt[1] == 1) {
                    if(((x >> i) & 1) == 0 && (now | (1 << i)) <= m) {
                        now |= (1 << i);
                    }
                }
                else {
                    if(((x >> i) & 1) == 0 && (now | (1 << i)) <= m) {
                        now |= (1 << i);
                    }
                }
            }
            if(opt[1] == 0) {
                ans = x & now;
            }
            else if(opt[1] == 1) {
                ans = x | now;
            }
            else {
                ans = x ^ now;
            }
        }
        printf("%d
", ans);
        return;
    }
}

int main() {
    bool flag1 = false, flag2 = true;
    scanf("%d%d", &n, &m);
    for(int i = 1; i <= n; i++) {
        scanf("%s%d", str, &a[i]);
        if(str[0] == 'O') opt[i] = 1;
        else if(str[0] == 'X') opt[i] = 2;
        else if(a[i] == 0) {
            flag1 = true;
        }
        if(i > 1 && opt[i] != opt[i - 1]) {
            flag2 = false;
        }
    }

    if(!m || flag1) {
        m0::solve();
        return 0;
    }
    if(n <= 1000 && m <= 1000) {
        bf::solve();
        return 0;
    }
    if(flag2) {
        same::solve();
        return 0;
    }

    int ans = 0, now = 0;
    for(int i = 29; i >= 0; i--) {
        int t1 = 1, t0 = 0;
        for(int j = 1; j <= n; j++) {
            if(opt[j] == 0) {
                t0 &= (a[j] >> i) & 1;
                t1 &= (a[j] >> i) & 1;
            }
            else if(opt[j] == 1) {
                t0 |= (a[j] >> i) & 1;
                t1 |= (a[j] >> i) & 1;
            }
            else {
                t0 ^= (a[j] >> i) & 1;
                t1 ^= (a[j] >> i) & 1;
            }
        }
        if(t0) {
            ans |= (1 << i);
        }
        else if(t1 && (now | (1 << i)) <= m) {
            now |= (1 << i);
            ans |= (1 << i);
        }
    }
    printf("%d
", ans);
    return 0;
}