|
- Объединенный институт проблем информатики Минск, Сурганова, 6
УДК: 519.68, 519.7
Статья поступила: 24.10.2005
Реферат:
Рассматриваются переопределенные системы линейных логических уравнений, число уравне-ний в которых превышает число неизвестных. Такие системы, как правило, не имеют корней и назы-ваются поэтому несовместными. Однако и они могут быть разрешимы в определенном смысле. На-пример, для криптографии представляет интерес задача поиска корней, удовлетворяющих макси-мальному числу уравнений, или, в случае искажения правых частей уравнений, задача восстановления системы. Предлагается параллельная реализация рандомизированного алгоритма решения несовме-стных систем на суперкомпьютере семейства СКИФ. Приводятся результаты экспериментальных испытаний алгоритма, показывающие эффективность параллельных вычислений при решении боль-ших систем линейных логических уравнений.
|