Math-Net.

Ru
All Russian mathematical portal

O. B. Lupanov, Implementing the algebra of logic

functions in terms of bounded depth formulas in the
basis of &, ∨, − , Dokl. Akad. Nauk SSSR, 1961,
Volume 136, Number 5, 1041–1042

Use of the all-Russian mathematical portal Math-Net.Ru implies that you

have read and agreed to these terms of use
http://www.mathnet.ru/eng/agreement

Download details:
IP: 147.52.67.72
July 17, 2019, 15:43:19
 Доклады Академии наук СССР
1961. Том 136, № 5

КИБЕРНЕТИКА И ТЕОРИЯ РЕГУЛИРОВАНИЯ

О. Б. ЛУПАНОВ

О Р Е А Л И З А Ц И И ФУНКЦИЙ АЛГЕБРЫ ЛОГИКИ ФОРМУЛАМИ

ОГРАНИЧЕННОЙ Г Л У Б И Н Ы В БАЗИСЕ &, \ Д "

(Представлено академиком М. В. Келдышем о VIII 1960)

Важное место в математической проблематике кибернетики занимает

изучение асимптотических закономерностей сложности управляющих си­
стем «Мощность» или «производительность» того или иного типа управ­
ляющих систем может определяться сложностью наилучшей реализации
посредством этих систем функций определенного класса. В настоящей за­
метке рассматриваются формулы ограниченной глубины в базисе &, V»~>
2 3
включающие дизъюнктивные и конъюнктивные нормальные формы ( , ) и
их обобщения, и показывается, что с точки зрения асимптотики функции
4 5
Шеннона ( , ) формулы глубины 3 эквивалентны формулам любой большей
глубины (формулы глубины 2, т. е. нормальные формы, этим свойством
не обладают).
Определим по индукции некоторые специальные классы формул, яв­
ляющиеся обобщениями дизъюнктивных и конъюнктивных нормальных
форм.
0
Класс A° = А ^ состоит из формул
v

Х\, X 2 l . • •) Xtit • • • >-^1> Х ->

2 • • • >-^/2> • • •

k
Класс A v определяется следующим образом:
h l к
1) A ~ С~ А :
k
2) если F eA , F £A\, то (F V F )б A ;
x
h
w 2 x 2 v

k
3) класс A не содержит никаких других формул, кроме предусмот­
y

ренных пп. 1) и 2).

1 2
Класс А ^ определяется двойственным образом ( ).
Пусть далее
00

А 00
= U А%
со со

(очевидно, что (J А* = [J А\).

Например,
(((*i&* ) V (*!&* )) V
2 3 б А\\
( ( ( ( * i V (х & * ) ) & х ) V х ) & (х V~x )) б А^.
2 (j у
8 А ъ г 2

Введем обычным образом функции Шеннона. Пусть £ | ( f ) (соответ­

ственно L | (п)) — наименьшее число символов переменных, достаточное
для реализации функции / (соответственно любой функции алгебры ло­
&
гики от п аргументов) формулой из класса Л* (k = 2, 3, . . .; £ = V,
1041
или k — о с и I — пустой символ). В силу принципа двойственности
Lb (n)
v = L* (n). &

k
Это общее значение обозначим через L (n).
При определенной так функции Шеннона (где число скобок не влияет
2
на сложность формулы) по существу А есть класс дизъюнктивных нор­ у

мальных форм, Л|. —класс конъюнктивных нормальных форм, Л*, —

6
класс «сумм произведений сумм» переменных или их отрицаний ( ) и т. д.
В этом смысле формулы (1) «эквивалентны» формулам
хх х 2 V хх г 3 Vх; 4 ((х V х х )
г 2 3 х± V х ) (х У ъ г х ).
2

Легко видеть, что

3
L (п) > L (п) > . . . > L (п) >
2 h
. . . > 1°° (п).
Т е о р е м а * . При & 3

причем для любого е > 0 доля функций f от аргументов х ...,х ,

ъ п

для которых

т ЩЬ\{1),1^1))^(\-г)^,

стремится к нулю с ростом п.

Этот результат является в определенном смысле окончательным, по­
скольку, как известно, при п^>2
2 п 2
L (п) = п-2 - .
Доказательство теоремы,ввиду того, что L°° (f) ^ ( 1 —е) 27log п, состоит в 2

указании метода построения для каждой функции f (х .. ., х ) алгебры и п

логики формулы из А^ для нее, содержащей асимптотически не более

n
2 /\og n 2 символов переменных. Этот метод позволяет для почти всех
функций строить асимптотически наилучшие формулы из A^(k^3), так
как Л у С Л у .
Математический институт им. В. А. Стеклова Поступило
Академии наук СССР 2 VIII 1960

ЦИТИРОВАННАЯ ЛИТЕРАТУРА
1 2
С. В. Я б л о н с к и й , Сборн. Пробл. кибернетики, в. 2, 7 (1959). Д . Г и л ь-
3
берт, В. А к к е р м а н , Основы теоретической логики, И Л , 1947. С. В. Я б л о н ­
с к и й , Тр. Матем. инст. им. В. А. Стеклова АН СССР, 5 1 , 5 (1958). J . R i о г d а п, 4

С. Е. S h a n n o n , J . Math, and Phys., 2 1 , № 2, 83 (1942). С. E.Shannon, б

Bell Syst. Techn. J . , 28, № 1, 59 (1949). 6

S. A b h y a n k a r , Trans. I R E , EC-7, № 4,
268 (1958). С. E. S h a n n о n, Trans. Am. Inst. Electr. Eng., 57, 713 (1938).
7
О. Б . 8

Л у п а н о в , Д А Н , 128, № 3, 464 (1959). О. Б . Л у п а н о в, Сборн. Пробл. ки­ 9

бернетики, в. 3, 61 (1960).

7
* В терминах контактных параллельно-последовательных схем Шеннон показал ( ),
п 1 4
что L°° (п)<^3-2 ~ —2, а Риордан и Шеннон ( ), что для любого s > 0 доля ф у н к ц и й /
n
от аргументов х . . ., х , для которых L°° (f) < (1 — е) 2 /\og
ъ п п стремится к нулю с ростом z

0 0 rt 8 9 п
п, и, следовательно, L (а) ^ 2 / l o g / z . Автор показал ( , ), что L°° (п) ~ 2 / log п и
2 2

8 4 n
что ( ) Z, (п) ~ 2 l logs п.
1042