タグ付けされた質問 「ho.history-overview」

トピックの背後にある歴史：彼らの名前はどこから来たのか、誰が発見したのか、彼らが最初に証明されたとき、それらが長年どのように進化したか。

7
計算理論の分野へのラムダ計算の貢献は何ですか？
私はラムダ計算を読んで「それを知る」だけです。これは、チューリングマシンとは対照的な代替の計算形式と考えています。これは、関数/リダクションを使用して物事を行う興味深い方法です（粗雑に言えば）。いくつかの質問が私をしつこく続けます： ラムダ計算のポイントは何ですか？なぜこれらすべての機能/削減を経るのですか？目的は何ですか？ その結果、私は疑問に思っています：ラムダ計算はCSの理論を前進させるために正確に何をしましたか？その存在の必要性を理解する「アハ」の瞬間を持つことができるのは、どのような貢献でしたか？ なぜラムダ計算はオートマトン理論のテキストに含まれていないのですか？一般的なルートは、さまざまなオートマトン、文法、チューリングマシン、複雑度クラスを通過することです。ラムダ計算は、SICPスタイルのコースのシラバスにのみ含まれています（おそらくそうではありませんか？）。しかし、私はそれがCSの中核カリキュラムの一部であることはめったにありません。これは、それほど価値がないことを意味しますか？たぶんそうではなく、私はここで何かを見逃しているかもしれません 関数型プログラミング言語はラムダ計算に基づいていることは知っていますが、プログラミング言語ができる前に作成されたため、それを有効な貢献とは考えていません。それでは、理論への応用/貢献について、ラムダ計算を知っている/理解しているポイントは本当に何ですか？
2
Shorのアルゴリズムの削減は、もともとShorによって発見されましたか？
これは、研究の質問であるというよりも「歴史的な質問」ですが、Peter Shorによって最初に発見された、因数分解のためのShorのアルゴリズムでの順序探索の古典的な縮小でしたか？Shorに先行する削減について説明した論文はありますか、それとも単に「民俗結果」と呼ばれていますか？それとも、同じ論文で単に別のブレークスルーでしたか？
14
トポロジーのコンピューターサイエンスへの応用
コンピューターサイエンスにおけるトポロジの応用に関する調査を作成したいと思います。私は、コンピューターサイエンスのトポロジカルなアイデアの歴史を取り上げ、現在のいくつかの開発を強調する予定です。誰かが以下の質問について意見を述べることができれば、非常に役立ちます。 コンピューターサイエンスでのトポロジの使用の時系列を説明する論文やメモはありますか？ トポロジーの結果のコンピューターサイエンスへの最も重要な応用は何ですか？ トポロジーを使用して計算の洞察を得る現在の研究で最も興味深い分野は何ですか？ ありがとう！
5
ツリー幅の概念の起源
今日の私の質問は（いつものように）ちょっとばかげています。しかし、私はあなたに親切にそれを考慮するように要請します。 ツリー幅の概念の背後にある起源や動機について知りたいと思いました。FPTアルゴリズムで使用されていることは確かに理解していますが、それがこの概念が定義された理由だとは思いません。 ロビン・トーマス教授のクラスで、このトピックに関する筆記ノートを作成しました。私はこの概念のアプリケーションのいくつかを理解していると思います（ツリーの分離プロパティを分解されたグラフに転送するように）が、何らかの理由で、この概念が開発された理由はグラフの近さを測定することであると確信していません木に。 私は自分自身をより明確にしようとします（できるかどうかはわかりませんが、質問が明確でない場合はお知らせください）。同様の概念が、この概念が「借用」されたと思われる数学の他の分野のどこかに存在したかどうかを知りたい。私の推測はトポロジーになりますが、背景が不足しているため、何も言えません。 私がこのことに興味を抱く主な理由は、その定義を初めて読んだとき、誰がなぜそれをどのように思い、どのような目的で考えるのかわからなかったからです。質問がまだ明確でない場合、私は最終的にこのようにそれを述べてみます-treewidthの概念が存在しないふりをしましょう。離散的な設定に対する自然な質問（またはいくつかの数学の定理/概念の拡張）は、ツリー幅として定義（関連する単語を使用させてください）を思い付くようになります。
5
チューリングマシンを主要な計算モデルとして採用する歴史的な理由。
チューリングのモデルは、計算を記述する際の「標準」になったと私は理解しています。なぜそうなのか、つまり、TMモデルが他の理論的に同等の（私の知る限り）モデル、たとえばKleeneのμ-RecursionやLambda Calculus（私は理解している）よりも広く使用されるようになった理由を知りたい前者は後ほど登場せず、後者はもともと計算のモデルとして特別に設計されていなかったが、代替案が最初から存在していたことを示している）。 私が考えることができるのは、TMモデルがその代替よりも実際に持っているコンピューターをより厳密に表しているということです。これが唯一の理由ですか？
1
ラビン/ヤオは（少なくとも引用可能な形で）存在しますか？
Andrew Chi-Chih Yaoの古典的な1979年の論文で、彼は「準備中のMOラビンとACヤオ」に言及しています。これは、等価関数EQの有界誤差通信の複雑さという結果のためであり、Nは（範囲内の2つの整数かどうかを0にN - 1で等しい）O （ログログN ）。NN_N000N−1N−1N-1O(loglogN)O(log⁡log⁡N)O(\log\log N) Andrew Chi-Chih Yao、分散コンピューティングに関連する複雑性に関する質問（予備報告）、STOC 1979、pp。209–213。土井：10.1145 / 800135.804414 Alexander Razborovのコミュニケーションの複雑さに関する入門調査は、この結果を証明し、「次の美しい構造は、通常、RabinとYaoに起因する」と述べています。考え方は、ビット列を所定の多項式係数と見なすことですP(x)P(x)P(x)。アリスはランダムな整数ピックqqq、0からp−1p−1p-1いくつかの所定の素数のためp∈[3n,6n]p∈[3n,6n]p \in [3n,6n]、n=⌈logN⌉n=⌈log⁡N⌉n = \lceil \log N\rceil、及び送信ボブに。(q,P(q)modp)(q,P(q)modp)(q, P(q) \mod p) アレクサンダー・ラズボロフ、コミュニケーションの複雑さ、「数学への招待」の第8章、pp。97–117、スプリンガー、2011年（preprint） Rabin / Yaoの論文は、少なくとも他の誰かの論文で少なくとも個人的なコミュニケーション/ドラフト/スケッチになったのでしょうか。ブレークスルーからブレークスルーへのステップ
7
TCSで最も古い未解決の問題は何ですか？
この問題は、このMOの質問に触発されており、非常に興味深いと思いました。 TCSで最も古い未解決の問題は何ですか？ 明らかに、この質問には明確化が必要です。 まず、TCSとは何ですか？奇数の完全数の存在はTCSではないと思います。ヒルベルトの10番目の問題はTCS だと思います。「定規とコンパスでXを構築できますか」などの問題もTCSであると思います。これは、計算の制限されたモデルでアルゴリズムを求めているためです。TCSの問題を定義する厳密な方法はないかもしれませんが、あなたの判断を使用してください。おそらく、1つのテストは、「これが解決された場合、STOC / FOCSに表示される可能性が最も高いでしょうか。それを解決した研究者は、おそらく理論的なコンピューター科学者でしょうか？」 第二に、「最も古い」とは何ですか？私は日付で最古を意味します。記載された日付も検証可能である必要がありますが、私はこれがあまりにも難しいとは思わない。 第三に、「未解決の問題」とは何ですか？「未解決の問題」とは、特定の時点で特に未解決と見なされた問題を意味します。おそらく、それは未解決の問題のセクションの論文の最後に登場したか、一部の人々がそれに取り組んで失敗したという証拠があるかもしれませんし、研究されていることを示唆する誤った証拠があるかもしれません この基準に当てはまらないものの例：「ギリシャ人はオブジェクトXとYを研究しました。Zは明らかに中間オブジェクトであり、構築できるかどうか疑問に思いました。」その期間のZに関する文献がない場合、その期間の未解決の問題ではありません。 第四に、「問題」とはどういう意味ですか？私は特定の「はい/いいえ」の質問を意味し、「すべてのオブジェクトXをプロパティYで特徴付ける」のようなものではありません。そのような質問には満足のいく答えがないことが多いからです。多くの場合、質問が解決されたかどうかに関して意見の相違があります。ここではそのような質問に入らないようにしましょう。はい/いいえの質問ではないが、それが本当に開かれていることが明らかな場合、それも問題ありません。（これが明確でない場合、「問題」とは正式に述べられた問題を意味します。16世紀のギャンブルに関する民俗伝説をBPPとPSPACEに関する質問に変換しないでください。） 最後に、これは大きなリストの質問ではないため、既に投稿された回答よりも古いと思われる場合にのみ回答を投稿してください（または投稿された回答が他の条件を満たしていないと思われる場合-TCSではないなど）または開いていません）。これは、古い未解決の問題の無差別なコレクションではありません。
8
アランチューリングのコンピューターサイエンスへの貢献
（理論的）コンピューターサイエンスの先駆者の1人であるAlan Turingは、チューリングマシンの定義、教会チューリングの論文、決定不能性、チューリングテストなど、私たちの分野に多くの科学的な貢献をしました。ただし、彼の重要な発見は、私がリストしたものに限定されません。 彼の生誕100周年を記念して、彼の業績をより良く理解するために、コンピューターサイエンスへの彼の重要な貢献のより完全なリストを求めるのは良いことだと思いました。 それでは、コンピューターサイエンスに対するアランチューリングの重要な/影響力のある貢献は何ですか？
2
3色のNP硬さの参照？
歴史的な質問があります。 Iグラフ（あるいは、3-着色性という事実のための基準を決定しようとしている所与のため-colourability K ≥ 3）NP困難であるが。kkkK ≥ 3k≥3k\geq 3 魅力的な答えは「Karpのオリジナルペーパー」ですが、それは間違っています。ここにスキャンがあります：組み合わせ問題間の還元可能性、Karp（1972）。これは、色数（入力：グラフ。出力：）が難しいことを証明しています。これはより難しい問題であり、3彩色性の硬さを暗示する標準のガジェット構造（True、False、およびGroundの3色）とは異なります。χ （G ）χ(G)\chi(G) Garey and JohnsonのComputers and intractabilityは、[GT4]として彩色性を持ち、Karp（1972）を参照します。kkk
2
「スティーブのクラス」：SCの起源
名前はSteve Cook、名前はNick Pippengerであることを「知っています」。間違っていなければ、Steve CookはNick Pippengerに敬意を表してNCの名前を付けました。逆も同様であると言われました。ただし、DCFLに関するスティーブクックの論文または\ mathsf {RL} \ subseteq \ mathsf {SC}である Nisanの証拠のどちらにも、この後者の事実の証拠を見つけることができませんでした。N C R L ⊆ S CSCSC\mathsf{SC}NCNC\mathsf{NC}R L ⊆ S CRL⊆SC\mathsf{RL} \subseteq \mathsf{SC} 後者の主張の文書化された証拠はありますか、またはこれは単に「空中に」ありますか？ ps私はスティグラーの法則の例を参照していて、私が「スティグラーの相互関係」と呼ぶものについて疑問に思っていたので、私は尋ねています。この例は、カルタンマトリックスとキリングフォームです。
2
理論Aと理論Bの起源と応用？
いくつかの最近の質問（q1 q2）で、「理論A」対「理論B」の議論がありました。これは、ロジックとプログラミング言語の研究とアルゴリズムと複雑さの研究との境界を捉えているようです。 この用語は私にとって新しいものであり、簡単なWeb検索では、それを説明する明確な参考文献が見つかりませんでした。 この用語の起源を説明するリファレンスを知っている人はいますか？もしあれば、この区別から実質的な利益が得られることを意図していますか？
2
が線形サイズの回路を持っているというコルモゴロフの推測
Stasys Juknaは、著書のBoolean Function Complexityで、Pのすべての言語には線形サイズの回路があるとコルモゴロフが信じていると述べています（564ページ）。言及はなく、オンラインでは何も見つかりませんでした。誰もこれについてもっと知っていますか？
10
「現代の」コンピューターサイエンスが登場する前の確率的（ランダム化）アルゴリズム
編集：2012年12月6日までに最高スコアの回答を選択します。 これは簡単な質問です。 （決定的）アルゴリズムの概念は、BCにまでさかのぼります。確率的アルゴリズムはどうですか？ ではこのwikiエントリ、計算幾何学における最も近いペアの問題のためのラビンのアルゴリズムは、最初の無作為化アルゴリズム（年???）として与えました。リプトンは、ここでのランダムアルゴリズムの現代の始まりとしてRabinのアルゴリズムを導入しましたが、最初のアルゴリズムとしてではありません。また、1960年代に発見された確率的有限オートマトン（非常に単純な計算モデル）の多くのアルゴリズムを知っています。 1960年代以前であっても、確率的/ランダム化されたアルゴリズム（または方法）を知っていますか？ または どの発見が最初の確率的/ランダム化アルゴリズムとみなされますか？
弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.