Аннотация:
Рассматривается задача реализации булевых функций
двухполюсными контактными схемами, неизбыточными и
допускающими короткие проверяющие или диагностические тесты
относительно замыканий не более kk контактов
при заданном натуральном kk. Доказаны следующие утверждения:
для почти любой булевой функции от nn переменных минимальная длина
проверяющего (диагностического) теста
равна 22 (соответственно не превосходит 2k+22k+2).
Библиография: 15 названий.
К. А. Попков, “Короткие полные диагностические тесты для схем,
реализующих линейные булевы функции”, Матем. заметки, 113:1 (2023), 75–89; K. A. Popkov, “Short Complete Diagnostic Tests for Circuits Implementing Linear Boolean Functions”, Math. Notes, 113:1 (2023), 80–92
К. А. Попков, “Короткие тесты для контактных схем при однотипных слабо связных неисправностях контактов”, Дискрет. матем., 35:4 (2023), 69–78
К. А. Попков, “Короткие проверяющие тесты для контактных схем при произвольных слабо связных неисправностях контактов”, ПДМ, 2023, № 62, 71–82
К. А. Попков, “Оценки функций Шеннона длин тестов замыкания для контактных схем”, Дискрет. матем., 32:3 (2020), 49–67; K. A. Popkov, “Bounds on Shannon functions of lengths of contact closure tests for contact circuits”, Discrete Math. Appl., 31:3 (2021), 165–178
К. А. Попков, “О реализации булевых функций контактными схемами константной равномерной ширины”, Докл. РАН. Матем., информ., проц. упр., 495 (2020), 65–68; K. A. Popkov, “On implementation of boolean functions by contact circuits with a constant uniform width”, Dokl. Math., 102:3 (2020), 502–504