关灯游戏5x5 - 点击反转邻灯关所有

关灯游戏（Lights Out）是一款经典的益智游戏，由Tiger Electronics于1995年首次推出。游戏在一个5×5的网格上进行，每个格子有两种状态：亮灯（开）和灭灯（关）。点击任意一个格子会反转它自身以及其上下左右相邻格子的状态（亮的变灭，灭的变亮）。游戏目标是让所有25个灯全部熄灭。这个游戏看似简单，但背后蕴含了丰富的线性代数和图论知识。

不一定。在5×5的关灯游戏中，并非所有随机生成的局面都有解。实际上，5×5关灯游戏的状态空间大小为2²⁵（约3355万种），但其中只有2²³（约838万种）是可解的，可解率约为25%。这正是为什么本工具采用从全灭状态模拟随机点击来生成初始局面的方法——这样生成的局面100%保证可解。数学上，这是利用线性代数在GF(2)域上的矩阵运算来保证的。

关灯游戏的数学基础是GF(2)域上的线性代数（GF(2)即模2运算的有限域）。每个格子的状态可以表示为0（灭）或1（亮），点击操作等价于在GF(2)上进行向量加法。整个游戏可以用一个25×25的矩阵来描述，求解过程即解线性方程组Ax=b。由于在GF(2)上运算，这相当于对增广矩阵进行高斯消元。著名的"追逐灯"（Chase the Lights）算法就是基于这个原理的贪心解法：先处理第一行，然后逐行用下一行来修正上一行，最后检查底行是否全灭。

"追逐灯"策略是最实用的手动解法：
① 第一行：在第二行点击，来"关掉"第一行中所有亮着的灯（第一行某列亮着，就点击第二行同列）。
② 第二行：用第三行来关掉第二行剩余的亮灯。
③ 第三行：用第四行关掉第三行。
④ 第四行：用第五行关掉第四行。
⑤ 检查第五行：如果第五行全部熄灭，则成功！如果第五行还有灯亮着，说明这个局面需要更复杂的处理——这时需要回到第一行，尝试不同的初始点击组合。记住：前四行总能通过下一行来修正，关键在最后一行。

对于5×5关灯游戏，最坏情况下的最优解需要15步。大多数可解局面可以在10-15步内完成。值得注意的是，由于GF(2)的特性，同一个格子点击两次等于没有点击，因此最优解中每个格子最多被点击一次。另外，点击顺序不影响最终结果（操作满足交换律）。计算机可以使用BFS（广度优先搜索）或线性代数方法找到最优解，但对于人工游玩，"追逐灯"策略通常能在合理步数内完成。

判断一个5×5关灯游戏局面是否有解，需要使用线性代数方法。具体来说，构建25×25的邻接矩阵A（表示每个格子的点击对全局的影响），然后检查目标向量b是否在A的列空间中。在GF(2)上，这等价于检查增广矩阵[A|b]的秩是否等于A的秩。对于5×5标准关灯游戏，矩阵A的秩为23（不是满秩25），这意味着有2²=4个"静默模式"（点击后不改变任何灯的状态）。因此只有1/4的随机局面是可解的。本工具通过模拟反向操作来生成保证可解的局面，无需用户担心可解性问题。