О некоторых достаточных условиях равномерности систем функций многозначной логики
Для произвольной конечной системы A функций k-значной логики, принимающих значения из множества E_s= 0,..., s-1, k\geq s\geq 2, такой, что замкнутый класс, порожденный ограничением функций из A на множество E_s, содержит мажоритарную функцию, доказано существование констант c и d, таких, что для любой функции f\in [A] глубина D_A (f) и сложность L_A (f) функции f в классе формул над A связаны соотношением D_A (f) \leq c\log_2L_A (f) +d.
Авторы
Тэги
Тематические рубрики
Предметные рубрики
В этом же номере:
Резюме по документу**
Для произвольной конечной системы A функций k-значной логики, принимающих значения из множества E_s= 0,..., s-1, k\geq s\geq 2, такой, что замкнутый класс, порожденный ограничением функций из A на множество E_s, содержит мажоритарную функцию, доказано существование констант c и d, таких, что для любой функции f\in [A] глубина D_A (f) и сложность L_A (f) функции f в классе формул над A связаны соотношением D_A (f) \leq c\log_2L_A (f) +d. <...> Для произвольной конечной системы A функций k-значной логики, принимающих значения из множества E_s= 0,..., s-1, k\geq s\geq 2, такой, что замкнутый класс, порожденный ограничением функций из A на множество E_s, содержит мажоритарную функцию, доказано существование констант c и d, таких, что для любой функции f\in [A] глубина D_A (f) и сложность L_A (f) функции f в классе формул над A связаны соотношением D_A (f) \leq c\log_2L_A (f) +d. <...>
** - вычисляется автоматически, возможны погрешности
Похожие документы: