このページは主要なトピックであり、これについて記事を書く必要があります。1人以上の編集者が、これは広義の記事のタイトルにふさわしいと考えています。記事はここで執筆するか、最初に別の場所で下書きをすることもできます。関連するタイトルはここで説明し、関連のないタイトルは「計算における不確定性(曖昧さ回避)」に移動してください。 |
不確定性とは、時間の経過とともに進化する形式システム(多くの場合、計算として概念化されます)の特性であり、ある時点でのシステムの内部状態に関する完全な情報によって、複数の将来の軌跡が許容されます。
簡単に言えば、このようなシステムを同じ初期状態に戻した場合、またはシステムの 2 つの同一コピーを同時に起動した場合、正式な仕様外から何らかの偶然の要素がシステムに入り込む可能性があるため、確実に同じ動作が生成されるわけではありません。
不確定性は物理法則から生じる場合もあれば、抽象モデルから漏れ出る場合もあります。また、意図的にランダム化されたアルゴリズムなど、不確定性の明示的なソースがモデルに含まれている場合もあります。これは、これによって得られる利点のためです。
曖昧さ回避
計算における不確定性とは次のようなものを指します。
- 量子コンピュータにおける量子不確定性
- 非決定性有限オートマトン
- 非決定性アルゴリズム
並行処理の場合: