漸近的な時間の複雑さを使用した最初のコンピューターサイエンスペーパーは何ですか？

ビッグOがコンピューターサイエンスで最初に使用されたのはいつで、いつ標準になりましたか？このウィキペディアのページには、クヌース、ビッグオミクロン、ビッグオメガ、ビッグシータ、SIGACT 1976年4〜6月が引用されていますが、その論文の冒頭には

私たちのほとんどは、表記の使用の考え方に慣れて頂いております その大きさは定数倍で上位囲まれているすべての機能を表すために全ての大型のため、。$O(f(n))$$f(n)$$n$

この引用は、アイデアと表記法がすでに一般的に使用されていたことを示しています。

ウィキペディアのページには、1800年代後半から1900年代初頭の数学の論文も引用されていますが、それは質問にまったく答えていません。特に、当時（1800年代後半ではなく60年代と70年代）の研究者が、漸近解析が最初に使用されたとき、壁時計時間がより良い測定基準であると言った人がいると言うのを聞いたことがあります。しかし、私が話をした誰も、このように押し戻された特定の論文を引用することはできず、これらの物語を確認または否定できる証拠を見つけたいと思います。

歴史の質問では、通常微妙なニュアンスがあり、特定の概念を紹介した特定の論文を決定するのは容易ではありません。 。しかし、歴史は基本的に次のようになります。Landau表記法は、1970年代初頭に「重要な概念」としてCSにインポートされた古い数学形式（1894 / Bachman）[1]です。1970年代半ばまでに、これはKnuthの参考文献のようにある程度受け入れられ、Knuth自身がこの概念の普及に関与しました。

興味深いことに、CSへのそのインポートは、1970年代初頭に発見されたP対NP対Exptimeの区別とおそらく密接に関連していた。1970年代初頭にクラスPを定義し始めたのはコブハム/エドモンズでした。[3] Stocktimeyer / MeyerによるExptimeとExpspaceに関する初期の証拠がありました。[2] クック・レビンの定理[4]（1971）は、P対NP時間の核となる関連性を示し、すぐにKarp [5]（1972）によって裏付けられました。

数論だけでなくコンピューターサイエンスの最先端で働いていた初期の数学者は、ポックリントンでした。[3]のように、それは指摘します：

しかし、HC Pocklingtonは1910年の論文[11] [12]で、2次合同を解くための2つのアルゴリズムを分析し、「モジュラスの対数の累乗に比例する」時間がかかることを観察し、これを時間を要するものと比較しました「係数自体またはその平方根に比例する」ため、多項式時間で実行されたアルゴリズムとそうでないアルゴリズムを明確に区別します。

数論のための機械ベースのアルゴリズムの複雑さ、すなわちファクタリングを分析するもう1つの初期の先駆者は、カリフォルニア大学バークレー校の数学教授であるデリックレーマーで、1920年代には早くも「アルゴリズム」（ふるいベースの実装）を構築/分析しましたそして、その可能性は、非公式な方法でファクタリングを行うことにより、計算の複雑さのようなものを説明した可能性があります。[6]

さらに別のケースは、ゲーデルがフォン・ノイマンに宛てた「失われた」1956年の手紙で、サイズnの証明を見つけるための機械のステップf（n）の複雑さの測定について話している。

[1] Big O表記法の歴史 /ウィキペディア

[2] 指数関数的な時間を必要とする単語の問題。/ストックマイヤー、マイヤー（1973）

[3] P時間クラスの履歴 /ウィキペディア

[4] クック・レビンの定理 /ウィキペディア

[5] Karps 21 NP完全問題 /ウィキペディア

[6] レーマー因子分解機/ふるい /ウィキペディア

[7] ゲーデルズは手紙を失いました / RJLipton