誰が非決定的計算を導入しましたか？

私には2つの歴史的な質問があります。

非決定的計算を最初に説明したのは誰ですか？

クックがNP完全問題を説明し、エドモンズがPアルゴリズムを「効率的」または「良い」アルゴリズムとして提案したことを知っています。

このウィキペディアの記事を検索して、「アルゴリズムの計算の複雑さについて」をざっと調べましたが、非決定的計算が最初に議論されたときの参照は見つかりませんでした。

クラスNPへの最初の参照は何でしたか？それはクックの1971年の論文でしたか？

マイケル・ラビンとダナ・スコットに起因する計算における非決定性の概念を常に見てきました。彼らは、1959年の有名な論文「有限オートマトンとその決定問題」で非決定性有限オートマトンを定義しました。Rabinのチューリング賞の引用は、RabinとScottが非決定性マシンを導入したことも示唆しています。

Odifreddiはこの問題について次のように述べています。

「チューリングマシンのモデルは決定論的であり、命令の一貫性が必要であるという意味で（それらの多くは特定の状況で適用可能です）。コンピューティングデバイスのランダム化要素は、Shannon [1948] De Leeuw、Moore、Shannon、Shapiro [1956]。基本的に2つのモデルがあります。 1値関数（セット）は、決定論的な関数のパワーを超えません。確率論的なマシンは、次の状態に確率があるという点で非決定論的なマシンとは異なります。したがって、競合する命令は、マシンによって選択される可能性が同じではありません。
[P. Odifreddi、古典再帰理論、Vol。1、50ページ]

「存在する+検証者」という意味での非決定性の概念は、複雑性理論のはるか以前の計算可能性理論、例えば、クリーネの標準形、算術的階層に存在していたことに注意してください。Post正規システム（少なくとも1943年以来知られている）や文法など、他の計算モデル も非決定的です。ヒルベルトのイプシロン計算と選択演算子の時代に概念を押し進めることさえできると思います。

NPについては、Steve Cookに尋ねました。非決定的多項式時間計算可能問題のクラスの名前NPは、リチャードカープが1972年に著した有名な論文で紹介しました。クックは、多項式時間の短縮を定義し、クラスに名前を付けずに完全な問題があることを示した有名な1971年の論文で、多項式時間非決定的チューリングマシンの計算可能な問題のクラスを参照します。

彼の論文の前は、非決定的チューリングマシンによって多項式時間で計算できる問題にはあまり関心がありませんでしたが、Karpの論文の後、非常に多くの自然問題がNPにあることが明らかになりました。クックの論文の後、何人かの人々が興味を持ちました。特に（カープの論文が出る前に）早くから興味を持った2人はマイケル・ラビンとアラン・ボロディンでした。

Karpの1972年の論文は、NP完全性の普及が自然の問題の1つであることを示すことで人々を驚かせました。

RabinとScottは、1959年4月にIBMジャーナルで発表された研究論文で非決定性有限オートマトンを紹介しました。

複雑な出力関数を廃止し、マシンに単純に「はい」または「いいえ」の答えを出すことで、さらに単純な形式の定義を採用しました。これはMyhillでも使用されていましたが、「非決定的」、「双方向」、「多テープ」マシンへの一般化は新しいようです。

論文全体はここで見ることができます：http : //www.cse.chalmers.se/~coquand/AUTOMATA/rs.pdf