Заикин, О. С. Технология крупноблочного параллелизма в SAT-задачах [Текст] / О. С. Заикин, А. А. Семенов ; ст. представлена к публ. С. Н. Васильевым> // Проблемы управления. - 2008. - N 1. - С. 43-50 : Ил., 4 рис. - Библиогр.: с. 50 (18 назв.). - Прил. . - ISSN 1819-3161
Рубрики: Математика Математическая кибернетика Кл.слова (ненормированные): логический поиск -- SAT-задачи -- задачи-SAT -- параллелизм -- крупноблочный параллелизм -- вычисления -- параллельные вычисления -- статистическое прогнозирование -- вычислительные эксперименты -- дискретные функции -- прогнозные функции -- криптоанализ Аннотация: Предложен новый подход к решению SAT-задач, основанный на концепции крупноблочного параллелизма, свойственного многочисленным задачам большой размерности. в рамках данного подхода строится декомпозиция исходной конъюнктивной нормальной формы (КНФ) на семейство КНФ с последующим решением SAT-задачи для каждой КНФ полученного семейства на отдельном вычислительном узле кластера. Планирование оптимального по трудоемкости вычисления осуществляется через решение задачи оптимизации специальной прогнозной функции. эффективность подхода подтверждена на примере задач криптоанализа суммирующего и порогового генераторов. Доп.точки доступа: Семенов, А. А.; Васильев, С. Н. (член редколлегии) \.\ Имеются экземпляры в отделах: всего 1 : ч.з. (1) Свободны: ч.з. (1) |