|
Схемы для дизъюнкции, допускающие короткие единичные диагностические тесты
С. Р. Беджанова
Аннотация:
В работе исследуются тесты для схем, реализующих дизъюнкцию. В схеме допускается инверсная неисправность на выходе ровно одного из функциональных элементов. Для любого функционально полного базиса $B$ установлено, что при любом $n\ge3$ дизъюнкцию $n$ переменных можно реализовать схемой над $B$, допускающей единичный диагностический тест не более чем из двух наборов. Доказано, что в общем случае этот результат неулучшаем.
Работа выполнена при поддержке Российского фонда фундаментальных исследований, проект 08–01–00863, и программы фундаментальных исследований РАН “Алгебраические и комбинаторные методы математической кибернетики и информационные системы нового поколения”.
Статья поступила: 15.04.2010
Образец цитирования:
С. Р. Беджанова, “Схемы для дизъюнкции, допускающие короткие единичные диагностические тесты”, Дискрет. матем., 22:4 (2010), 43–54; Discrete Math. Appl., 20:5-6 (2010), 643–654
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/dm1118https://doi.org/10.4213/dm1118 https://www.mathnet.ru/rus/dm/v22/i4/p43
|
Статистика просмотров: |
Страница аннотации: | 495 | PDF полного текста: | 191 | Список литературы: | 38 | Первая страница: | 13 |
|