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

UptoLike

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

§6 NP
NP
(a
i
[1],b
i
[1]), ...,a
i
[m],b
i
[m])
1 i n i j b
i
[j] 0
m
Σ
j=1
a
i
[j] x
b
i
NP
a b c
d n
ad
2
+ bn = c
F (x
1
, ...,x
n
)=0,
F (x
1
, ...,x
n
)
Z
2
P
i
(x
1
,...,x
n
) 1 i m Z
2
Z
2
m
&
i=1
P
i
(x
1
,...,x
n
)=0?
m =1
(a[1],b[1]), ...,a[m],b[m])
j b[j] 0 N
m
Σ
j=1
a
i
[j] x
b
i
NP
(a
i
[1],b
i
[1]), ...,a
i
[m],b
i
[m])