Spark & Anvil Privacy

Sweep League

Every board can be solved by pure logic. How cleanly can you do it?

How the league measures you

  • 3BV is the clicks the board needs without chording, after the free opening.
  • Efficiency is 3BV ÷ your clicks; a chord can push it past 1.
  • Time appears only after you finish, as 3BV per second. No clock ticks at you.
  • Help (the Coach Lens, Ask why) is always there, and your token says when you used it.

Race a friend with a board code; compare runs with two replay tokens. No accounts, no leaderboard: your field notes stay on this device.

Cast, stories & more

Why is Minesweeper famous in computer science?

In 2000 the mathematician Richard Kaye proved that deciding whether a Minesweeper position is consistent — whether any arrangement of mines fits all the numbers — is NP-complete. That puts it in the same family as some of the hardest puzzles computers know: nobody has found a fast method that works for every possible board, and finding one would answer a million-dollar open question (P vs NP).

The boards here are built so logic always works — the hard cases are the ones the league leaves out on purpose.

A board that computes

Tap the input square. The end of the wire copies it; the end of the NOT gate is the opposite.

Chain enough of these and a Minesweeper board becomes a logic circuit whose hidden squares are its unknown inputs. Asking whether ANY mine arrangement fits the numbers is then like asking whether any input makes the circuit say yes, and nobody knows a fast way to answer that for every board: finding one would answer P vs NP, one of the Clay Millennium Prize problems (offered since 2000).

What next? Pick a door

Chosen from what this app is about. What you open is remembered on this device only.

Where this game comes from

Mine-clearing number puzzles

Grid games where numbers tell you how many hidden mines are next door appeared on home computers in the early 1980s. The best-known version was made by Curt Johnson, and ported to Windows by Robert Donner; it came out in a Microsoft Entertainment Pack in 1990 and then with Windows 3.1 in 1992. In that classic game some boards force a guess, often a coin toss between two squares.

One thing to hold: Each number is a promise about the eight squares around it, and nothing else.

Why it matters: In 2000 the mathematician Richard Kaye proved that deciding whether a board’s numbers can all be true is among the hardest problems in a famous class called NP (it is “NP-complete”). A quick way to check any board would answer one of the biggest open questions in mathematics.

What we don’t know: Who wrote the very first one is still argued about; several early games had the same idea.

Dates:

  1. 1990 Curt Johnson and Robert Donner’s game ships in a Microsoft Entertainment Pack.
  2. 1992 It comes with Windows 3.1.
  3. 2000 Richard Kaye proves the board-checking problem is NP-complete.

Sources: Richard Kaye, “Minesweeper is NP-complete”, The Mathematical Intelligencer 22 (2000) · Microsoft Windows 3.1 (1992) · Wikipedia, “Microsoft Minesweeper” (read 2026-10-20)