A hard Lights Out puzzle becomes genuinely hard when its shortest solution is mathematically proven and unique. This 4×4 Lights Out fixture has a shortest solution of exactly five presses, verified by an independent GF(2) oracle that exhaustively enumerated all 65,536 possible press masks. The starting pattern has six lights on at zero-based cells 1, 2, 3, 5, 9, and 10, and the same oracle confirms that exactly 16 all-off solutions exist for this exact board, with only one of them weighing five presses. No four-press solution is possible, and the 1,000-point award is reserved for an all-off state that survives a check at or beyond the five-move minimum. That combination of a tight lower bound, a unique optimum, and a one-repair-then-deadlock state machine is what separates this from a casual toggle game.
What Makes the Fixture Hard
Most lights out boards online come from random daily generators or recycled puzzle books, and their difficulty is approximate. This fixture is the opposite: every claim about solvability, solution count, and minimum length comes from a separate test that does not call the production neighbor or press functions. The test independently builds one 16-bit effect column for each board cell, runs binary Gaussian elimination, finds matrix rank 12 with nullity 4, and confirms 4,096 distinct reachable effect states. It then confirms that the authored initial board has exactly 16 all-off solution masks, and that one of those masks has weight five while every other solution uses seven, nine, or eleven distinct odd-parity presses. That is the difference between a hard Lights Out puzzle and a real mathematical challenge: the difficulty is not opinion, it is a property of the linear system over GF(2).
The 4×4 grid size also matters. Larger boards can be designed with very long minimum paths, but the toggle algebra over GF(2) on 16 cells remains compact enough to audit. The effect columns fit in a 16 by 16 binary matrix whose rank, nullity, reachable states, and solution set are all small enough to enumerate exhaustively. That is why the lower bound, the unique optimum, and the exact 16-solution count can be stated with confidence rather than estimated.
The Cross Toggle Rule and Why It Matters
The press rule is the standard one, as described in GNOME's Lights Off help and confirmed by UC Berkeley GamesCrafters. Pressing a tile reverses its own state together with the states of its immediate up, down, left, and right neighbors. Diagonal tiles do not change. A double press on the same cell restores the prior light pattern, because each tile is a binary variable and flipping a bit twice returns it to its original value. Press order does not affect the final parity state, even though the displayed move counter records every physical press.
The number of tiles a press affects depends on position. This shapes the kind of reasoning a hard Lights Out puzzle rewards.
| Cell position | Tiles affected per press | Example |
|---|---|---|
| Corner | 3 (self plus two orthogonal edges) | Cell 0 affects cells 0, 1, and 4 |
| Non-corner edge | 4 (self plus three orthogonal) | Cell 1 affects cells 0, 1, 2, and 5 |
| Interior | 5 (self plus all four orthogonal) | Cell 5 affects cells 1, 4, 5, 6, and 9 |
Corner presses are the cheapest in tile count and the most constrained in coverage. Interior presses reach the most cells at once. Because the only goal is to flip every starting on-cell to off, the trade-off between wide coverage and accuracy is the central planning problem.
How to Solve the 4×4 in Five Presses
- Open the board. The starting pattern shows six lights on at cells 1, 2, 3, 5, 9, and 10, with the cursor at cell 0 and zero moves on the status row.
- Pick a starting tile. Click, tap, navigate with the arrow keys, or use the Press selected button. The selected tile gets a visible outline, and its affected cross shows a lighter border preview without changing any state.
- Press the selected tile. The tile and only its orthogonal neighbors toggle immediately. On becomes off and off becomes on. The move counter increments by one.
- Reason in press parity. Because a double press cancels, only the parity of how many times you press each cell affects the final board. Use the cross preview to imagine which cells each press will flip before committing.
- Work row by row. Move the cursor with the arrow keys, press, and observe the effect. The cross preview shows the next toggle group without committing, so planning does not dirty the board.
- Reach the five-move minimum. Independent exhaustive analysis proves this fixture cannot be solved in fewer than five presses, so any check before move five is objectively incomplete and records no mistake.
- Press Enter, C, or Check board at or after move five. An all-off board at the minimum or later scores exactly 1,000 points and locks the run as complete.
- If the first complete check is wrong, keep pressing. The first wrong complete check records one mistake and the board stays editable. A second wrong complete check deadlocks the run until Restart is pressed.
For a worked example of the five-move shortest path on a closely related board, the Easy Lights Out Puzzles: A 5-Move 4×4 Walkthrough guide walks through the same toggle logic on the standard easy fixture. The arithmetic behind this hard version is the same shape, but the unique optimum and the strict lower bound are what make it harder to invent by intuition.
Scoring, Mistakes, and Terminal States
Scoring is intentionally simple. A successful check at the five-move minimum or later awards exactly 1,000 points. The score does not vary with speed, extra moves after the minimum, device, or input method. Correctness is the only scoring predicate. A check before move five is treated as an incomplete submission and records no mistake, which means you can experiment freely while exploring parity before committing to a final check.
The two-error state machine is the most distinctive feature for a hard Lights Out puzzle. The runtime game stores the 16 current light booleans and computes the selected cell's in-bounds orthogonal cross on each press. A check accepts any 16-cell all-off state after the proven minimum boundary. That means longer valid solutions remain valid, as standard toggle algebra requires. The first wrong complete check records one mistake and leaves the run editable. The player can keep pressing tiles, reach all-off, and check again for the 1,000-point award. A second wrong complete check deadlocks the run, and Restart is the only way out. Both terminal states, complete and deadlocked, freeze the board in the pure state-transition functions. Clicks, Space presses, cursor movement, and further checks cannot modify the board after a terminal state. This guarantee is covered by tests rather than depending only on disabled visual controls.
Keyboard, Touch, and Boss Key Controls
Every interaction is reachable without a mouse. The control layout is built to fit a 390-pixel viewport without horizontal scrolling and uses On and Off text labels in addition to surface contrast, so play does not rely on color alone.
| Action | Keyboard | Pointer or touch |
|---|---|---|
| Move selection | Arrow keys (no wrap) | Tap a tile |
| Press selected tile | Space | Click a tile or use Press selected |
| Check board | Enter or C | Check board button |
| Boss screen | Double-Escape in, double-Escape out | Not available |
| Restart | Restart button | Restores the six-light initial pattern, cell-zero cursor, zero moves, zero mistakes, and zero score |
The global repeat flag is ignored, so holding Space cannot produce an uncontrolled burst of parity-changing moves and holding an arrow key cannot skip past cells. The double-Escape gesture activates a spreadsheet-style boss screen that looks like ordinary office work, and a second double-Escape returns to the puzzle. The cursor never wraps, so you always know which row and column the current selection is in, and each cell exposes its row, column, on-or-off state, and selection state in an accessible label.
Everything runs locally in the browser. No board state is uploaded, no account is required, no random level is requested, no timer affects the result, and no new package dependency is introduced. The fixture is a recreational fixed puzzle, not an intelligence test or assessment. Repeated play naturally becomes easier through memory, which is why time is not scored. For a hard Lights Out puzzle that gives you a real challenge, the only piece worth carrying into the next session is the parity reasoning: think in odd or even press counts, watch the cross preview, and use the first repairable check only after at least five deliberate moves.
If you're weighing options, Common LITS Puzzle Mistakes and How to Avoid Them covers this in detail.