TEORIA ZOONOCI OBLICZENIOWEJ
Układ sterujący
Deterministyczna maszyna Turinga (DTM)
Taśma nieskończonej długości
Głowica
zapisująco-
odczytująca
# 1 1 0 1 0 1 0 #
q
0
q
0
q
1
q
Y
q
N
(1,1,+1)
(0,0,+1)
(#,#,-1)
(0,0,+1)
(1,1,+1)
# 1 1 0 1 0 1 0 #
q
0
q
0
q
1
q
Y
q
N
(1,1,+1)
(1,1,+1)
(0,0,+1)
(#,#,-1)
(0,0,+1)
(1,1,+1)
# 1 1 0 1 0 1 0 #
q
0
q
0
q
1
q
Y
q
N
(1,1,+1)
(1,1,+1)
(0,0,+1)
(#,#,-1)
(0,0,+1)
(1,1,+1)
# 1 1 0 1 0 1 0 #
q
0
q
0
q
1
q
Y
q
N
(1,1,+1)
(1,1,+1)
(0,0,+1)
(#,#,-1)
(0,0,+1)
(1,1,+1)
# 1 1 0 1 0 1 0 #
q
0
q
0
q
1
q
Y
q
N
(1,1,+1)
(1,1,+1)
(0,0,+1)
(#,#,-1)
(0,0,+1)
(1,1,+1)
# 1 1 0 1 0 1 0 #
q
0
q
0
q
1
q
Y
q
N
(1,1,+1)
(1,1,+1)
(0,0,+1)
(0,0,+1)
(#,#,-1)
(0,0,+1)
(1,1,+1)
# 1 1 0 1 0 1 0 #
q
0
q
0
q
1
q
Y
q
N
(1,1,+1)
(1,1,+1)
(0,0,+1)
(#,#,-1)
(0,0,+1)
(1,1,+1)
# 1 1 0 1 0 1 0 #
q
0
q
0
q
1
q
Y
q
N
(1,1,+1)
(1,1,+1)
(0,0,+1)
(#,#,-1)
(0,0,+1)
(1,1,+1)
# 1 1 0 1 0 1 0 #
q
0
q
0
q
1
q
Y
q
N
(1,1,+1)
(1,1,+1)
(0,0,+1)
(#,#,-1)
(0,0,+1)
(1,1,+1)
# 1 1 0 1 0 1 0 #
q
0
q
0
q
1
q
Y
q
N
(1,1,+1)
(1,1,+1)
(0,0,+1)
(0,0,+1)
(#,#,-1)
(0,0,+1)
(1,1,+1)
# 1 1 0 1 0 1 0 #
q
0
q
0
q
1
q
Y
q
N
(1,1,+1)
(1,1,+1)
(0,0,+1)
(#,#,-1)
(0,0,+1)
(1,1,+1)
# 1 1 0 1 0 1 0 #
q
0
q
0
q
1
q
Y
q
N
(1,1,+1)
(1,1,+1)
(0,0,+1)
(#,#,-1)
(0,0,+1)
(1,1,+1)
# 1 1 0 1 0 1 0 #
q
0
q
0
q
1
q
Y
q
N
(1,1,+1)
(1,1,+1)
(0,0,+1)
(#,#,-1)
(0,0,+1)
(1,1,+1)
# 1 1 0 1 0 1 0 #
q
0
q
0
q
1
q
Y
q
N
(1,1,+1)
(1,1,+1)
(0,0,+1)
(0,0,+1)
(#,#,-1)
(0,0,+1)
(1,1,+1)
# 1 1 0 1 0 1 0 #
q
0
q
0
q
1
q
Y
q
N
(1,1,+1)
(1,1,+1)
(0,0,+1)
(#,#,-1)
(0,0,+1)
(1,1,+1)
# 1 1 0 1 0 1 0 #
q
0
q
0
q
1
q
Y
q
N
(1,1,+1)
(1,1,+1)
(0,0,+1)
(#,#,-1)
(#,#,-1)
(0,0,+1)
(1,1,+1)
# 1 1 0 1 0 1 0 #
q
0
q
0
q
1
q
1
q
Y
q
N
(1,1,+1)
(1,1,+1)
(0,0,+1)
(#,#,-1)
(0,0,+1)
(1,1,+1)
# 1 1 0 1 0 1 0 #
q
0
q
0
q
1
q
1
q
Y
q
N
(1,1,+1)
(1,1,+1)
(0,0,+1)
(#,#,-1)
(0,0,+1)
(0,0,+1)
(1,1,+1)
# 1 1 0 1 0 1 0 #
q
0
q
0
q
1
q
1
q
Y
q
Y
q
N
(1,1,+1)
(1,1,+1)
(0,0,+1)
(#,#,-1)
(0,0,+1)
(1,1,+1)
Układ sterujący
Niedeterministyczna maszyna Turinga (NDTM)
Taśma nieskończonej długości
Głowica
zapisująco-
odczytująca
Układ zgadujący
Głowica
zapisująca
czas
1
2
3
3
4
s=<1,2,3,4>
C
3
czas
s(k)
s(k+1)
czas
s(k)
s(k+1)
s=<s(1),....s(k-1),s(k),s(k+1),...,s(n)>
s’=<s(1),....s(k-1),s(k+1),s(k),...,s(n)>
.........
.........
.........
.........
Przykład:
Zatem możemy przedstawić następujący algorytm znalezienia
optymalnej wartości plecaka:
Wszystkie problemy decyzyjne
N
ie
r
z
s
tr
z
y
a
ln
e
o
g
NP
P
NP-zupełne
silnie
NP-zupełne