Смішні документи, пов'язані з TCS тощо?

Яка найсмішніша опублікована робота, що стосується TCS, ви знаєте?

Будь ласка, включіть лише ті, які мають бути смішними. Віддаються переваги твори, які явно створені як розумно жартівливі (а не, скажімо, опублікована збірка коротких анекдотів щодо теорії складності). Також приймаються твори з жартівливими (насправді жартівливими, не просто милими) заголовками.

Будь-ласка, лише одна робота за відповідь, щоб "найкращі" могли бути доверху.

Газета Скотта Аронсона: Поліноміальна ієрархія руйнується: тисячі побоюються простежити

Проблема туалетного паперу (Дональд Кнут, Американський математичний щомісячник, 1984). Зі вступу:

Диспенсери для туалетного паперу в певній будівлі призначені для утримання двох рулонів тканин, і людина може використовувати будь-який рулон. Є два види людей, які користуються кімнатами відпочинку в будівлі: великі обирачі та маленькі. Великий вибір, який завжди виймає шматочок туалетного паперу з рулону, який наразі більший; маленький вибір завжди робить навпаки. Однак, коли два рулону однакового розміру або коли лише один рулон не порожній, кожен вибирає найближчий непорожній рулон. Коли обидва булочки порожні, у всіх є проблема.

Кайл Берк та Девід Чарлтон. Нижні межі, ймовірно, істичного полінома. Бостонський університет, 2005. (Завдяки @arnab та Веб-архіву за посилання.)

Я впевнений, що це була газета "Першого квітня", але в будь-якому випадку це абсолютно весело. Реферат:

Ми заповнюємо прогалину в існуючій теорії складності, вводячи клас ймовірнісних обчислень поліноміального часу, тобто обчислень, які, ви знаєте, ймовірно закінчуються в поліноміальний час, наскільки нам відомо. Ми застосовуємо цей клас, щоб показати, що алгоритми для задач, повних NP, ймовірно, не запускаються в поліноміальний час.

Ендрю В. Аппеля " Чи POPL математика чи наука? "

Цей документ вивчає різні конференції CS та намагається класифікувати їх як теоретичні чи застосовані, виходячи з того, чи автор упорядковує їхні імена в алфавітному порядку (теоретичному) чи за внеском (застосовується).

Кілька робіт Жана-Іва Жирара .

До його статті " Лінійна логіка " редактор журналу "Теоретичні комп'ютерні науки" має наступну примітку:

Зважаючи на свою довжину та новизну, цей документ не піддавався нормальному процесу суддівства. Редактор готовий поділитися з автором будь-якої критики, яка в підсумку буде висловлена ​​стосовно цього твору.

Ще один - Локус Солум, Від правил логіки до логіки правил . Папір на 192 сторінках має додаток, який майже 100 сторінок має назву " Чиста трата паперу ", найсмішніший додаток, який я коли-небудь бачив.

• Складність пісень Дон Кнут
• Про суперполіноміальні субекспоненціальні функції Алана Т. Шермана (а не "Людина Т. Шерман", як підказує Цифрова бібліотека ACM).

Документ Йонатана Білу, Дани Поррат та Йоава Яффе " Про кількість презервативів на дешевій безпечній оргії ". Ця стаття не була опублікована, тому не відповідає одній із вимог (має бути опублікована робота). Але я думаю, це можна включити сюди як виняток.

Насправді є цілий журнал, який має бути смішним. Журнал craptology . Теми зазвичай пов'язані з криптографією. Також є кілька відео сесій (!)

Одним із прикладів є криптографія паперу в томі 4 у Всесвіті автостопа (розділ 5):

Прибуття визначних пам'яток

Якщо вам сподобалася наша презентація, ви будете раді дізнатись про майбутні пам'ятки того ж автора:

- Криптоаналіз інтерактивних протокольних систем людини. Суперечливий криптоаналіз статті Шакіри [4], який доводить, що HIPS насправді брешуть.

- Знання проти нуля. Система протоколів, яка розкриває все, що знає доказчик, крім того, що перевіряючий хоче почути. Спеціальні протоколи проти нульових знань були розроблені більшістю служб довідкової служби клієнтів.

- Квантовий розподіл ключів на основі соціальних явищ. У цьому документі показано, як розподіляти ключі за допомогою квантової техніки, але без використання квантових об'єктів. Замість того, щоб використовувати квантові об’єкти, протокол натомість використовує невизначеність, яку має будь-який чоловік щодо того, чи вважається його перший вечір із жінкою як побачення чи ні для передачі ключів.

Конкретна математика: Фонд інформатики Рональда Грема, Дональда Кнута та Орена Паташника.

Дивовижна книга з безліччю смішних бічних записок. :) (Дивіться також ДЕК «s GKP стр.)

Я рекомендував би обробку FUN: Міжнародну конференцію із розваг з алгоритмами.

Треба сказати, що "Жорсткість гри Леммінга, або О, ні, більше доказів повноти NP" від Грехама Кормода - одна з моїх улюблених.

Тернологічна пропозиція Дон Кнута . SIGACT News, 6 (1), 1974 р. Згаданий у блозі про складність. Тут, мабуть, ми отримали терміни "NP-завершений" та "NP-hard".

Один із моїх улюблених із цього твору - пропозиція Альберта Мейєра, що те, що ми зараз називаємо проблемами NP-Hard, називається Hard-as-Satisfiability, або коротким-as-S.

Ознайомтеся з малюнком, який супроводжує папір SODA Адама Калай на 1 сторінці "Генерування випадкових факторних чисел, легко": посилання

Міхай Патрашку і паперу Ліам Roditty на « Distance оракулів Поза Thorup-Цвік Bound » був спочатку під назвою « Як виростити кулі » на домашній сторінці :-) Міхая

А. Бродер, Дж. Столфі " Песимальний алгоритми та аналіз простоти ", ACM SIGACT News 16 (3), Fall 1984.

Документ представляє "абсолютно нову галузь інформатики, розроблення та аналіз алгоритмів, що неохоче. Інтуїтивно зрозумілий алгоритм для проблеми Р - це той, який витрачає час таким чином, щоб доречно дурити наївного спостерігача".

Парламент Лампорта за сумісництвом здійснив прорив у розподілі обчислень, але папір був настільки (навмисно!) Заплутаний, що люди не могли його зрозуміти - наскільки я знаю, на публікацію його (минулі редактори) знадобилося близько 10 років. у його затуманеному вигляді. Врешті-решт Lamport розпочав роботу з Paxos Made Simple , який мав такий конспект: " Алгоритм Paxos, коли він представлений простою англійською мовою, дуже простий ".

Асоціація обчислювальної єресі при КМУ має ряд таких, які представлені на щорічній конференції SIGBOVIK (наступна відбудеться 01.04.2011). Мій особистий фаворит:

Підхід до придбання об'єктів на основі крадіжок.

У такому ж дусі, як і пост Муріло да Сілви, я не можу протистояти опублікуванню цього уривка з "Гуколя та Шефера" "Факторинг N-циклів і підрахунок карт даного роду" :

Після цього доказу ми пропонуємо читачеві зробити паузу і насолоджуватися легшими заняттями, такими як спостереження за птахами або садівництво перед тим, як продовжувати читання.

"Вдосконалення формалізму, заснованого на державі" Лампорта.

Наш друг, який був геніальним математиком, був госпіталізований через тривале зловживання галюциногенними препаратами. Ми вирішуємо подарувати йому цифровий годинник для своєї кімнати. Однак його лікар припускає, що відображення годин і хвилин разом можуть бути занадто заплутаними. Отже, ми кладемо стрічку на хвилинний дисплей, перетворюючи наш подарунок у цифровий годинниковий годинник.

Я щойно виявив "Лист від розчарованого автора журнального журналу" . Приємно читати ;-)

Я натрапив на "Теорію складності новин" в якийсь момент і подумав, що це досить смішно.

Останні смішні назви:

• A. Kehagias, P. Pralat, Деякі зауваження щодо поліцейських та п’яних розбійників , Теоретичні інформатики 463 (2012) 133-147, DOI

• А. Кехагіас, Д. Мітче, П. Пралатб, Копи та невидимі розбійники: вартість пияцтва , Теоретична інформатика (2013), у пресі

• Наташа Комаров, Пітер Вінкл, Захоплення п’яного розбійника на графіку , травень 2013 р., ArXiv: 1305.4559

Мік отримує деякі (шанси на його боці) від Reed Chvatal і Chvatal Рід (FOCS 1992), на задоволення (ака здійсненності).

Скільки збитків може завдати невдалий рецензент у поганий день? Веселі вигадані огляди відомих старих статей CS.

Виступ Аліси та Боба після вечері Джона Гордона.

Приємна легковажна розмова з теорії кодування.

З іншої теми ( Як судити про роботу? ) Я знайшов такий документ:

Грем Кормоде. 2009. Як НЕ переглядати документ: інструменти та прийоми змагального рецензента. SIGMOD Rec . 37, 4 (березень 2009 р.), 100-104. DOI = 10.1145 / 1519103.1519122 http://doi.acm.org/10.1145/1519103.1519122

Мені було весело читати цей документ;)

Брюс Рід, манго та чорниця , Combinatorica 19 (1999) 267-296.

Зараз я не можу думати про кумедний папір, але я пам’ятаю «звичайний» папір, який мав у ньому кумедну лінію. Насправді це було саме перше речення в Розділі 1. Автори почали роботу з:

"Всупереч нашій звичайній практиці, ми відчуваємо обов'язок розпочати цей документ з кількох визначень". Тож нехай G ... "

Заголовок статті - " $beta$ідеальні графіки", зроблені Маркоссяном, Гаспаріаном та Рідом у 1996 році. Він звернув мою увагу, оскільки це насправді ключовий документ із теорії досконалих графів, де визначено клас бета-досконалих графіків клас, який аналогічно ідеальним графам (бета-досконалі графіки є підкласом графіків, що не мають EVEN-отворів, тоді як досконалі графіки - це підклас графіків, що не мають дір-дір.

Щодо кумедної назви: "Як грати в розмальовку проти кольорового противника"

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

Як щодо Скотта не завжди тверезий ?

Ламбда Остаточний представив мені увагу на Фосфорі , Популярному Лиспі , який, якщо «Популярний Лісп» не відбив тебе, є сатиричним ^ _-