Судоку (цифрова единица) (първоначално наречен Number Place) е логически базиран, комбинаторни пъзели с номерация. Целта е да се попълни 9 × 9 мрежа с цифри, така че всяка колона, всеки ред и всеки от деветте 3 × 3 подграта, които съставят мрежата (наричани още "кутии", "блокове" или "региони") съдържат всичките цифри от 1 до 9. Създателят на пъзели осигурява частично завършена мрежа, която за добре изправен пъзел има едно решение.
Завършените игри винаги са вид латински квадрат с допълнително ограничение върху съдържанието на отделните региони. Например едно и също цяло число може да не се появи два пъти в същия ред, колона или някоя от деветте 3 × 3 подрегиона на 9 × 9 игралната дъска.
Завършената решетка на судоку е специален тип латински квадрат с допълнителното свойство да не се повтарят стойности във всеки от деветте блока (или кутии с 3 × 3 клетки). Връзката между двете теории е известна, след като е доказано, че формула от първи ред, която не споменава блокове, е валидна за судоку, ако и само ако е валидна за латинските квадрати.
Известно е, че основният проблем за решаване на пъзели на судоку на n2 × n2 решетки от n × n блокове е NP-пълен. Много компютърни алгоритми, като връщане назад и танцуващи връзки, могат ефективно да разрешат повечето 9 × 9 пъзели, но комбинаторната експлозия възниква, когато n се увеличава, създавайки граници на свойствата на Sudokus, които могат да бъдат конструирани, анализирани и решени при увеличаване на n. Пъзелът на судоку може да се изрази като проблем за оцветяване на графиката. Целта е да се изгради 9-оцветяване на дадена графика, като се получи частично 9-оцветяване.
Актуализирано на
19.08.2023 г.