Теория Моделлирование Судоку или Шахмат с помощью КНФ
Кто нибудь видел где нибудь задачник с примерами моделирования расположения шахматных фигур с помощью КНФ? Рыщу второй день в инете и кроме судоку ничего не могу найти.
С шахматами не встречали примеров заданий, хотябы на русском?
Например КНФ нужно сделать, для шахматной доски размером x*x, чтоб в одном поле могла стоять только одна фигура. Или если одна фигура угрожает другой по диагонали, в этих диагоналях не должно быть других фигур.
Вы бы хотя бы пояснили о чём речь, а то каким боком запись формулы связана с шахматами
https://de.wikipedia.org/wiki/Konjunktive_Normalform
На счёт шахмат это очень сложно, если понормальному делать, насколько помню давно IBM продемонстрировала игру шахматы (ИИ), и Г.Каспаров вроде проиграл ИИ. Вот алгоритмы см. https://habr.com/ru/post/390821/ тут https://habr.com/ru/company/skillbox/blog/437524/ и это
Нужно изучать TensorFlow Framework см. https://towardsdatascience.com/creating-a-chess-ai-using-d..., https://www.chessprogramming.org/Deep_Learning