News for hackers. Stuff that matters.

A comment on Cracking Minesweeper with Z3 SMT Solver. Parent comment

Re:Cracking Minesweeper with Z3 SMT Solver by mod on Sunday March 05, 2017 @02:08PM (#13797851)
It's not possible, no. The guessing is not a part of every layout, but often it is. See the board positions in this blog post:

http://nothings.org/games/minesweeper/

[ Parent | on HN ]
Re:Cracking Minesweeper with Z3 SMT Solver by inlined on Sunday March 05, 2017 @04:00PM (#13798590)
The proof seems pretty easy to reduce with a smaller example: there are 17 mines. One cluster is in a 3x3 box and another is in a hollow 3x3 box. Which is which?
[ Parent | on HN ]