Abstract:Higher-dimensional sliding puzzles are constructed on the vertices of a $d$-dimensional hypercube, where $2^d-l$ vertices are distinctly coloured. Rings with the same colours are initially set randomly on the vertices of the hypercube. The goal of the puzzle is to move each of the $2^d-l$ rings to pre-defined target vertices on the cube. In this setting, the $k$-rule constraint represents a generalisation of edge collision for the movement of colours between vertices, allowing movement only when a hypercube face of dimension $k$ containing a ring is completely free of other rings. Starting from an initial configuration, what is the minimum number of moves needed to make ring colours match the vertex colours? An algorithm that provides us with such a number is called God's algorithm. When such an algorithm exists, it does not have a polynomial time complexity, at least in the case of the 15-puzzle corresponding to $k=1$ in the cubical puzzle. This paper presents a comprehensive computational study of different scenarios of the higher-dimensional puzzle. A benchmark of three computational techniques, an exact algorithm (the A* search) and two approximately optimal search techniques (an evolutionary algorithm (EA) and reinforcement learning (RL)) is presented in this work. The experiments show that all three methods can successfully solve the puzzle of dimension three for different face dimensions and across various difficulty levels. When the dimension increases, the A* search fails, and RL and EA methods can still provide a generally acceptable solution, i.e. a distribution of a number of moves with a median value of less than $30$. Overall, the EA method consistently requires less computational time, while failing in most cases to minimise the number of moves for the puzzle dimensions $d=4$ and $d=5$.

Analysis of the picture cube puzzle

A NEW PROOF OF THE REALISATION OF CUBIC TABLEAUX

The Mutando of Insanity

Solution Numbers for Eight Blocks to Madness Puzzle

Pictorial and apictorial polygonal jigsaw puzzles: The lazy caterer model, properties, and solvers

Pictorial and Apictorial Polygonal Jigsaw Puzzles from Arbitrary Number of Crossing Cuts

Benchmark Instances and Branch-and-Cut Algorithm for the Hashiwokakero Puzzle

Towards a Model of Puzznic

Optimally Solving Colored Generalized Sliding-Tile Puzzles: Complexity and Bounds

Solving Rubik’s cube via quantum mechanics and deep reinforcement learning

Move-minimizing puzzles and diamond-colored modular/distributive lattices

A skeleton model to enumerate standard puzzle sequences

Problem Solving at the Edge of Chaos: Entropy, Puzzles and the Sudoku Freezing Transition

Commutative Properties of Schubert Puzzles with Convex Polygonal Boundary Shapes

On the Computational Complexity of Generalized Common Shape Puzzles

Measurement-based Quantum Computation as a Tangram Puzzle

Casting Rubik’s Group into a Unitary Representation for Reinforcement Learning

Solving a Mathematical Problem in Square War: a Go-like Board Game

Approximately Optimal Search on a Higher-dimensional Sliding Puzzle

Geometry and Generation of a New Graph Planarity Game

Enumeration of crossings in two-step puzzles