题目描述 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.