RUS  ENG
Полная версия
ЖУРНАЛЫ // Дискретный анализ и исследование операций // Архив

Дискретн. анализ и исслед. опер., 2015, том 22, выпуск 1, страницы 51–63 (Mi da806)

Эта публикация цитируется в 4 статьях

Проверяющие тесты для булевых функций при линейных локальных неисправностях входов схем

Е. В. Морозов, Д. С. Романов

Московский гос. университет им. М. В. Ломоносова, ул. Ленинские горы, 1, 119992 Москва, Россия

Аннотация: Под линейным локальным $k$-кратным слипанием переменных понимается подстановка вместо данных переменных линейной булевой функции, зависящей от них. В настоящей работе изучаются проверяющие тесты относительно подобных неисправностей. Известные ранее результаты в двух случаях доводятся до асимптотики, в третьем случае находится порядковая оценка. Библиогр. 5.

Ключевые слова: тест, булева функция, слипание.

УДК: 519.718

Статья поступила: 11.07.2014

DOI: 10.17377/daio.2015.22.457


 Англоязычная версия: Journal of Applied and Industrial Mathematics, 2015, 9:2, 263–270

Реферативные базы данных:


© МИАН, 2024