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

UptoLike

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

§4 NP
G k G
k
G G
1
G
1
G
V
1
V G =(V,E)
e
E
V
1
G
k G k
G
G
G k
1 k k
k
G k
G
k Gk
NP
NP
F
F = A
1
& ... & A
m
.
F G(F ) x
ε
i
,j
x
ε
i
A
j
x
i
ε ∈{1, 1}
x
1
i
¬x
i
x
ε
i
,j x
δ
t
,s
j = s x
ε
i
x
δ
t
x
ε
i
= x
δ
t
G(F ) m
F
F
α
1
α
n
A
j
x
ε
i,j
i
ε
i,j
= α
i