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.

Sudoku as a special transportation problem

SOLVING SUDOKU: STRUCTURES AND STRATEGIES

Genarate and Solve Sudoku Puzzle

An Optimized Searching Model of Creating Sudoku Puzzles

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

A Simple QUBO Formulation of Sudoku

Heuristic Reasoning on Graph and Game Complexity of Sudoku

Method Study on Solving Sudoku Problem

Solving a discrete multimodal transportation network design problem

A DISTRIBUTED SOLUTION OF PHYSICAL GAME TO SUDOKU PROBLEM

Some Aspects on Solving Transportation Problem

Unicity Concepts for Sudoku

Upper Bounds for the Number of Solutions to Spatially Coupled Sudokus

Minuet: A method to solve Sudoku puzzles by hand

A Warm Restart Strategy for Solving Sudoku by Sparse Optimization Methods

Exact Method for Generating Strategy-Solvable Sudoku Clues

A novel sudoku solving method based on sparse optimization

A Columnar Competitive Model for Solving Multi-Traveling Salesman Problem

Deducibility in Sudoku

Formulation of Sudoku Puzzle Using Binary Integer Linear Programming and Its Implementation in Julia, Python, and Minizinc

A Sublinear Sudoku Solution in cP Systems and its Formal Verification