決定的アルゴリズム

決定的アルゴリズム（けっていてきアルゴリズム、deterministic algorithm）は、計算機科学におけるアルゴリズムの種類であり、その動作が予測可能なものをいう。入力を与えられたとき、決定的アルゴリズムは常に同じ経路で計算を行い、常に同じ結果を返す。決定的アルゴリズムは最も研究の進んでいるアルゴリズムであり、その多くは実際のコンピュータで効率的に実行できる実用性を備えている。決定性アルゴリズムと言うことも多い。決定的アルゴリズムの最も単純なモデルとしては数学の関数がある。関数は同じ入力に対しては常に同じ結果を生成する。異なるのは、アルゴリズムが具体的な手順を示しているのに対して、関数は式の形で暗黙のうちに定義を与えている点である。