Теормин (все билеты, кроме 12-14) (Мадорский) (1133375), страница 7
Текст из файла (страница 7)
Обозначим через UK(p,q) множество всех (p, q) - самокорKректирующхся КС и заметим, что UK(0,0) = U .Лемма 2.1. Для любых p > 0, q > 0 и любой КС Σ существует эквивалентная ей КС Σ′ , Σ′ ∈ UK(p,q) , для которойL(Σ′ ) 6 (p + 1)(q + 1)L(Σ).Будем называть однородной любую связную КС с неразделенными полюсами, состоящую из контактов одного итого же типа.Представление КС Σ в виде объединения ее однородныхподсхем без общих контактов будем называть однороднымразбиением КС Σ.Лемма 2.2. Для любой КС Σ существуют эквивалентныеей (1, 0)- и (0, 1)-самокорректирующиеся КС Σ′ и Σ′′ соответственно такие, чтоL(Σ′ ) 6 L(Σ) + ζ(Σ), L(Σ′′ ) 6 L(Σ) + ζ(Σ).Теорема 2.1. Для n = 1, 2, ... имеет место следующиеnасимптотические равенства LK (n) ∼ LK (n) ∼ 2 .(1,0)(0,1)nЛемма 2.3.
Для n = 1, 2, . . . имеют место равенстваKLK(0,1) (ℓn ) = L(0,1) ℓn = 4n..