Элементы теории алгоритмов - 137 стр.

UptoLike

ВУЗ: 

ЯрГУ | Ярославль

Составители: 

Рубрика: 

§1
f
#
(x
1
,...,x
n
, 0) = 1,
f
#
(x
1
,...,x
n
,y+1) = f
#
(x
1
,...,x
n
,y) · p
f(x
1
,...,x
n
,y)
y
=
f
#
(x
1
,...,x
n
,y) · p
h(x
1
,...,x
n
,y,f
#
(x
1
,...,x
n
,y))
y
f
#
(x
1
,...,x
n
,y)
h(x
1
,...,x
n
,y,z) f(x
1
,...,x
n
,y).
f(x
1
,...,x
n
,y)
h(x
1
,...,x
n
,y,z) f
#
(x
1
,...,x
n
,y)
f(x
1
,...,x
n
,y)=ex(y, f
#
(x
1
,...,x
n
,y+1)).
S(x
1
,...,x
n
,y,z)
R(x
1
,...,x
n
,y)
R(x
1
,...,x
n
,y) ⇐⇒ S(x
1
,...,x
n
,y,(χ
R
)
#
(x
1
,...,x
n
,y)).
S(x
1
,...,x
n
,y,z)
R(x
1
,...,x
n
,y)
(χ
R
)(x
1
,...,x
n
,y)
R(x
1
,...,x
n
,y)
(χ
R
)(x
1
,...,x
n
,y)=(χ
S
)(x
1
,...,x
n
,y,(χ
R
)
#
(x
1
,...,x
n
,y)).
R(x
1
,...,x
n
,y)
χ
R
(x
1
,...,x
n
,y)=1 z>y
ex(y,(χ
R
)
#
(x
1
,...,x
n
,z)) = 1
Trm(x) x
WIC(x) ∨ WVbl(x) ∨
(∃u)
u<x
(∃v)
v<x
(∃t)
t<x
(Trm(u)&Trm(v)&WFL(t)&
x =2
3
∗ u ∗ t ∗ v ∗ 2
5
).

Страницы