Back to Search
Start Over
Solving Nonogram puzzles by using group-based fully probing.
- Source :
-
International Computer Games Association Journal . 2018, Vol. 40 Issue 4, p387-396. 10p. - Publication Year :
- 2018
-
Abstract
- Nonogram is a typical two-dimensional logical puzzle game in which each pixel involves two constraints associated to the intersecting row and column. The recently proposed approaches can efficiently solve many puzzles via logical deduction based on the 2-SAT formulas. This paper proposes a set of new logical properties for inferencing the consistent and inverse relations among pixels. We show that the pixels with consistent (or inverse) relation must be painted to a same (or an opposite) color in the solution puzzle. Consequently, the pixels can be aggregated into groups, thereby the space of search tree of the Nonogram backtracking algorithm can be reduced. [ABSTRACT FROM AUTHOR]
- Subjects :
- *PUZZLES
*RECREATIONAL mathematics
*GAME theory
*MATHEMATICAL models
*REASONING
Subjects
Details
- Language :
- English
- ISSN :
- 13896911
- Volume :
- 40
- Issue :
- 4
- Database :
- Academic Search Index
- Journal :
- International Computer Games Association Journal
- Publication Type :
- Academic Journal
- Accession number :
- 135609660
- Full Text :
- https://doi.org/10.3233/ICG-180067