Jasper Yu
says to
YSITD
http://www.dartmouth.edu/~aryeh/uploads/MinesweeperProbability.pdf