數獨(數字單)(最初稱為數字位置)是基於邏輯的組合數字放置難題。目標是用數字填充9×9網格,以便組成網格的每個列,每行和九個3×3子網格中的每一個(也稱為“框”,“塊”或“區域”)包含從1到9的所有數字。拼圖設定器提供了一個部分完成的網格,對於一個完美的拼圖有一個單一的解決方案。
完成的遊戲總是一種拉丁方,對個別區域的內容有額外的限制。例如,相同的單個整數可能不會在9×9播放板的同一行,列或九個3×3子區域中的任何一個中出現兩次。
完成的數獨網格是一種特殊類型的拉丁方,在九個塊(或3×3個單元格的框)中的任何一個中都沒有重複值的附加屬性。兩種理論之間的關係是已知的,在證明了一個沒有提到塊的一階公式對於Sudoku是有效的,當且僅當它對拉丁方格有效時。
已知在n×n塊的n2×n2個網格上解決數獨謎題的一般問題是NP完全的。許多計算機算法,例如回溯和跳舞鏈接可以有效地解決大多數9×9謎題,但是隨著n的增加,組合爆炸發生,對Sudokus的屬性產生限制,可以在n增加時構建,分析和解決。數獨謎題可以表示為圖形著色問題。目的是在給定部分9色的情況下構建特定圖的9色。