2016多校联合训练1 B题Chess (博弈论 SG函数)

题目大意：一个n(n<=1000)行，20列的棋盘上有一些棋子，两个人下棋，每回合可以把任意一个棋子向右移动到这一行的离这个棋子最近的空格上（注意这里不一定是移动最后一个棋子），不能移动到棋盘外，不能移动了就算输，两个人都用最优策略，问先手是否有必胜策略。

这题显然就是SG函数了吧。行与行之间互不影响，所以可以看成n个子游戏，求出它们各自的SG函数然后异或一下就可以了。我们发现只有20列，2^21=2097152，所以我们可以先把行的所有情况的SG函数预处理出来，然后每次询问O(1)就行了。

代码如下：

var
  t,i,j,m,v,c,res,n,cl:longint;
  cnt:array[..]of longint;
  a:array[..]of longint;

procedure calc(x,c:longint);
begin
  dec(x,<<(c-));inc(c);
  while c<= do
  begin
    if x and (<<(c-))= then break;
    inc(c);
  end;
  if c> then exit;
  inc(x,<<(c-));
  cnt[a[x]]:=;
end;

procedure init;
begin
  for i:=(<<)- downto  do
  begin
    fillchar(cnt,sizeof(cnt),);
    for j:= to  do
    if i and (<<(j-))<> then calc(i,j);
    for j:= to  do
    if cnt[j]= then
    begin
      a[i]:=j;
      break;
    end;
  end;
end;

procedure solve;
begin
  readln(n);res:=;
  for i:= to n do
  begin
    c:=;
    read(m);
    for j:= to m do
    begin
      read(v);
      c:=c or(<<(v-));
    end;
    res:=res xor a[c];
  end;
  if res<> then writeln('YES')
  else writeln('NO');
end;

begin
  init;
  readln(t);
  while t> do
  begin
    dec(t);
    solve;
  end;
end.