B. GameGame 解析(思維、博弈)

Codeforce 1383 B. GameGame 解析(思維、博弈)

今天我們來看看CF1383B
題目連結

題目
兩個人在玩遊戲，有一個長度為(n)的數列(a)，每次每個人選一個數字和目前自己的分數XOR(初始為0分)，最後拿到最多分數的人贏，求誰會贏?

前言

博弈的題目一直不是很會做，這次這題有個我平時可能不會想到的新想法:可以嘗試讓其中一個玩家跟隨另一個玩家做動作，如果被跟隨的那個玩家最後會輸，那麼跟隨的那個玩家就會贏。這是因為我們給出了一個明確的移動方法。

想法

首先要知道一件事:如果一個玩家能夠使得分數有最高位的bit，並且另外一個人沒有，那麼就贏了。這是因為在右邊的bit不管有多少，都比不上最左邊的bit(正式來說:(2^n>sumlimits_{i=0}^{n-1}2^i forall ninmathbb{N}_{ge1}))。
那麼我們可以先統計對於bit有幾個元素有這個bit，接著我們從最左邊的bit開始「考慮」:
分為兩種情況:

1. 這個bit有偶數個，那麼由於兩個玩家只有2種拿的方法

   • 偶偶
   • 奇奇

   不管玩家怎麼拿，這個bit最後的狀態都是一樣的，所以我們可以完全不用考慮這個bit。

2. 這個bit有奇數個，也就是玩家要去搶這個bit: 首先另(x=)有這個bit的元素的數量，(y=n-x)也就是剩下的數字的數量(這個bit是(0))。由於玩家們拿了(4)個(1)等同於沒有改變狀態，因此有以下的分類:

   1. (xmod 4=1) and (ymod 2=0): 先手先拿一個(1)，接著完全照搬後手的行動。如此易發現先手會贏。
   2. (xmod 4=1) and (ymod 2=1): 先手先拿一個(1)，接著完全照搬後手的行動，直到後手拿走了最後一個(0)，那麼接著就剩下要拿偶數個(1)，並且是先手先拿。由於是(xmod 4=1)，所以最後是先手贏。
   3. (xmod 4=3) and (ymod 2=0): 後手完全照搬先手的行動，最後先手一定會拿到偶數個(1)，所以後手贏。
   4. (xmod 4=3) and (ymod 2=1): 先手先拿一個(0)，那麼就是3.的情況了，先手贏。

程式碼:

const int _n=1e5+10;
int t,n,a[_n],cnt[32];
main(void) {cin.tie(0);ios_base::sync_with_stdio(0);
  cin>>t;while(t--){
    cin>>n;rep(i,0,n)cin>>a[i]; memset(cnt,0,sizeof cnt);
    rep(j,0,30)rep(i,0,n)cnt[j]+=((a[i]&(1<<j))?1:0);
    per(i,0,30){
      if(cnt[i]%2==0)continue;
      int x=cnt[i],y=n-x;
      if(x%4==3 and y%2==0){cout<<"LOSE
";goto A;}
      else {cout<<"WIN
";goto A;}
    }cout<<"DRAW
";
    A:;
  }
  return 0;
}

標頭、模板請點Submission看
Submission