Как математически составляются Судоку?

Вот тут написано что заполнение судоку сводится к задаче о заполнении латинского квадрата, которая в свою очередь является NP-полной задачей.
Латинский квадрат - таблица n × n, заполненная n различными символами таким образом, чтобы в каждой строке и в каждом столбце встречались все n символов (каждый по одному разу) .
NP-полные задачи — это класс задач, лежащих в классе NP (то есть для которых пока не найдено быстрых алгоритмов решения, но проверка того, является ли данное решение правильным, проходит быстро) , к которым сводятся все задачи класса NP.
Все вышесказанное говорит о том, что так как не существует быстрых алгоритмов решения данной задачи, то человек врятли сможет сам составить такую таблицу размерностью 9х9. Поэтому, я склонен думать, что эта задача выполняется с помощью ПК. Составление алгоритма для этой задачи не составляет особого труда (я программист) , да и времени на составление подобной таблицы ПК потребует немного.

Пользователь angel предлогает тоже интересный ответ, но мне кажется что даже если человек заполнит два квадрата, то дальнейшее заполнение не будет столь простым. Так как поначалу все действительно будет просто, но чем больше цифр вы разместите, тем больше проверок вам надо будет выполнить при размещении следующего числа. А ПК, такого рода проверки выполняет гораздо быстрее...

если хочешь, составь судоку 16*16 с числами A, B, C, D, E, F

заполняешь первый левый верхний квадратик от одного до 9 и нижний правый

а потом как по головоломке составляешь судоку

eto zhe ochen' legko!!!
cifri ot 1 do 9
esli nachnesh plavil'no to vse poluchitsya!!! nado dumat' na pered!!!
na popraktikuisya!!!
http://www.dailysudoku.com/sudoku/