题目描述

给出 n 个操作，操作顺序不能改变，方便对于 与，或，异或 三种运算符。
还有一个整数 m 代表我可选择的起始值为，我需要找到一个合理的取值，再进行了 n 次操作之后值最大。

Solution

看见位运算，就要边往按位求值方向去靠。
我们的预期就是首先保证最后操作之后尽可能是 1 ，第二起始值尽可能拿 0 不溢出 m 。
我们可以想到，如果当前位起始值为 0 那么如果经过一系列操作之后变成了 1 ，说明这个很符合我们的预期。
那么如果起始值是 0 的位无法满足要求，说明我们只能试试这一位取 1 能不能符合不溢出 m 并且最终是 1 的情况了。
而且需要注意的是，看我们上面的求贡献组合，不溢出 m 并且最终值最大，可以找到位数的枚举需要从大到小去枚举。
也就是先枚举最高位，把最大的贡献能拿的尽可能拿掉。

#pragma GCC target("avx,sse2,sse3,sse4,popcnt")
#pragma GCC optimize("O2,O3,Ofast,inline,unroll-all-loops,-ffast-math")
#include <bits/stdc++.h>
using namespace std;
#define js ios::sync_with_stdio(false);cin.tie(0); cout.tie(0)
#define all(__vv__) (__vv__).begin(), (__vv__).end()
#define endl "\n"
#define pai pair<int, int>
#define ms(__x__,__val__) memset(__x__, __val__, sizeof(__x__))
typedef long long ll; typedef unsigned long long ull; typedef long double ld;
inline ll read() { ll s = 0, w = 1; char ch = getchar(); for (; !isdigit(ch); ch = getchar()) if (ch == '-') w = -1; for (; isdigit(ch); ch = getchar())    s = (s << 1) + (s << 3) + (ch ^ 48); return s * w; }
inline void print(ll x, int op = 10) { if (!x) { putchar('0'); if (op)    putchar(op); return; }    char F[40]; ll tmp = x > 0 ? x : -x;    if (x < 0)putchar('-');    int cnt = 0;    while (tmp > 0) { F[cnt++] = tmp % 10 + '0';        tmp /= 10; }    while (cnt > 0)putchar(F[--cnt]);    if (op)    putchar(op); }
inline ll gcd(ll x, ll y) { return y ? gcd(y, x % y) : x; }
ll qpow(ll a, ll b) { ll ans = 1;    while (b) { if (b & 1)    ans *= a;        b >>= 1;        a *= a; }    return ans; }    ll qpow(ll a, ll b, ll mod) { ll ans = 1; while (b) { if (b & 1)(ans *= a) %= mod; b >>= 1; (a *= a) %= mod; }return ans % mod; }
inline int lowbit(int x) { return x & (-x); }
const int dir[][2] = { {0,1},{1,0},{0,-1},{-1,0},{1,1},{1,-1},{-1,1},{-1,-1} };
const int MOD = 1e9 + 7;
const int INF = 0x3f3f3f3f;

const int N = 1e5 + 7;

int main() {
    int n = read(), m = read();
    char op[5];
    int ans[2];
    // 00000      111111
    ans[0] = 0, ans[1] = -1;
    while (n--) {
        scanf("%s", op);
        int x = read();
        if (op[0] == 'A')    ans[0] &= x, ans[1] &= x;
        else if (op[0] == 'O')    ans[0] |= x, ans[1] |= x;
        else ans[0] ^= x, ans[1] ^= x;
    }
    int res = 0;
    for (int i = 1 << 30; i; i >>= 1)
        if (ans[0] & i)
            res |= i;
        else if ((ans[1] & i) and i <= m)
            res |= i, m -= i;
    print(res);
    return 0;
}