圧縮定理
圧縮定理(あっしゅくていり、英: compression theorem)は計算複雑性理論における計算可能関数の複雑性に関する重要な定理である。
この定理は計算可能な上限で抑えられる最大の複雑性クラス(それは全ての計算可能関数を含む)が存在しないことを述べる。