![][1]Многие из вас наверняка знакомы с такой головоломкой, как судоку. Возможно, даже реализовывали программу для автоматического решения. На хабре тема судоку обсуждалась уже множество раз, и, как показывает практика, практически любой способ автоматического нахождения ответа в итоге сводится к направленному перебору. И это вполне естественно, ведь даже ручные решения придерживаются тех же принципов. Но что, если поступить иначе?
В данной статье я рассмотрю один очень занятный метод, предложенный в 2012 году, основанный на строго математическом подходе. Программная реализация прилагается.


[Осторожно, тут много формул][2]

[1]: https://habrastorage.org/files/2b5/155/1d8/2b51551d8e2c42f8b856583da47ef39e.png
[2]: https://habrahabr.ru/post/311948/?utm_source=habrahabr&utm_medium=rss&utm_campaign=feed_posts#habracut