We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:

Download:

Current browse context:

cs.AI

Change to browse by:

References & Citations

DBLP - CS Bibliography

Bookmark

(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Artificial Intelligence

Title: A Phase Transition in Minesweeper

Abstract: We study the average-case complexity of the classic Minesweeper game in which players deduce the locations of mines on a two-dimensional lattice. Playing Minesweeper is known to be co-NP-complete. We show empirically that Minesweeper exhibits a phase transition analogous to the well-studied SAT phase transition. Above the critical mine density it becomes almost impossible to play Minesweeper by logical inference. We use a reduction to Boolean unsatisfiability to characterize the hardness of Minesweeper instances, and show that the hardness peaks at the phase transition. Furthermore, we demonstrate algorithmic barriers at the phase transition for polynomial-time approaches to Minesweeper inference. Finally, we comment on expectations for the asymptotic behavior of the phase transition.
Comments: 10 pages, 5 figures. Accepted to FUN with Algorithms 2020
Subjects: Artificial Intelligence (cs.AI); Computational Complexity (cs.CC)
Cite as: arXiv:2008.04116 [cs.AI]
  (or arXiv:2008.04116v1 [cs.AI] for this version)

Submission history

From: Ross Dempsey [view email]
[v1] Mon, 10 Aug 2020 13:21:13 GMT (748kb,D)

Link back to: arXiv, form interface, contact.