[论文解读] Extremal Graphs for the Lights Out Problem

Julien Codsi, Sergio Cristancho+2 more|arXiv (Cornell University)|Feb 6, 2026

Limits and Structures in Graph Theory被引用 0

一句话总结

论文将 Lights Out 的极值图进行刻画，证明其等价于具有奇数匹配数的偶图，并建立与 GF(2) 上对称可逆矩阵的双射。还将环路模 3 的特性视为核心，并给出构造操作。

ABSTRACT

Lights Out is a game played on a graph $G$ where every vertex has a light bulb that is either on or off, and pressing a vertex $v$ toggles the state of every vertex in the closed neighborhood of $v$. The goal is to find a subset of vertices $S$ such that pressing every vertex in $S$ results in all light bulbs being turned off. We study the extremal graphs for which pressing every vertex is the unique solution to the lights out problem given an initial configuration of all lights on. We show that a graph is extremal if and only if it is even and has an odd number of matchings. Furthermore, there is a bijection between the set of labeled $n$-vertex extremal graphs and the set of symmetric invertible matrices of size $n-2$ over $\mathbb{F}_2$. We prove that any even graph with no cycle of length $0\pmod 3$ must be extremal. We also demonstrate operations that build larger extremal graphs from smaller ones. Along the way, we prove using the polynomial method that in any even graph, the number of matchings of a fixed size covering an odd subset of vertices is even.

研究动机与目标

• 研究在全 1 初始配置下存在唯一 Lights Out 解（按下所有顶点）的图的动机。
• 从奇偶性性质和匹配数来刻画极值图。
• 建立将极值图与 GF(2) 上的对称可逆矩阵相联系的计数与结构框架。
• 探索环路长度条件（特别是模 3）以保证极值性，并提供构建更大极值图的工具。

提出的方法

• 通过分析 GF(2) 上 det(A_G+I_n) 来证明：若图 G 极值当且仅当 G 为偶图且 m(G) 为奇数。
• 通过与大小为 n-2 的对称可逆矩阵的双射，对标记极值图进行计数，导出显式基数公式。
• 分析环路以确定哪些环路会导致极值性；若环长不被 3 整除则该环极值；且无环长为 3 的倍数的图为极值。
• 提出并证明能够由较小图生成更大极值图的操作（1-联接、割点分解、偶完成、日轮环、三重分割），并证明极值性的奇偶性保持性。

实验结果

研究问题

• RQ1 哪些结构性质能够刻画 Lights Out 问题的极值图？
• RQ2 匹配数的奇偶性与极值性之间的关系是怎样的？
• RQ3 是否可以通过与 GF(2) 上对称可逆矩阵的双射来对极值图进行计数与分类？
• RQ4 哪些环长条件可以保证极值性？
• RQ5 哪些图的组装操作可以保持极值性，如何通过较小图构造出更大的极值图？

主要发现

• 极值当且仅当图为偶图且匹配的数量在模 2 意义下为奇数。
• 存在一个把标记的 n 顶点极值图与大小为 n-2 的对称可逆矩阵在 GF(2) 上的一一对应关系。
• 当 k 不被 3 整除时，环 C_k 是极值的；且没有环长为 3 的倍数的图是极值的。
• 在适当条件下，1-联接、割点分解、偶完成、日轮环、三重分割等操作可以保持极值性，并用于构造更大极值图。
• 在偶图中，覆盖奇数集合的 k-匹配数在模 2 下为零，从而为构造和分解提供基于奇偶性的结果。