加速定理
加速定理
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2015/05/01 09:18 UTC 版)
複雑性測度 と2変数全域再帰的関数 を所与とする。このとき全域再帰的関数 (これはブール値関数にできる)が存在して、 の任意の指標 に対して、 の指標 が存在して、ほとんど全ての に対して次が成り立つ: は加速関数と呼ばれる。 これを必要なだけ急増加な関数とすれば、 プログラム を与える毎にそれよりも必要なだけ高速なプログラム が得られる。例えば とすれば の複雑性は である。
※この「加速定理」の解説は、「ブラムの加速定理」の解説の一部です。
「加速定理」を含む「ブラムの加速定理」の記事については、「ブラムの加速定理」の概要を参照ください。
- 加速定理のページへのリンク