ブラムの公理

3行要約

1. 計算複雑性理論において、計算資源（時間やメモリ）の量を抽象的に定義する公理。
2. 具体的な計算モデルに依存せず、複雑さの尺度が満たすべき性質を規定する。
3. ブラムの加速定理など、計算量の限界に関する重要な定理の基礎となっている。