翻訳と辞書 Words near each other ・ ブラマヨ・チュートのまる金TV ・ ブラマヨ衝撃ファイル ・ ブラマヨ衝撃ファイル 世界のコワ〜イ女たち ・ ブラマリのいただきっ! ・ ブラマンク ・ ブラマンジェ ・ ブラマンジェ曲線 ・ ブラマンテ ・ ブラマーナンダ ・ ブラミリ ・ ブラムの公理 ・ ブラムの加速定理 ・ ブラムウェル・フレッチャー ・ ブラム・コーエン ・ ブラム・ストーカー ・ ブラム・ストーカー賞 ・ ブラム・タンキンク ・ ブラム・チャイコフスキー ・ ブラム学園! ・ ブラム数 Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク ブラムの公理 ： ウィキペディア日本語版 ブラムの公理[ぶらむのこうり] 計算複雑性理論におけるブラムの公理（ブラムのこうり、）またはブラムの複雑性公理とは、計算可能関数の集合上の複雑性測度の満たすべき性質を述べた公理である。この公理はマヌエル・ブラムによって1967年によって導入された。 重要な結果として、公理を満たす任意の複雑性測度でブラムの加速定理とギャップ定理が成り立つことが知られる。公理を満たす測度として最もよく知られているものとしては時間複雑性と空間複雑性がある。 == 定義 == ブラム複雑性測度（）とは、1変数部分計算可能関数のアクセプタブル・ナンバリング $\backslash varphi$ と、計算可能関数 :$\backslash Phi:\; \backslash mathbb^\; \backslash to\; \backslash mathbb$ の組 $(\backslash varphi,\; \backslash Phi)$ で、次のブラムの公理を満たすものをいう。 * $\backslash varphi\_i$ の定義域と $\backslash Phi\_i$ の定義域は等しい * 集合 $\backslash$ は計算可能である 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「ブラムの公理」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.