Избранное
ЭБ Нефть
и Газ
Главная
Оглавление
Поиск +
Еще книги ...
Энциклопедия
Помощь
Для просмотра
необходимо:


Книга: Главная » Петер Р.N. Рекурсивные функции
 
djvu / html
 

90 РЕКУРСИВНЫЕ ФУНКЦИИ
Тогда
Ми- ••»<>/•) ф(/, Д)-1
5) ? a(l,al,...,a,)< ? ф(*, max(/, о)).
/-0 <=0
Наибольшее значение, которое здесь может принять аргумент /, есть
<]>(/, с)-1<ф(/, с).
Далее, <Ь (/, а) > а и, следовательно,
max (/, а)<<]> (/, а). Отсюда, в силу монотонности функции ф, получаем неравенство
, тах(/, а))<
«=0
, о)=ф(тах(/, Поэтому, полагая
имеем
Р («1 ..... а^
(-0
6) Аналогично получаем, что при с> 1 справедливы неравенства
P(ai."..a» <И/. д)-1
П « (/,«!,..., а,)< П Ф(*. max(/, а))<
t-О >-0
Ф (Г, а)-1
< П Ф (А, Ф (Л «))=Ф (*,. Ф С, «))* (r> a) < i-o
), с).
Следовательно, если положить
m=max(/+2fc+l,/+2), то .
9 (at ..... аг)
П а(1,а1,...,ау)<фК с). «-о

 

1 10 20 30 40 50 60 70 80 90 91 92 93 94 95 96 97 98 99 100 110 120 130 140 150 160 170 180 190 200 210 220 230 240 250 260


Математика