Lights Out (game)


Lights Out is an electronic game released by Tiger Electronics in 1995. The game consists of a 5 by 5 grid of lights. When the game starts, a random number or a stored pattern of these lights is switched on. Pressing any of the lights will toggle it and the adjacent lights. The goal of the puzzle is to switch all the lights off, preferably in as few button presses as possible.
Merlin, a similar electronic game, was released by Parker Brothers in the 1970s with similar rules on a 3 by 3 grid. Another similar game was produced by Vulcan Electronics in 1983 under the name XL-25. Tiger Toys also produced a cartridge version of Lights Out for its Game com handheld game console in 1997, shipped free with the console. A number of new puzzles similar to Lights Out have been released, such as Lights Out 2000, Lights Out Cube, and Lights Out Deluxe.

Inventors

Lights Out was created by a group of people including Avi Olti, Gyora Benedek, Zvi Herman, Revital Bloomberg, Avi Weiner and Michael Ganor. The members of the group together and individually also invented several other games, such as Hidato, NimX, iTop and many more.

Gameplay

The game consists of a 5 by 5 grid of lights. When the game starts, a random number or a stored pattern of these lights is switched on. Pressing any of the lights will toggle it and the four adjacent lights. The goal of the puzzle is to switch all the lights off, preferably in as few button presses as possible.

Mathematics

If a light is on, it must be toggled an odd number of times to be turned off. If a light is off, it must be toggled an even number of times for it to remain off. Several conclusions are used for the game's strategy. Firstly, the order in which the lights are pressed does not matter, as the result will be the same. Secondly, in a minimal solution, each light needs to be pressed no more than once, because pressing a light twice is equivalent to not pressing it at all.
In 1998, Marlow Anderson and Todd Feil used linear algebra to prove that not all configurations are solvable and also to prove that there are exactly four winning scenarios, not including redundant moves, for any solvable 5×5 problem. The 5×5 grid of Lights Out can be represented as a 25x1 column vector with a 1 and 0 signifying a light in its on and off state respectively. Each entry is an element of Z2, the field of integers modulo 2. Anderson and Feil found that in order for a configuration to be solvable it must be orthogonal to the two vectors N1 and N2 below.
In addition, they found that N1 and N2 can be used to find three additional solutions to a solution and that these four solutions are the only four solutions to the starting given configuration. These four solutions are X, X + N1, X + N2, and X + N1 + N2 where X is a solution to the starting given configuration.. An introduction into this method was published by Robert Eisele.

Light chasing

"Light chasing" is a method similar to Gaussian elimination which always solves the puzzle, although with the possibility of many redundant steps. In this approach, rows are manipulated one at a time starting with the top row. All the lights are disabled in the row by toggling the adjacent lights in the row directly below. The same method is then used on the consecutive rows up to the last one. The last row is solved separately, depending on its active lights. Corresponding lights in the top row are toggled and the initial algorithm is run again, resulting in a solution.
Bottom row isToggle on top row
⬜⬜⬜⬛⬛⬛▣⬛⬛⬛
⬜⬜⬛⬜⬜⬛⬛▣⬛⬛
⬜⬛⬜⬜⬛⬛⬛⬛⬛▣
⬜⬛⬛⬛⬜▣▣⬛⬛⬛
⬛⬜⬜⬛⬜▣⬛⬛⬛⬛
⬛⬜⬛⬜⬛▣⬛⬛▣⬛
⬛⬛⬜⬜⬜⬛⬛⬛▣⬛

Tables and strategies for other board sizes are generated by playing Lights Out with a blank board and observing the result of bringing a particular light from the top row down to the bottom row.

Further results

Once a single solution is found, a solution with the minimum number of moves can be determined through elimination of redundant sets of button presses that have no cumulative effect. If the 5×5 puzzle is unsolvable under legal game creation, two leftmost lights on the bottom row will remain on when all other lights have been turned off.
Existence of solutions has been proved for a wide variety of board configurations, such as hexagonal, while solutions to n-by-n boards for n≤200 have been explicitly constructed.
There exists a solution for every N×N case. It is solvable on any undirected graph, where clicking on one vertex flips its value and its neighbours. More generally if the action matrix is symmetric then its diagonal is always solvable.