ブラムの公理

計算複雑性理論におけるブラムの公理（ブラムのこうり、）またはブラムの複雑性公理とは、計算可能関数の集合上の複雑性測度の満たすべき性質を述べた公理である。この公理はマヌエル・ブラムによって1967年に導入された。

重要な結果として、公理を満たす任意の複雑性測度でブラムの加速定理とギャップ定理が成り立つことが知られる。公理を満たす測度として最もよく知られているものとしては時間複雑性と空間複雑性がある。

 定義 

ブラム複雑性測度（）とは、1変数部分計算可能関数のアクセプタブル・ナンバリング  と、計算可能関数

の組  で、次のブラムの公理を満たすものをいう。
  の定義域と  の定義域は等しい
 集合  は計算可能である

 例 
 を適当な計算模型から得られたacceptableナンバリングとする。 を時間または空間 (もしくはそれらを適当に組合せた) 複雑性とすれば、 は複雑性測度である。時間量や計算量は実際に計算を走らせてみれば分かるから計算可能である。 が時間量のとき  であるか否かは計算を  時間だけ走らせてみれば分かるから計算可能である。 が空間量のときに2番目の公理を満たすことは考察を必要とする。それには空間量を  以下に制限したとき系が取りうる状態数が有限であることに注意すればよい。例えば状態記号の数が  でテープ記号の数  のチューリング機械を考えると、テープ状態の総数は  でありヘッド位置の総数は  であるから、系全体の取りうる状態の数は高々  である。したがって計算を十分な時間だけ走らせれば、計算が終了するか、ある状態が繰り返し現れて無限ループに陥るか、または空間量の制限を超過するかの何れかが起こる。その何れであるかは実効的に判定できるから、したがって  であるか否かは計算可能である。

 は2番目の公理を満たさないから複雑性測度ではない。

 模型に対する独立性 

ブラム複雑性測度は特定の計算模型によらず定義されている。もっと分かりやすくする為に、ブラムの公理をチューリング機械の言葉で次のように言い換えることもできる。

ブラム複雑性測度とは、順序対 (チューリング機械 , 入力 ) から自然数または  への写像であって、次の公理を満たすものをいう：

  が無限大でないとき、かつそのときに限り  は停止する
 入力  が  を満たすかどうか決定するアルゴリズムが存在する

例えば、 を M に x を入力して実行してから停止するまでに要するステップ数とする。1番目の公理は明らか。2番目の公理は、万能チューリング機械に M と x を入力して n ステップ目までの計算を模倣すれば判定できるからよい。

 複雑性クラス 

全域計算可能関数  に対して複雑性クラス  と  が次のように定義される

 は複雑性が  以下である全ての計算可能関数からなる集合である。 は複雑性が  以下である全てのブール値関数からなる集合である。もしこれらの関数を集合の指示関数と見做すならば、 は集合の複雑性クラスと考えられる。

 関連項目 
 計算複雑性理論

 参考文献 

Category:計算複雑性理論
Category:公理
Category:数学に関する記事