Exploring Properties of the Instant Insanity Puzzle with Constraint Satisfaction Approach

Sven Löffler, Ke Liu, Petra Hofstedt

2020

Abstract

The Instant Insanity Puzzle is a challenging and interesting puzzle of combinatorial nature. The puzzle consists of four different cubes where each face of each cube has one of the four colors red, green, white and blue. The goal is to arrange the cubes in a tower with dimensions 1x1x4 such that on each of the four long sides of the tower, every color appears exactly once. In this paper we pose questions derived from the puzzle, but with increased difficulty and generality. Amongst other things, we try to find a new problem instance (a new color assignment for the cubes) such that the number of solutions of the instant insanity puzzle is minimized but not null. In addition, we also present a constraint programming model for the proposed questions, which can provide the answers to our questions. The purpose of this paper is on the one hand to share our results over the instant insanity puzzle, and on the other hand to share our gained knowledge on finding problems by constraining the solutions of constraint satisfaction problems, which is (amongst other things) useful for the generation of test data and teaching material.

Paper Citation

in Harvard Style

Löffler S., Liu K. and Hofstedt P. (2020). Exploring Properties of the Instant Insanity Puzzle with Constraint Satisfaction Approach. In Proceedings of the 12th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART, ISBN 978-989-758-395-7, pages 331-338. DOI: 10.5220/0008880403310338

in Bibtex Style

@conference{icaart20,
author={Sven Löffler and Ke Liu and Petra Hofstedt},
title={Exploring Properties of the Instant Insanity Puzzle with Constraint Satisfaction Approach},
booktitle={Proceedings of the 12th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,},
year={2020},
pages={331-338},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0008880403310338},
isbn={978-989-758-395-7},
}

in EndNote Style

TY - CONF

JO - Proceedings of the 12th International Conference on Agents and Artificial Intelligence - Volume 2: ICAART,
TI - Exploring Properties of the Instant Insanity Puzzle with Constraint Satisfaction Approach
SN - 978-989-758-395-7
AU - Löffler S.
AU - Liu K.
AU - Hofstedt P.
PY - 2020
SP - 331
EP - 338
DO - 10.5220/0008880403310338