面白いTCS関連の論文など？

あなたが知っている最も面白いTCS関連の出版物は何ですか？

面白いと思われるものだけを含めてください。インテリジェントにユーモラスになるように明示的に作成された作品（たとえば、複雑性理論に関する短いジョークの公開コレクションよりも）が好まれます。ユーモラスな（実際にはユーモラスで、かわいいだけでなく）タイトルの作品も受け入れられます。

「最高の」ものがトップにバブルできるように、回答ごとに1つの作品のみを入力してください。

スコットアーロンソンのニュース：多項式階層が崩壊する：数千人が扱いやすいことを恐れた

トイレットペーパーの問題（Donald Knuth、American Mathematical Monthly、1984年）。序文から：

特定の建物のトイレットペーパーディスペンサーは、2つのロールのティッシュを保持するように設計されており、人はどちらのロールも使用できます。建物のトイレを使用する人には、大きな選択者と小さな選択者の2種類があります。大物を選ぶ人は常に、現在より大きなロールからトイレットペーパーを取り出します。小さな選択者は常に反対のことをします。ただし、2つのロールが同じサイズの場合、または空でないロールが1つだけの場合、誰もが最も近い空でないロールを選択します。両方のロールが空の場合、誰もが問題を抱えています。

カイル・バークとデビッド・チャールトン。おそらく論理的な多項式時間の下限。 ボストン大学、2005年（リンクについて@arnabとWebアーカイブに感謝します。）

これはエイプリルフールの論文であったと確信していますが、いずれにしても絶対に面白いです。要約：

既存の複雑性理論のギャップを埋めるために、おそらく私たちが知る限り、おそらく多項式時間で終了する可能性のある多項式時間計算のクラスを導入します。このクラスを適用して、NP完全問題のアルゴリズムがおそらく多項式時間で実行されないことを示します。

アンドリュー・W・アペルの「POPL数学か科学か？」

このペーパースタディでは、CS会議はさまざまであり、著者が名前をアルファベット順（理論）または投稿順（適用）のどちらで並べるかに基づいて、理論会議または応用会議に分類しようとします。

Jean-Yves Girardの論文のいくつか。

彼のLinear Logic論文には、Theoretical Computer Scienceジャーナルの編集者による次の脚注があります。

その長さと斬新さのため、この論文は審判の通常のプロセスにさらされていません。編集者は、この作品に関して最終的に表明される批判を著者と共有する準備ができています。

もう1つは、ロジックのルールからルールのロジックまでのLocus Solumです。192ページの論文には、「紙の純粋な無駄」という名前のほぼ100ページの付録があります。これは私が今まで見た中で最も面白い付録です。

• ドン・クヌースの歌の複雑さ
• Alan T. Shermanによる超多項式部分指数関数について（ACM Digital Libraryが示唆する「Man T. Sherman」ではありません）。

Yonatan Bilu、Dana Porrat、Yoav Yaffeによる論文「安価なセーフセックス乱交でのコンドームの数について」。この論文は公開されていないため、要件の1つ（公開される作品）に対応していません。しかし、例外としてここに含めることができると思います。

実際、おもしろいことを意図したジャーナル全体があります。Craptologyのジャーナル。通常、トピックは暗号化に関連しています。セッションビデオもあります（！）

1つの例は、ヒッチハイカーの宇宙における暗号化の第4巻の論文（セクション5）です：

来るアトラクション

機能のプレゼンテーションを楽しんだ場合は、同じ著者による今後のアトラクションについて喜んでお聞きします。

–ヒューマンインタラクティブプロトコルシステムの暗号解読。シャキーラ[4]の論文の論争を呼ぶ暗号解読は、HIPSが実際に嘘をついていることを証明しています。

–反ゼロ知識。検証者が聞きたいものを除いて、証明者が知っているすべてを明らかにするプロトコルシステム。アドホックアンチゼロ知識プロトコルは、ほとんどのカスタマーヘルプラインサービスによって開発されています。

–社会現象に基づく量子鍵の配布。このホワイトペーパーでは、量子オブジェクトを使用せずに、量子技術を使用してキーを配布する方法を示します。量子オブジェクトを使用する代わりに、プロトコルは、女性との最初の夜の外出が日付としてカウントされるかどうかについて男性が持っている不確実性を代わりに使用して、キーを送信します。

具体的な数学：コンピュータサイエンスの基礎、ロナルドグラハム、ドナルドクヌース、およびオレンパタシュニック。

面白いサイドノートがたくさんある素晴らしい本。:)（DEKのGKPページも参照してください。）

FUNの処理をお勧めします：Fun With Algorithmsに関する国際会議。

私は、グラハム・コーモードによる「レミングスゲームの難易度、またはいや、もっとNP完全性の証明」と言わなければなりません。

ドンクヌースの用語の提案。SIGACT News、6（1）、 1974。TheComplexity Blogで言及されています。これは、明らかに「NP完全」および「NPハード」という用語を取得した場所です。

この作品から私のお気に入りの1つは、現在NP困難問題と呼ばれているものを充足可能性ハード、または略してS困難と呼ぶアルバートマイヤーの提案です。

Adam Kalaiの1ページのSODAペーパー「ランダムな因数分解された数の生成、簡単に」に付随する図を確認してください：リンク

Mihai PatrascuとLiam Rodittyの「Thorup–Zwick Boundを超えた距離のオラクル」に関する論文は、Mihaiのホームページで最初に「ボールを成長させる方法」と題されていました:-)

A. Broder、J。Stolfi「ペシマルアルゴリズムとシンプレキシティ分析」、ACM SIGACTニュース16（3）、1984年秋。

この論文では、「コンピューターサイエンスのまったく新しいブランチ、嫌がるアルゴリズムの設計と分析。直感的に、問題Pの嫌がるアルゴリズムは、単純な観察者をだまそうとする方法で時間を浪費するものです」を紹介します。

LamportのPart Time Parliamentは分散コンピューティングにブレークスルーをもたらしましたが、この論文はあまりにも（意図的に！）難読化されていたので、人々はそれを理解できませんでした-私が知る限り、彼が出版するのに約10年かかりました（過去の編集者）難読化された形で。最終的に、LamportはPaxos Made Simpleをフォローしました。Paxos アルゴリズムは、「Paxosアルゴリズムは、簡単な英語で表示すると非常にシンプルです」という要約を持ちました。

CMUの計算異端協会にはこれらの多くがあり、毎年開催されるSIGBOVIKカンファレンス（2011年4月1 日開催）で発表されます。私の個人的なお気に入りは：

3Dオブジェクト取得への盗難ベースのアプローチ。

Murilo da Silvaの投稿と同じ精神で、私はGoupilとSchaeferの「Factoring N-Cycles and Counting Maps of Given Genius」からの抜粋を投稿することを拒むことはできません。

この証明の後、読み物を追跡する前に、バードウォッチングやガーデニングなどの軽い活動を一時停止して楽しむことを読者にお願いします。

ランポートによる「国家ベースの形式主義の洗練」。

素晴らしい数学者だった私たちの友人は、幻覚薬の長期的な乱用のために入院しました。私たちは彼に彼の部屋にデジタル時計を与えることにしました。しかし、彼の医師は、時間と分を一緒に表示するのはわかりにくいかもしれないと示唆しています。そのため、分表示の上にテープを貼り、ギフトをデジタルの時間時計に変えました。

「イライラしたジャーナル論文の著者からの手紙」を発見しました。素敵な読み;-)

ある時点で「Complexity Theory Newsflash」に出会い、それはかなり面白いと思いました。

最近の面白いタイトル：

• A.ケハギアス、P。プララット、 警官と泥棒強盗に関するいくつかの発言、Theoretical Computer Science 463（2012）133-147、 DOI

• A.ケハギアス、D。ミッチェ、P。プララット、 警官と不可視の強盗：costのコスト、Theoretical Computer Science（2013）、 出版中

• ナターシャ・コマロフ、ピーター・ウィンクル、 酔っぱらった強盗をグラフで捕まえる、 2013年5月、arXiv：1305.4559

ミックは、満足度（別名充足可能性）について、リードチャヴァタールとチャヴァタールリード（FOCS 1992）によっていくつか（オッズは彼の側にあります）を取得します。

査読者が悪い日を過ごしたことにより、どの程度の損害が生じる可能性がありますか？ 有名な古いCS論文の陽気な架空のレビュー。

ジョン・ゴードンによる夕食後のアリスとボブ。

コーディング理論に関する素朴な話。

別のトピック（論文を審判するにはどうすればよいですか？）で、次の論文を見つけました。

グラハム・コーモード。2009.論文をレビューしない方法：敵対的レビューアのツールとテクニック。SIGMOD Rec。37、4（2009年3月）、100-104。DOI = 10.1145 / 1519103.1519122 http://doi.acm.org/10.1145/1519103.1519122

この論文を読むのはとても楽しかったです;）

ブルース・リード、マンゴーとブルーベリー、Combinatorica 19（1999）267-296

私は今面白い紙のことを考えることはできませんが、面白い線が入った「普通の」紙を覚えています。実際、それはセクション1の最初の文でした。著者は次のように論文を始めました。

「私たちの通常の慣行に反して、私たちはいくつかの定義からこのペーパーを始める義務があります」。では、G ...」

この論文のタイトルは、$beta$1996年にMarkossian、Gasparian、およびReedによる「-perfect graphs」です。実際、これは完全なグラフ理論の重要な論文であり、ベータ完全なグラフのクラスを定義し、完全グラフに類似した方法のクラス（ベータ完全グラフはEVENホールフリーグラフのサブクラスであり、完全グラフはODDホールフリーグラフのサブクラスです）

面白いタイトルに関しては、「色覚異常のある敵に対してカラーリングゲームをプレイする方法」

http://portal.acm.org/citation.cfm?id=1137865

どの程度スコットは常に冷静ではありませんか？

Lambda the Ultimateは、Phosphorous、Popular Lispに関するホワイトペーパーに注目しました。これは、「Popular Lisp」が気に入らなければ風刺的です^ _-