Судоку (лічба-сынгл) (першапачаткова названы Number Place) з'яўляецца лагічнай асновай, камбінаторныя нумар-размяшчэнне галаваломкі. Мэта складаецца ў тым, каб запоўніць сетку 9 × 9 з лічбамі так, каб кожны слупок, кожны радок, і кожнай з дзевяці 3 × 3 падсеткамі, якія складаюць сетку (таксама званыя «скрынкі», «блокі», або «рэгіёны») ўтрымліваюць ўсе лічбы ад 1 да 9. сетэр галаваломкі забяспечвае часткова запоўненую сетку, якая для карэктнай галаваломкі мае адзінае рашэнне.
Запоўненыя гульні заўсёды тып лацінскага квадрата з дадатковым абмежаваннем на ўтрыманне асобных рэгіёнаў. Напрыклад, тая ж адно цэлае лік можа не адлюстроўвацца двойчы ў адной і той жа радку, слупку, або любы з дзевяці 3 × 3 подобластей гульнявога поля 9 × 9.
Запоўнены судоку сетка ўяўляе сабой асаблівы тып лацінскага квадрата з дадатковым уласцівасцю без паўтаральных значэнняў у любым з дзевяці блокаў (або пушак з 3 × 3 клетак). Адносіны паміж гэтымі двума тэорыямі, як вядома, пасля таго, як было даказана, што формула першага парадку, не кажучы ўжо пра блоках дзейнічае для судоку тады і толькі тады, калі яно справядліва для лацінскіх квадратаў.
Агульная задача рашэння галаваломак судоку на n2 × n2 сеткамі N × N блокаў, як вядома, NP-поўнай. Многія кампутарныя алгарытмы, такія як звароты і танцы спасылка можа вырашыць большасць 9 × 9 галаваломкі эфектыўная, але камбінаторныя выбух адбываецца пры павелічэнні п, ствараючы межы уласцівасцяў судоку, якія могуць быць пабудаваны, прааналізаваны і вырашаны пры павелічэнні п. Галаваломка Судоку можа быць выказана як праблема размалёўкі графа. Мэта складаецца ў тым, каб пабудаваць 9-размалёўку канкрэтнага графа, улічваючы частковую 9-размалёўку.