来到 JLU 后学到的一些东西

2020-12-17 链环转换

断环为链

2020-12-08 思考题

比赛链接

题目并不是很难，但是由于我过于SB，对题面理解有误，想了老半天都想不出来，看了题解还觉得不对，但是实际上题解很真理。总之我就一SB。

题目简述

给出一个大小为 $N\times N$ 的棋盘，以及棋盘的初始状态，要求反转不超过 $\lfloor \frac{k}{3}\rfloor$ 个棋子（$k$ 为棋子的总个数），使得修改后的棋盘符合“非终止”定义。输出一种符合要求的修改方案，如果有多种合法方案，任意输出一种方案即可。

我们用 $A_{i,j}(1\le i,j\le N)$ 表示中第 $i$ 行、第 $j$ 列的状态：

1. $A_{i,j}=\text{’.’}$ 表示该位置没有棋子，没有棋子的位置不允许进行状态反转的操作。
2. $A_{i,j}=\text{’X’}$ 表示该位置有棋子，棋子类型为 $\text{’X’}$，反转后棋子类型为 $\text{’O’}$。
3. $A_{i,j}=\text{’O’}$ 表示该位置有棋子，棋子类型为 $\text{’O’}$，反转后棋子类型为 $\text{’X’}$。

终止的定义是，棋盘上存在同种棋子的 “横三连” 或者 “竖三联”，形式化的表述为：

$\exists i,j\in \mathbb{N},1\le i,j\le N$ 使得 $A_{i,j}=A_{i+1,j}=A_{i+2,j}\ne \text{’.’}$ 或者 $A_{i,j}=A_{i,j+1}=A_{i,j+2}\ne \text{’.’}$。

如果一种棋盘状态不满足终止的定义，那么我们就称它 非终止。

有解性证明

接下来的内容中，我们将要证明：至少存在一种反转次数不超过$\lfloor \frac{k}{3}\rfloor$ 个棋子的方案，使得操作后的棋盘状态非终止。

定义：对棋盘上的每一个位置分类

我们在棋盘的每一个格子上写一个数字，我们第 $i$ 行 第 $j$ 列的格子上，我们写上数字 $(i+j)\mathrm{m}\mathrm{o}\mathrm{d}3$。此后，被写了相同数字的格子被划分到同一类中，这样我们就得到三类格子。

第一类格子的坐标的集合为 S 0 = { ( i , j ) : i , j ∈ N , 1 ≤ i , j ≤ N 且 ( i + j ) m o d    3 = 0 } S_0 = \{(i, j): i, j \in \N, 1\leq i, j\leq N 且 (i+j)\mod 3 = 0\} S0​={(i,j):i,j∈N,1≤i,j≤N且(i+j)mod3=0}。
第二类格子的坐标的集合为 S 1 = { ( i , j ) : i , j ∈ N , 1 ≤ i , j ≤ N 且 ( i + j ) m o d    3 = 1 } S_1 = \{(i, j): i, j \in \N, 1\leq i, j\leq N 且 (i+j)\mod 3 = 1\} S1​={(i,j):i,j∈N,1≤i,j≤N且(i+j)mod3=1}。
第三类格子的坐标的集合为 S 2 = { ( i , j ) : i , j ∈ N , 1 ≤ i , j ≤ N 且 ( i + j ) m o d    3 = 2 } S_2 = \{(i, j): i, j \in \N, 1\leq i, j\leq N 且 (i+j)\mod 3 = 2\} S2​={(i,j):i,j∈N,1≤i,j≤N且(i+j)mod3=2}。

为了表述方便，如果 $(i,j)\in S_x$，我们称位置 $(i,j)$ 隶属于分类 $S_x$，称 $(i,j)$的类编号为 $x$（其中 $x=(i+j)\mathrm{m}\mathrm{o}\mathrm{d}3$）。

对 $5\times 5$ 的棋盘，类型划分如下：

+--+--+--+--+--+
| 2| 0| 1| 2| 0|
+--+--+--+--+--+
| 0| 1| 2| 0| 1|
+--+--+--+--+--+
| 1| 2| 0| 1| 2|
+--+--+--+--+--+
| 2| 0| 1| 2| 0|
+--+--+--+--+--+
| 0| 1| 2| 0| 1|
+--+--+--+--+--+

引理：“一类定全局”

不难说明，若 ∃ x ∈ { 0 , 1 , 2 } \exist x \in \{0, 1, 2\} ∃x∈{0,1,2} 使得 $\forall (i,j)\in S_x$ 有 $A_{i,j}/{=}^{\prime }{X}^{\prime }$，则棋盘上棋子$\text{’X’}$既不存在“横三连”，也不存在“竖三联”，形式化表述为：

∀ i , j ∈ { 1 , 2 , ⋯   , n } , A i , j = ’X’ , A i , j + 1 = ’X’ , A i , j + 2 = ’X’ \forall i, j\in \{1,2,\cdots,n\}, A_{i, j}=\text{'X'}, A_{i, j+1}=\text{'X'},A_{i, j+2}=\text{'X'} ∀i,j∈{1,2,⋯,n},Ai,j​=’X’,Ai,j+1​=’X’,Ai,j+2​=’X’ 不可能同时成立。

∀ i , j ∈ { 1 , 2 , ⋯   , n } , A i , j = ’X’ , A i + 1 , j = ’X’ , A i + 2 , j = ’X’ \forall i, j\in \{1,2,\cdots,n\}, A_{i, j}=\text{'X'}, A_{i+1, j}=\text{'X'},A_{i+2, j}=\text{'X'} ∀i,j∈{1,2,⋯,n},Ai,j​=’X’,Ai+1,j​=’X’,Ai+2,j​=’X’ 也不可能同时成立。

这一点很好证明，无论如何选取 $x$，任意横相连或者竖相连的三个位置上，都至少有一个隶属于分类$S_x$，因为任意横相连或者竖相连相邻的三个位置，他们的的类编号为 { ( i + j ) m o d    3 , ( i + j + 1 ) m o d    3 , ( i + j + 2 ) m o d    3 } \{(i+j)\mod 3, (i+j+1)\mod 3, (i+j+2) \mod 3\} {(i+j)mod3,(i+j+1)mod3,(i+j+2)mod3} 恰好取遍 $0,1,2$ 三个值。

算法：“取两类格子各自清除一种棋子”

为了表述方便，我们定义了一个函数 $C$ 用来统计某种分类的所有格子中，某种棋子的出现次数：

$$C(v,\text{’X’})=\sum _{(i,j)\in S_v}[A_{i,j}=\text{’X’}]$$

$$C(v,\text{’O’})=\sum _{(i,j)\in S_v}[A_{i,j}=\text{’O’}]$$

由于 $S_0\cup S_1\cup S_2$ 恰好覆盖整个棋盘，因此:

$$\sum _{v=0}^2(C(v,\text{’X’})+C(v,\text{’O’}))=k$$

根据引理“一类定全局”，我们可以给出一种能够使棋盘成为“非终止状态”的操作方案。

1. 选择一对整数 $(p,q)$ 其中 p , q ∈ { 0 , 1 , 2 } p,q \in \{0, 1, 2\} p,q∈{0,1,2} 且 $p\ne q$。
2. 然后将位置集合 $S_p$ 中所有的 $\text{’X’}$ 反转。此次操作后，棋盘上一定不存在三连 $\text{’X’}$。
3. 最后将位置集合 $S_q$ 中所有的 $\text{’O’}$ 反转。此次操作后，棋盘上一定不存在三连 $\text{’O’}$。

经历了这样的操作后，我们得到的棋盘状态一定是非终止状态。

那么我们到底反转了多少个位置呢？是否能够证明，我们一定能找到一对 $(p,q)$ 使得我们反转的位置的总数小于等于 $\lfloor \frac{k}{3}\rfloor$ 呢？

为了方便表述，我们再定义一个函数 $S(x,y)$：

$$S(x,y)=C(x,\text{’X’})+C(y,\text{’O’})$$

不难发现，当 $x\ne y$ 时，$S(x,y)$ 就是 $p=x,q=y$ 时上述算法反转的格子的总数。

另外有：

$$S(0,0)+S(1,1)+S(2,2)=\sum _{v=0}^2(C(v,\text{’X’})+C(v,\text{’O’}))=k$$

那么三分之一是怎么来的呢？

$$\sum _{i=0}^2\sum _{j=0}^{2}S(i,j)=3\times \sum _{v=0}^2(C(v,\text{’X’})+C(v,\text{’O’}))=3k$$

我们给出的算法总共只有六种方案，考虑将这些方案的操作次数求总和。

$$S(0,1)+S(0,2)+S(1,0)+S(1,2)+S(2,0)+S(2,1)=\left(\sum _{i=0}^2\sum _{j=0}^{2}S(i,j)\right)-\left(\sum _{i=0}^{2}S(i,i)\right)=3k-k=2k$$

根据抽屉原理（6个数中的最小值一定小于等于这六个数的平均数），有：

min ⁡ { S ( 0 , 1 ) , S ( 0 , 2 ) , S ( 1 , 0 ) , S ( 1 , 2 ) , S ( 2 , 0 ) , S ( 2 , 1 ) } ≤ S ( 0 , 1 ) + S ( 0 , 2 ) + S ( 1 , 0 ) + S ( 1 , 2 ) + S ( 2 , 0 ) + S ( 2 , 1 ) 6 = 2 k 6 = k 3 \min\{S(0, 1) , S(0, 2) , S(1, 0) , S(1, 2) , S(2, 0) , S(2, 1)\}\leq \frac{S(0, 1)+S(0, 2) + S(1, 0) + S(1, 2) + S(2, 0) + S(2, 1)}{6} = \frac{2k}{6}=\frac{k}{3} min{S(0,1),S(0,2),S(1,0),S(1,2),S(2,0),S(2,1)}≤6S(0,1)+S(0,2)+S(1,0)+S(1,2)+S(2,0)+S(2,1)​=62k​=3k​

也就是说，我们找到六种方案中，反转次数最少的方案反转，其反转次数一定小于等于 $\frac{k}{3}$。而反转次数一定是整数，因此反转次数一定 $\le \lfloor \frac{k}{3}\rfloor$。

$Q.E.D.$

与上面这道题相似

HJQ 大佬还教了我一到关于扫雷的题目，