"
"
"
"
"
"
"
"
"
"
"
"
"
" "
"
"
"
"
"
"
"
"
"
"
"
d b [logb d] + 1
"
"
"
" A m f(k1, ..., km)
ki xi i = 1, ..., m
A(x1, ..., xm) f(k1, ..., km)
d1 dm
f(k1, ..., km) = k1 ....km d1, ..., dm " N
"
"
" P
" NP
P ‚" NP P = NP
" NP
P P = NP
"
"
"
"
"
"
" A
" M
" C
"
" A
M, C, K E : M × K C D : C × K M
e " K Ee := E(·, e) : M C d " D Dd := D(·, d) : C M
" e " K "! d " K " m " M Dd(Ee(m)) = m.
" (e, d)
240 - 1
"
"
"
"
"
" "
"
A, B
K A
M C K {Ee}e"K
{Dd}d"K
" M
" M = An m " M
m = (a1, ..., an) ai " A i = 1, ..., n
n m " M
n
Ee(m) m " M e " K
"
"
" e " K
d (e, d) e = d
d e
M = An K = Sn
{1, ..., n} m = (a ..., an) ai " A i = 1, ..., n e " K
,
Ee(m) = c = (ae(1), ..., ae(n)) d = e-1
e m1, ..., mk
 n!
k
kn K = Sn m = (m1, ..., mk)
mi " An i = 1, ..., k e = (e1, ..., ek) " K ei " Sn i = 1, ..., k
Ee(m) = (Ee (m1), ..., Ee (mk)) i = 1, ..., k Ee
1 k i
" e " K
d " K d e
d
e
e d
e d
d e
e m
d
c = Ee(m) c