О ДЛИНЕ СЕРТИФИКАТА ПОВТОРНОСТИ В НЕКОТОРЫХ РАСШИРЕННЫХ ЭЛЕМЕНТАРНЫХ БАЗИСАХ
Рассматривается следующая задача: требуется найти такой набор строк (сертификат). С помощью которой) можно проверить повторность функций п переменных в заданном базисе. В работе получены нижние логарифмические оценки функции Шеннона длины сертификата для всех функций п переменных в базисах, состоящих из конъюнкции, дизъюнкции, отрицания и одной из монотонных функций Стеценко. Тем самым доказано, что единственным базисом, для которого длина сертификата повторности ограничена константой, является элементарный.
Авторы
Тэги
Тематические рубрики
Предметные рубрики
В этом же номере:
Резюме по документу**
Рассматривается следующая задача: требуется найти такой набор строк (сертификат). <...> С помощью которой) можно проверить повторность функций п переменных в заданном базисе. <...> В работе получены нижние логарифмические оценки функции Шеннона длины сертификата для всех функций п переменных в базисах, состоящих из конъюнкции, дизъюнкции, отрицания и одной из монотонных функций Стеценко. <...> Тем самым доказано, что единственным базисом, для которого длина сертификата повторности ограничена константой, является элементарный. <...> Рассматривается следующая задача: требуется найти такой набор строк (сертификат). <...> С помощью которой) можно проверить повторность функций п переменных в заданном базисе. <...> В работе получены нижние логарифмические оценки функции Шеннона длины сертификата для всех функций п переменных в базисах, состоящих из конъюнкции, дизъюнкции, отрицания и одной из монотонных функций Стеценко. <...> Тем самым доказано, что единственным базисом, для которого длина сертификата повторности ограничена константой, является элементарный. <...>
** - вычисляется автоматически, возможны погрешности
Похожие документы: