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.

The lit-only σ-game: some mathematics behind a puzzle for kids

The SOC in cells’ living expectations of Conway’s Game of Life and its extended version

State Transition in A Family of Generalized Fibonacci Lattices

Algumas luminescências sobre o jogo Lights Out

Note on the lamp lighting problem

Winning Lights Out with Fibonacci

A Mathematical Foundation for the Numberlink Game

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

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

Using Board Games and Mathematica to Teach the Fundamentals of Finite Stationary Markov Chains

Resolution Of Conjectures Related To Lights Out! And Cartesian Products

Localized Attractor Computations for Infinite-State Games (Full Version)

A multi-computational exploration of some games of pure chance

Evolutionary Snowdrift Game with an Additional Strategy in Fully Connected Networks and Regular Lattices

Stochastic linear-quadratic differential game with Markovian jumps in an infinite horizon

Life, death, new species and children from a "Quantum Game of Life"

The Game Value of Sequential Compounds of Integers and Stars

Game Solution, Epistemic Dynamics and Fixed-Point Logics

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

Switching Games Of Stochastic Differential Systems

Reachability and Safety Games under TSO Semantics (Extended Version)