Аннотация:
Рассмотрены возможности применения специальных вычислителей, основанных на использовании ассоциативной памяти, к решению систем булевых уравнений. Предложен алгоритм решения систем булевых уравнений с использованием ассоциативных вычислителей. Выделены классы систем булевых уравнений, которые могут эффективно решаться предложенным алгоритмом. Получены субэкспоненциальные оценки математического ожидания трудоемкости использования предложенного алгоритма для решения систем уравнений из выделенных классов систем булевых уравнений. Библ. 7. Фиг. 5.
Ключевые слова:
системы булевых уравнений, ассоциативная память, комплекс системы уравнений, алгоритмы склеивания и согласования.
Поступила в редакцию: 19.02.2010 Исправленный вариант: 25.05.2010
Образец цитирования:
А. С. Мелузов, “Использование ассоциативных принципов обработки информации для построения алгоритмов решения систем булевых уравнений”, Ж. вычисл. матем. и матем. физ., 50:11 (2010), 2028–2044; Comput. Math. Math. Phys., 50:11 (2010), 1925–1940
\RBibitem{Mel10}
\by А.~С.~Мелузов
\paper Использование ассоциативных принципов обработки информации для построения алгоритмов решения систем булевых уравнений
\jour Ж. вычисл. матем. и матем. физ.
\yr 2010
\vol 50
\issue 11
\pages 2028--2044
\mathnet{http://mi.mathnet.ru/zvmmf4970}
\adsnasa{https://adsabs.harvard.edu/cgi-bin/bib_query?2010CMMPh..50.1925M}
\transl
\jour Comput. Math. Math. Phys.
\yr 2010
\vol 50
\issue 11
\pages 1925--1940
\crossref{https://doi.org/10.1134/S0965542510110151}
\isi{https://gateway.webofknowledge.com/gateway/Gateway.cgi?GWVersion=2&SrcApp=Publons&SrcAuth=Publons_CEL&DestLinkType=FullRecord&DestApp=WOS_CPL&KeyUT=000284649800015}
\scopus{https://www.scopus.com/record/display.url?origin=inward&eid=2-s2.0-78649801136}
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/zvmmf4970
https://www.mathnet.ru/rus/zvmmf/v50/i11/p2028
Эта публикация цитируется в следующих 1 статьяx:
А. С. Мелузов, “Построение эффективных алгоритмов решения систем полиномиальных булевых уравнений методом опробования части переменных”, Дискрет. матем., 23:4 (2011), 66–79; A. S. Meluzov, “On construction of efficient algorithms for solving systems of polynomial Boolean equations by testing a part of variables”, Discrete Math. Appl., 21:3 (2011), 381–395