[AGC002E] Candy Piles 题解

Description

传送门

Solution

首先抽象问题，将原问题转化到一个平面上进行。

考虑将 $a$ 从大到小排序，并建出 $n$ 个长方形，其中相邻两个长方形紧挨，从左到右第 $i$ 个长方形的宽度为 $1$，长度为 $a_i$。那么，博弈模型等价于从 $(1,1)$ 出发，每次向右或者向左走，最终走出边界的人输。

首先不难想到一个 $\text{dp}$。令 $f_{i,j}$ 表示，当目前在 $(i,j)$ 时（即在第 $i$ 个长方形的位置 $j$ 处），先手必胜还是必败。至于如何转移，不难发现 $f_{i,j}=1$ 当且仅当 $f_{i,j+1},f_{i+1,j}$ 至少一者为 $0$。特别的，若 $(i,j)$ 在边界以外，则 $f_{i,j}=1$。

然而这样是 $O({\sum }_i{a}_i)$ 的。考虑如何优化。我们不妨打个表出来，这时你会惊人地发现：

Key Observation

$\forall (i,j)$ 均有 $f_{i,j}=f_{i+1,j+1}$，其中 $(i+1,j+1),(i,j)$ 均在边界线以内。

Lemma

首先，若 $f_{i+1,j+1}=0$，则显然有 $f_{i+1,j}=f_{i,j+1}=1$，从而 $f_{i,j}=f_{i+1,j+1}=1$。下面只需考虑 $f_{i+1,j+1}=1$ 的情况。

考虑反证。假设 $f_{i,j}=0,f_{i+1,j+1}=1$。那么不难发现，$f_{i+1,j}=f_{i,j+1}=1$。由于 $f_{i,j+1}=1$ 且 $f_{i+1,j+1}=1$，所以 $f_{i,j+2}=0$；同理，也有 $f_{i+2,j}=0$。根据 $f_{i,j+2}=0$，显然有 $f_{i+1,j+2}=1$；再根据 $f_{i+2,j}=0$，显然有 $f_{i+2,j+1}=1$。然而 $f_{i+1,j+1}$ 却在 $f_{i+1,j+2},f_{i+2,j+1}$ 均为 $1$ 的条件下等于 $1$，显然不合法。从而假设错误，证毕。

---

既然这样，我们可以找到 $y=x$ 与边界线的交点。令其为 $(a,a)$，则 $ans=f_{a,a}$。于是，问题转化为对于边界上的某个点，求出它的 $f$ 值。

注意到对于边界上的点而言，除第一步以外它都只有一种走法（因为 $a$ 是有序的），于是分类讨论两种情况即可。

时间复杂度 $O(n)$，本题被完美解决。

所以啊，做不出来了打一打表，说不定你就恍然大悟了。

Code

咕咕咕