起床困难综合征（二进制运算的大杂烩）

题目链接

https://www.luogu.org/problemnew/show/P2114

---

题目描述

题目描述
21世纪，许多人得了一种奇怪的病：起床困难综合症，其临床表现为：起床难，起床后精神不佳。作为一名青春阳光好少年，atm一直坚持与起床困难综合症作斗争。通过研究相关文献，他找到了该病的发病原因： 在深邃的太平洋海底中，出现了一条名为drd的巨龙，它掌握着睡眠之精髓，能随意延长大家的睡眠时间。 正是由于drd的活动，起床困难综合症愈演愈烈， 以惊人的速度在世界上传播。为了彻底消灭这种病，atm决定前往海底，消灭这条恶龙。历经千辛万苦，atm终于来到了drd所在的地方，准备与其展开艰苦卓绝的战斗。drd有着十分特殊的技能，他的防御战线能够使用一定的运算来改变他受到的伤害。具体说来，drd的防御战线由n扇防御门组成。每扇防御门包括一个运算op和一个参数t，其中运算一定是OR,XOR,AND中的一种，参数则一定为非负整数。如果还未通过防御门时攻击力为x，则其通过这扇防御门后攻击力将变为x op t。最终drd受到的伤害为对方初始攻击力x依次经过所有n扇防御门后转变得到的攻击力。
由于atm水平有限，他的初始攻击力只能为0到m之间的一个整数（即他的初始攻击力只能在 0, 1, … , m中任选，但在通过防御门之后的攻击力不受m的限制）。为了节省体力，他希望通过选择合适的初始攻击力使得他的攻击能让drd受到最大的伤害，请你帮他计算一下，他的一次攻击最多能使drd受到多少伤害。
输入输出格式
输入格式：
输入文件的第 1 行包含 2 个整数，依次为n, m，表示 drd 有n扇防御门，atm 的初始攻击力为0到m之间的整数。
接下来n行，依次表示每一扇防御门。每行包括一个字符串op和一个非负整数t，两者由一个空格隔开，且op在前，t在后，op表示该防御门所对应的操作，t表示对应的参数。
输出格式：
输出一行一个整数，表示atm的一次攻击最多使drd受到多少伤害。
输入输出样例
输入样例#1：
3 10
AND 5
OR 6
XOR 7
输出样例#1：
1
说明
【样例说明】
atm可以选择的初始攻击力为 0,1, … ,10。
假设初始攻击力为 4，最终攻击力经过了如下计算
4 AND 5 = 4
4 OR 6 = 6
6 XOR 7 = 1
类似的，我们可以计算出初始攻击力为 1,3,5,7,9 时最终攻击力为 0，初始攻击力为 0,2,4,6,8,10 时最终攻击力为 1，因此atm的一次攻击最多使drd受到的伤害值为1。
【数据规模与约定】

思路

看到这道题之后，一开始想的就是暴力，可以用一个数字0把经过n扇门的攻击值全部记录下来，之后再暴力枚举0~m之间的每一个数字，找到最大值；但是这样的思路显然不行啊，时间复杂度就过不了。
之后就请教了题解和startaidou大佬做出来的，感觉这道题还是蛮有意思的。

首先想了一下自己的暴力和正解有什么区别：

自己的暴力中是只枚举了0一个数字，而正解中是用两个数字a1=0,a2=-1;也就是说自己的暴力中的0是正确的，那么就要想一下为什么正解中会有a2=-1，而自己没有想到。a2=-1，在二进制中的意思是a2的32位二进制上的数字都是1。

Q：一个数字都是0，一个数字都是1，这样子枚举有什么好处呢？
A：这样子的话就可以把（0 ~ m）中的数字全部囊括起来，为什么呢？大家可以再想想，对于任意的若干个数字，是不是都可以拆成互不相同的二进制表示法（唯一分解定理），换句话说，每个数字是不是都有一个自己的唯一的二进制表示法，这样子的话，a2中的32位1,是不是就可以通过选择，或者是不选择组合出来所有的（0~m）中的任意一个数字。

而且数据范围给的是1e9，如上图所示，最多有30位，那么就可以只枚举0位~29位，大大减少了时间复杂度。
而且还可以只选择对答案有贡献的进行枚举，这样子的话就又可以大大减少复杂度，是不是十分巧妙的算法？？
所以我们选择的是两个具有代表性的边界情况进行判断

其次，考虑一下怎么实现代码？

对于n个条件而言：按照我一开始的暴力思路，选好了两个具有代表性的数字之后，就要把奥特曼打怪兽所有的重担全部落在他们的头上（也就是说让这两个代表值进行所有的n个操作）

那么如何统计答案呢？
这里就要提到一下题解给出来的好思路：

贪心时就能用0换1就一定换，能用1换1也换，不能换别换就好了。

所以说一切的最后的统计答案的代码操作都是为了让ans最大而生的。

---

最后就是code部分了

#include<bits/stdc++.h>
using namespace std;

int a1=0,a2=-1;
int ans=0;

int main()
{
	int n,m;
	cin>>n>>m;
	for(int i=1;i<=n;++i)
	{
		char str[5];
		scanf("%s",str);
		int x; cin>>x;
		if(str[0]=='A')			a1&=x,a2&=x;
		else if(str[0]=='O')	a1|=x,a2|=x;
		else if(str[0]=='X')	a1^=x,a2^=x;
	}
	for(int j=29;j>=0;--j)
	{
		if((a1>>j)&1)	ans+=(1<<j);
		else if((a2>>j)&1&&(1<<j)<m)	ans+=(1<<j),m-=(1<<j);
	}
	printf("%d\n",ans);
	return 0;
} 

在这里还要再说一下最后统计答案部分的理解：

1. 一开始理解的时候我把它当做是一个01背包类似的问题：
   ans是要求的最大价值，m算成是体积。
2. 因为a1的初始值是0，所以获得a1的贡献并不需要额外的价值；
3. 反而看a2，因为a2的价值是1111 1111 1111 1111 1111 1111 1111 1111这样子的，所以在获得a2的贡献时就需要花费额外的价值，所以m-=(1<<j)；

这样子的话是不是就好理解多了！

最后，粘上自己看的题解 https://www.luogu.org/problemnew/solution/P2114。

越长大越发觉，情绪稳定是种难得的品质。