题意:长度为 的链上给定三个颜色不同的棋子的位置,这些棋子可以重叠。两个人一轮移动其中一枚棋子,不能 出现之前已经出现的状态,不能操作者输,问结果。
解法:首先我们需要考虑一个基本博弈模型:二分图博弈。二分图博弈是指双方在二分图上某个点放置一枚棋子,双 方轮流移动棋子,且不能将棋子移动到已经走过的点。结论是,如果起始点不在最大匹配(即去掉该点,则匹配数减 )上,则先手必败。
考虑现在这个模型。我们可以将当前的状态放置在一个棱长为n的正方体上,每移动某一种颜色的棋子相当于是在 某个维度上移动一步。首先不难发现,棱长为n的正方体上所有整点和与坐标轴平行的边构成一个二分图(可以用 黑白染色的结论证明)。那么考虑起始的点是不是在最大匹配上。
对于n为偶数的情况,显然每个点都在完美匹配上——考虑固定z坐标,仅在和xOy平行的平面上,该正方体n个z轴剖面正方形都是可以完美匹配的。因而这种情况先手必胜。
对于n为奇数的情况,则要考察起始点的情况。
1. 如果起始点是黑点(三个维度加起来的和为奇数),则一定存在一种匹配方式使得它不在完美匹配点上,因 而这种情况先手必败。
2. 如果当前点为白点,即三个维度加起来的和为偶数,则必然先手必胜。因为黑点的个数比白点多,因而所有 的白点都可以被匹配,也就是它一定在完美匹配上。