WikiOI 3311 起床困难综合症 （位运算）

题目描述 Description
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 受到多少伤害。

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

输出描述 Output Description
一行一个整数，表示atm的一次攻击最多使 drd 受到多少伤害。

样例输入 Sample Input
3 10
AND 5
OR 6
XOR 7

样例输出 Sample Output
1

数据范围及提示 Data Size & Hint
2<=n<=10^5
2<=m<=10^9
0<=t<=10^9

program mys;

var i,j,k,m,n,xxx,xx,t,ans:longint;
ch:char;
a,c,x,y:array[0..500000]of longint;

begin 
readln(n,m);
for i:=1 to n do 
begin 
read(ch);
if ch='A' then 
begin 
a[i]:=1;//a数组记录第i道门的运算符
read(ch,ch);
end;

if ch='O' then 
begin 
a[i]:=2;
read(ch);
end;

if ch='X' then 
begin 
a[i]:=3;
read(ch,ch);
end;
read(c[i]);
readln;
end;

for i:=0 to 30 do 
begin 
xxx:=0; xx:=1;   ///xxx表示的是如果第i位是0，xx表示第i位最初是一，并且带入下列运算
for j:=1 to n do 
begin 
if a[j]=1 then 
begin 
xxx:=xxx and c[j];
xx:=xx and c[j];
end;

if a[j]=2 then 
begin 
xxx:=xxx or c[j];
xx:=xx or c[j];
end;

if a[j]=3 then 
begin 
xxx:=xxx xor c[j];
xx:=xx xor c[j];
end;
c[j]:=c[j] shr 1;  //去掉c[i] 的第i位，下一次从i+1 位计算
end;

xxx:=xxx shr 1;  
//对应第i位被运算过了，mod 2之后相当于去掉最右边一位，即接下来运算第i+1位
xx:=xx mod 2;
        if xxx=1 then begin x[i]:=0; y[i]:=1; end  
        //1.该位取0时经过n次操作结果取1 这自然是最理想的情况 必须选择0
else if xx=1 then begin x[i]:=1; y[i]:=1; end  
        //2.情况1不满足 该为取1时经过n次操作结果取1 且取1后值不超过m 这样我们也选择1
else begin x[i]:=0; y[i]:=0; end; 
        //3.上两种情况不满足 则该位取0一定比取1小 更不容易超过m 
end;

t:=0; ans:=0;
for i:=30 downto 0 do 
begin 
if t+x[i]<<i<=m then  //如果加上之后不会超过m的范围
begin 
t:=t+x[i]<<i;
ans:=ans+y[i]<<i;
end;
end;
writeln(ans);
end.