Title
Solving tantrix via integer programming
Abstract
Tantrix is a puzzle to make a loop by connecting lines drawn on hexagonal tiles, and the objective of this research is to solve it by a computer. For this purpose, we give a problem setting of solving Tantrix as arranging tiles in an appropriate shape and making a loop at the same time within a given hexagonal lattice board. We then formulate it as an integer program by expressing the rules of Tantrix as its constraints, and solve it by a mathematical programming solver to have a solution. As a result, we establish a formulation that solves Tantrix of moderate sizes, and even when the solutions are invalid only by elementary constraints, we achieved it by introducing additional constraints and an artificial objective function to avoid flaws in invalid solutions. By this approach we are successful in solving Tantrix of size up to 50.
Year
DOI
Venue
2012
10.1007/978-3-642-30347-0_25
fun with algorithms
Keywords
DocType
Volume
hexagonal tile,integer programming,integer program,artificial objective function,additional constraint,invalid solution,hexagonal lattice board,appropriate shape,moderate size,mathematical programming solver,elementary constraint
Conference
abs/1202.6438
Citations 
PageRank 
References 
0
0.34
7
Authors
2
Name
Order
Citations
PageRank
Fumika Kino110.72
yushi uno222228.80