, , .
, , .
. , , - . , , , , .
, - , .. . , , , . , , . , .
. , , . , , . KR, - KU.
, , , , .
, .
, .
( KU, KR).
, , :
= KU[]
, :
= DKR[C] = DKR[EKU[M]]
, KU, KR.
, KU , .
, :
:
= KU[DKR[M]]
, . , , , .
|
|
Y = f(X) | |
X = f-1(Y) |
"" , . , n , na, - . , , . "" . , , . , n , 2n, . , , . , . , .
, , . . , fk ,
Y = fk(X) - , k |
X = fk-1(Y) - , k Y |
= fk-1(Y) - , Y , k |
, .
/, .