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

UptoLike

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

§6 NP
R
O S O
(s, o) S × O P (s, o) R
s o
r
1
P (s
1
,o
1
)&r
2
P (s
2
,o
2
)& ... & r
n
P (s
n
,o
n
),
C
1
,C
2
, ... C
m
,
C
i
r P (s, o)
r P (s, o)
r R
C
P (s, o) r
r
s
o
s
o
NP
NP
NP NP
NP
NP
Σ A
1
A
2
A
m
B
1
B
2
B
m
n