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

UptoLike

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

§3
L Σ
L
S
Σ
S
T
A
T
Σ
L
Σ
S
p(n)
w Σ
L
T q
1
a
0
wa
0
q
1
a
0
ua
0
...a
0
u Σ
S
p(|w|)
w L ⇐⇒ u S.
|u|≤p(|w|)
NP
NP
L NP NP
S NP
NP
NP
NP
NP
L Σ NPTIME
T q(n) p(n)
Σ ⊆A
T
\{a
0
}
w Σ u A
T
\{a
0
}
T q
1
a
0
wa
0
ua
0
p(|w|+ |u| +1)
w Σ
w L
v A
T
\{a
0
} |v|≤q(|w|)
q
1
a
0
wa
0
va
0
T
q
0
a
0
a
1
a
0
...a
0
p(|w| + |v| +1)
v