Document Open Access Logo

Complexity of Planar Graph Orientation Consistency, Promise-Inference, and Uniqueness, with Applications to Minesweeper Variants

Authors MIT Hardness Group, Della Hendrickson , Andy Tockman

PDF

File

Thumbnail PDF
PDF
LIPIcs.FUN.2024.25.pdf
  • Filesize: 0.8 MB
  • 20 pages

Document Identifiers

Related Versions

Subject Classification

ACM Subject Classification
  • Theory of computation → Problems, reductions and completeness
Keywords
  • NP
  • coNP
  • hardness
  • minesweeper
  • solvability
  • gadgets
  • simulation

Metrics

Abstract

We study three problems related to the computational complexity of the popular game Minesweeper. The first is consistency: given a set of clues, is there any arrangement of mines that satisfies it? This problem has been known to be NP-complete since 2000 [Kaye, 2000], but our framework proves it as a side effect. The second is inference: given a set of clues, is there any cell that the player can prove is safe? The coNP-completeness of this problem has been in the literature since 2011 [Scott et al., 2011], but we discovered a flaw that we believe is present in all published results, and we provide a fixed proof. Finally, the third is solvability: given the full state of a Minesweeper game, can the player win the game by safely clicking all non-mine cells? This problem has not yet been studied, and we prove that it is coNP-complete.

Cite As Get BibTex

MIT Hardness Group, Della Hendrickson, and Andy Tockman. Complexity of Planar Graph Orientation Consistency, Promise-Inference, and Uniqueness, with Applications to Minesweeper Variants. In 12th International Conference on Fun with Algorithms (FUN 2024). Leibniz International Proceedings in Informatics (LIPIcs), Volume 291, pp. 25:1-25:20, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024) https://doi.org/10.4230/LIPIcs.FUN.2024.25

Author Details

MIT Hardness Group
  • Massachusetts Institute of Technology, Cambridge, MA, USA
Della Hendrickson
  • Massachusetts Institute of Technology, Cambridge, MA, USA
Andy Tockman
  • Massachusetts Institute of Technology, Cambridge, MA, USA

Acknowledgements

This paper was initiated during open problem solving in the MIT class on Algorithmic Lower Bounds: Fun with Hardness Proofs (6.5440) taught by Erik Demaine in Fall 2023. We thank the other participants of that class for helpful discussions and providing an inspiring atmosphere.

References

  1. E. Mark Gold. Complexity of automaton identification from given data. Information and control, 37(3):302-320, 1978. Google Scholar
  2. Leslie M. Goldschlager. The monotone and planar circuit value problems are log space complete for p. ACM sigact news, 9(2):25-29, 1977. Google Scholar
  3. Richard M. Karp. Reducibility among combinatorial problems. Complexity of Computer Computations, pages 85-103, 1972. Google Scholar
  4. Sadie Kaye. Minesweeper is np-complete. The Mathematical Intelligencer, 22:9-15, 2000. URL: https://doi.org/10.1007/BF03025367.
  5. Philippe Laroche. Planar 1-in-3 satisfiability is np-complete. Comptes Rendus de L Academie des Sciences Serie I-Mathematique, 316(4):389-392, 1993. Google Scholar
  6. Allan Scott, Ulrike Stege, and Iris van Rooij. Minesweeper may not be np-complete but is hard nonetheless. The Mathematical Intelligencer, 33:5-17, 2011. URL: https://doi.org/10.1007/s00283-011-9256-x.
  7. Alex Thieme and Twan Basten. Minesweeper is difficult indeed! A Journey from Process Algebra via Timed Automata to Model Learning: Essays Dedicated to Frits Vaandrager on the Occasion of His 60th Birthday, 13560:472, 2022. Google Scholar
Any Issues?
X

Feedback on the Current Page

CAPTCHA

Thanks for your feedback!

Feedback submitted to Dagstuhl Publishing

Could not send message

Please try again later or send an E-mail
© 2023-2025 Schloss Dagstuhl – LZI GmbH About DROPS Imprint Privacy Contact