|
Бесповторность распознается схемами линейной сложности
А. А. Вороненко
Аннотация:
В работе рассматривается задача распознавания представимости бесповторными формулами булевых функций, задаваемых вектор-столбцом их значений, при помощи схем из функциональных элементов. Доказана линейная сложность искомой последовательности
схем.
Работа выполнена при поддержке Российского фонда фундаментальных исследований, проект 04–01–00359.
Статья поступила: 13.06.2005
Образец цитирования:
А. А. Вороненко, “Бесповторность распознается схемами линейной сложности”, Дискрет. матем., 17:4 (2005), 111–115; Discrete Math. Appl., 15:5 (2005), 507–511
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dm134https://doi.org/10.4213/dm134 https://www.mathnet.ru/rus/dm/v17/i4/p111
|
|