Abstract:Sudoku is a widely popular $\mathcal{NP}$-Complete combinatorial puzzle whose prospects for studying human computation have recently received attention, but the algorithmic hardness of Sudoku solving is yet largely unexplored. In this paper, we study the statistical mechanical properties of random Sudoku grids, showing that puzzles of varying sizes attain a hardness peak associated with a critical behavior in the constrainedness of random instances. In doing so, we provide the first description of a Sudoku \emph{freezing} transition, showing that the fraction of backbone variables undergoes a phase transition as the density of pre-filled cells is calibrated. We also uncover a variety of critical phenomena in the applicability of Sudoku elimination strategies, providing explanations as to why puzzles become boring outside the typical range of clue densities adopted by Sudoku publishers. We further show that the constrainedness of Sudoku puzzles can be understood in terms of the informational (Shannon) entropy of their solutions, which only increases up to the critical point where variables become frozen. Our findings shed light on the nature of the $k$-coloring transition when the graph topology is fixed, and are an invitation to the study of phase transition phenomena in problems defined over \emph{alldifferent} constraints. They also suggest advantages to studying the statistical mechanics of popular $\mathcal{NP}$-Hard puzzles, which can both aid the design of hard instances and help understand the difficulty of human problem solving.

Snowman is PSPACE-complete.

Motion planning with pull moves

Taub, Rindler, and the static plate

Turning Tiles is PSPACE-complete

A Good Snowman is Hard to Plan

1 x 1 Rush Hour with Fixed Blocks is PSPACE-complete

Ludii and XCSP: Playing and Solving Logic Puzzles

On the Computational Complexity of Generalized Common Shape Puzzles

On Computing Makespan-Optimal Solutions for Generalized Sliding-Tile Puzzles

PSPACE-Hard 2D Super Mario Games: Thirteen Doors

Heuristic Reasoning on Graph and Game Complexity of Sudoku

Walking through Doors is Hard, even without Staircases: Proving PSPACE-hardness via Planar Assemblies of Door Gadgets

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

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

Puzzle and Dragons is Hard

Solitaire Chess is NP-complete

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

Computational complexity of Turning Tiles

Sorting balls and water: Equivalence and computational complexity

The Complexity of Clickomania

Friends-and-strangers is PSPACE-complete