Zoltán Toroczkai
London E1W 1YW, UK
Portland, ME 04101
2nd floor
11th floor
Boston, MA 02115
2nd floor
London E1W 1LP, UK
Talk recording
The mathematical structure of many number-puzzles such as Sudoku is akin to hard constraint satisfaction problems lying at the basis of applications that include protein folding and the ground-state problem of glassy spin systems. We introduce an exact mapping of such problems into a deterministic, continuous-time (analog) dynamical system which solves any puzzle without backtracking or random restarts. (All previous algorithms use backtracking.) We also show that the difficulty of Sudoku translates into transient turbulent behavior exhibited by this dynamical system, and that the escape rate, an invariant of transient turbulent flows, provides a scalar measure of the puzzle’s difficulty that correlates well with human difficulty ratings. This measure can then be used to define a "Richter-type" scale of puzzle hardness. Sudoku is only used as an example, the analog method presented here is applicable to all hard decision type problems (NP-complete problems) with applications both in fundamental sciences (physics, biology) and in industry (e.g., scheduling, public-key cryptography, chip design, etc).