Обсуждение участника:Sancho20021

Теорема о нижней оценке на число элементов в схеме

Теорема:

Большинство булевых функций требуют для реализации порядка [math]\Omega(\frac{2^n}{n})[/math] функциональных элементов, где [math]n[/math] — количество аргументов функции. Формальная запись теоремы: [math]f(n) = \frac{2^n}{n} \; \; \; g(n): \frac{g}{f} \longrightarrow 0[/math] [math]F_g = \{\text{Булевы функции, } size \leq g(n)\}[/math] Тогда [math]\frac{|F_g|}{2^{2^n}} \longrightarrow 0[/math]

Доказательство:

[math]\triangleright[/math]

Алабудай балабулабудай. тудудум.

[math]\triangleleft[/math]