Divertenti documenti relativi al TCS ecc.?


80

Qual è l'opera pubblicata più divertente relativa a TCS che conosci?

Ti preghiamo di includere solo quelli che sono considerati divertenti. Sono preferite opere esplicitamente realizzate per essere intelligentemente umoristiche (piuttosto che, per esempio, una raccolta pubblicata di brevi battute sulla teoria della complessità). Sono ammessi anche titoli con titoli umoristici (in realtà divertenti, non solo carini).

Per favore, solo un lavoro per risposta in modo che i "migliori" possano arrivare in alto.


3
che dire di documenti con titoli divertenti? o dovrebbe essere una domanda diversa?
Suresh Venkat,

4
Penso che i titoli divertenti vadano bene :).
Joshua Grochow,

1
Perché solo complessità (e non altri argomenti TCS)? E i libri? (Vorrei pubblicare Concrete Mathematics :))
Kaveh,

3
per qualche motivo, mathoverflow.net/questions/44326/most-memorable-titles è un thread strettamente correlato.
RJK,

2
@Suresh: credo che intendi xxx.lanl.gov/abs/1003.6064v1
Radu GRIGore

Risposte:


72

2
Divertente. Non l'avevo mai visto prima.
Derrick Stolee,

7
Un titolo tragico (o divertente?) Correlato: THE SKY IS FALLING (The Strong Exponential Hierarchy Collapses) , un rapporto tecnico di L. Hemachandra. La seguente nota in calce è allegata al titolo: "Chicken Little pensava che il cielo stesse cadendo. Non lo era."
Alessandro Cosentino,

52

The Toilet Paper Problem (Donald Knuth, American Mathematical Monthly, 1984). Dall'introduzione:

I distributori di carta igienica in un determinato edificio sono progettati per contenere due rotoli di fazzoletti di carta e una persona può utilizzare entrambi i rotoli. Ci sono due tipi di persone che usano le sale di riposo nell'edificio: grandi selezionatori e piccoli selezionatori. Un grande selezionatore prende sempre un rotolo di carta igienica dal rotolo attualmente più grande; un piccolo selezionatore fa sempre il contrario. Tuttavia, quando i due rotoli hanno le stesse dimensioni o quando un solo tiro è non vuoto, tutti scelgono il tiro non vuoto più vicino. Quando entrambi i rulli sono vuoti, tutti hanno un problema.

24
Oh no Knuth mi ha battuto. Avevo preso in considerazione una domanda correlata, certamente più semplice, e mi ero convinto che tutti dovrebbero essere un po 'più esigenti per ridurre al minimo il rischio in modo cooperativo (e da allora lo sono stato). Tuttavia, non ho mai avuto il tempo di scrivere il risultato. Almeno, sono lieto di conoscere il lavoro precedente prima di scriverlo e presentarlo alla Conferenza internazionale sui bagni teorici.
Tsuyoshi Ito,

5
Ci sono stati semi-rigorosi sguardi al problema della selezione degli orinatoi da un algoritmo POV: blog.xkcd.com/2009/09/02/urinal-protocol-vulnerability
Andy Drucker

38

Kyle Burke e David Charlton. Limiti inferiori per tempi polinomiali probabilmente istici. Boston University, 2005. (Grazie a @arnab e al Web Archive per il link.)

Sono abbastanza sicuro che si trattasse di un pesce d'aprile, ma in entrambi i casi è assolutamente esilarante. L'abstract:

Colmiamo una lacuna nella teoria della complessità esistente introducendo la classe dei calcoli del tempo polinomiale probabilmente realistico, cioè calcoli che, sapete, probabilmente terminano nel tempo polinomiale, per quanto ne sappiamo. Applichiamo questa classe per mostrare che gli algoritmi per problemi NP-completi probabilmente non vengono eseguiti in tempi polinomiali.


6
Fatto! Non riesco a trovarlo collegato da alcuna pagina Web esistente, ma puoi recuperarlo qui: web.archive.org/web/20080211140314/http://cs-people.bu.edu/…
arnab

3
Ero in una classe con David Charlton nel 2002 quando era studente, quindi sono abbastanza sicuro che debba essere il 2005, non il 1995 ;-)
Mugizi Rwebangira,

1
David ha scritto questo come una risposta divertente a un commento che ho fatto a scuola di specializzazione. Non ricordo il mio commento esatto, ma il documento è divertente! MrGreen Non posso prendermi il merito per l'ilarità.
Kyle,

30

Andrew W. Appel " Is POPL Mathematics or Science? "

Questo documento studia le conferenze CS e cerca di classificarle come teoriche o applicate in base al fatto che gli autori ordinino i loro nomi in ordine alfabetico (teorico) o in base al contributo (applicato).


4
Adoro il finale "L'obiettivo della ricerca presentata in questo rapporto è stato quello di fornire alcune risate a POPL '92; sono felice di poter dire che a questo proposito la ricerca ha avuto pieno successo".
Dave Clarke,

Mi piacerebbe vederlo continuare fino ai giorni nostri
Thomas Ahle,

24

Numerose carte di Jean-Yves Girard .

Il suo articolo sulla Linear Logic ha la seguente nota a piè di pagina dell'editore del giornale Theoretical Computer Science:

Per la sua lunghezza e novità, questo documento non è stato sottoposto al normale processo di arbitrato. L'editore è pronto a condividere con l'autore ogni critica che alla fine verrà espressa in merito a quest'opera.

Un altro è Locus Solum, dalle regole della logica alla logica delle regole . La carta di 192 pagine ha un'appendice lunga quasi 100 pagine chiamata " Un puro spreco di carta ", l'appendice più divertente che abbia mai visto.


12
La cosa stranamente fantastica è che "Un puro spreco di carta" è davvero molto buono. Non puoi fidarti ingenuamente di tutto ciò che ci scrive, ma tuttavia c'è un punto serio sulla logica nascosta in quasi ogni battuta / insulto / a parte.
Neel Krishnaswami,

3
I lettori di lingua francese possono apprezzare il suo articolo sugli orologi senape
gallais

1
Sfortunatamente il terzo collegamento è interrotto
Max

3
@gallais: In realtà, la versione originale del documento "Mustard Watches" è in inglese e può essere trovata qui .
Damiano Mazza,

1
Questa è la "correzione" per il link nella risposta principale: iml.univ-mrs.fr/~girard/0.pdf
apnorton


22

L'articolo di Yonatan Bilu, Dana Porrat e Yoav Yaffe " Il numero di preservativi in ​​un'orgia di sesso sicuro a basso costo ". Questo documento non è stato pubblicato, quindi non corrisponde a uno dei requisiti (lavoro da pubblicare). Ma penso che possa essere incluso qui come eccezione.


Penso che questo potrebbe essere correlato: mathworld.wolfram.com/GloveProblem.html
RJK

4
@Oleksander: il requisito "pubblicato" non doveva essere rigoroso, ma significava separare cose come articoli e libri da, diciamo, strisce di cartoni animati (altrimenti questo thread sarebbe riempito con riferimenti xkcd.)
Joshua Grochow,

Allo stesso modo: Sesso a tre, Degenerati e Triangoli amorosi di Grønlund e Pettie. È davvero un documento serio con una complessità a grana fine e la battuta nel titolo è forzata.
Kinokijuf,

20

In effetti c'è un intero diario che vuole essere divertente. Il diario di craptology . Gli argomenti sono in genere correlati alla crittografia. Ci sono anche alcuni video di sessioni (!)

Un esempio è il volume 4 della crittografia nell'universo di un autostoppista (sezione 5) è:

Attrazioni in arrivo

Se ti è piaciuta la presentazione delle nostre funzionalità, sarai lieto di conoscere le prossime attrazioni dello stesso autore:

- La crittoanalisi dei sistemi di protocollo interattivo umano. Una controversa crittoanalisi del documento di Shakira [4] che dimostra che HIPS, in realtà, mentono.

- Conoscenza anti-zero. Un sistema di protocollo che rivela tutto ciò che un prover conosce tranne quello che il verificatore vuole sentire. Protocolli ad-zero-conoscenza ad hoc sono stati sviluppati dalla maggior parte dei servizi di assistenza clienti.

- Distribuzione quantistica chiave basata su fenomeni sociali. Questo documento dimostra come distribuire le chiavi usando tecniche quantistiche ma senza usare oggetti quantici. Invece di usare oggetti quantistici, il protocollo usa invece l'incertezza che un uomo ha riguardo al fatto che la sua prima serata fuori con una donna conti come una data o meno per trasmettere le chiavi.


17

Concrete Mathematics: A Foundation for Computer Science , di Ronald Graham, Donald Knuth e Oren Patashnik.

Un libro fantastico con molte note a margine divertenti. :) (Vedi anche la pagina GKP di DEK .)


4
Le note a margine sono davvero divertenti, ma il libro è "semplicemente divertente" - scontato, non tutti possono scrivere un libro divertente ;-) Comunque, non so se si qualifica come un lavoro divertente, ma ottieni il mio voto perché Mi piace molto il libro.
Anthony Labarre,

1
Questo è il mio libro preferito Sono sorpreso che più autori non abbiano seguito il loro formato.
Chad Brewbaker,

17

Consiglierei le elaborazioni di FUN: la Conferenza internazionale sul divertimento con gli algoritmi.

Devo dire che "La durezza del gioco Lemmings, o Oh no, più prove di completezza NP" di Graham Cormode è una delle mie preferite.


2
La settimana scorsa ho appena trovato gli atti di DIVERTIMENTO sui libri di Powell - ho dato con tutto il cuore questa raccomandazione! Alcuni grandi risultati sull'ordinamento pessimale e sugli algoritmi di paging peggiori possibili.
Steven Stadnicki,

16

Una proposta terminologica di Don Knuth . SIGACT News, 6 (1), 1974. Citato nel Blog sulla complessità. Questo è apparentemente dove abbiamo ottenuto i termini "NP-complete" e "NP-hard".

Uno dei miei preferiti di questo pezzo è il suggerimento di Albert Meyer che quelli che ora chiamiamo problemi NP-difficili si chiamano Hard-as-Satisfiability, o hard-as-S in breve.


14

Scopri la figura che accompagna il documento SODA di 1 pagina di Adam Kalai, "Generazione di numeri casuali casuali, facilmente": link



12

A. Broder, J. Stolfi " Algoritmi pessimali e analisi di simplexity", ACM SIGACT News 16 (3), autunno 1984.

Il documento introduce "un ramo completamente nuovo di Informatica, la progettazione e l'analisi di algoritmi riluttanti. Intuitivamente, un algoritmo riluttante per un problema P è uno che fa perdere tempo in un modo che è sufficientemente concepito per ingannare un osservatore ingenuo".


9

Il Parlamento part-time di Lamport ha fatto una svolta nell'informatica distribuita, ma il documento era così (volutamente!) Offuscato che la gente non riusciva a capirlo - per quanto ne so, ci sono voluti circa 10 anni per pubblicarlo (editori precedenti) nella sua forma offuscata. Alla fine Lamport ha fatto seguito a Paxos Made Simple , che aveva il seguente abstract: " L'algoritmo Paxos, se presentato in un inglese semplice, è molto semplice ".


9

L'Associazione per l'eresia computazionale presso la CMU ha una serie di questi, che sono presentati alla conferenza annuale SIGBOVIK (che si terrà il prossimo 04/01/2011). Il mio preferito è:

Un approccio basato sul furto all'acquisizione di oggetti 3d.


8

Nello stesso spirito del post di Murilo da Silva, non posso resistere a pubblicare questo estratto dal "Factoring N-Cycles e Counting Maps of Given Genus" di Goupil e Schaefer :

Dopo questa prova, incoraggiamo gentilmente il lettore a mettere in pausa e godere di un'attività più leggera come il birdwatching o il giardinaggio prima di proseguire la lettura.


7

"Affinamento nel formalismo statale" di Lamport.

Un nostro amico, che era un brillante matematico, è stato ricoverato in ospedale a causa di abusi a lungo termine di droghe allucinogene. Decidiamo di dargli un orologio digitale per la sua stanza. Tuttavia, il suo medico suggerisce che le ore e i minuti visualizzati insieme potrebbero essere troppo confusi. Quindi, mettiamo il nastro sul display dei minuti, trasformando il nostro regalo in un orologio digitale.




6

Recenti titoli divertenti:

  • A. Kehagias, P. Pralat, Alcune osservazioni su poliziotti e ladri ubriachi , Theoretical Computer Science 463 (2012) 133-147, DOI

  • A. Kehagias, D. Mitsche, P. Pralatb, Poliziotti e ladri invisibili: il costo dell'ubriachezza , Theoretical Computer Science (2013), in Press

  • Natasha Komarov, Peter Winkle, Catturare il rapinatore ubriaco su un grafico , maggio 2013, arXiv: 1305.4559




5

Discorso dopo cena di Alice e Bob di John Gordon.

Bel discorso spensierato sulla teoria dei codici.


È divertente quanta parte di ciò che sostiene che la sua calcolatrice tascabile potrebbe effettivamente essere ora possibile su uno smartphone moderno. Ancora nessun display olografico 3D, e potresti essere difficile trovare un compilatore da ADA ad Android, ma a parte questo ...
AlexC



4

Non riesco a pensare a un giornale divertente, ma ricordo un documento "normale" che conteneva una linea divertente. Era in effetti la prima frase nella sezione 1. Gli autori hanno iniziato l'articolo con:

"Contrariamente alla nostra pratica abituale, ci sentiamo in dovere di iniziare questo documento con alcune definizioni". Quindi lascia che G ... "

Il titolo dell'articolo è " $beta$-perfect graphs", di Markossian, Gasparian e Reed nel 1996. Ha attirato la mia attenzione perché è in effetti un documento chiave sulla teoria dei grafi perfetta, dove è definita la classe dei grafici beta-perfetti, una classe che è in qualche modo analoga ai grafici perfetti (i grafici beta-perfetti sono una sottoclasse di grafi senza buche EVEN, mentre i grafi perfetti sono una sottoclasse di grafi senza buche ODD.


Conosciuto anche come "Dato che questo è un discorso teorico, vorrei iniziare definendo il problema di cui sto parlando ..."
Sariel Har-Peled,



Utilizzando il nostro sito, riconosci di aver letto e compreso le nostre Informativa sui cookie e Informativa sulla privacy.
Licensed under cc by-sa 3.0 with attribution required.