Solving tantrix via integer programming

摘要: Tantrix is a puzzle to make loop by connecting lines drawn on hexagonal tiles, and the objective of this research solve it computer. For purpose, we give problem setting solving as arranging tiles in an appropriate shape making at same time within given lattice board. We then formulate integer program expressing rules its constraints, mathematical programming solver have solution. As result, establish formulation that solves moderate sizes, even when solutions are invalid only elementary achieved introducing additional constraints artificial function avoid flaws solutions. By approach successful size up 50.