Aritalab:Lecture/Algorithm/Halting Problem

From Metabolomics.JP
< Aritalab:Lecture | Algorithm(Difference between revisions)
Jump to: navigation, search
m (→‎停止性問題の変換)
m (→‎停止性問題の変換)
Line 48: Line 48:
 
状態遷移関数は有限個用意され、 &delta;: (Q - {q<sub>Y</sub>, q<sub>N</sub>}) &times; &Gamma; &rarr; Q &times; &Gamma; &times; {&minus;1, +1} と書けます（[[Aritalab:Lecture/Automata/TM|チューリングマシン参照]])。まず、初期状態およびヘッドが左に動く場合と右に動く場合に対応する対を作成します。
 
状態遷移関数は有限個用意され、 &delta;: (Q - {q<sub>Y</sub>, q<sub>N</sub>}) &times; &Gamma; &rarr; Q &times; &Gamma; &times; {&minus;1, +1} と書けます（[[Aritalab:Lecture/Automata/TM|チューリングマシン参照]])。まず、初期状態およびヘッドが左に動く場合と右に動く場合に対応する対を作成します。
  
−
* 初期状態 q<sub>0</sub> で入力 a<sub>1</sub>a<sub>2</sub> ... a<sub>n</sub> がある場合は <math>\textstyle\frac{\#}{\#q_0 a_1 a_2 ... a_n \#}</math>
+
{| class="wikitable"
−
: ここで # は様相を区切る記号です。q<sub>0</sub> という状態記号でヘッドの位置を示しており、ヘッドの右側に入力 a<sub>1</sub> ... a<sub>n</sub> があることを示しています。
+
!width="20%"| 表現する状態
 +
!width="20%"| 用意する記号対 || 説明
 +
|-
 +
| 初期状態 q<sub>0</sub> で入力が a<sub>1</sub>a<sub>2</sub> ... a<sub>n</sub>
 +
| <math>\textstyle\frac{\#}{\#q_0 a_1 a_2 ... a_n \#}</math>
 +
| ここで # は様相を区切る記号です。q<sub>0</sub> という状態記号でヘッドの位置を示しており、ヘッドの右側に入力 a<sub>1</sub> ... a<sub>n</sub> があることを示しています。
 +
|-
 +
| &delta;(q, x) = (r, y, +1)
 +
| <math>\textstyle\frac{qx}{yr}</math><br/>x, y &isin; &Gamma;<br/> q, r &isin; Q - {q<sub>Y</sub>, q<sub>N</sub>}
 +
| 状態 q でヘッドの右側に記号 x があるとき、 x を y に上書きして状態 r に移動、ヘッドは右に移動して y の左側に来ることを意味しています。この対は、ヘッドを右に動かす遷移関数 1 個につき、1 個用意します。
 +
|-
 +
| &delta;(q, x) = (r, y, &minus;1)
 +
| <math>\textstyle\frac{zqx}{rzy}</math><br/>x, y, z &isin; &Gamma;<br/>q, r &isin; Q - {q<sub>Y</sub>, q<sub>N</sub>}
 +
| 状態 q でヘッドの左側に記号 z 右側に記号 x があるとき、 x を y に上書きして状態 r に移動、ヘッドは左に移動して z の左側に来ることを意味しています。記号 z は状態 q のとき、ヘッドの左側にあるテープ記号を意味します。よってヘッドを左に動かす遷移関数 1 個につき、&Sigma; 個用意しておきます。
 +
|-
 +
| ヘッド周辺以外のテープ内容の対応づけ
 +
| <math>\textstyle\frac{x}{x}</math> (x &isin; &Gamma;)
 +
| 全てのテープ記号について ( &Sigma; 個) 用意します
 +
|-
 +
| 様相の区切り
 +
| <math>\textstyle\frac{\#}{\#}, \frac{\#}{\#}</math>
 +
| 2 個用意します
 +
|-
 +
| 受理後の調整用
 +
| <math>\textstyle\frac{xq_Y}{q_Y}, \frac{q_Yx}{q_Y}, \frac{xq_N}{q_N}, \frac{q_Nx}{q_N}</math><math>\textstyle\frac{q_Y\#\#}{\#}</math>
 +
| 受理後の文字列を合わせるために使います
 +
|}
  
−
* &delta;(q, x) = (r, y, +1) の場合は  <math>\textstyle\frac{qx}{yr}</math> (x, y &isin; &Gamma;; q, r &isin; Q - {q<sub>Y</sub>, q<sub>N</sub>})
+
様相の列との対応付けは具体例を用いておこなった方がわかりやすいので、チューリングマシンの入力が 101 と仮定した状態遷移との対応付けを以下に記します。チューリングマシンは 101 を右に読んで 010 に書き換え、今度は左に動きながら 1 だけ 0 に書き戻して 000 という記号列を作って受理する動作を仮定します。
−
: 状態 q でヘッドの右側に記号 x があるとき、 x を y に上書きして状態 r に移動、ヘッドは右に移動して y の左側に来ることを意味しています。この対は、ヘッドを右に動かす遷移関数 1 個につき、1 個用意します。
+
  
−
* &delta;(q, x) = (r, y, &minus;1) の場合は  <math>\textstyle\frac{zqx}{rzy}</math> (x, y, z &isin; &Gamma;; q, r &isin; Q - {q<sub>Y</sub>, q<sub>N</sub>})
+
{| class="wikitable"
−
: 状態 q でヘッドの左側に記号 z 右側に記号 x があるとき、 x を y に上書きして状態 r に移動、ヘッドは左に移動して z の左側に来ることを意味しています。記号 z は状態 q のとき、ヘッドの左側にあるテープ記号を意味します。よってヘッドを左に動かす遷移関数 1 個につき、 | &Sigma; | 個用意しておきます。
+
! TM の動作
 +
! 記号対
 +
! 解説
 +
|-
 +
| 初期状態 q<sub>0</sub>
 +
|
 +
{| style="border-collapse:collapse"
 +
|#
 +
|-
 +
|#q<sub>0</sub>101#
 +
|}
 +
|
 +
|-
 +
| &sigma;(q<sub>0</sub>, 1) &rarr; (q<sub>1</sub>, 0, +1)
 +
|
 +
{| style="border-collapse:collapse"
 +
|#'''q<sub>0</sub>1'''
 +
|-
 +
|#q<sub>0</sub>101#'''0q<sub>1</sub>'''
 +
|}
 +
| テープ記号 1 を読んで 0 を書き込み、状態 q<sub>1</sub> に移動します。(q<sub>0</sub>1/0q<sub>1</sub>)を用います
 +
|-
 +
|
 +
|
 +
{| style="border-collapse:collapse"
 +
|#q<sub>0</sub>1'''01#'''
 +
|-
 +
|#q<sub>0</sub>101#0q<sub>1</sub>'''01#'''
 +
|}
 +
| その後、区切り記号 # まで (0/0), (1/1), (#/#) を用いて入力列を補完します
 +
|-
 +
| &sigma;(q<sub>1</sub>, 0) &rarr; (q<sub>5</sub>, 1, +1)
 +
|
 +
{| style="border-collapse:collapse"
 +
|#q<sub>0</sub>101#0'''q<sub>1</sub>0'''
 +
|-
 +
|#q<sub>0</sub>101#0q<sub>1</sub>01#0'''1q<sub>5</sub>'''
 +
|}
 +
| (0/0)で補完したあと、(q<sub>1</sub>0/1q<sub>5</sub>)を用いて状態遷移します
 +
|-
 +
|
 +
|
 +
{| style="border-collapse:collapse"
 +
|#q<sub>0</sub>101#0q<sub>1</sub>0'''1#0'''
 +
|-
 +
|#q<sub>0</sub>101#0q<sub>1</sub>01#01q<sub>5</sub>'''1#0'''
 +
|}
 +
| ヘッドの左側まで入力列を補完します
 +
|-
 +
| &sigma;(q<sub>5</sub>, 1) &rarr; (q<sub>3</sub>, 0, -1)
 +
|
 +
{| style="border-collapse:collapse"
 +
|#q<sub>0</sub>101#0q<sub>1</sub>01#0'''1q<sub>5</sub>1'''
 +
|-
 +
|#q<sub>0</sub>101#0q<sub>1</sub>01#01q<sub>5</sub>1#0'''q<sub>3</sub>10'''
 +
|}
 +
| テープ記号 1 を読んで 0 を書き込み、ヘッドを左に移動します。(1q<sub>5</sub>1/q<sub>3</sub>10) を使います
 +
|-
 +
| &sigma;(q<sub>3</sub>, 1) &rarr; (q<sub>3</sub>, 0, -1)
 +
|
 +
{| style="border-collapse:collapse"
 +
|#q<sub>0</sub>101#0q<sub>1</sub>01#01q<sub>5</sub>1#'''0q<sub>3</sub>1'''
 +
|-
 +
|#q<sub>0</sub>101#0q<sub>1</sub>01#01q<sub>5</sub>1#0q<sub>3</sub>10#1'''q<sub>3</sub>00'''
 +
|}
 +
| テープ記号 1 を読んで 0 を書き込み、ヘッドを左に移動します。(0q<sub>3</sub>1/q<sub>3</sub>00) を使います
 +
|-
 +
|
 +
|
 +
{| style="border-collapse:collapse"
 +
|#q<sub>0</sub>101#0q<sub>1</sub>01#01q<sub>5</sub>1#0q<sub>3</sub>1'''0#'''
 +
|-
 +
|#q<sub>0</sub>101#0q<sub>1</sub>01#01q<sub>5</sub>1#0q<sub>3</sub>10#q<sub>3</sub>00'''0#'''
 +
|}
 +
| 補完します
 +
|-
 +
| &sigma;(q<sub>3</sub>, 0) &rarr; (q<sub>YES</sub>, 0, +1)
 +
|
 +
{| style="border-collapse:collapse"
 +
|#q<sub>0</sub>101#0q<sub>1</sub>01#01q<sub>5</sub>1#0q<sub>3</sub>10#'''q<sub>3</sub>0'''
 +
|-
 +
|#q<sub>0</sub>101#0q<sub>1</sub>01#01q<sub>5</sub>1#0q<sub>3</sub>10#q<sub>3</sub>000#'''0q<sub>YES</sub>'''
 +
|}
 +
| 受理します
 +
|-
 +
|
 +
|
 +
{| style="border-collapse:collapse"
 +
|#q<sub>0</sub>101#0q<sub>1</sub>01#01q<sub>5</sub>1#0q<sub>3</sub>10#q<sub>3</sub>000#'''0q<sub>YES</sub>'''
 +
|-
 +
|#q<sub>0</sub>101#0q<sub>1</sub>01#01q<sub>5</sub>1#0q<sub>3</sub>10#q<sub>3</sub>000#0q<sub>YES</sub>00#'''q<sub>YES</sub>'''
 +
|}
 +
| 補完したあとに、受理後の調整用文字対を使って、少しずつ上下のつじつまを合わせます
 +
|-
 +
|
 +
|
 +
{| style="border-collapse:collapse"
 +
|#q<sub>0</sub>101#0q<sub>1</sub>01#01q<sub>5</sub>1#0q<sub>3</sub>10#q<sub>3</sub>000#'''0q<sub>YES</sub>'''00#'''q<sub>YES</sub>0'''0#'''q<sub>YES</sub>0'''#
 +
|-
 +
|#q<sub>0</sub>101#0q<sub>1</sub>01#01q<sub>5</sub>1#0q<sub>3</sub>10#q<sub>3</sub>000#0q<sub>YES</sub>00#'''q<sub>YES</sub>'''00#'''q<sub>YES</sub>'''0#'''q<sub>YES</sub>'''#
 +
|}
 +
| 一番最後に (q<sub>YES</sub>##/#) という文字対を加えれば、上下の文字列が一致します。お疲れ様でした
 +
|}
 +
 
 +
つまり以下のことがわかりました。
 +
* チューリングマシンが任意の入力に対して受理するか否かという問題は、ポストの対応問題の部分問題になっている。
 +
* ポストの対応問題を解くプログラムがあるなら、チューリングマシンの停止性問題が解ける。
  
−
さらに、ヘッド周辺以外のテープ内容を対応させる対として <math>\textstyle\frac{x}{x}</math> (x &isin; &Gamma;)、様相の区切りを表す対として <math>\textstyle\frac{\#}{\#}</math> を、あわせて | &Sigma; | + 1 個用意しておきます。
 
  
 
;参考
 
;参考
 
<references/>
 
<references/>

Revision as of 11:36, 26 October 2011

Contents

問題を解くということ

チューリング機械（＝プログラム）が "問題を解ける" ためには、全ての可能な入力に対して

  • 必ず停止する（無限ループに陥らない）
  • 必ず正しい答えをだす

ことが要求されます。例えば、階乗を計算するプログラムがあったとして、入力する値によって無限ループに陥ったり、計算結果が間違っている可能性があるとしたら、皆さんもプログラムは "バグがある" と思うでしょう。

チューリング機械が "解ける" 問題の範囲とはどのようなものでしょう。

停止性問題

チューリング機械（＝プログラム） T に任意の入力 x を入れたとき有限時間で停止するか、を判定する問題を停止性問題といいます。この問題を解くプログラムは存在しない、つまり解くことができません。もし停止性を判定できる万能なチューリング機械が存在すると仮定すると、それが停止すると判定した時に限って停止しないチューリング機械を簡単に設計できてしまい、矛盾が生じます。

導かれる事例

  • プログラムが無限ループを含むか判定できるコンパイラやデバッガは（理論的に）作れない
  • いかなるアルゴリズム、プログラムをもってしても解けない問題が存在する

矛盾の導き方

任意のプログラム P と入力 x を受け取って、P が止まるか否かを有限時間で YES/NO と答えられるプログラム C(P, x) があると仮定します。（C をコンパイラと考えると分かりやすい。）C は必ず有限時間で止まり、C(P, P) という入力（つまりプログラム P 自身を数値に置き換えて入力にしてしまう）に対しても YES/NO と答えます。ここで、このコンパイラプログラム C に細工をして、C(P, P) が YES なら無限ループさせ（無限ループを付け加えるのは簡単）、C(P, P) が NO なら YES と出力して停止する C' を作成します。この新しいコンパイラ C' に C' 自身を数値に置き換えた値を入力するとどうなるでしょうか。

  • C'(C', C') が停止する場合
C(C', C') が NO となるため、プログラム C' は 入力 C' に対して停止しないことになります。ですから、C'(C', C') が停止するのは矛盾です。
  • C'(C', C') が停止しない場合
C(C', C') が YES となるため、プログラム C' は入力 C' に対して停止しなくてはなりません。やはり矛盾になります。[1]


ポストの対応問題

無限ループを含むか否かをあらゆるプログラムについて判定できるという停止性問題は、直感的にも大変難しいように思えます。しかし、以下に述べる簡単な問題が、少なくとも停止性問題と同等に難しいことを示せます。

ポストの対応問題

あるアルファベット Σ からなる語 k 対 \textstyle \{ \frac{x_1}{y_1}, \frac{x_2}{y_2}, ... , \frac{x_k}{y_k} \} \ (x_i, y_i \in \Sigma^*) に対し、重複を許して並べることで上側と下側に同じ文字列 x_{i_1}, x_{i_2}, ... , x_{i_n} = y_{i_1}, y_{i_2}, ... , y_{i_n} \ (1 \leq i_1, i_2, ... i_n \leq k) を作れるか。

例

{ 0, 1 } ∈ Σ \textstyle \{ \frac{00}{0}, \frac{01}{010}, \frac{11}{011} \} は解をもつか。

解は存在し、\textstyle \frac{01}{010} \frac{00}{0} \frac{00}{0} \frac{11}{011}

例

{ 0, 1 } ∈ Σ \textstyle \{ \frac{0}{01}, \frac{101}{011}, \frac{111}{10} \} は解をもつか。

解は存在しない

この問題を解くアルゴリズムは存在しません。つまり、どのようなリスト対を与えられても解があるなら YES と答えられるプログラムは存在しません。もし存在すると仮定すると、 停止性問題が解けてしまうことを利用します。

停止性問題の変換

チューリングマシン T が入力 x を受理する際の様相の列 (q0, ε, x) ⇒...⇒ (qf, y, z) が存在するときに限って、その列を解に持つような対応問題を構成できることを示します。それには、マシン T の状態遷移関数を表現する記号対を作れば十分です。

状態遷移関数は有限個用意され、 δ: (Q - {qY, qN}) × Γ → Q × Γ × {−1, +1} と書けます（チューリングマシン参照)。まず、初期状態およびヘッドが左に動く場合と右に動く場合に対応する対を作成します。

表現する状態 用意する記号対 説明
初期状態 q0 で入力が a1a2 ... an \textstyle\frac{\#}{\#q_0 a_1 a_2 ... a_n \#} ここで # は様相を区切る記号です。q0 という状態記号でヘッドの位置を示しており、ヘッドの右側に入力 a1 ... an があることを示しています。
δ(q, x) = (r, y, +1) \textstyle\frac{qx}{yr}
x, y ∈ Γ
q, r ∈ Q - {qY, qN} 		状態 q でヘッドの右側に記号 x があるとき、 x を y に上書きして状態 r に移動、ヘッドは右に移動して y の左側に来ることを意味しています。この対は、ヘッドを右に動かす遷移関数 1 個につき、1 個用意します。
δ(q, x) = (r, y, −1) \textstyle\frac{zqx}{rzy}
x, y, z ∈ Γ
q, r ∈ Q - {qY, qN} 		状態 q でヘッドの左側に記号 z 右側に記号 x があるとき、 x を y に上書きして状態 r に移動、ヘッドは左に移動して z の左側に来ることを意味しています。記号 z は状態 q のとき、ヘッドの左側にあるテープ記号を意味します。よってヘッドを左に動かす遷移関数 1 個につき、Σ 個用意しておきます。
ヘッド周辺以外のテープ内容の対応づけ \textstyle\frac{x}{x} (x ∈ Γ) 全てのテープ記号について ( Σ 個) 用意します
様相の区切り \textstyle\frac{\#}{\#}, \frac{\#}{\#} 2 個用意します
受理後の調整用 \textstyle\frac{xq_Y}{q_Y}, \frac{q_Yx}{q_Y}, \frac{xq_N}{q_N}, \frac{q_Nx}{q_N}\textstyle\frac{q_Y\#\#}{\#} 受理後の文字列を合わせるために使います

様相の列との対応付けは具体例を用いておこなった方がわかりやすいので、チューリングマシンの入力が 101 と仮定した状態遷移との対応付けを以下に記します。チューリングマシンは 101 を右に読んで 010 に書き換え、今度は左に動きながら 1 だけ 0 に書き戻して 000 という記号列を作って受理する動作を仮定します。

TM の動作 記号対 解説
初期状態 q0
#
#q0101#
σ(q0, 1) → (q1, 0, +1)
#q01
#q0101#0q1
テープ記号 1 を読んで 0 を書き込み、状態 q1 に移動します。(q01/0q1)を用います
#q0101#
#q0101#0q101#
その後、区切り記号 # まで (0/0), (1/1), (#/#) を用いて入力列を補完します
σ(q1, 0) → (q5, 1, +1)
#q0101#0q10
#q0101#0q101#01q5
(0/0)で補完したあと、(q10/1q5)を用いて状態遷移します
#q0101#0q101#0
#q0101#0q101#01q51#0
ヘッドの左側まで入力列を補完します
σ(q5, 1) → (q3, 0, -1)
#q0101#0q101#01q51
#q0101#0q101#01q51#0q310
テープ記号 1 を読んで 0 を書き込み、ヘッドを左に移動します。(1q51/q310) を使います
σ(q3, 1) → (q3, 0, -1)
#q0101#0q101#01q51#0q31
#q0101#0q101#01q51#0q310#1q300
テープ記号 1 を読んで 0 を書き込み、ヘッドを左に移動します。(0q31/q300) を使います
#q0101#0q101#01q51#0q310#
#q0101#0q101#01q51#0q310#q3000#
補完します
σ(q3, 0) → (qYES, 0, +1)
#q0101#0q101#01q51#0q310#q30
#q0101#0q101#01q51#0q310#q3000#0qYES
受理します
#q0101#0q101#01q51#0q310#q3000#0qYES
#q0101#0q101#01q51#0q310#q3000#0qYES00#qYES
補完したあとに、受理後の調整用文字対を使って、少しずつ上下のつじつまを合わせます
#q0101#0q101#01q51#0q310#q3000#0qYES00#qYES00#qYES0#
#q0101#0q101#01q51#0q310#q3000#0qYES00#qYES00#qYES0#qYES#
一番最後に (qYES##/#) という文字対を加えれば、上下の文字列が一致します。お疲れ様でした

つまり以下のことがわかりました。

  • チューリングマシンが任意の入力に対して受理するか否かという問題は、ポストの対応問題の部分問題になっている。
  • ポストの対応問題を解くプログラムがあるなら、チューリングマシンの停止性問題が解ける。


参考
  1. ↑ 矛盾の導出には、あらゆるプログラムを自然数と1:1に対応付けるゲーデル数という概念を用いており、カントールの対角線論法と同じ議論になっています。
Retrieved from "http://metabolomics.jp/mediawiki/index.php?title=Aritalab:Lecture/Algorithm/Halting_Problem&oldid=254183"
Personal tools
Namespaces

Variants
Actions
Navigation
metabolites
Toolbox