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

UptoLike

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

NP NP
NP
NP NP n
n 5 NP
Z[
d] d
(a
1
,b
1
) (a
n
,b
n
)
a
i
=(a
i
[0],a
i
[1],...,a
i
[m])
b
i
=(b
i
[0],b
i
[1],...,b
i
[m])
1 i n
x
1
x
m
n
&
i=1
(a
i
[0] + a
i
[1]x
1
+ ...+ a
i
[m]x
m
) | (b
i
[0] + b
i
[1]x
1
+ ...+ b
i
[m]x
m
)?
+ |
(a
1
,b
1
) (a
n
,b
n
)
d
a
i
d b
j
d
(a
1
,b
1
) (a
n
,b
n
)
d
n
i=1
(d
b
i
1)
n
i=1
(d
a
i
1)
(a
1
,b
1
) (a
n
,b
n
)
n
i=1
(x
b
i
1)
n
i=1
(x
a
i
1)
NP
(a
i
[1],b
i
[1]), ...,a
i
[m],b
i
[m])
1 i n i j b
i
[j] 0
N
n
i=1
(
m
Σ
j=1
a
i
[j] x
b
i
)
x
N
1