【ACWing】998. 起床困难综合症

题目地址：

https://www.acwing.com/problem/content/description/1000/

$21$世纪，许多人得了一种奇怪的病：起床困难综合症，其临床表现为：起床难，起床后精神不佳。作为一名青春阳光好少年，atm一直坚持与起床困难综合症作斗争。通过研究相关文献，他找到了该病的发病原因： 在深邃的太平洋海底中，出现了一条名为drd的巨龙，它掌握着睡眠之精髓，能随意延长大家的睡眠时间。正是由于drd的活动，起床困难综合症愈演愈烈， 以惊人的速度在世界上传播。为了彻底消灭这种病，atm决定前往海底，消灭这条恶龙。历经千辛万苦，atm终于来到了drd所在的地方，准备与其展开艰苦卓绝的战斗。drd有着十分特殊的技能，他的防御战线能够使用一定的运算来改变他受到的伤害。具体说来，drd的防御战线由$n$扇防御门组成。每扇防御门包括一个运算$op$和一个参数$t$，其中运算一定是$|,\wedge ,\&$中的一种，参数则一定为非负整数。如果还未通过防御门时攻击力为$x$，则其通过这扇防御门后攻击力将变为$xopt$。最终drd受到的伤害为对方初始攻击力$x$依次经过所有$n$扇防御门后转变得到的攻击力。由于atm水平有限，他的初始攻击力只能为$0$到$m$之间的一个整数（即他的初始攻击力只能在$0,1,\dots ,m$中任选，但在通过防御门之后的攻击力不受$m$的限制）。为了节省体力，他希望通过选择合适的初始攻击力使得他的攻击能让drd受到最大的伤害，请你帮他计算一下，他的一次攻击最多能使drd受到多少伤害。

输入格式：
第$1$行包含$2$个整数，依次为$n,m$，表示drd有$n$扇防御门，atm的初始攻击力为$0$到$m$之间的整数。接下来$n$行，依次表示每一扇防御门。每行包括一个字符串$op$和一个非负整数$t$，两者由一个空格隔开，且$op$在前，$t$在后，$op$表示该防御门所对应的操作，$t$表示对应的参数。

输出格式：
输出一个整数，表示atm的一次攻击最多使drd受到多少伤害。

数据范围：

由于位运算是按位做的，不同位上的数之间互相不影响，所以可以暴力枚举每个位上的数，如果是$0$的话，最后会变成什么，如果是$1$的话，最后会变成什么。接下来倒着推输入，顺便算出答案。显然，由于我们需要让最后答案尽可能地大，所以在不超过$m$的情况下，要设计输入使得结果的尽可能高的位成为$1$，设输入是$0$。我们从高位到低位进行遍历，然后贪心地对$x$的当前位取值。如果当前位是$0$的话能使得最后答案在当前位成为$1$，那显然$x$在这一位应该是$0$；如果当前位是$1$的话能使得最后答案在当前位成为$1$，那么要考虑一下使得$x$当前位是$1$的话，会不会超出$m$的界，如果不会超出，则输入在此位应当为$1$，并且令$x$在这一位为$1$。代码如下：

#include <iostream>
#include <bitset>
using namespace std;

int n, m;

int main() {
    bitset<30> zero, one;
    zero.reset();
    one.set();
    scanf("%d%d", &n, &m);
    while (n--) {
        string s;
        int x;
        cin >> s >> x;
        if (s == "AND") zero &= x, one &= x;
        else if (s == "OR") zero |= x, one |= x;
        else zero ^= x, one ^= x;
    }

    int res = 0;
    for (int i = 30, x = 0; i >= 0; i--)
    	// 如果当前位是0就能使得答案在当前位为1，那x的当前位就是0；
    	// 如果当前位是1才能使得答案在当前位为1，那要判断一下会不会出界，如果没出界，就令x在当前位为1
        if (zero[i]) res |= 1 << i;
        else if (one[i] && x + (1 << i) <= m) {
            res |= 1 << i;
            x += 1 << i;
        }

    printf("%d\n", res);

    return 0;
}

时间复杂度$O(n)$，空间$O(1)$。