TDWTF Plays Minesweeper
-
Stats
96 mines 86 flags Seed 9a6f0d7b-da83-425b-ad69-0a1fdb8aa596
-
@error_bot Oh, drat. We're stuck again. Very well spread mines on this one which produces tricky spots all over.
solve
-
@PleegWat said in TDWTF Plays Minesweeper:
@error_bot Oh, drat. We're stuck again. Very well spread mines on this one which produces tricky spots all over.
Hm, post-reduction I wonder if I could split them into groups of non-overlapping cells, and solve them independently?
-
I think we have 7 or 8 cells on the edge at the left-hand side. The top right as 1 or 2 mines. This means 1 to 3 cells in a1-i1.
-
Oh, nice. It's stuck in the single-threaded part of the code.
-
Oh, damn it. Somehow the mines-on-board got back in there.
-
@error_bot solve
-
e2 mine probability: 10%
Âd2 mine probability: 30%
Âg2 mine probability: 30%
Âj1 mine probability: 30%
Âh3 mine probability: 40%
Âa19 mine probability: 50%
Âb19 mine probability: 50%
Âb20 mine probability: 50%
Âc2 mine probability: 60%
Âf2 mine probability: 60%
Âi3 mine probability: 60%
Âa2 mine probability: 70%
Âb2 mine probability: 70%
Âh2 mine probability: 70%
Âi2 mine probability: 70%
Âj2 mine probability: 70%
Â
-
-
Stats
96 mines 86 flags Seed 9a6f0d7b-da83-425b-ad69-0a1fdb8aa596
-
@error_bot solve
-
@error_bot solve
-
reveal d1 e1 f1
Âd2 mine probability: 33.33%
Âg2 mine probability: 33.33%
Âh3 mine probability: 33.33%
Âj1 mine probability: 33.33%
Âa19 mine probability: 50%
Âb19 mine probability: 50%
Âb20 mine probability: 50%
Âa2 mine probability: 66.67%
Âb2 mine probability: 66.67%
Âc2 mine probability: 66.67%
Âf2 mine probability: 66.67%
Âh2 mine probability: 66.67%
Âi2 mine probability: 66.67%
Âi3 mine probability: 66.67%
Âj2 mine probability: 66.67%
Â
-
reveal d1 e1 f1
Âd2 mine probability: 33.33%
Âg2 mine probability: 33.33%
Âh3 mine probability: 33.33%
Âj1 mine probability: 33.33%
Âa19 mine probability: 50%
Âb19 mine probability: 50%
Âb20 mine probability: 50%
Âa2 mine probability: 66.67%
Âb2 mine probability: 66.67%
Âc2 mine probability: 66.67%
Âf2 mine probability: 66.67%
Âh2 mine probability: 66.67%
Âi2 mine probability: 66.67%
Âi3 mine probability: 66.67%
Âj2 mine probability: 66.67%
Â
-
@error_bot reveal d1-f1
-
Stats
96 mines 86 flags Seed 9a6f0d7b-da83-425b-ad69-0a1fdb8aa596
-
@error_bot solve
-
reveal g1
Âflag c1
Âd2 mine probability: 33.33%
Âg2 mine probability: 33.33%
Âh3 mine probability: 33.33%
Âj1 mine probability: 33.33%
Âa19 mine probability: 50%
Âb19 mine probability: 50%
Âb20 mine probability: 50%
Âa2 mine probability: 66.67%
Âb2 mine probability: 66.67%
Âc2 mine probability: 66.67%
Âf2 mine probability: 66.67%
Âh2 mine probability: 66.67%
Âi2 mine probability: 66.67%
Âi3 mine probability: 66.67%
Âj2 mine probability: 66.67%
Â
-
@error_bot solve
C1 is a mine. G1 is clear.
-
reveal g1
Âflag c1
Âd2 mine probability: 33.33%
Âg2 mine probability: 33.33%
Âh3 mine probability: 33.33%
Âj1 mine probability: 33.33%
Âa19 mine probability: 50%
Âb19 mine probability: 50%
Âb20 mine probability: 50%
Âa2 mine probability: 66.67%
Âb2 mine probability: 66.67%
Âc2 mine probability: 66.67%
Âf2 mine probability: 66.67%
Âh2 mine probability: 66.67%
Âi2 mine probability: 66.67%
Âi3 mine probability: 66.67%
Âj2 mine probability: 66.67%
Â
-
@error_bot flag c1
reveal g1
-
Stats
96 mines 87 flags Seed 9a6f0d7b-da83-425b-ad69-0a1fdb8aa596
-
@error_bot solve
-
reveal h1 h2 i3 j1
Âflag h3 i2 j2
Âd2 mine probability: 33.33%
Âg2 mine probability: 33.33%
Âa19 mine probability: 50%
Âb19 mine probability: 50%
Âb20 mine probability: 50%
Âa2 mine probability: 66.67%
Âb2 mine probability: 66.67%
Âc2 mine probability: 66.67%
Âf2 mine probability: 66.67%
Â
-
@error_bot I'm up with all of that
reveal h1 h2 i3 j1
Âflag h3 i2 j2
-
Stats
96 mines 90 flags Seed 9a6f0d7b-da83-425b-ad69-0a1fdb8aa596
-
@error_bot solve
-
reveal d2
Âflag c2 f2
Âa2 mine probability: 50%
Âa19 mine probability: 50%
Âb2 mine probability: 50%
Âb19 mine probability: 50%
Âb20 mine probability: 50%
Â
-
@error_bot Agreed, and that just stalls us completely for the rest
flag c2 f2
-
Stats
96 mines 92 flags Seed 9a6f0d7b-da83-425b-ad69-0a1fdb8aa596
-
@error_bot solve
-
a2 mine probability: 50%
Âa19 mine probability: 50%
Âb2 mine probability: 50%
Âb19 mine probability: 50%
Âb20 mine probability: 50%
Â
-
@error_bot We have (a2 or b2), (a19 or b19) and (b19 or b20) and 4 mines.
-
OK. No more algorithm work for a while. Thanks for all your help.
-
I had to pull out the "all mines on the board" rule because it was generating thousands of corollaries.
-
@error_bot Just forcing the game to resolve, I'm not gonna play anymore tonight so I'll eat the lockout.
flag a1 b2 a19 b20
-
You lose!Stats
96 mines 94 flags Seed 9a6f0d7b-da83-425b-ad69-0a1fdb8aa596Lockouts
PleegWat is locked out for 5 turns or 59 minutes, 59 seconds.
-
New game.
Stats
Seed bfbc3475-8c93-43d4-b707-74c16f42778bLockouts
PleegWat is locked out for 5 turns or 59 minutes, 53 seconds.
-
@error_bot reveal m6
-
Stats
96 mines Seed bfbc3475-8c93-43d4-b707-74c16f42778bLockouts
PleegWat is locked out for 4 turns or 43 minutes, 5 seconds.
-
@error_bot solve
-
reveal j7 k9 n3 o4
Âflag k7 k8 n4
Âj6 mine probability: 37.5%
Âm3 mine probability: 37.5%
Âl9 mine probability: 38.46%
Âo5 mine probability: 38.46%
Âo9 mine probability: 46.15%
Âj3 mine probability: 50%
Âo8 mine probability: 53.85%
Âm9 mine probability: 61.54%
Ân9 mine probability: 61.54%
Âo6 mine probability: 61.54%
Âj4 mine probability: 62.5%
Âj5 mine probability: 62.5%
Âk3 mine probability: 62.5%
Âl3 mine probability: 62.5%
Âo7 mine probability: 76.92%
Â
-
@error_bot reveal j7 k9 n3 o4
flag k7 k8 n4
-
Stats
96 mines 3 flags Seed bfbc3475-8c93-43d4-b707-74c16f42778b
-
@PleegWat said in TDWTF Plays Minesweeper:
@error said in TDWTF Plays Minesweeper:
@error said in TDWTF Plays Minesweeper:
oldFacts: [ '{ b9, d9 } = 0', '{ d9, e9 } = 1' ],
newFacts: [ '{ d9 } = 0', '{ e9 } = 1' ]Again with throwing away useful info.
{b9, d9} = 0
should just be split into{b9} = 0
and{d9} = 0
, IMO.I added this, but it turns out to be counter productive. They convey the same amount of information, but the second increases
n
in what turns out to be anO(n)=n^2
process.
-
Hint:
Revealed: a14.
Stats
96 mines 3 flags Seed bfbc3475-8c93-43d4-b707-74c16f42778b
-
@error_bot solve
-
reveal c18 d13 d14 d17
Âflag c9 c14 d10 d11 d12 j4 k3 n9 o7
Â
-
@error_bot reveal c18 d13 d14 d17
Âflag c9 c14 d10 d11 d12 j4 k3 n9 o7
-
Stats
96 mines 12 flags Seed bfbc3475-8c93-43d4-b707-74c16f42778b