計算可能性理論 における極限計算可能関数 (きょくげんけいさんかのうかんすう、英 : limit computabile function )とは、一様に計算可能な関数列の極限によって表せる関数をいう。極限において計算可能(英 : computable in the limit )や極限帰納的(英 : limit recursive )などともいう。集合が極限計算可能とはその特性関数 が極限計算可能であることをいう。
関数列が D -計算可能であるとき、極限の関数は D -極限計算可能であるという。
正式な定義
編集
関数
r
(
x
)
{\displaystyle r(x)}
が極限計算可能であるとは、計算可能 全域関数
r
^
(
x
,
s
)
{\displaystyle {\hat {r}}(x,s)}
が存在して
r
(
x
)
=
lim
s
→
∞
r
^
(
x
,
s
)
{\displaystyle r(x)=\lim _{s\to \infty }{\hat {r}}(x,s)}
が成り立つことをいう。
関数
r
(
x
)
{\displaystyle r(x)}
が D -極限計算可能であるとは、D -計算可能 全域関数
r
^
(
x
,
s
)
{\displaystyle {\hat {r}}(x,s)}
が存在して
r
(
x
)
=
lim
s
→
∞
r
^
(
x
,
s
)
{\displaystyle r(x)=\lim _{s\to \infty }{\hat {r}}(x,s)}
が同様に成り立つことをいう。
コード化可能な集合が極限計算可能とはその特性関数が極限計算可能であることをいう。これに対して、集合が計算可能 であることと、ある関数
φ
(
x
,
s
)
{\displaystyle \varphi (x,s)}
によって極限計算可能であり、かつ
φ
(
x
,
s
)
{\displaystyle \varphi (x,s)}
の値が安定する
s
{\displaystyle s}
の値が
x
{\displaystyle x}
に対して計算可能であることとは同値である。
極限補題
編集
極限補題 は自然数の集合が極限計算可能であることと
0
′
{\displaystyle 0'}
-計算可能であることとが同値であることを述べる。ここで
0
′
{\displaystyle 0'}
は空集合のチューリングジャンプ である。相対化された極限補題は自然数の集合が D -極限計算可能であることと D' -計算可能であることとが同値であることを述べる。
さらにいえば極限補題(とその相対化)は一様に成立する。すなわち
r
^
(
x
,
s
)
{\displaystyle {\hat {r}}(x,s)}
のインデックスから
r
^
(
x
)
{\displaystyle {\hat {r}}(x)}
の
0
′
{\displaystyle 0'}
-相対的インデックスを計算できる。逆に
r
^
(
x
)
{\displaystyle {\hat {r}}(x)}
の
0
′
{\displaystyle 0'}
-相対的インデックスから
r
^
(
x
,
s
)
{\displaystyle {\hat {r}}(x,s)}
のインデックスを計算できる。
0
′
{\displaystyle 0'}
は帰納的可算集合であるから実効的に枚挙できる。したがって次のようにして
0
′
{\displaystyle 0'}
が極限計算可能であることが分かる:
r
^
(
x
,
s
)
=
{
1
if by stage
s
,
x
has been enumerated into
0
′
0
if not
{\displaystyle \displaystyle {\hat {r}}(x,s)={\begin{cases}1&{\text{if by stage }}s,x{\text{ has been enumerated into }}0'\\0&{\text{if not}}\end{cases}}}
明らかに
r
^
(
x
,
s
)
{\displaystyle {\hat {r}}(x,s)}
の
s
→
∞
{\displaystyle s\to \infty }
に於ける極限は
0
′
{\displaystyle 0'}
の特性関数である。極限計算可能関数のクラスは recursively closed である。すなわち関数合成、原始再帰、最小化によって閉じている。したがって任意の
0
′
{\displaystyle 0'}
-計算可能関数は極限計算可能である。
逆に
X
{\displaystyle X}
を極限計算可能な集合とし、
X
s
{\displaystyle X_{s}}
を
X
{\displaystyle X}
に収束する一様に再帰的な集合列とする。これが
0
′
{\displaystyle 0'}
-計算可能であることを示すには、半計算可能集合
Y
{\displaystyle Y}
で
X
≤
T
Y
{\displaystyle X\leq _{T}Y}
を満たすものを構成すればよい。以下、集合とその特性関数とを同一視する。まず
Y
{\displaystyle Y}
を次で定める:
(
x
,
n
)
∈
Y
⟺
♯
{
s
∣
X
s
(
x
)
≠
X
s
+
1
(
x
)
}
≥
n
{\displaystyle (x,n)\in Y\iff \sharp \{s\mid X_{s}(x)\neq X_{s+1}(x)\}\geq n}
ここで
♯
{\displaystyle \sharp }
は集合の要素数を表す。つまり
X
s
(
x
)
{\displaystyle X_{s}(x)}
の値が
n
{\displaystyle n}
回以上変化する場合に
(
x
,
n
)
{\displaystyle (x,n)}
を
Y
{\displaystyle Y}
に置く。すると
Y
{\displaystyle Y}
をオラクル として次のように
X
{\displaystyle X}
を計算できる。入力
x
{\displaystyle x}
に対して
(
x
,
n
)
∈
Y
{\displaystyle (x,n)\in Y}
を満たす最大の
n
{\displaystyle n}
を探す。これは
X
s
(
x
)
{\displaystyle X_{s}(x)}
が収束することから必ず存在する。このとき
X
0
(
x
)
,
X
1
(
x
)
,
…
{\displaystyle X_{0}(x),X_{1}(x),\ldots }
の値はちょうど
n
{\displaystyle n}
回だけ変化する。そこで
n
{\displaystyle n}
が偶数ならば
X
0
(
x
)
{\displaystyle X_{0}(x)}
を、
n
{\displaystyle n}
が奇数ならば
1
−
X
0
(
x
)
{\displaystyle 1-X_{0}(x)}
を出力する。この出力は
X
(
x
)
{\displaystyle X(x)}
に等しい。
accept
X
0
(
x
)
X
1
(
x
)
X
3
(
x
)
⋯
reject
X
2
(
x
)
X
4
(
x
)
X
5
(
x
)
⋯
mind change
0
0
1
2
3
3
⋯
{\displaystyle {\begin{matrix}{\mbox{accept}}&X_{0}(x)&X_{1}(x)&&X_{3}(x)&&&\cdots \\{\mbox{reject}}&&&X_{2}(x)&&X_{4}(x)&X_{5}(x)&\cdots \\{\mbox{mind change}}&0&0&1&2&3&3&\cdots \end{matrix}}}
算術的階層における位置づけ
編集
ポストの定理 によれば
0
′
{\displaystyle 0'}
-計算可能であることと
Δ
2
0
{\displaystyle \Delta _{2}^{0}}
であることとは同値である。したがって極限補題は任意の極限計算可能集合が
Δ
2
0
{\displaystyle \Delta _{2}^{0}}
であることを導く。実際
X
{\displaystyle X}
を極限計算可能集合とし、
X
s
{\displaystyle X_{s}}
を
X
{\displaystyle X}
に収束する一様に再帰的な集合列とすれば、
x
∈
X
⟺
∃
s
∀
t
(
s
≤
t
→
x
∈
X
t
)
{\displaystyle x\in X\iff \exists s\forall t(s\leq t\to x\in X_{t})}
が成り立つ。右辺は
Σ
2
0
{\displaystyle \Sigma _{2}^{0}}
である。また
x
∈
X
⟺
∀
s
∃
t
(
s
≤
t
∧
x
∈
X
t
)
{\displaystyle x\in X\iff \forall s\exists t(s\leq t\wedge x\in X_{t})}
が成り立つ。右辺は
Π
2
0
{\displaystyle \Pi _{2}^{0}}
である。
極限計算可能実数
編集
二進展開が停止性問題 のコードに一致する実数は極限計算可能だが計算可能でない。
二進展開が真の算術 のコードに一致する実数は極限計算可能でない。
心変わりの制限
編集
以下、関数列
f
0
,
f
1
,
…
{\displaystyle f_{0},f_{1},\ldots }
と入力
x
{\displaystyle x}
について
f
s
(
x
)
≠
f
s
+
1
(
x
)
{\displaystyle f_{s}(x)\neq f_{s+1}(x)}
となるとき、ステージ
s
+
1
{\displaystyle s+1}
で
f
s
(
x
)
{\displaystyle f_{s}(x)}
が心変わり (英 : mind change )するということにする。このとき極限計算可能関数とは有限回の心変わりで極限計算可能であるということができる。実際、極限
f
(
x
)
=
lim
s
f
s
(
x
)
{\displaystyle f(x)=\lim _{s}f_{s}(x)}
が存在するということは、心変わりの回数が有限回であることと同値である。
そこで極限計算可能関数を近似する関数列の心変わりの回数を制限することが考えられてくる。高々
n
{\displaystyle n}
回の心変わりで極限計算可能な関数は
n
{\displaystyle n}
-近似可能 (英 :
n
{\displaystyle n}
-approximable )という。このクラスについて次が知られている:
任意の
n
{\displaystyle n}
-近似可能関数は
n
+
1
{\displaystyle n+1}
-近似可能である。
n
{\displaystyle n}
-近似可能でない
n
{\displaystyle n}
+1-近似可能関数が存在する。とくにそのような例は0-1関数として得られる。すなわち
n
{\displaystyle n}
-近似可能でない
n
+
1
{\displaystyle n+1}
-近似可能集合が存在する。
いかなる
n
{\displaystyle n}
についても
n
{\displaystyle n}
-近似可能でない、極限計算可能関数が存在する。とくにそのような例は0-1関数として得られる。
すなわち心変わりの回数が定数で抑えられる極限計算可能関数のクラスは、その定数によって階層を成している。また心変わりの回数を定数で抑えられないような極限計算可能関数が存在する。他のクラスとの関係としては次が知られている:
0
{\displaystyle 0}
-近似可能であることと計算可能であることとは同値。
集合の心変わりの回数については、近似列
A
s
{\displaystyle A_{s}}
の初項
A
0
{\displaystyle A_{0}}
の形を制限することが考えられる。そこで空集合から始めて高々
n
{\displaystyle n}
回の心変わりで極限計算可能な集合は
n
{\displaystyle n}
-帰納的可算 という。また補集合が
n
{\displaystyle n}
-帰納的可算な集合は補
n
{\displaystyle n}
-帰納的可算 という。これらのクラスについては次が知られている:
任意の
n
{\displaystyle n}
-r.e.集合は
n
+
1
{\displaystyle n+1}
-r.e.かつco-
n
+
1
{\displaystyle n+1}
-r.e.である。
任意のco-
n
{\displaystyle n}
-r.e.集合は
n
+
1
{\displaystyle n+1}
-r.e.かつco-
n
+
1
{\displaystyle n+1}
-r.e.である。
また他のクラスとの関係としては次が知られている:
1
{\displaystyle 1}
-r.e.であることとr.e.であることとは同値。
co-
1
{\displaystyle 1}
-r.e.であることとco-r.e.であることとは同値。
2
{\displaystyle 2}
-r.e.であることとd-r.e.(2つのr.e.集合の差集合で書ける)であることとは同値。
n
+
1
{\displaystyle n+1}
-r.e.かつco-
n
+
1
{\displaystyle n+1}
-r.e.であることと
n
{\displaystyle n}
-近似可能であることとは同値。
任意の
n
{\displaystyle n}
-r.e.集合は
n
{\displaystyle n}
-近似可能である。
任意のco-
n
{\displaystyle n}
-r.e.集合は
n
{\displaystyle n}
-近似可能である。
すなわち
n
−
1
{\displaystyle n-1}
-近似可能集合のクラス
Δ
n
−
1
{\displaystyle \Delta _{n}^{-1}}
、
n
{\displaystyle n}
-r.e.集合のクラス
Σ
n
−
1
{\displaystyle \Sigma _{n}^{-1}}
、co-
n
{\displaystyle n}
-r.e.集合のクラス
Π
n
−
1
{\displaystyle \Pi _{n}^{-1}}
は、それぞれ算術的階層 における
Δ
n
0
,
Σ
n
0
,
Π
n
0
{\displaystyle \Delta _{n}^{0},\Sigma _{n}^{0},\Pi _{n}^{0}}
と対応する形の階層構造を成している。すなわちこの階層は次のような構造を持つ。ここで矢印は包含を示す。
Σ
1
−
1
Σ
2
−
1
⋯
↗
↘
↗
Δ
1
−
1
Δ
2
−
1
⋯
↘
↗
↘
Π
1
−
1
Π
2
−
1
⋯
Σ
n
−
1
⋯
↗
↘
Δ
n
−
1
Δ
n
+
1
−
1
⋯
↘
↗
Π
n
−
1
⋯
{\displaystyle {\begin{matrix}&&\Sigma _{1}^{-1}&&&&\Sigma _{2}^{-1}&&\cdots \\&\nearrow &&\searrow &&\nearrow \\\Delta _{1}^{-1}&&&&\Delta _{2}^{-1}&&&&\cdots \\&\searrow &&\nearrow &&\searrow \\&&\Pi _{1}^{-1}&&&&\Pi _{2}^{-1}&&\cdots \end{matrix}}{\begin{matrix}&&\Sigma _{n}^{-1}&&&\cdots \\&\nearrow &&\searrow \\\quad \Delta _{n}^{-1}&&&&\Delta _{n+1}^{-1}&\cdots \\&\searrow &&\nearrow \\&&\Pi _{n}^{-1}&&&\cdots \end{matrix}}}
これをエルショフの階層という。エルショフの階層はクリーネのO (英語版 ) を用いることによって構成的順序数 へ一般化できる。このとき極限計算可能関数はある構成的順序数
α
{\displaystyle \alpha }
について
α
{\displaystyle \alpha }
-近似可能となる。すなわち極限計算可能関数はエルショフの階層によって完全に分類される。
心変わりの回数がある計算可能関数で抑えられるとき、極限関数は
ω
{\displaystyle \omega }
-近似可能という。このとき、集合
A
{\displaystyle A}
が
ω
{\displaystyle \omega }
-近似可能であることと、
A
{\displaystyle A}
が
0
′
{\displaystyle 0'}
に真理表還元 可能であることとは同値である。この事実は、先の極限補題の証明において、
(
x
,
n
)
∈
Y
{\displaystyle (x,n)\in Y}
なる神託問い合わせの
n
{\displaystyle n}
が再帰的関数で抑えられることから分かる。
関連項目
編集
参考文献
編集
J. Schmidhuber, "Hierarchies of generalized Kolmogorov complexities and nonenumerable universal measures computable in the limit", International Journal of Foundations of Computer Science , 2002.
R. Soare. Recursively Enumerable Sets and Degrees , Springer-Verlag, 1987.
R. G. Downey, D. R. Hirschfeldt. Algorithmic Randomness and Complexity , Springer, 2010.
W. Calvert, R. Miller, J. C. Reimann. The Distance Function on a Computable Graph , arXiv:1111.2480, 2011.
Richard L. Epstein, Richard Haas, Richard L. Kramer. Hierarchies of sets and degrees below
0
′
{\displaystyle 0'}
, Logic Year 1979-1980, Lecture Notes in Mathematics, Vol. 859, Springer-Verlag, pp.32-48, 1981.