NOI2014 起床困难综合症

 1 var n,m,ans,x,y:int64;
 2     i,j,tot,mark:longint;
 3     a,b:array[0..1000000] of int64;
 4     c:array[0..100] of boolean;
 5     d:array[0..100] of int64;
 6     ch:char;
 7     flag:boolean;
 8 procedure init;
 9  begin
10  readln(n,m);
11  for i:=1 to n do
12   begin
13   read(ch);if ch=‘A‘ then b[i]:=1 else if ch=‘O‘ then b[i]:=2 else b[i]:=3;
14   while ch<>‘ ‘ do read(ch);
15   readln(a[i]);
16   if (b[i]=1) and (a[i]=0) then begin flag:=true;mark:=i;end;
17   end;
18  end;
19 procedure work1;
20  begin
21  ans:=0;
22  for j:=0 to m do
23   begin
24   x:=j;
25    for i:=1 to n do if b[i]=1 then x:=x and a[i] else if b[i]=2 then x:=x or a[i] else x:=x xor a[i];
26   if x>ans then ans:=x;
27   end;
28  writeln(ans);
29  end;
30 procedure work2;
31  begin
32  x:=0;
33  for i:=mark+1 to n do if b[i]=1 then x:=x and a[i] else if b[i]=2 then x:=x or a[i] else x:=x xor a[i];
34  writeln(x);
35  end;
36 procedure work4;
37  begin
38  x:=0;
39  for i:=1 to tot do inc(x,1<<(d[i]-1));
40  for i:=1 to n do if b[i]=1 then x:=x and a[i] else if b[i]=2 then x:=x or a[i] else x:=x xor a[i];
41  ans:=x;
42  for j:=1 to 500 do
43   begin
44   x:=random(m+1);
45   for i:=1 to n do if b[i]=1 then x:=x and a[i] else if b[i]=2 then x:=x or a[i] else x:=x xor a[i];
46   if x>ans then ans:=x;
47   end;
48  writeln(ans);
49  end;
50 procedure work3;
51  begin
52  fillchar(c,sizeof(c),false);
53  for i:=1 to n do
54   if b[i]=2 then
55    for j:=1 to 32 do if (a[i] and (1<<(j-1))<>0) then c[j]:=true;
56  for i:=1 to n do
57   if b[i]=1 then
58    for j:=1 to 32 do if (a[i] and (1<<(j-1))=0) then c[j]:=true;
59  tot:=0;
60  for i:=1 to 32 do if not(c[i]) then begin inc(tot);d[tot]:=i;end;
61  y:=trunc(ln(m)/ln(2))+1;
62  while d[tot]>y do dec(tot);
63  if (1<<tot)*n>100000000 then begin work4;exit;end;
64  for i:=0 to 1<<tot-1 do
65   begin
66    x:=0;
67    for j:=1 to tot do
68     if i and (1<<(j-1))<>0 then inc(x,1<<(d[j]-1));
69    if x>m then continue;
70     for j:=1 to n do if b[j]=1 then x:=x and a[j] else if b[j]=2 then x:=x or a[j] else x:=x xor a[j];
71    if x>ans then ans:=x;
72   end;
73  writeln(ans);
74  end;
75 begin
76  assign(input,‘sleep.in‘);assign(output,‘sleep.out‘);
77  reset(input);rewrite(output);
78  ans:=0;
79  flag:=false;
80  init;
81  if n*m<50000000 then work1 else if flag then work2 else work3;
82  close(input);close(output);
83 end. 

 1 var n,m,ans,x,y,z,cnt:int64;
 2     i,j,mark:longint;
 3     a,b:array[0..1000000] of int64;
 4     c:array[0..100] of boolean;
 5     ch:char;
 6     flag:boolean;
 7 procedure init;
 8  begin
 9  readln(n,m);
10  for i:=1 to n do
11   begin
12   read(ch);if ch=‘A‘ then b[i]:=1 else if ch=‘O‘ then b[i]:=2 else b[i]:=3;
13   while ch<>‘ ‘ do read(ch);
14   readln(a[i]);
15   if (b[i]=1) and (a[i]=0) then begin flag:=true;mark:=i;end;
16   end;
17  end;
18 procedure work2;
19  begin
20  x:=0;
21  for i:=mark+1 to n do if b[i]=1 then x:=x and a[i] else if b[i]=2 then x:=x or a[i] else x:=x xor a[i];
22  writeln(x);
23  end;
24 procedure work1;
25  begin
26  x:=0;
27  for i:=1 to n do if b[i]=1 then x:=x and a[i] else if b[i]=2 then x:=x or a[i] else x:=x xor a[i];
28  z:=x;ans:=x;cnt:=0;
29  fillchar(c,sizeof(c),false);
30  for i:=31 downto 1 do
31    if z and (1<<(i-1))=0 then
32      begin
33        x:=1<<(i-1);
34        for j:=1 to n do if b[j]=1 then x:=x and a[j] else if b[j]=2 then x:=x or a[j] else x:=x xor a[j];
35        if (x and (1<<(i-1))<>0) and (cnt+1<<(i-1)<=m) then begin c[i]:=true;inc(cnt,1<<(i-1));end;
36      end;
37  for i:=1 to 31 do if c[i] then inc(ans,1<<(i-1));
38  writeln(ans);
39  end;
40 begin
41  assign(input,‘sleep.in‘);assign(output,‘sleep.out‘);
42  reset(input);rewrite(output);
43  ans:=0;
44  flag:=false;
45  init;
46  if flag then work2 else work1;
47  close(input);close(output);
48 end.