Automatically Generating and Solving Eternity II Style Puzzles

Geoffrey Harris; Bruce J Vanstone; Adrian Gepp

doi:10.1007/978-3-319-92058-0_60

Automatically Generating and Solving Eternity II Style Puzzles

Geoffrey Harris
, Bruce J Vanstone
, Adrian Gepp

Bond University

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Abstract

The Eternity II puzzle is an NP-complete problem. Prior researchers have generated data sets that are similar to the Eternity II problem. These data sets can be created in linear time, but this comes at the cost of easing the problem by introducing exploitable statistical features. The first contribution of this paper is a new method to generate data sets that are truly of Eternity II style. The second contribution is an Eternity II specific implementation of a constraint-satisfaction-problem style algorithm. Unlike most other published algorithms, this one has no form of look-ahead, filtering, forward checking, back jumping or k-consistency checks. Instead, it uses knowledge about the structure of the puzzle and the uniform distribution of edge colours. This approach is up to three orders of magnitude faster than previously published attempts

Original language	English
Title of host publication	Recent Trends and Future Technology in Applied Intelligence - 31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Proceedings
Editors	Malek Mouhoub, Samira Sadaoui, Otmane Ait Mahomed, Moonis Ali
Place of Publication	Germany
Publisher	Springer
Pages	626-632
Number of pages	7
ISBN (Print)	978-3-319-92057-3
DOIs	https://doi.org/10.1007/978-3-319-92058-0_60
Publication status	Published - 30 May 2018
Externally published	Yes

Publication series

Name	Lecture Notes in Computer Science (LNCS)
Publisher	Springer

Access to Document

10.1007/978-3-319-92058-0_60

http://ieaaie2018.encs.concordia.ca/

Cite this

Harris, G., Vanstone, B. J., & Gepp, A. (2018). Automatically Generating and Solving Eternity II Style Puzzles. In M. Mouhoub, S. Sadaoui, O. Ait Mahomed, & M. Ali (Eds.), Recent Trends and Future Technology in Applied Intelligence - 31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Proceedings (pp. 626-632). (Lecture Notes in Computer Science (LNCS)). Springer. https://doi.org/10.1007/978-3-319-92058-0_60

Harris, Geoffrey ; Vanstone, Bruce J ; Gepp, Adrian. / Automatically Generating and Solving Eternity II Style Puzzles. Recent Trends and Future Technology in Applied Intelligence - 31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Proceedings. editor / Malek Mouhoub ; Samira Sadaoui ; Otmane Ait Mahomed ; Moonis Ali. Germany : Springer, 2018. pp. 626-632 (Lecture Notes in Computer Science (LNCS)).

@inbook{28dcfa11b4b445a1b957eb5d9c377d21,

title = "Automatically Generating and Solving Eternity II Style Puzzles",

abstract = "The Eternity II puzzle is an NP-complete problem. Prior researchers have generated data sets that are similar to the Eternity II problem. These data sets can be created in linear time, but this comes at the cost of easing the problem by introducing exploitable statistical features. The first contribution of this paper is a new method to generate data sets that are truly of Eternity II style. The second contribution is an Eternity II specific implementation of a constraint-satisfaction-problem style algorithm. Unlike most other published algorithms, this one has no form of look-ahead, filtering, forward checking, back jumping or k-consistency checks. Instead, it uses knowledge about the structure of the puzzle and the uniform distribution of edge colours. This approach is up to three orders of magnitude faster than previously published attempts",

author = "Geoffrey Harris and Vanstone, \{Bruce J\} and Adrian Gepp",

note = "The 31st International Conference on Industrial, Engineering \& Other Applications of Applied Intelligent Systems, IEA-AIE 2018 ; Conference date: 25-06-2018 Through 28-06-2018",

year = "2018",

month = may,

day = "30",

doi = "10.1007/978-3-319-92058-0\_60",

language = "English",

isbn = "978-3-319-92057-3",

series = "Lecture Notes in Computer Science (LNCS)",

publisher = "Springer",

pages = "626--632",

editor = "Malek Mouhoub and Samira Sadaoui and \{Ait Mahomed\}, Otmane and Moonis Ali",

booktitle = "Recent Trends and Future Technology in Applied Intelligence - 31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Proceedings",

}

Harris, G, Vanstone, BJ & Gepp, A 2018, Automatically Generating and Solving Eternity II Style Puzzles. in M Mouhoub, S Sadaoui, O Ait Mahomed & M Ali (eds), Recent Trends and Future Technology in Applied Intelligence - 31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Proceedings. Lecture Notes in Computer Science (LNCS), Springer, Germany, pp. 626-632. https://doi.org/10.1007/978-3-319-92058-0_60

Automatically Generating and Solving Eternity II Style Puzzles. / Harris, Geoffrey; Vanstone, Bruce J ; Gepp, Adrian.
Recent Trends and Future Technology in Applied Intelligence - 31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Proceedings. ed. / Malek Mouhoub; Samira Sadaoui; Otmane Ait Mahomed; Moonis Ali. Germany: Springer, 2018. p. 626-632 (Lecture Notes in Computer Science (LNCS)).

Research output: Chapter in Book/Report/Conference proceeding › Chapter

TY - CHAP

T1 - Automatically Generating and Solving Eternity II Style Puzzles

AU - Harris, Geoffrey

AU - Vanstone, Bruce J

AU - Gepp, Adrian

N1 - The 31st International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems, IEA-AIE 2018 ; Conference date: 25-06-2018 Through 28-06-2018

PY - 2018/5/30

Y1 - 2018/5/30

N2 - The Eternity II puzzle is an NP-complete problem. Prior researchers have generated data sets that are similar to the Eternity II problem. These data sets can be created in linear time, but this comes at the cost of easing the problem by introducing exploitable statistical features. The first contribution of this paper is a new method to generate data sets that are truly of Eternity II style. The second contribution is an Eternity II specific implementation of a constraint-satisfaction-problem style algorithm. Unlike most other published algorithms, this one has no form of look-ahead, filtering, forward checking, back jumping or k-consistency checks. Instead, it uses knowledge about the structure of the puzzle and the uniform distribution of edge colours. This approach is up to three orders of magnitude faster than previously published attempts

AB - The Eternity II puzzle is an NP-complete problem. Prior researchers have generated data sets that are similar to the Eternity II problem. These data sets can be created in linear time, but this comes at the cost of easing the problem by introducing exploitable statistical features. The first contribution of this paper is a new method to generate data sets that are truly of Eternity II style. The second contribution is an Eternity II specific implementation of a constraint-satisfaction-problem style algorithm. Unlike most other published algorithms, this one has no form of look-ahead, filtering, forward checking, back jumping or k-consistency checks. Instead, it uses knowledge about the structure of the puzzle and the uniform distribution of edge colours. This approach is up to three orders of magnitude faster than previously published attempts

U2 - 10.1007/978-3-319-92058-0_60

DO - 10.1007/978-3-319-92058-0_60

M3 - Chapter

SN - 978-3-319-92057-3

T3 - Lecture Notes in Computer Science (LNCS)

SP - 626

EP - 632

BT - Recent Trends and Future Technology in Applied Intelligence - 31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Proceedings

A2 - Mouhoub, Malek

A2 - Sadaoui, Samira

A2 - Ait Mahomed, Otmane

A2 - Ali, Moonis

PB - Springer

CY - Germany

ER -

Harris G, Vanstone BJ , Gepp A. Automatically Generating and Solving Eternity II Style Puzzles. In Mouhoub M, Sadaoui S, Ait Mahomed O, Ali M, editors, Recent Trends and Future Technology in Applied Intelligence - 31st International Conference on Industrial Engineering and Other Applications of Applied Intelligent Systems, IEA/AIE 2018, Proceedings. Germany: Springer. 2018. p. 626-632. (Lecture Notes in Computer Science (LNCS)). doi: 10.1007/978-3-319-92058-0_60

Automatically Generating and Solving Eternity II Style Puzzles

Abstract

Publication series

Access to Document

Fingerprint

Cite this