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
0q
0q
1q
Yq
N(1,1,+1)
(0,0,+1)
(#,#,-1)
(0,0,+1) (1,1,+1)
# 1 1 0 1 0 1 0 #
q
0q
0q
1q
Yq
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
0q
0q
1q
Yq
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
0q
0q
1q
Yq
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
0q
0q
1q
Yq
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
0q
0q
1q
Yq
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
0q
0q
1q
Yq
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
0q
0q
1q
Yq
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
0q
0q
1q
Yq
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
0q
0q
1q
Yq
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
0q
0q
1q
Yq
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
0q
0q
1q
Yq
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
0q
0q
1q
Yq
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
0q
0q
1q
Yq
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
0q
0q
1q
Yq
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
0q
0q
1q
Yq
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
0q
0q q
11q
Yq
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
0q
0q q
11q
Yq
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
0q
0q q
11q
Yq
Yq
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 33 4
s=<1,2,3,4>
C3
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
Nierzstrzyalneog
NP
P NP-zupełne
silnie NP-zupełne