[ZJOI2009]取石子游戏

瞪了题解两三天，直接下转第二篇题解就康懂了

首先我们令 ：

\(L[i][j]\) 表示当前 \([i,j]\) 区间左侧放置 \(L[i,j]\) 数量的石子后先手必败

\(R[i][j]\) 表示当前 \([i,j]\) 区间右侧放置 \(R[i,j]\) 数量的石子后先手必败

那么最后我们只要判断 \(a[1]\) 是否等于 \(L[2,n]\) 或者 \(a[n]\) 是否等于 \(R[1,n-1]\) 即可

唯一性

考虑证明 \(L[i][j]\) 和 \(R[i][j]\) 的唯一性，发现我们只需要证明一个成立即可

假设 \(L[i][j]\) 存在两个，那么我们先让 \([i,j]\) 左边放上大的 \(L[i][j]\) ，那么它可以一步转移到另一个小的 \(L[i][j]\) ，仍旧是一个必败态，与定义矛盾，故 \(L[i][j]\) 只存在一个合法值

转移

然后我们分类讨论...

假设当前处理到了 \(L[i][j]\) ，那么我们根据 \(L[i][j-1] ,R[i][j-1] ,a[j]\) 来处理，我们令 \(L=L[i][j-1],R=R[i][j-1],x=a[j]\)

1. \(x=R\)

   这种情况下，我们令 \(L[i][j]=0\) ，因为 [i,j] 已经是个必败态了，左边加上任意石子，先手都可以全部取完，然后后手面对必败态

2. \(x

   这种情况下，我们令 \(L[i][j]=x\) ，这样先手不管从哪堆开始取，如果没有取完，后手只需要在另一堆取走相同数量的石子，就回到了原来的情况，那么如果说先手把一堆取完了，另一堆的石子数量必然是小于 L 和 R 的，相当于是先手从数量为 L 或者 R 的堆中取走了一些石子，后手必胜

3. \(L<=x

   这种情况下，我们令 \(L[i][j]=x+1\) ，这样先手左边取左边取，取到 L 时，后手取光右边即可；左边取到比 L 大的话，右边只要取走相同的石子就好了，这样可以变回同样的状态；取到比 L 小的话，右边取到相同的石子数为止，这样两边的石子数都小于 L 和 R ，这样就回到了状态 2 ；如果先手在右边取，如果取到比 L 大，我们维持状态即可，和上面一样；如果比 L 小，那么我们左边取到和左边相等，这样还是回到了状态 2 ；如果右边被先手取光了，那么我们把左边取到 L ，先手面临的就是必败态了

4. \(R

   这种情况下，我们令 \(L[i][j]=x-1\) 即可，讲道理是和状态 3 差不多的情况 Q^Q

5. \([i,i]\) 的边界情况

   我们只需要让 \(L[i][i]=a[i]\) 即可...因为左边放上 a[i] 就是先手必败的状态，考虑此时无论先手在哪里取，后手只要在另一堆里面取相同石子即可...

感谢

ORZ YYB

Code

//by Judge
#include
#define Rg register
#define fp(i,a,b) for(Rg int i=(a),I=(b)+1;ia[j]&&R[i][j-1]>a[j]) L[i][j]=a[j];
            else if(L[i][j-1]<=a[j]&&R[i][j-1]>a[j]) L[i][j]=a[j]+1;
            else if(L[i][j-1]>a[j]&&R[i][j-1]a[i]&&R[i+1][j]>a[j]) R[i][j]=a[i];
            else if(L[i+1][j]<=a[i]&&R[i+1][j]>a[j]) R[i][j]=a[i]+1;
            else if(L[i+1][j]>a[i]&&R[i+1][j]