数独(数字单)(最初称为数字位置)是基于逻辑的组合数字放置难题。目标是用数字填充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色。