|
圧縮定理(あっしゅくていり、)は計算複雑性理論における計算可能関数の複雑性に関する重要な定理である。 この定理は計算可能な上限で抑えられる最大の複雑性クラス(それは全ての計算可能関数を含む)が存在しないことを述べる。 ==圧縮定理== いま部分計算可能関数のアクセプタブル・ナンバリング とブラム複雑性測度 を所与とする。このとき上限 のもとでの複雑性クラスは次のように定義される: : このとき全域計算可能関数 が存在して、任意の指標 に対して次が成り立つ: : : 抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)』 ■ウィキペディアで「圧縮定理」の詳細全文を読む スポンサード リンク
|