|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
О тестах относительно примитивных сдвигов переменных в булевых функцияхстатья
- Авторы: Романов Д.С., Антюфеев Г.В.
- Журнал: Вопросы радиоэлектроники
- Номер: 2
- Год издания: 2013
- Первая страница: 64
- Последняя страница: 68
- Аннотация: В статье изучаются проверяющие и диагностические тесты относительно примитивных сдвигов влево переменных в булевых функциях от переменных $x_1, x_2, …, x_n$ (взятых в этом порядке). Примитивный сдвиг переменных влево заключается в одновременном увеличении индексов всех переменных на некоторое натуральное число и в подстановке на места переменных с индексами, бóльшими $n$, некоторых констант. Устанавливается точное значение 2 функции Шеннона длины полного проверяющего теста и порядок роста $\Theta(2^{n/2})$ функции Шеннона длины полного диагностического теста.
- Добавил в систему: Романов Дмитрий Сергеевич