初学博弈

看了一下论文和一些定义- -。

 

这类题目的编程复杂度特低- -。

还有看pku题目感到我的英语压力真大。。

 

 

{ 

         百度百科。sg函数        

         《组合游戏略述——浅谈SG游戏的若干拓展及变形》

         《从“k倍动态减法游戏”出发探究一类组合游戏问题》

}看了这些东西。。。表示难理解。。。理解了两天大概理解了。。

但是对于里面的证明感觉有质疑。。

 

 

 

取石子游戏虽然是组合游戏中一道最基础的题目，但是它却代表了
一类经典的组合模型。
 
事实上，每一个简单 SG-组合游戏都可以完全等效成一堆数目为 K
的石子，其中 K为该简单游戏的SG函数值。这样的等效是充要的。
 
[定理]
 
在我们每次只能进行一步操作的情况下，对于任何的游戏的和，我
们若将其中的任一单一 SG-组合游戏换成数目为它的 SG值的一堆石子，
该单一 SG-组合游戏的规则变成取石子游戏的规则（可以任意取，甚至
取完），则游戏的和的胜负情况不变。 
  

 

 

【Matches Game】

source：pku2234

summarize：水题，最朴素的nim。。 

【A Chess Game】

source：pku2425

summarize：水题，这题就是朴素的sg函数的应用题，也就是百度百科的那个- -。。直接记忆化dfs将sg函数值xor一下。。。 

【S-Nim】

source：pku2960

summarize：水题，也是朴素sg函数算出来。。。

 

（以上是三道基础的定义题）

 

【Georgia and Bob】

source：pku1704

summarize：这题题目没有按照从小到大排。。这题可以轻易的转换成nim游戏。。

 

【Crosses and Crosses】

source：pku3537

summarize：将一个点放下去。。则周围4个点必然不能放，因为放了就会进入必败状态。。所以从最优策略来说

              sg（n）=sg（i-3) xor  sg(n-i-2)  （负数（也就是0）的sg值为0  1和2 的sg值为1。。。）

 

【Nim】

source：pku2975

summarize：这题就是要你求nim游戏的先手第一步有几种情况可以把必胜状态转化为必败态给对手，直接全部xor。。然后枚举每个数ai与这个值xor一下，若这个值小于ai则可以将这个数转化。

 

【rocks 石头木头】

source：usaco 2010 hoc

summarize：关于这种移动石子的，在fjsdjx的时候v7的教导下知道了把奇数层提取出来，然后只看偶数层进行xor，然而这题每次取有上限，所以，我们将他mod（l+1），其余进行nim和运算，不为0就是有必胜策略。。这个也是不难证明的。。、

 

【[SHOI2008]小约翰的游戏John】

source：bzoj1022

summarize：{这题是nim取石子游戏的变形，我举了下例子感觉和nim的决策是一样的。。（如果只剩下0和1.就不一样了，需要特判）}

一开始我是这么认为的。。尽管是对的。。。。看了论文后知道这个算是anti-sg问题，是anti-sg问题的最一般形式。

 

【Nim】

source：pku2068

summarize：这题就是简单的博弈了，也是比胜和必败之间的转换。因为只有一堆石子一个问题，sg值只需要记录0或者1 。。当然如果换多组石头让你取，这个该怎么做，是可做还是不可做？？

 

【I Love this Game!】

source：pku1678

summarize：记忆化一下= =水。。。

【A New Stone Game】

source：pku1740

summarize：。这题容易发现只要是偶数个并且成对的是必败态。。然后我们可以发现只要先手，并且不是成对成对的，可以拿最大的一组轻易地转化为成对成对的状态。。。

 

【Light Switching Game】

source：pku3533

summarize:这题学习了08论文关于nim积运算那章才会的。。（这题是hdu3404的强化版）。。关于实现方面有些尝试，但是后来发觉太麻烦了。。所以还是按照论文写法写的。。。这真是很神奇的东西。。

 

 program p3533; {$m 100000000} const maxn=1000+2; var ans:int64; i,j,x,y,z,n:longint; a:array[0..maxn]of int64; function find(x:longint):longint; begin find:=0; while 1 shl (1 shl find)<=x do inc(find); dec(find); end; function nim_power(x,y:int64):int64; var a,p,m,s,t,d1,d2:int64; begin if (x=1) then exit(y); if (x=0) then exit(0); if (y=1) then exit(x); if (y=0) then exit(0); a:=find(x); m:=1 shl (1 shl a); p:=x div m; t:=y mod m; s:=y div m; d1:=nim_power(p,s); d2:=nim_power(p,t); nim_power:=(m*(d1 xor d2)) xor nim_power(m div 2,d1); end; function nim_multi(x,y:int64):int64; var a,p,q,s,t,c1,c2,c3,m:int64; begin if x<y then exit(nim_multi(y,x)); if y=0 then exit(0); if y=1 then exit(x); a:=find(x); M:=1 shl (1 shl a); p:=x div m; q:=x mod m; t:=y mod m; s:=y div m; c1:=Nim_Multi(p,s); c2:=Nim_Multi(p,t) xor Nim_Multi(q,s); c3:=Nim_Multi(q,t); exit(((c1 xor c2)*M)xor c3 xor Nim_Power(m div 2,c1)); end; begin while not seekeof do begin readln(n); ans:=0; for i:=1 to n do begin readln(x,y,z); ans:=ans xor nim_multi(x,nim_multi(y,z)); end; if ans<>0 then writeln('No') else writeln('Yes'); end; end.

 

【Christmas Game】

source：pku3710

summarize：贡献了无数wa之后发现- -原来有多组数据。。。这题就按照论文的方法缩点，然后算sg值。。。证明我感觉有些bug== （应该是我太弱）。。。

const maxn = 100+5; maxe = 10000; var NOW,tot,test,ans,top,n,m:longint; p,sg,dep,dfn,first:array[0..maxn]of longint; g:array[0..maxn,0..maxn]of longint; bian:array[0..maxe]of record x,y,nexT:longint;end; v:Array[0..maxn]of boolean; procedure connect(a,b:longint); begin inc(tot); with bian[tot] do begin x:=a; y:=b; next:=first[x]; first[x]:=tot; end; end; procedure init; var i,x,y,j:longint; begin tot:=0; top:=0; readln(n,m); NOW:=0; for i:=1 to n do begin for j:=1 to n do g[i,j]:=0; first[i]:=0; dep[i]:=0; dfn[i]:=0; sg[i]:=-1; v[i]:=false; end; for i:=1 to m do begin readln(x,y); IF X=Y THEN CONTINUE; inc(g[x,y]); inc(g[y,x]); connect(x,y); connecT(y,x); end; end; procedure push(x:longint); var i,j:longint; begin i:=0; while p[top]<>x do begin inc(i); dec(top); end; if (g[p[top],p[top+i]]>1)or(i>1) then begin for j:=top+2 to top+i do v[p[j]]:=true; if odd(i) then v[p[top+1]]:=true; end; end; procedure updata(var x:longint;y:longint); begin if y<X then x:=y; end; procedure dfs1(x:longint); var k:longint; begin inc(now); dep[x]:=now; dfn[x]:=now; inc(top); p[top]:=x; k:=first[x]; while k<>0 do with bian[k] do begin if dep[y]=0 then begin dfs1(y); updata(dfn[x],dfn[y]); if dfn[y]>=dep[x] then push(X); end else updata(dfn[x],dep[y]); k:=next; end; end; procedure dfs2(x:longint); var k:longint; begin v[x]:=true; if sg[x]<>-1 then exit; k:=first[x]; sg[x]:=0; while k<>0 do with bian[k] do begin if (v[y]=false) then begin dfs2(y); sg[x]:=sg[x] xor (sg[y]+1); end; k:=next; end; end; begin while not seekeof do begin ans:=0; readln(test); while test>0 do begin init; dfs1(1); dfs2(1); dec(test); ans:=ans xor sg[1]; end; if ans=0 then writeln('Harry') else writeln('Sally'); end; end.

 

 

[sdoi2009]E&D

source：bzoj1228 

summarize：这题oj上数据规模写 - -n<=2*109。。。这个让我直接dfs算sg函数。。后来wa了- -好吧。。其实他是漏了个"^"是2*10^9 ..

不然我还以为那么无聊不写218写个2*109。。。

这题打出sg函数- -看啊看啊看。。找了一下午。。有如下规律- -。。

program p1288; var pow:array[0..33]of int64; test,n,ans,i,j,a,b:longint; function sg(a,b:longint):longint; var i:longint; begin dec(a); dec(b); sg:=0; while (a mod pow[sg+1]>=pow[sg] )or(b mod pow[sg+1]>=pow[sg]) do inc(sg); end; begin readln(test); pow[0]:=1; for i:=1 to 33 do pow[i]:=pow[i-1]*2; for i:=1 to test do begin read(n); ans:=0; for j:=1 to n div 2 do begin read(a,b); ans:=ans xor sg(A,b); end; if ans=0 then writeln('NO') else writeln('YES'); end; end.

 

[ llh邀请赛]巧克力棒

source:bzoj1299

summarize:这题很囧很囧。、。我浪费了很多时间去想。。结果发现原来题目理解错了。。。这题是要从里面拿出巧克力棒。。直到最后才明白= =，。原来题目要求是可以不连续的取。。。（我以为是可以连续的取出棒子）。。。甚囧，，