ブラムの公理
(Blum axioms から転送)
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2017/03/03 07:41 UTC 版)
計算複雑性理論におけるブラムの公理(ブラムのこうり、英: Blum axioms)またはブラムの複雑性公理とは、計算可能関数の集合上の複雑性測度の満たすべき性質を述べた公理である。この公理はマヌエル・ブラムによって1967年に導入された。[1]
- ^ Blum, Manuel (1967). “A Machine-Independent Theory of the Complexity of Recursive Functions”. Journal of the ACM 14 (2): 322–336. doi:10.1145/321386.321395 .
- 1 ブラムの公理とは
- 2 ブラムの公理の概要
- 3 模型に対する独立性
- 4 複雑性クラス
- 5 関連項目
- ブラムの公理のページへのリンク