ナンバリング (計算可能性理論)
ナンバリング(英: numbering)は自然数から対象の集合への対応付けをいう。対象としては例えば関数、有理数、グラフ、形式言語などである。ナンバリングは自然数に対して定義された計算可能性や関連する概念を他の種類の対象に一般化する際に用いることができる。
よく知られた例としては一階述語論理のゲーデル数化や部分計算可能関数のアクセプタブル・ナンバリングがある。
Contents
定義と例
集合 [math]S[/math] のナンバリングとは [math]\mathbb{N}[/math] から [math]S[/math] の上への部分関数をいう(Ershov 1999:477)。ナンバリング ν の i に於ける値は(定義されるなら)しばしば [math]\nu(i)[/math] の代わりに ν'i と書かれる。
例えば、[math]\mathbb{N}[/math] の全ての有限部分集合からなる集合は
- [math]\gamma(\emptyset) = 0[/math]
- [math]\gamma(\{a_0, \ldots, a_k\}) = \sum_{i \leq k} 2^{a_i}[/math]
なるナンバリングを持つ(Ershov 1999:477)。
2つ目の例として、部分計算可能関数のナンバリング [math]\varphi_i[/math] は、 W(i) を φi の定義域と定めることで帰納的可算集合のナンバリング W として利用できる。
ナンバリングの種類
ナンバリングが全域的とはそれが全域関数であることをいう。もしナンバリングの定義域が帰納的可算ならば、同値な全域的ナンバリングが存在する(ナンバリングの同値性は後で定義される)。
ナンバリング η が決定可能とは集合 [math]\{ (x,y) : \eta(x) = \eta(y)\}[/math] が決定可能であることをいう。
ナンバリング η が一価とは η(x) = η(y) と x=y が同値であるときにいう。換言すれば η が単射であるときにいう。部分計算可能関数の一価ナンバリングはフリードバーグ・ナンバリングと呼ばれる。
ナンバリングの比較
全てのナンバリングからなる集合には半順序付けが存在する。 いま
- [math]\nu_1: \subseteq \mathbb{N} \to S_1[/math]
と
- [math]\nu_2: \subseteq \mathbb{N} \to S_2[/math]
を2つのナンバリングとする。このとき [math]\nu_1[/math] が [math]\nu_2[/math] に還元可能 [math]\nu_1 \le \nu_2[/math] とは、
- [math]\exists f \in \mathbf{P}^{(1)} \, \forall i \in \mathrm{Domain}(\nu_1) : \nu_1(i) = \nu_2 \circ f(i)[/math]
が成り立つときをいう。
もし [math]\nu_1 \le \nu_2[/math] かつ [math]\nu_1 \ge \nu_2[/math] ならば [math]\nu_1[/math] は [math]\nu_2[/math] と同値といい、これを [math]\nu_1 \equiv \nu_2[/math] と書く。
計算可能なナンバリング
集合 S の対象が十分に"構成的"であるとき、ナンバリングは実効的にデコードできるものに注目するのが一般的である(Ershov 1999:486)。例えば S が帰納的可算集合からなるとき、 ナンバリング η が計算可能とは y∈η(x) なる対 (x,y) の集合が帰納的可算であることをいう。同様に部分関数のナンバリング g が計算可能とは関係 R(x,y,z) = "[g(x)](y) = z" が部分帰納的であることをいう(Ershov 1999:487)。
計算可能なナンバリングがprincipalとは任意の計算可能なナンバリングをそれに還元できるときにいう。例えば [math]\mathbb{N}[/math] の全てのr.e.部分集合の集合や全ての部分計算可能関数の集合などはprincipalナンバリングを持つ(Ershov 1999:487)。後者についてはしばしばアクセプタブル・ナンバリングと呼ばれる。
関連項目
参考文献
- Y.L. Ershov (1999), "Theory of numberings", Handbook of Computability Theory, Elsevier, pp. 473–506.
- V.A. Uspenskiĭ, A.L. Semenov (1993), Algorithms: Main Ideas and Applications, Springer.