УДК 519.6
О реализации линейной функции формулами в различных базисах / Черухин Д.Ю. // Вестн. Моск. ун-та. Сер. 1,
Математика. Механика.
C. 15-19.
Исследуется сложность реализации линейной булевой функции
формулами в различных базисах.
Все базисы удалось разбить на три типа: в базисах первого типа сложность
линейной функции по порядку равна
;
в базисах второго -- по порядку не меньше, чем
, и
не больше, чем
, где
(константы
и
вычисляются по базису);
в базисах третьего типа по порядку равна
.
Библиогр. 8.