Цитата:
SAT (сокращенно от Satisfability) — это задача доказательства выполнимости булевых формул специального вида. SAT-подход состоит в сведении исходных задач к SAT-задачам с их последующим решением специальными решателями. С помощью SAT-подхода можно решать задачи верификации, криптографии, комбинаторики, биоинформатики. В лаборатории дискретного анализа и прикладной логики Института динамики систем и теории управления Сибирского отделения РАН (ИДСТУ СО РАН) SAT-подход активно развивается. В частности, созданы программные комплексы, с помощью которых к SAT сведены задачи анализа динамики поведения генных сетей, задачи криптоанализа генераторов ключевого потока, а также задачи поиска новых комбинаторных структур (в первую очередь — систем латинских квадратов).
Такие задачи насколько я понимаю актуальны во всем мире, математика основа всех наук, да и участвуют в нем не только россияне, хотя их большее количество. Ну и потом мы не ученые в большей части своей, что бы так отрицать полезность данных вещей. Если их развивают, значит это актуально, ну и потом почему не помочь своим соотечественникам?
