. , . , .
, , , , , . , , , , , . . 11.8. , - , . , , , , . , , .
II. Prolog
. 11.8. : ) , ; ) , , , , 11.3
, , . , ( ). . , , . , , . , .
- , . ( ), . , 12.
, , . , , , . , . , . , , , b . , d, d . d . ". (). , , .
|
|
. , , , .
d.
11.
, , , :
1 + b ■ to2 + b 3 +...
, , (), Qjb^). , , 0(bd).
, . , draaK, , d < cW ). C(dms*).
, , , . , , , .
(d + 1) : , I,..., d. 0!d). {d + 1) , d .. : (d+l)*l + d*b + (d-l}*b2 +... + l*bd
0(bd;. . , , , /! b - 1). 2 , . ( ) ( ) .
|
|
( 11.10-11.12). , ( ), . , b , . , d, , ; , . , , , d/2. , . d , , , d/2. . 11.1 , .
244 II. Prolog
11.1. , . b - , d - , d, , d_< dr.
:
" | b | |||
b<W | ■drrai | l-.Cl | ||
" | d | |||
, | bd/2 | /3 |
- , . - , , . . . , , . . , , . .
.
- , , . . . .
, .
, , , .
, . : .
|
|
, . .
, .
, . .
.
11.
. . .
;
;
, , ;
;
;
;
;
;
.