¿Papeles divertidos relacionados con TCS, etc.?

80

¿Cuál es el trabajo publicado más divertido relacionado con TCS que conoces?

Por favor incluya solo aquellos que están destinados a ser divertidos. Se prefieren las obras que están explícitamente diseñadas para ser inteligentemente humorísticas (en lugar de, por ejemplo, una colección publicada de chistes cortos sobre teoría de la complejidad). También se aceptan trabajos con títulos humorísticos (en realidad humorísticos, no solo lindos).

Por favor, solo un trabajo por respuesta para que los "mejores" puedan llegar a la cima.

Joshua Grochow
fuente
3
¿Qué pasa con los papeles con títulos divertidos? o debería ser una pregunta diferente?
Suresh Venkat
44
Creo que los títulos divertidos están bien :).
Joshua Grochow
1
¿Por qué solo la complejidad (y no otros temas de TCS)? ¿Qué hay de los libros? (Me gustaría publicar Concrete Mathematics :))
Kaveh
3
por alguna razón, mathoverflow.net/questions/44326/most-memorable-titles es un hilo estrechamente relacionado.
RJK
2
@Suresh: Creo que te refieres a xxx.lanl.gov/abs/1003.6064v1
Radu GRIGore

Respuestas:

52

El problema del papel higiénico (Donald Knuth, American Mathematical Monthly, 1984). De la introducción:

Los dispensadores de papel higiénico en un determinado edificio están diseñados para contener dos rollos de pañuelos, y una persona puede usar cualquiera de los rollos. Hay dos tipos de personas que usan los baños del edificio: grandes y pequeños. Un gran seleccionador siempre toma un pedazo de papel higiénico del rollo que actualmente es más grande; un pequeño selector siempre hace lo contrario. Sin embargo, cuando los dos rollos son del mismo tamaño, o cuando solo un rollo no está vacío, todos eligen el rollo no vacío más cercano. Cuando ambos rollos están vacíos, todos tienen un problema.
cristianos
fuente
24
Oh no. Knuth me ganó. Había considerado una pregunta relacionada, ciertamente más simple, y me convencí de que todos deberían ser un poco selectivos para minimizar el riesgo cooperativamente (y he sido uno desde entonces). Sin embargo, nunca he tenido tiempo de escribir el resultado. Al menos, me alegra saber el trabajo previo antes de escribirlo y presentarlo a la Conferencia Internacional sobre Baños Teóricos.
Tsuyoshi Ito
55
Ha habido una mirada semi-rigurosa al problema de selección de urinarios desde un punto de vista de algoritmos: blog.xkcd.com/2009/09/02/urinal-protocol-vulnerability
Andy Drucker
38

Kyle Burke y David Charlton. Límites inferiores para el tiempo polinómico probablemente isítico. Boston University, 2005. (Gracias a @arnab y al Web Archive por el enlace).

Estoy bastante seguro de que este fue un artículo de April Fool, pero de cualquier manera es absolutamente gracioso. El abstracto:

Llenamos un vacío en la teoría de la complejidad existente al introducir la clase de cálculos de tiempo polinomiales probablemente, es decir, cálculos que, ya sabes, probablemente terminen en tiempo polinómico, hasta donde sabemos. Aplicamos esta clase para mostrar que los algoritmos para problemas de NP completo probablemente no se ejecutan en tiempo polinómico.

revs Joshua Grochow
fuente
66
¡Entendido! No puedo encontrarlo vinculado desde ninguna página web existente, pero puede recuperarlo aquí: web.archive.org/web/20080211140314/http://cs-people.bu.edu/…
arnab
3
Estaba en una clase con David Charlton en 2002 cuando era estudiante universitario, así que estoy bastante seguro de que debe ser 2005 no 1995 ;-)
Mugizi Rwebangira
1
David escribió esto como una respuesta hilarante a un comentario que hice en la escuela de posgrado. No recuerdo mi comentario exacto, ¡pero el periódico es gracioso! : -DI no puede tomar ningún crédito real por la hilaridad.
Kyle
30

Andrew W. Appel " ¿Es POPL las matemáticas o la ciencia? "

Este artículo estudia las conferencias de CS e intenta clasificarlas como teóricas o aplicadas en función de si los autores ordenan sus nombres en orden alfabético (teórico) o por contribución (aplicada).

Robin Kothari
fuente
44
Me encanta el final "El objetivo de la investigación presentada en este informe fue hacer reír a POPL '92; me alegra decir que a este respecto la investigación fue completamente exitosa".
Dave Clarke el
Me encantaría ver que esto continúe hasta nuestros días
Thomas Ahle
24

Varios de los papeles de Jean-Yves Girard .

Su artículo de Linear Logic tiene la siguiente nota al pie del editor de la revista Theoretical Computer Science:

Debido a su extensión y novedad, este documento no ha sido sometido al proceso normal de arbitraje. El editor está preparado para compartir con el autor cualquier crítica que eventualmente se expresará con respecto a este trabajo.

Otro es Locus Solum, de las reglas de la lógica a la lógica de las reglas . El documento de 192 páginas tiene un apéndice que tiene casi 100 páginas llamado " Un desperdicio puro de papel ", el apéndice más divertido que he visto.

Kaveh
fuente
12
Lo increíblemente extraño es que "Un puro desperdicio de papel" es realmente muy bueno. No se puede confiar ingenuamente en nada de lo que escribe en él, pero, sin embargo, hay un punto serio sobre la lógica oculta en casi todos los chistes / insultos / a un lado.
Neel Krishnaswami
3
Los lectores de habla francesa pueden disfrutar de su artículo sobre relojes de mostaza
gallais el
1
Desafortunadamente, el tercer enlace está roto
Max
3
@gallais: En realidad, la versión original del documento "Relojes mostaza" está en inglés y se puede encontrar aquí .
Damiano Mazza
1
Esta es la "solución" para el enlace en la respuesta principal: iml.univ-mrs.fr/~girard/0.pdf
apnorton
22

El artículo de Yonatan Bilu, Dana Porrat y Yoav Yaffe " Sobre el número de condones en una orgía barata de sexo seguro ". Este documento no fue publicado, por lo que no corresponde a uno de los requisitos (para ser publicado trabajo). Pero creo que se puede incluir aquí como una excepción.

Oleksandr Bondarenko
fuente
Creo que esto podría estar relacionado: mathworld.wolfram.com/GloveProblem.html
RJK
44
@Oleksander: El requisito "publicado" no tenía la intención de ser estricto, sino de separar cosas como artículos y libros de, por ejemplo, tiras de dibujos animados (de lo contrario, este hilo estaría lleno de referencias xkcd.)
Joshua Grochow
En una línea similar: Tríos, degenerados y triángulos amorosos de Grønlund y Pettie. Realmente es un artículo serio en complejidad fina, y la broma en el título es forzada.
kinokijuf
20

De hecho, hay un diario completo que pretende ser divertido. La revista de craptología . Los temas suelen estar relacionados con la criptografía. También hay algunos videos de sesiones (!)

Un ejemplo es el documento de Volumen 4 de Criptografía en el Universo Hitchhiker (sección 5) es:

Próximas atracciones

Si ha disfrutado de nuestra presentación, le complacerá saber sobre las próximas atracciones del mismo autor:

- El criptoanálisis de los sistemas de protocolo interactivo humano. Un controvertido criptoanálisis del artículo de Shakira [4] que demuestra que, de hecho, HIPS miente.

- Anti-cero-conocimiento. Un sistema de protocolo que revela todo lo que un probador sabe, excepto lo que el verificador quiere escuchar. La mayoría de los servicios de atención al cliente han desarrollado protocolos ad-hoc anti-conocimiento cero.

- Distribución cuántica de claves basada en fenómenos sociales. Este artículo muestra cómo distribuir claves usando técnicas cuánticas pero sin usar objetos cuánticos. En lugar de utilizar objetos cuánticos, el protocolo utiliza la incertidumbre que tiene cualquier hombre sobre si su primera noche con una mujer cuenta como una fecha o no para transmitir las claves.

revs M. Alaggan
fuente
17

Matemáticas concretas: una base para la informática , por Ronald Graham, Donald Knuth y Oren Patashnik.

Un libro increíble con muchas notas secundarias divertidas. :) (Véase también la página GKP de DEK ).

Kaveh
fuente
44
Las notas al margen son realmente divertidas, pero el libro es "simplemente agradable": concedido, no todos pueden escribir un libro agradable ;-) De todos modos, no sé si califica como un trabajo divertido, pero ustedes obtienen mi voto porque Me gusta mucho el libro.
Anthony Labarre
1
Este es mi libro favorito. Me sorprende que más autores no hayan seguido su formato.
Chad Brewbaker
17

Recomendaría los procesamientos de FUN: la Conferencia Internacional sobre Diversión con Algoritmos.

Debo decir que "La dureza del juego de Lemmings, o Oh, no, más pruebas de integridad de NP" de Graham Cormode es una de mis favoritas.

Swann Perarnau
fuente
2
Acabo de encontrar las actas de FUN 2007 en los libros de Powell la semana pasada. ¡Apoyo de todo corazón esta recomendación! Algunos excelentes resultados en la clasificación de pesimales y los peores algoritmos de paginación posibles.
Steven Stadnicki
16

La propuesta terminológica de Don Knuth . SIGACT News, 6 (1), 1974. Mencionado en The Complexity Blog. Aparentemente, aquí es donde obtuvimos los términos "NP-complete" y "NP-hard".

Uno de mis favoritos de esta pieza es la sugerencia de Albert Meyer de que lo que ahora llamamos problemas NP-hard se denominará Hard-as-Satisfiability, o hard-as-S para abreviar.

Joshua Grochow
fuente
14

Echa un vistazo a la figura que acompaña al documento de SODA de 1 página de Adam Kalai, "Generando números aleatorios factorizados, fácilmente": enlace

Aaron Roth
fuente
12

A. Broder, J. Stolfi " Algoritmos pesimales y análisis de simplexidad ", ACM SIGACT News 16 (3), Otoño 1984.

El documento presenta "una rama completamente nueva de la informática, el diseño y el análisis de algoritmos reacios. Intuitivamente, un algoritmo reacio para un problema P es uno que desperdicia tiempo de una manera lo suficientemente ingeniosa para engañar a un observador ingenuo".

Hermann Gruber
fuente
9

El Parlamento a tiempo parcial de Lamport hizo un gran avance en la informática distribuida, pero el documento estaba tan (¡a propósito!) Confundido que la gente no podía entenderlo, que yo sepa, le tomó alrededor de 10 años publicarlo (editores anteriores) en su forma ofuscada. Finalmente, Lamport siguió con Paxos Made Simple , que tenía el siguiente resumen: " El algoritmo de Paxos, cuando se presenta en inglés simple, es muy simple ".

rev. Lev Reyzin
fuente
9

La Asociación para la Herejía Computacional en CMU tiene varios de estos, que se presentan en la conferencia anual SIGBOVIK (que se realizará el próximo 01/04/2011). Mi favorito personal es:

Un enfoque basado en el robo para la adquisición de objetos en 3D.

usuario2333
fuente
8

Con el mismo espíritu que la publicación de Murilo da Silva, no puedo resistirme a publicar este extracto de "Factoring N-Cycles and Counting Maps of Género dado" de Goupil y Schaefer :

Después de esta prueba, alentamos amablemente al lector a que haga una pausa y disfrute de una actividad más ligera, como la observación de aves o la jardinería, antes de continuar con la lectura.

Anthony Labarre
fuente
7

"Refinamiento en el formalismo basado en el estado" por Lamport.

Un amigo nuestro, que era un matemático brillante, ha sido hospitalizado por abuso a largo plazo de drogas alucinógenas. Decidimos darle un reloj digital para su habitación. Sin embargo, su médico sugiere que la visualización de la hora y los minutos juntos podría ser demasiado confusa. Entonces, colocamos cinta adhesiva sobre la pantalla de minutos, convirtiendo nuestro regalo en un reloj digital de horas.

Marcus Ritt
fuente
6

Me encontré con el "Flash de la teoría de la complejidad" en algún momento, y pensé que era bastante divertido.

Ryan Williams
fuente
¡Agradable! Trabajar a través de estos también sirve como un buen repaso en algunos de los resultados clásicos de complejidad.
András Salamon
6

Títulos divertidos recientes:

  • A. Kehagias, P. Pralat, Algunos comentarios sobre policías y ladrones borrachos , Theoretical Computer Science 463 (2012) 133-147, DOI

  • A. Kehagias, D. Mitsche, P. Pralatb, Policías y ladrones invisibles: El costo de la embriaguez , Theoretical Computer Science (2013), en prensa

  • Natasha Komarov, Peter Winkle, Capturando al ladrón borracho en un gráfico , mayo de 2013, arXiv: 1305.4559

usuario13136
fuente
5

El discurso de Alice and Bob After Dinner de John Gordon.

Buena charla alegre sobre la teoría de la codificación.

Jagadish
fuente
Es entretenido cuánto de lo que él dice que su calculadora de bolsillo podría hacer ahora es posible en un teléfono inteligente moderno. Todavía no hay pantallas holográficas en 3D, y es posible que tenga dificultades para encontrar un compilador de ADA a Android, pero aparte de eso ...
AlexC
4

Ahora no puedo pensar en un papel divertido, pero sí recuerdo un papel "normal" que tenía una línea divertida. De hecho, fue la primera oración en la Sección 1. Los autores comenzaron el trabajo con:

"Contrariamente a nuestra práctica habitual, nos sentimos obligados a comenzar este trabajo con algunas definiciones". Así que deja que G ... "

El título del documento es " $beta$gráficos perfectos", de Markossian, Gasparian y Reed en 1996. Me llamó la atención porque de hecho es un documento clave sobre la teoría de gráficos perfectos, donde se define la clase de gráficos beta perfectos, una clase que es análoga a las gráficas perfectas (las gráficas perfectas beta son una subclase de gráficas EVEN sin agujeros, mientras que las gráficas perfectas son una subclase de gráficas libres de agujeros ODD.

Murilo da Silva
fuente
También conocido como "Dado que esta es una charla teórica, comenzaría definiendo el problema del que estoy hablando ..."
Sariel Har-Peled
3

Lambda the Ultimate me llamó la atención el documento técnico sobre Fósforo, el Popular Lisp , que si "Popular Lisp" no te avisaba, es satírico ^ _-

paul.meier
fuente