Проектирование вещественных переменных в булевы в методе простой итерации, примененном к задаче выполнимости булевых формул

Данная работа посвящена модификации непрерывного метода поиска решения задачи выполнимости булевых формул (SAT). Показан способ, по которому строится функционал, ассоциированный с SAT, и приведен общий алгоритм его решения методом простой итерации. Приведены ссылки на предыдущие работы автора и пояснено, что не всегда удается найти точное решение из-за попадания траектории метода простой итерации в овраг. Вместо построения эвристик по преодолению овражной ситуации и продолжения поиска предлагается сконструировать способ, который позволит определять некоторые биты приближения с высокой вероятностью. Полученные результаты могут быть с успехом использованы в задачах криптоанализа асимметричных шифров, логистики, автоматическом тестировании, распознавании данных, авторизации, в различных задачах на графах и других проблемах, которые сводятся к задаче SAT полиномиальным алгоритмом.

• Огородников Ю.Ю.

• Общий отдел

• Технические науки. Промышленность
• Физико-математические науки
• Естественные науки