对钟长者的课堂总结QwQ
类型一:一人进行一件事回合制游戏(例如取k样东西,走k步)
解题方法:设dp[i][j][k]...(表示状态)表示在此状态是必胜态还是必败态
然后看这个状态可以转移到那几个状态,如果此状态转移到的所有状态均为必胜态
则此状态为必败态,若此状态的所有转移中有一个为必败态,则此状态为必胜态。
例一:有n件物品,Alice和Bob在进行游戏,Alice为先手,对于每回合,Alice和Bob
可以取走2-5件物品,Alice和Bob均使用最优策略,问Alice是必胜还是必败。
设dp[i]表示到第i件物品时是必胜态(true)还是必败态(false)。
由Alice为先手,每回合可以取走2-5件物品可知,dp[1]=false;
dp[2]=dp[3]=dp[4]=dp[5]=true;
然后遍可以从6-n进行O(4*n)的转移,检验dp[i-2],dp[i-3],dp[i-4],dp[i-5]的值,
如果四个值均为true,则说明无论这个时候怎么取,他的对手在下一轮一定是必胜态,
所以这个时候是必败态,如果四个值里面有大于等于1个false,则证明此时可以用最优策略
转移到对手的那轮是必败态,所以这个时候是必胜态。
例二:
类型2:Nim石子游戏
有n堆石子,每堆石子有a[i]个,
lice和Bob在进行游戏,Alice为先手,对于每回合,Alice和Bob可以从某一堆取走任意数量的石子,
谁先将石子取完谁获胜。
Sg定理:因为每堆石子是独立的,所以有一个叫Sg定理的东西。
定义:sg[i]=mex(sg[它能转移到的状态]),mex:最小的没有出现过的自然数。
最后可以得到sg[a[i]]每一堆的sg值,最后必胜必败态即为ans=sg[a[1]]^sg[a[2]]^....^sg[a[n]];
对于Nim石子游戏我们发现,对于第i堆石子的sg值一定为a[i],因为可以取走任意数量的石子嘛,
最后将所有的a[i]异或起来,如果为0,则先手必败,否则先手必胜。
例1:有n+1堆石子,最左边一堆有2012个石子,两个人分别进行操作。一次操作可以选取两
堆不同的石堆,分别增加一个或减少一个石子(一加一减,或给已经不剩石子的堆加一个都是允许的)
为了保证游戏在有限步内结束,规定所选的两堆中右边的那一堆一定要包含奇数个石子,无路可走者输,
问先手是否必胜。
转化为Nim石子游戏问题,