Тестирование по ОК2 big (1133189), страница 3
Текст из файла (страница 3)
U C Э Σ
LC (f)>=n-1
-
Определение функции Шеннона LФ(n) и её верхняя нижняя оценка, получаемая с помощью моделирования совершенной ДНФ на основе контактного дерева.
L(n) = max L(f), f принадлежит P2(n)-Функция Шеннона для класса UФ относительно функционала сложности L.
-
Нижняя мощностная оценка функции Шеннона Lk(n) и то соотношение, из которого она выводится.
γ = 1, a= 8n, y = LK(n), если U = UK;
-
Верхняя оценка функции Шеннона D(n), получаемая асимптотически наилучшим способом
-
Определение регулярного множества наборов единичного куба и формулировка утверждения о разбиении куба на такие подмножества.
Множество δ, δ ⊆ Bq, называется m-регулярным множеством наборов куба Bq, если m < q, |δ| = 2m, и все префиксы длины m наборов из δ различны. Для любого m-регулярного множества наборов δ, δ ⊆ Bq, система множеств ∆ = (δ1, . . . , δ2q−m), где δi = δ⊕α и ν (α) = i−1 при всех i, i = 1, . . . , 2q−m, образует разбиение куба Bq на m-регулярные подмножества.
-
Определение сложности Lk(f) ФАЛ f(x1…xn) в классе КС и её тривиальная нижняя оценка для существенной ФАЛ f.
Lk (f)>=n
-
Определение функции Шеннона D(n) и её верхняя оценка, получаемая с помощью моделирования совершенной ДНФ.
D(n) = max D(f), f принадлежит P2(n)-Функция Шеннона для класса U относительно функционала глубины D.
-
Нижняя мощностная оценка функции Шеннона LC(n) и то соотношение, из которого она выводится.
γ = 1, a= 32, y= LC(n) + n, если U = UC;
-
Верхняя оценка функции Шеннона LФ(n), получаемая асимптотически наилучшим способом.
LФ(n)<2n/logn
-
Определение ДУМ и описание стандартного ДУМ.
Множество ФАЛ G, G ⊆ P2 (m), называется дизъюнктивно-универсальным множеством (ДУМ) порядка m и ранга p, если любая ФАЛ g, g ∈ P2 (m), может быть представлена в виде g = g1 ∨ . . . ∨ gp, где gi ∈ G при всех i, i = 1, . . . , p. Стандартный способ построения таких множеств связан с разбиениями единичного куба. Пусть Π = (π1, . . . , πp) — разбиение куба Bm, и пусть для всех i, i = 1, . . . , p, ФАЛ χi (x1, . . . , xm) — характеристическая ФАЛ множества πi, а G(i) — множество всех тех ФАЛ g, g ∈ P2 (m), которые обращаются в 0 вне πi. Заметим, что множество ФАЛ G вида
G = G(1) ∪ . . . ∪ G(p) является ДУМ порядка m и ранга p. Действительно, любая ФАЛ g, g ∈ P2 (m), может быть представлена в виде g = g1 ∨ . . . ∨ gp, где gi = χig и, следовательно, gi ∈ G(i) для всех i, i = 1, . . . , p.
-
Определение сложности LФ(f) ФАЛ f(x1...xn) в классе формул и её тривиальная нижняя оценка для существенной ФАЛ.
LФ(f)=minL(Σ) - сложность ФАЛ f в классе UФ относ функционала L
Σ реал f,
UФ Э Σ
LФ(f)>=n-1
-
Определение функции Шеннона Lk(n) и её верхняя оценка, получаемая методом Шеннона.
L(n) = max L(f), f принадлежит P2(n)-Функция Шеннона для класса Uk относительно функционала сложности L.
-
Нижняя мощностная оценка функции Шеннона D(n) и то соотношение, из которого она выводится.
Аналогичным образом на основе неравенства и равенства c использованием леммы 4.1, где q = 22n,y = 2D(n), γ = 0, α = 1 и a = 64n, устанавливается справедливость при ε (n) = 12/log n.
-
Верхняя оценка функции Шеннона LC(n), получаемая асимптотически наилучшим способом.
-
Формулировка утверждения, из которого следует минимальность контактного дерева в классе разделительных КС.















