4,873 karma · joined January 18, 2014
The difference is that Monty knows which of the doors the car is behind and deliberately avoids it, thereby giving away information about where the car is.
Whereas in Minesweeper we've just blindly stumbled across a situation where we have to guess.
It would be like if every show Monty always revealed a random door. Sometimes he would reveal the car and the game would end immediately. In the cases when he didn't reveal the car it really would be 50/50 between the remaining two doors.
In practice I suspect a SAT solver would make quick work of the positions that actually appear in games.
Dithering: https://mathstodon.xyz/@andrewt/115035614385265413
Mondrian: https://mathstodon.xyz/@OscarCunningham/115049490241833844
Hand Drawn: https://mathstodon.xyz/@andrewt/115056697540191327
Bad Apple: https://pony.social/@luna/115057532794342459
White Noise: https://pony.social/@luna/115058126613306302
Something like
1 3 9 26 66
2 6 17 40
4 11 23
7 12
5
Oh, here it is: https://oeis.org/A035313For example with Debian I might do something like try to get my GPU to work by installing nouveau, try various configs, then uninstall nouveau and install the Nvidia proprietary drivers. But then when I finally got the GPU working, I'd worry. Are some of those config changes I tried for nouveau still affecting my system? Has all that mucking around left my GPU forever in a suboptimal state?
With Nix, it might take just as much tinkering to get the GPU to work. But once I'm done, I know that my system is exactly as I've defined it in configuration.nix. Anything else I tried along the way will just sit inertly in /nix/store until the garbage collector wipes it away.
"Not as far as I know."
'Then it seems like you're teaching me to be moral for a reason that doesn't actually apply in the real world.'
"Get back in the box."