|
127
|
1 -title: Turing Machine と計算量
|
|
|
2
|
|
|
3 --計算量
|
|
|
4
|
|
|
5 入力の長さ n に対して、どれくらいの計算時間やメモリが要求されるかを表す方法を考える。
|
|
|
6
|
|
|
7 計算を Turing machine で行ない、その Turing machine が計算終了までに費すステップと使用したテープの長さを使う。
|
|
|
8
|
|
164
|
9 nの式で表す。係数は問わない。
|
|
|
10
|
|
|
11 --table: いろんな計算量
|
|
|
12
|
|
127
|
13
|
|
164
|
14 o(n) 入力に比例した計算時間
|
|
|
15 o(n^2) 入力の長さの二乗の計算時間
|
|
|
16 o(n * log n)
|
|
|
17 o(exp n) 入力の長さの指数的な計算時間
|
|
|
18 o(exp (exp n)) 入力の長さの指数的な計算時間
|
|
|
19
|
|
|
20
|
|
|
21 --table-end:
|
|
|
22
|
|
127
|
23
|
|
|
24 Turing machine ではなく、もっと高級なモデル(例えばメモリを持つもの)を考えても、計算量は同じ。
|
|
|
25
|
|
|
26 それは、テープの長さを考慮しても結局は係数しか違わないから。o(1) は入力を受け付ける時間を考慮してない時に意味がある。
|
|
|
27
|
|
|
28 実際には係数も問題になることが多い。
|
|
|
29
|
|
|
30 --P
|
|
|
31
|
|
|
32 Turing machine で多項式時間がかかる計算量。
|
|
|
33
|
|
|
34 Pの例。
|
|
|
35
|
|
|
36 単純サーチ
|
|
|
37 数え上げ
|
|
|
38
|
|
|
39 --Non deteministic turing machine
|
|
|
40
|
|
|
41 Automaton と同じように非決定的なTuring machine (NTM)を考える。Deterministic turing machine (DTM)の遷移関数は
|
|
|
42
|
|
|
43 tδ : Q → Σ → Q × ( Write Σ ) × Move }
|
|
|
44
|
|
|
45 だったが、
|
|
|
46
|
|
|
47 tnδ : Q → Σ → Q × ( Write Σ ) × Move } → Bool
|
|
|
48
|
|
|
49 と複数の動作が可能となる。次のテープの状態も複数あることになる。
|
|
|
50
|
|
|
51 例えば、1からn までの素数を計算するのに DTMでは1から順番に計算していくが、NTMでは全部一度に調べることができる。
|
|
|
52
|
|
|
53 NTMで多項式時間がかかる計算量を NP という。
|
|
|
54
|
|
|
55 大雑把に言えば、NTMはCPUが無限にある並列計算機である。
|
|
|
56
|
|
|
57 --NTMをDTMで simulation する。
|
|
|
58
|
|
|
59 非決定性の数が定数つまりCPUの数が固定なNTMは、DTMと定数分しか差がない。従って計算量的には同じ。
|
|
|
60
|
|
|
61 非決定性の数は入力の長さよりは使用したテープの長さに依存する。NTMでPということは、並列に動く個々のTMのテープの使用量はPで押さえられる。
|
|
|
62
|
|
|
63 選択は有限(kとする)なので、k^P の分岐が起きている可能性がある。
|
|
|
64
|
|
|
65 つまり、NP(NTMでP)な計算では指数的にCPUが使われる可能性がある。従って、一般的には NTMをDTMでsimulationするには指数的なステップがかかる。
|
|
|
66
|
|
|
67 --NPの例
|
|
|
68
|
|
|
69 SAT
|
|
|
70
|
|
|
71 --P=NP?
|
|
|
72
|
|
|
73 NP はあまりに強力だが、EXP(指数的な計算量)では押さえられる。
|
|
|
74
|
|
|
75 --NP hard
|
|
|
76
|
|
|
77 任意のNPの問題をとくことができる一般的な問題を NP complete という。
|
|
|
78
|
|
|
79 最低でもNPな計算量を要求する計算を NP hard という。NP hard は NP complete とは限らない。
|
|
|
80
|
|
|
81 --P space
|
|
|
82
|
|
|
83 量化記号を含むSAT。
|
|
|
84
|
|
|
85 --o(n)
|
|
|
86
|
|
|
87 --o(n^2)
|
|
|
88
|
|
|
89 naive append
|
|
|
90
|
|
|
91 --o(n*log n)
|
|
|
92
|
|
|
93 quick sort
|
|
|
94
|
|
|
95 --o(exp n)
|
|
|
96
|
|
|
97
|
