QED

Richard Kaye bewees in 2000 dat het spelen van het computerspelletje Mijnenveger een NP-volledig probleem is (“Minesweeper is NP-complete”, Mathematical Intelligencer, Vol. 22, No. 2 (2000), pp. 9-15). Op zijn webpagina hierover zegt hij:
[T]he fact that it is NP-complete means, for Minesweeper fans, that their favourite game can be seen as being right at the [...]