403
правки
Изменения
это вообще кто-нибудь проверял?
<tex>check(\phi, i)</tex>:
'''if''' <tex>\phi=0</tex>
'''returnexit''' 0
'''if''' <tex>\phi=1</tex>
'''return''' 1
'''exit''' <tex>0</tex>
'''return''' <tex>memo[f(\phi)]</tex>
[[Файл:Berman-Fortune.png|thumb|rightupright=2.0|Двоичное дерево, получающееся в результате рекурсивных вызовов модифицированной программы. Красным и желтым помечены узлы, в которых происходит обращение к элементу ''memo[j]''. В красных узлах условие ''(1)'' ложно, в желтых {{---}} истинно.]]
Рассмотрим двоичное дерево, получающееся в результате рекурсивных вызовов данной программы.
