§5. Контактные схемы и π-схемы, оценка их чи сла 59
Будем называть (1, m)-КС приведенной, если все
изолированные вершины Σ являются ее полюсами,
а все контакты и остальные вершины Σ принадлежат
простым проводящим цепям, соединяющим ее вход и
выходы. При этом КС
b
Σ, которая получается из КС Σ
удалением «лишних», то есть не принадлежащих цепям
указанного вида, неполюсных вершин и контактов, является
эквивалентной Σ приведенной КС такой, что L(
b
Σ) 6
L (Σ). Заметим, что приведенная КС не содержит петель, а
приведенная КС, не реализующая нулевых ФАЛ, является
связным графом. Так, КС, показанная на рис. 5.3c, не
является приведенной, а соответствующая ей приведен ная
КС получается из нее удалением вершины v.
Рассмотрим теперь некоторые оценки числа контактных
схем различных типов. Пусть U
K
и U
π
— множество всех КС
из неориентированных контактов и множество всех π-схем
соответственно. Если U
A
— один из указанных классов схем,
то через U
A
(L, n) будем обозначать множество приведенных
(1, 1)-схем Σ из U
A
от БП X (n), для которых L (Σ) 6 L.
Для любого множества схем U в соответствии с §1 через
|U| и kUk будем по-преж нему обозначать число попарно
не изоморфных и попарно не эквивалентных схем в U
соответственно. При этом для любого из введенных выше
множеств схем неравенст во (1.7) будет вып олняться.
Лемма 5.2. При любых натуральных L и n выполняется
неравенство
kU
π
(L, n)k 6 (64n)
L
. (5.2)
Доказательство. В силу леммы 5.1, достаточно доказать,
что число попарно не эк вива лент ных формул F (x
1
, . . . , x
n
)
с поднятыми отрицаниями над базисом Б
0
, для которых
R (F) 6 L, не превосходит (64n)
L
. Для этого сопоставим
формуле F указанного вида формулу F
0
из U
Φ
{&,∨}
от БП
x
1
, . . . , x
2n
, которая получается из F заменой каждой ее