Minesweeper on graphs

Shahar Golan

doi:10.1016/j.amc.2011.01.046

Minesweeper on graphs

Shahar Golan

Department of Computer Science

Research output: Contribution to journal › Article › peer-review

5 Scopus citations

Abstract

Minesweeper is a popular single player game. It has been shown that the Minesweeper consistency problem is NP-complete and the Minesweeper counting problem is #P-complete. In this paper, we present efficient algorithms for solving these problems for Minesweeper graphs with bounded treewidth. Our algorithms turn out to be much better than those based directly on dynamic programming. The algorithms mostly use of algebraic operations on multivariate polynomials, so that one may use existing software to implement them easily.

Original language	English
Pages (from-to)	6616-6623
Number of pages	8
Journal	Applied Mathematics and Computation
Volume	217
Issue number	14
DOIs	https://doi.org/10.1016/j.amc.2011.01.046
State	Published - 15 Mar 2011

Keywords

CSP
Consistency
Constraint satisfaction
Counting problem
Dynamic programming
Generating polynomials
Minesweeper
Treewidth

ASJC Scopus subject areas

Computational Mathematics
Applied Mathematics

Access to Document

10.1016/j.amc.2011.01.046

Cite this

@article{258c55be4a8d44da9ce0f4394dd06e59,

title = "Minesweeper on graphs",

abstract = "Minesweeper is a popular single player game. It has been shown that the Minesweeper consistency problem is NP-complete and the Minesweeper counting problem is #P-complete. In this paper, we present efficient algorithms for solving these problems for Minesweeper graphs with bounded treewidth. Our algorithms turn out to be much better than those based directly on dynamic programming. The algorithms mostly use of algebraic operations on multivariate polynomials, so that one may use existing software to implement them easily.",

keywords = "CSP, Consistency, Constraint satisfaction, Counting problem, Dynamic programming, Generating polynomials, Minesweeper, Treewidth",

author = "Shahar Golan",

year = "2011",

month = mar,

day = "15",

doi = "10.1016/j.amc.2011.01.046",

language = "English",

volume = "217",

pages = "6616--6623",

journal = "Applied Mathematics and Computation",

issn = "0096-3003",

publisher = "Elsevier Inc.",

number = "14",

}

TY - JOUR

T1 - Minesweeper on graphs

AU - Golan, Shahar

PY - 2011/3/15

Y1 - 2011/3/15

N2 - Minesweeper is a popular single player game. It has been shown that the Minesweeper consistency problem is NP-complete and the Minesweeper counting problem is #P-complete. In this paper, we present efficient algorithms for solving these problems for Minesweeper graphs with bounded treewidth. Our algorithms turn out to be much better than those based directly on dynamic programming. The algorithms mostly use of algebraic operations on multivariate polynomials, so that one may use existing software to implement them easily.

AB - Minesweeper is a popular single player game. It has been shown that the Minesweeper consistency problem is NP-complete and the Minesweeper counting problem is #P-complete. In this paper, we present efficient algorithms for solving these problems for Minesweeper graphs with bounded treewidth. Our algorithms turn out to be much better than those based directly on dynamic programming. The algorithms mostly use of algebraic operations on multivariate polynomials, so that one may use existing software to implement them easily.

KW - CSP

KW - Consistency

KW - Constraint satisfaction

KW - Counting problem

KW - Dynamic programming

KW - Generating polynomials

KW - Minesweeper

KW - Treewidth

UR - http://www.scopus.com/inward/record.url?scp=79952002320&partnerID=8YFLogxK

U2 - 10.1016/j.amc.2011.01.046

DO - 10.1016/j.amc.2011.01.046

M3 - Article

AN - SCOPUS:79952002320

SN - 0096-3003

VL - 217

SP - 6616

EP - 6623

JO - Applied Mathematics and Computation

JF - Applied Mathematics and Computation

IS - 14

ER -

Minesweeper on graphs

Abstract

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this