Lustige TCS-bezogene Papiere etc?

Was ist das lustigste veröffentlichte Werk zum Thema TCS, das Sie kennen?

Bitte geben Sie nur diejenigen an, die lustig sein sollen. Es werden Werke bevorzugt, die explizit so gestaltet sind, dass sie auf intelligente Weise humorvoll sind (und nicht etwa eine veröffentlichte Sammlung von kurzen Witzen in Bezug auf die Komplexitätstheorie). Arbeiten mit humorvollen (eigentlich humorvollen, nicht nur süßen) Titeln werden ebenfalls akzeptiert.

Bitte nur eine Arbeit pro Antwort, damit die "besten" nach oben sprudeln können.

Scott Aaronsons Zeitung: Polynomial Hierarchie bricht zusammen: Tausende fürchteten, sie könnten verfolgt werden

Das Toilettenpapierproblem (Donald Knuth, American Mathematical Monthly, 1984). Aus der Einleitung:

Die Toilettenpapierspender in einem bestimmten Gebäude sind für die Aufnahme von zwei Taschentuchrollen ausgelegt, und eine Person kann jede Rolle verwenden. Es gibt zwei Arten von Menschen, die die Ruheräume im Gebäude benutzen: große und kleine. Ein Big-Choser nimmt immer ein Stück Toilettenpapier von der aktuell größeren Rolle. ein kleiner wähler macht immer das gegenteil. Wenn jedoch die beiden Rollen dieselbe Größe haben oder wenn nur eine Rolle nicht leer ist, wählt jeder die nächste nicht leere Rolle aus. Wenn beide Rollen leer sind, hat jeder ein Problem.

Kyle Burke und David Charlton. Untergrenzen für die wahrscheinlich-istische Polynomzeit. Boston University, 2005. (Vielen Dank an @arnab und das Webarchiv für den Link.)

Ich bin mir ziemlich sicher, dass dies eine Aprilscherz-Zeitung war, aber so oder so ist es absolut lustig. Die Zusammenfassung:

Wir schließen eine Lücke in der bestehenden Komplexitätstheorie, indem wir die Klasse der wahrscheinlichen Polynomzeitberechnungen einführen, dh Berechnungen, die, wie Sie wissen, nach unserem Kenntnisstand wahrscheinlich in der Polynomzeit enden. Wir wenden diese Klasse an, um zu zeigen, dass Algorithmen für NP-vollständige Probleme wahrscheinlich nicht in Polynomzeit ausgeführt werden.

Andrew W. Appels " Ist POPL Mathematik oder Wissenschaft? "

Diese Papierstudien variieren CS-Konferenzen und versuchen, sie als theoretisch oder angewendet zu klassifizieren, basierend darauf, ob Autoren ihre Namen in alphabetischer Reihenfolge (theoretisch) oder nach Beitrag (angewendet) sortieren.

Mehrere Papiere von Jean-Yves Girard .

Sein Artikel über lineare Logik enthält die folgende Fußnote des Herausgebers der Zeitschrift Theoretical Computer Science:

Aufgrund seiner Länge und Neuheit wurde dieses Papier nicht dem normalen Prozess des Schiedsrichtens unterworfen. Der Herausgeber ist bereit, dem Autor jegliche Kritik mitzuteilen, die eventuell zu diesem Werk geäußert wird.

Ein anderes ist Locus Solum, Von den Regeln der Logik zur Logik der Regeln . Das 192-seitige Papier enthält einen fast 100-seitigen Anhang mit dem Titel " Eine reine Verschwendung von Papier ", den witzigsten Anhang, den ich je gesehen habe.

• Die Komplexität der Lieder von Don Knuth
• Über superpolynomielle subexponentielle Funktionen von Alan T. Sherman (nicht "Man T. Sherman", wie die ACM Digital Library vorschlägt).

Die Zeitung von Yonatan Bilu, Dana Porrat und Yoav Yaffe " Über die Anzahl der Kondome bei einer billigen Orgie mit sicherem Sex ". Dieser Artikel wurde nicht veröffentlicht, entspricht also nicht einer der Anforderungen (zu veröffentlichende Arbeit). Aber ich denke, es kann hier ausnahmsweise aufgenommen werden.

In der Tat gibt es eine ganze Zeitschrift, die lustig sein soll. Die Zeitschrift für Kraptologie . Die Themen beziehen sich in der Regel auf die Kryptographie. Es gibt auch einige Sitzungsvideos (!)

Ein Beispiel für die Veröffentlichung von Band 4 der Kryptographie in einem Per Anhalter durchgeführten Universum (Abschnitt 5) ist:

Kommende Attraktionen

Wenn Ihnen unsere Feature-Präsentation gefallen hat, freuen Sie sich über bevorstehende Attraktionen desselben Autors:

- Die Kryptoanalyse menschlicher interaktiver Protokollsysteme. Eine kontroverse Kryptoanalyse der Arbeit von Shakira [4], die beweist, dass HIPS tatsächlich lügt.

- Anti-Null-Wissen. Ein Protokollsystem, das alles enthüllt, was ein Prüfer weiß, außer dem, was der Prüfer hören möchte. Ad-hoc-Protokolle gegen Null-Wissen wurden von den meisten Kundenberatungsdiensten entwickelt.

- Quantenschlüsselverteilung basierend auf sozialen Phänomenen. In diesem Artikel wird gezeigt, wie Schlüssel mithilfe von Quantentechniken, jedoch ohne Verwendung von Quantenobjekten, verteilt werden. Anstatt Quantenobjekte zu verwenden, verwendet das Protokoll stattdessen die Unsicherheit, die ein Mann hat, ob sein erster Abend mit einer Frau als Datum gilt oder nicht, um die Schlüssel zu übermitteln.

Konkrete Mathematik: Eine Stiftung für Informatik von Ronald Graham, Donald Knuth und Oren Patashnik.

Ein tolles Buch mit vielen lustigen Randnotizen. :) (Siehe auch die GKP- Seite von DEK .)

Ich würde die Verarbeitung von FUN empfehlen: die Internationale Konferenz über Spaß mit Algorithmen.

Ich muss sagen, dass "Die Härte des Lemmings-Spiels oder Oh nein, mehr NP-Vollständigkeitsnachweise" von Graham Cormode einer meiner Favoriten ist.

Don Knuths Ein terminologischer Vorschlag . SIGACT News, 6 (1), 1974. Erwähnt im Complexity Blog. Hier haben wir anscheinend die Begriffe "NP-komplett" und "NP-hart".

Einer meiner Favoriten aus diesem Stück ist Albert Meyers Vorschlag, das, was wir jetzt NP-harte Probleme nennen, Hard-as-as-Satisfiability oder kurz Hard-as-S zu nennen.

Schauen Sie sich die Abbildung an, die Adam Kalais 1-seitigem SODA-Artikel "Generieren von Zufallszahlen auf einfache Weise" beigefügt ist: Link

Mihai Patrascu und Liam Rodittys Artikel über " Distance Oracles Beyond the Thorup - Zwick Bound " hatte ursprünglich den Titel " How to grow your balls " auf Mihais Homepage :-)

A. Broder, J. Stolfi " Pessimalalgorithmen und Simplexitätsanalyse ", ACM SIGACT News 16 (3), Herbst 1984.

Der Aufsatz stellt "einen völlig neuen Zweig der Informatik vor, das Entwerfen und Analysieren von widerstrebenden Algorithmen. Intuitiv ist ein widerstrebender Algorithmus für ein Problem P einer, der Zeit auf eine Weise verschwendet, die ausreicht, um einen naiven Beobachter zum Narren zu halten."

Lamports Teilzeitparlament erzielte einen Durchbruch in Sachen verteiltes Rechnen, aber die Zeitung war so (absichtlich!) Verschleiert, dass die Leute es nicht verstehen konnten - soweit ich weiß, brauchte er ungefähr 10 Jahre, um es zu veröffentlichen (frühere Herausgeber). in seiner verschleierten Form. Schließlich folgte Lamport mit Paxos Made Simple , das die folgende Zusammenfassung hatte: " Der Paxos-Algorithmus ist, wenn er in einfachem Englisch dargestellt wird, sehr einfach ."

Die Association for Computational Heresy an der CMU hat eine Reihe von diesen, die auf der jährlichen SIGBOVIK- Konferenz (nächste statt 01.04.2011) vorgestellt werden. Mein persönlicher Favorit ist:

Ein diebstahlbasierter Ansatz zur Erfassung von 3D-Objekten.

Im gleichen Sinne wie bei Murilo da Silva kann ich es nicht lassen, diesen Auszug aus Goupils und Schäfers "Faktorisierung von N-Zyklen und Zählung von Karten einer bestimmten Gattung" zu veröffentlichen :

Nach diesem Beweis möchten wir den Leser bitten, vor dem Lesen eine Pause einzulegen und eine leichte Aktivität wie Vogelbeobachtung oder Gartenarbeit zu genießen.

"Verfeinerung im Staatsformalismus" von Lamport.

Ein Freund von uns, der ein brillanter Mathematiker war, wurde ins Krankenhaus eingeliefert, weil er halluzinogene Medikamente über einen längeren Zeitraum missbraucht hatte. Wir beschließen, ihm eine Digitaluhr für sein Zimmer zu geben. Sein Arzt schlägt jedoch vor, dass die Stunden- und Minutenanzeige zusammen zu verwirrend sein könnten. Also haben wir die Minutenanzeige mit Klebeband versehen und unser Geschenk in eine digitale Stundenuhr verwandelt.

Ich habe gerade "Ein Brief des frustrierten Autors einer Zeitschrift" entdeckt . Schön gelesen ;-)

Irgendwann bin ich auf den "Complexity Theory Newsflash" gestoßen und fand ihn ziemlich lustig.

Aktuelle lustige Titel:

• A. Kehagias, P. Pralat, Einige Bemerkungen zu Cops und betrunkenen Räubern , Theoretical Computer Science 463 (2012) 133-147, DOI

• A. Kehagias, D. Mitsche, P. Pralatb, Polizisten und unsichtbare Räuber: Die Kosten der Trunkenheit , Theoretische Informatik (2013), in der Presse

• Natasha Komarov, Peter Winkle, Erfassung des betrunkenen Räubers auf einer Grafik , Mai 2013, arXiv: 1305.4559

Mick bekommt einige (die Chancen stehen auf seiner Seite) von Reed Chvatal und Chvatal Reed (FOCS 1992) zur Zufriedenheit (auch bekannt als Erfüllbarkeit).

Wie viel Schaden könnte ein Peer Reviewer an einem schlechten Tag anrichten? Unglaublich witzig erfundene Rezensionen berühmter alter CS-Zeitungen.

Die Rede von Alice und Bob nach dem Abendessen von John Gordon.

Netter unbeschwerter Vortrag über Codierungstheorie.

Zu einem anderen Thema ( Wie referiere ich eine Arbeit? ) Habe ich folgende Arbeit gefunden:

Graham Cormode. 2009. Wie man ein Papier NICHT überprüft: die Werkzeuge und Techniken des kontroversen Überprüfers.SIGMOD Rec . 37, 4 (März 2009), 100-104. DOI = 10.1145 / 1519103.1519122 http://doi.acm.org/10.1145/1519103.1519122

Ich hatte viel Spaß beim Lesen dieser Zeitung;)

Bruce Reed, Mangoes and Blueberries , Combinatorica 19 (1999) 267 & ndash; 296.

Ich kann jetzt nicht an ein lustiges Papier denken, aber ich erinnere mich an ein "normales" Papier, das eine lustige Linie enthielt. Es war in der Tat der allererste Satz in Abschnitt 1. Die Autoren begannen die Arbeit mit:

"Im Gegensatz zu unserer üblichen Praxis fühlen wir uns verpflichtet, dieses Papier mit ein paar Definitionen zu beginnen." Also lass G ... "

Der Titel des Papiers lautet " $beta$-perfect graphs", von Markossian, Gasparian und Reed im Jahr 1996. Es hat meine Aufmerksamkeit erregt, weil es in der Tat ein Schlüsselpapier zur perfekten Graphentheorie ist, in dem es die Klasse der beta-perfekten Graphen definiert. Eine Klasse, die in gewisser Weise den perfekten Graphen entspricht (Beta-perfekte Graphen sind eine Unterklasse von Graphen ohne Löcher, während perfekte Graphen eine Unterklasse von Graphen ohne ungerade Löcher sind).

Was einen lustigen Titel betrifft: "Wie man ein Malspiel gegen einen farbenblinden Gegner spielt"

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

Wie wäre es, wenn Scott nicht immer nüchtern ist ?

Lambda the Ultimate machte mich auf das Whitepaper über Phosphor, das populäre Lisp aufmerksam , das, wenn "populäres Lisp" Sie nicht darauf hinweist, satirisch ist ^ _-