511位和集合の公理推定知名度 0.09%和集合の公理(わしゅうごうのこうり、axiom of union)は、ZF公理系を構成する公理の一つで、任意の集合に対し、その要素の要素全体からなる集合の存在を主張するものであ…
512位ラスベガス法推定知名度 0.09%ラスベガス法（Las Vegas algorithm）は、間違った解を返さない乱択アルゴリズムを指す。すなわち、解を返すときは常に正しく、正しい解が求められない場合は失敗を通知…
513位クヌース・ベンディックス完備化アルゴリズム推定知名度 0.09%クヌース・ベンディックス完備化アルゴリズム（Knuth–Bendix completion algorithm）、あるいはクヌース・ベンディックス完備化手続きは、等式の有限集合…
514位アルゴリズム解析推定知名度 0.09%アルゴリズム解析とは、アルゴリズムの実行に必要とされるリソース（時間や記憶領域）量を見積もることである。多くのアルゴリズムは任意長の入力を受け付けるよう設計されている。アルゴリ…
515位SMN定理推定知名度 0.08%s<sub>mn</sub>定理もしくはパラメータ定理とは、再帰理論における定理であり、プログラミング言語（より一般化すれば、計算可能関数のゲーデル数）の基盤となっている。これ…
516位フォーク定理推定知名度 0.08%フォーク定理（フォークていり、folk theorem）とは、ゲーム理論において、無限回の繰り返し囚人のジレンマ・ゲームにおいて、協力解が均衡解として成立するという理論である。…
517位対の公理推定知名度 0.08%対の公理(ついのこうり、axiom of pairing)は、ZF公理系を構成する公理の一つで、任意の二つの元に対し、それら二つのみを要素とする集合（対、pair）が存在するこ…
518位ビタビアルゴリズム推定知名度 0.08%ビタビアルゴリズム（Viterbi algorithm）は、観測された事象系列を結果として生じる隠された状態の最も尤もらしい並び（ビタビ経路と呼ぶ）を探す動的計画法アルゴリズム…
519位多項式時間近似スキーム推定知名度 0.08%計算機科学において、多項式時間近似スキーム (polynomial-time approximation scheme, 以後PTASと呼ぶ) は(大抵NP困難であるような)最…
520位均一コスト探索推定知名度 0.08%均一コスト探索（きんいつこすとたんさく、uniform-cost search）は、重みつきの木や木構造やグラフを辿ったり探索するための探索アルゴリズムである。最良優先探索にお…
和集合の公理推定知名度 0.09%和集合の公理(わしゅうごうのこうり、axiom of union)は、ZF公理系を構成する公理の一つで、任意の集合に対し、その要素の要素全体からなる集合の存在を主張するものであ…和集合の公理推定知名度 0.09%和集合の公理(わしゅうごうのこうり、axiom of union)は、ZF公理系を構成する公理の一つで、任意の集合に対し、その要素の要素全体からなる集合の存在を主張するものであ…
