|
Бесповторность распознается схемами линейной сложности
А. А. Вороненко
Аннотация:
В работе рассматривается задача распознавания представимости бесповторными формулами булевых функций, задаваемых вектор-столбцом их значений, при помощи схем из функциональных элементов. Доказана линейная сложность искомой последовательности
схем.
Работа выполнена при поддержке Российского фонда фундаментальных исследований, проект 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
|
Статистика просмотров: |
Страница аннотации: | 749 | PDF полного текста: | 271 | Список литературы: | 83 | Первая страница: | 4 |
|