If anything, this is Minesweeper as it should have been: A game of perception and deduction with no chance of random failure.
As a huge minesweeper fan, I think this is fantastic.
If anything, this is Minesweeper as it should have been: A game of perception and deduction with no chance of random failure.
As a huge minesweeper fan, I think this is fantastic.
I used to play a version that was guaranteed to never require guessing [1], but it was still possible to accidentally make an unnecessary guess and not be punished for it. TFA's variant is a great way to fix that problem.
[1]: https://www.chiark.greenend.org.uk/~sgtatham/puzzles/ "Mines"
Same here. To add a pinch to this, say there are two regions of the visible board that must be answered by guessing. If one has 1-in-3 odds of failure, and the other has 2-in-3 odds of failure, then make the guess on the one with better chances.
That would at least make this game more strict and perhaps even more difficult.
While trying this out I've encountered several sections where I would have to guess, and that guess cannot be influenced by other unrevealed cells, such as when there's an island in a corner of the map.
In these situations I will need to guess between these two spaces, but since there are still known safe areas on the map, guessing causes me to lose the game.
I can get used to that behavior of course, but it's fairly frustrating. It'd be nice if the guessing exception rules accounted for situations like this. When there are clearings or known mine patterns that separate out discrete smaller map(s), I want to solve the smaller map(s) before I move on.
I'm not sure how hard this is to add to the SAT solver. The formal definition is something like "if for some set of maybe-squares S, no matter what the solutions are to all of the squares outside S, the set of solutions to S is the same, then allow clicking anywhere in S". But that's a combinatorial explosion: just the number of sets S to consider is a factor of 2^#{maybe-squares} . I don't know enough to say if that can be optimized into something sane so that it can be rigorously applied, but a handful of special cases for small unconnected sections of the board would cover most of it.
If you have all of the possible information for that guess already, then yeah.
If there are still some unknowns that you could resolve first to get more information, then guessing should still result in a mine.
I can't think of any situations where it makes a difference, though, other than ones where you rely on the mines-remaining counter.
This is such a cool version of this game!
Once there are no more guaranteed squares anywhere on the board, then you can guess. And if you guess somewhere that could be valid, it will be valid. But only if there are no other guaranteed spaces left.
a b c d
2 3 4 2
0 e f g
Because of the left-most 2, only two of a,b,e are mines.That means only one of c,f is a mine - the third mine of the 3.
That means only three of b,d,e,g are mines - the remaining three mines of the 4.
But both d and g cannot be mines, because combined with the one mine in c,f that would put three mines around the right 2. So only one of d,g is a mine.
So if only one of c,f is a mine, and only one of d,g is a mine, that means b,e are both mines - the remaining two mines of the 4. So b,e can be flagged as mines.
That means the left 2 is complete, so a can be opened safely. Also the mine at e completes the bottom-most 1, and you can proceed from there.