|
|
Интеллектуальные системы. Теория и приложения, 2025, том 29, выпуск 2, страницы 162–172
(Mi ista563)
|
|
|
|
Часть 3. Математические модели
О растущей нижней оценке функции
Шеннона длины единичного
проверяющего теста при константных
неисправностях на выходах элементов в
формулах над базисами, близкими к
стандартному
Ч. Цуй, Д. С. Романов Московский государственный университет имени М. В. Ломоносова, факультет вычислительной математики и кибернетики
Аннотация:
В статье установлены асимптотически равные числу переменных нижние оценки функций Шеннона длины единичного проверяющего теста при константных неисправностях на выходах элементов в булевых формулах над базисами $ \{x\mathbin{\&}y,\,x\vee y,\,\bar x\}$, $\{x\mathbin{\&}y,\,\bar x\}$, $\{x\vee y,\,\bar x\}$, $\{x\mathbin{\&}{\bar y},\,\bar x\}$, $\{x\vee {\bar y},\,\bar x\}$.
Ключевые слова:
проверяющий тест, константные неисправности, булева формула
Образец цитирования:
Ч. Цуй, Д. С. Романов, “О растущей нижней оценке функции
Шеннона длины единичного
проверяющего теста при константных
неисправностях на выходах элементов в
формулах над базисами, близкими к
стандартному”, Интеллектуальные системы. Теория и приложения, 29:2 (2025), 162–172
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/ista563 https://www.mathnet.ru/rus/ista/v29/i2/p162
|
|