Пример решения комбинаторной задачи. В чем нам может помочь ИИ, а в чем инструментальное программирование

Уважаемый @vvvphoenix заразил меня решением не решаемой задачи комбинаторики, вот его последняя статья.

Мне изначально хотелось написать о том, насколько это идеальный пример использования рекурсии, по сравнению с примером вычисления факториала, который фактически, с любой точки зрения, является вырожденным случаем. Но меня снова затянуло в дебри решения задачи. У меня вроде даже получилось запутать ИИ, а потом позволить ему реабилитироваться, а потом еще и заставить ИИ программу проверочную написать которая правильно работает. Мы разберем некоторые вопросы оптимизации программы перебора вариантов. Мы сможем сравнить "человеческий" вариант программы со сгенирированным ИИ вариантом хоть и для более простого случая.

Еще хочу рассказать что получилось выяснить все с той же тривиальной перестановкой строк. Начать хочу с того что посмотреть на табличку 256×256 все таки можно.