142
правки
Изменения
→Более простое и понятное построение: Новая тема
| 1 || 1 || 1 || g(generate) || Порождение переноса
|}
== Более простое и понятное построение ==
Есть [http://compsciclub.ru/sites/default/files/slides/20100930_proof_complexity_hirsch_lecture03_0.pdf тут] на втором слайде. Там есть формула для каждого переноса, верна она как раз из соображений, которые сейчас в этой статье излагаются про сохранения переносов. А логарифмическая глубина получается потому, что большую конъюнкцию/дизъюнкцию можно сбалансировано раскрыть. --[[Участник:Roman Kolganov|Roman Kolganov]] 07:35, 22 января 2014 (GST)
