誰がどんな論文を読むべきですか?


454

この質問は(インスパイアされた)/(恥ずかしく盗まれた)MathOverflowでの同様の質問ですが、ここでの答えはかなり異なると思います。

私たちは皆、それぞれの理論分野でお気に入りの論文を持っています。たまに、驚くほど(例えば、重要、説得力のある、一見シンプルな)論文をみんなと共有したいと思うことがあります。これらの論文をここにリストしてください!彼らはしていない持っている理論計算機科学からのものであると-あなたは社会にアピールするかもしれないと思うものは罰金答えです。

必要なだけ答えることができます。回答ごとに1枚の用紙を入れてください!また、これはコミュニティWikiであるため、好きなものすべてに投票してください!

再帰理論の複雑さの論文に関する以前の質問がありましたが、それは非常に特殊化されていることに注意してください。)


65
答えでは、今日のオリジナルの論文を読むのが本当に良いアイデアであるかどうか(または現代の教科書の説明を読む方がはるかに理にかなっている場合)にもっと重点を置きたいと思います。真に独創的なTCS論文を見たことがありますが、元の記事を解読しようとする苦痛から同僚を救いたいです。登場したことがない...「完全版」へ
ユッカSuomela

7
はい、このタイプの論文がリストに適していないことを明確に願っています(みんなと共有したいなら、読むのは苦痛ではないはずです)
ライアンウィリアムズ

30
あまりにも多くの人がワンライナーを投稿しています。誰も何も考えずに何百ものユニークな論文を投稿できます。みんながそれらの論文を読むべきだと思う理由を投稿してください。これは、他の誰かがその結果を書く代わりに、なぜ彼らがその論文読むべきかを正当化すること、そして誰もが読むべきである論文のすごいことを意味します。
ロビンコタリ

良い質問。私の意見では、もしあなたが発明者の心を理解し、おそらく物事を発明する方法を理解したいなら、あなたは彼ら自身の言葉を読まなければならないということです。努力すればするほど、実際の思考プロセスに近づきます。
ixtmixilix

回答:



145

コンピュータサイエンス自体をほぼ間違いなく開始した1936年の論文:

  • アランチューリング、「計算可能な数について、Entscheidungsproblemへの応用」、ロンドン数学学会論文集s2-42、230–265、1937。doi :10.1112 / plms / s2-42.1.230

チューリングはわずか36ページで、チューリングマシンを定式化(ただし名前は付けません)し、ゲーデルの有名な第一不完全性定理を計算の観点から書き直し、普遍性の概念を説明し、付録ではチューリングマシンによる計算可能性は -定義可能な機能(ChurchとKleeneによって研究された)。λ


7
それは...また、非常にアクセスし、読みやすい
サリエルのHar-Peled

25
チャールズ・
ペツォルド


123

ケントンプソンの「Trusting Trustについての考察」。短く、甘く、驚くべき。


5
また、非常に親しみやすい。私は基本的にCSのバックグラウンド、プログラミングの経験がなく、コンパイラが何であるかさえ知らなかったときに、かなり前にそれを読みました。
ヨルグWミットタグ

1
「先週、Google社員のケン・トンプソンは、UNIXオペレーティングシステムに関する初期の研究で、情報通信で日本賞を受賞しました。」(src:Life at Googleのバズ投稿)
セバスチャングリニョーリ

4
少なくともコンパイラが何であるかを知らないと、この論文を消化するのはかなり難しいと思います。
フィクシー

2
論文では、図2.1と2.2は入れ替わっていると思います。
デニス

1
同意しない-この論文では驚くべきことや驚くべきことは何もありません。TL;「ハッカーを罰するために犯罪者のコードを変更する必要がある[泥棒や強盗のように]」80年代半ばからの6ページ。そうそう、名前で呼ぶことなく、クインに言及しています。
c69

94

すべてのコンピューター科学者が浮動小数点演算について知っておくべきこと

このペーパーでは、浮動小数点は魔法ではないという概念を説明し、強化します。オーバーフロー、アンダーフロー、非正規化数とは何か、NaNとは何か、infとは何か、そしてこれらが意味するすべてのことを説明しています。このペーパーを読んだ後、a == a + 1.0がtrueになる理由、a == aがfalseになる理由、2つの異なるマシンでコードを実行すると2つの異なる答えが得られる理由、異なる値を合計する理由がわかります順序は、桁違いの数と、数え切れないほど無限の数のセットを数え切れないほど有限のセットにマッピングする世界で起こるすべての奇抜なものを提供することができます。

編集されたバージョンのWeb上でも利用可能です。


3
リンクを修正してください。壊れている。
オスカーメデロス

1
OracleはSunを買収して以来、SunのWebページからのリンクのほとんどを台無しにしました。ここから元の論文に到達できますが。
障害


1
リンク切れを修正しました。
ライアン

85

Keshavの論文の読み方こちらから論文をダウンロードすることもできます


本当に読みやすいです。
アンソニーラバレー

私はCS研究論文は外国語で書かれているといつも思っています。
ベルリンブラウン

3
とても良い!誰もがそれを見逃さないように、サイトのキャッチフレーズのバナーに置く価値があります。
11

2番目のリンクは現在壊れています
クリストファーマニング

2
これはリストから私のお気に入りです。また、これは公開された後に更新を受け取らないほとんどの論文とは異なり、これは生きた文書であることに注意してください。
デニス

67

J.エドモンズによるパス、木と花。古典的な組み合わせ最適化問題に関するこの論文は、よく書かれているだけでなく、「多項式時間アルゴリズム」の概念は本質的に効率の同義語であると述べています。


61

リチャード・カープによる組み合わせ問題間の還元可能性。このペーパーには、Karpの「元の21 NP完全問題」と呼ばれることが多いものが含まれています。多くの点で、この論文は、より広い領域への適用性を実証することにより、NP完全性の研究を真に動機付けました。とても読みやすい。


6
私はこの論文が好きですが、いくつかの削減は本当に大雑把で従うのが難しいです。詳細については、複雑なテキストを参照してください。
アンドラスサラモン

2
@Andras Salamon 100%に同意します。
Tayfunペイ

52

ハートマニスとスターンズ、「アルゴリズムの計算の複雑さについて」、アメリカ数学会のトランザクション117:285–306(1965)

これは時間の複雑さの研究を真剣に考えた最初の論文であり、確実にハートマニスとスターンズの共同チューリング賞の主要な推進力でした。それらの初期定義は、今日使用しているものとはまったく異なりますが、この論文は非常に読みやすくなっています。60年代の古い「ワイルドウエスト」のフロンティアで物事がどのように感じられたのか、本当に感じます。



51

リチャードファインマンによる量子機械コンピューター(PDF)

彼は、量子計算の概念を紹介し、量子回路について説明し、量子回路が古典回路をどのようにシミュレートできるかを説明し、量子回路が大量のガベージキュービットなしで関数を計算する方法を示します(非計算を使用)。

次に、古典的な回路を時間に依存しないハミルトニアンにエンコードする方法を示します。彼の証明は量子回路にも当てはまるため、進化するハミルトニアンがBQPに困難であることを示しています。彼のハミルトニアン構造は、Kitaevによって証明されたクックレビンの定理の量子バージョンの証明にも使用され、k局所ハミルトニアンがQMA完全であることを示しています。


リンクが無効です。別のソースがありますか?edit> Googleで検索:wjzeng.net/Ref/Feynman_QuantumMechanicalComputers.pdfこれですか?
クライム

それだ。出版社のウェブサイトに新しいリンクとそのページへのリンクを追加しました。
ロビンコタリ

ファインマンがこの論文を書いたとき、BQPとQMAの概念は存在しましたか?または、この関係を描いた最近の論文はありますか?k局所ハミルトニアンがQMA完全であるというこの事実の参照/説明はありますか?
Anirbit

48

エキスパンダーグラフとそのアプリケーション、S。Hoory、N。Linial、およびA. Wigdersonは、エキスパンダーグラフに関する非常に優れた調査です。2008 AMSコナント賞を受賞したことは驚くにあたりません。

エキスパンダーグラフは、最近のTCSのブレークスルーの重要な要素であることを思い出したいと思います。

最近ではない:


1
コンビナトリアルを監視するか、前提条件をサポートする必要があります。エキスパンダーグラフは、今日の数値解析でも使用されています。
-shuhalo


44

Hastadの「Some Optimal Inapproximability Results」(JACM 2001;元はSTOC 1997)を誰も思いつかなかったことに驚いています。この画期的な論文は非常に上手く書かれているので、数学的成熟以外のことはまったくなく、フーリエ技術、並列反復、ガジェット、その他など、いくつかのことを上手に学びたいと思うでしょう。


44

O((logN)3)O(exp((649b)13(logb)23))


42

Les ValiantのTheory of the Learnable(1984)は、何十年もの間、理論を学ぶためのアジェンダを設定しました。

また、この論文には、楽しく魅力的な直感的な説明がかなりあります。このペーパーのさまざまな部分は、COLT / ALTのトークで今でも日常的に引用されています。




37

Stephen A. Cookによる定理証明手順の複雑さ。この論文は、ポリタイム非決定的チューリングマシンによって決定されたすべての言語が命題トートロジーのセットに(クック)削減できることを証明します。

この結果の重要性は(少なくとも)2つあります。1つ目は、NPに少なくともクラス全体と同じくらい難しい問題、NP完全問題があることを示しています。さらに、そのような問題の具体例を提供し、それらを完全に証明するために他の人に還元することができます。

今日、Karp削減よりもKarp削減がより一般的に使用されていますが、SATがKarp削減に関してNP完全であることを示すために、この論文の主な証拠を簡単に適合させることができます。


7
これは、ジャーナルバージョンが登場したことのない会議論文の1つですが、これは間違いなく戻ってくる価値があります。
アンドラスサラモン


36

CAR Hoare、コンピュータープログラミングの公理的基礎

要約から:この論文では、幾何学の研究に最初に適用され、後に数学の他の分野に拡張された技術を使用して、コンピュータープログラミングの論理的基礎を探ろうとします。

それは非常にフォローしやすい6つのページを持っています。


34

アロン、マティアスとセゲディ、周波数モーメントを近似する空間の複雑さ、JCSS 58(1):137-147、1999

このかなり不思議な論文は、ストリーミングアルゴリズムを形式化し、ストリーミングモデルの基本的なタスクの厳密な上限と下限を証明した最初の論文です。その技術はシンプルで、その証明は美しく、その影響は深遠です。この作品は、2005年にアロン、マティアス、セゲディのゲーデル賞を受賞しました。


ダン これを追加するつもりだった:)
Suresh Venkat

30

現在、Immerman–Szelepcsényi定理として知られている定理を証明するImmermanの論文は、読みやすく、賢く、短い論文の素晴らしい例です。イントロで語られた物語が大好きです。

N. Immerman、非決定的空間は補完の下で閉じられています、SIAM Journal on Computing 17、1988、pp。935–938。


1
公平に言うと、Szelepcsényiの論文「非決定的オートマトンの強制列挙の方法」も同じように素晴らしいです。
レフReyzin

30

fnログn

NSPACEfnDSPACEfn2

NPSPACE=PSPACEPNP

Savitch、Walter J.(1970)、「非決定性と決定性テープの複雑性の関係」、Journal of Computer and System Sciences 4(2):177–192。




24

抽出器と擬似乱数生成器Luca Trevisanによる。この論文では、エラー訂正コードと組み合わせ設計によって、優れたランダム性抽出器が構築されています。構築は非常に簡単に理解できますが、抽出器、コード、および設計間の関係がまったく明らかではないため、完全に魅力的です。

結局のところ、それはいくつかの派手な組み合わせを必要とするTCSの結果の良い例です。


24

証明の書き方、レスリー・ランポート。


5
私はこれを読み、ロックハートの数学者の嘆き(maa.org/devlin/LockhartsLament.pdf)を読みました。私見私は、ランポートが提案する戦略は、ロックハートの数学の美しさに関する主張に反すると信じています。
マルコスヴィラグラ

5
非常に興味深い読み物。私はあなたの意見を理解していますが、私が間違っていない場合、ランポートは、学生が数学の味を開発するのを支援することを目的とするロックハートのターゲットよりも「数学的に教育された」人々に彼のメッセージを向けます。また、厳密な形式に従うとプルーフが非常に読みにくくなることも認めますが、レベルごとのプルーフのアイデアについてはランポートに同意します。すべてを詳細に読むことを常に望む/必要とする/時間があるとは限りません今後の予定をまとめておくことは非常に役立ちます。「見やすい/はっきり/
wlog


19

この問題についてサラペイリンを引用する場合:「すべての人」。

もっと真剣に、私はほとんどの論文がオリジナルで読まれるべきではないと思います。時間が経つにつれて、人々は元の問題/解決策を理解して提示するより良い方法を見つけ出します。歴史的に重要なチューリング原本を除いて、それをきれいにしたフォローアップ作業がある場合、ほとんどの原本を読むことはお勧めしません。特に、本のほうがオリジナルのものよりもはるかに多くのものが提示されています。


16
このコメントは一般的に正しいですが、ライアンはこれが正しくない例を明示的に求めています。まだ証明されていない推測、見落とされてきたテクニック、または忘れられがちですが、ちりばめられて新しい用途に使用される可能性のある結果を含む多くの古典的な論文があります。
アンドラスサラモン

12
同意しません。元の論文はいつか読めないと二次作品は結果のより良い博覧会を与えているが、ことは事実である時々、元の論文は後の作品では省略されているアイデアが含まれています。また、元の論文を読むことで、著者がどのようにアイデアを思いついたかを知ることができます。MOでのティモシーチョウのこの投稿をご覧ください
Kaveh

4
これが起こると素晴らしい。私はそれがややまれだと主張しています。
サリエルハーペルド

6
あなたは「それらのすべて」と言いますが、それから「それらのどれでもない」と主張しませんか?
ピーターテイラー

2
@ピーター・テイラー、だからサラが言及されていると思う。:)
ラドゥグリゴール

18

Chomskyは、言語の観点から、自然言語を記述するために数学モデルを使用する方法を分析します。


3
ちなみに、私はこの論文を支持していません。タイプミスを修正してリンクを追加するために編集しただけです。言語に関する古典的な論文が必要な場合は、Goldの論文を好みます。
アンドラスサラモン

弊社のサイトを使用することにより、あなたは弊社のクッキーポリシーおよびプライバシーポリシーを読み、理解したものとみなされます。
Licensed under cc by-sa 3.0 with attribution required.