Информация о статье журнала "Информатика"
Реферат
Полный текст статьи
Параллельная проверка ДНФ на тавтологию' Торопов Н. Р. 1

  1. Объединенный институт проблем информатики Минск, Сурганова, 6

УДК: 519.68, 519.7

Статья поступила: 21.04.2005

Реферат:

Рассматривается одна из базовых задач логико-комбинаторных вычислений – проверка дизъ-юнктивной нормальной формы на тавтологию. Предлагаются два алгоритма параллельного решения этой задачи с использованием многопроцессорных систем. Приводятся результаты эксперименталь-ных испытаний предложенных алгоритмов на суперкомпьютере семейства СКИФ, показывающие эф-фективность параллельных вычислений при решении логико-комбинаторной задачи.