Смешные документы, связанные с TCS и т. Д.?

80

Какая самая смешная опубликованная работа, связанная с TCS, вы знаете?

Пожалуйста, включайте только те, которые предназначены для забавы. Работы, которые явно созданы для того, чтобы быть разумно юмористическими (а не, скажем, опубликованным сборником коротких анекдотов о теории сложности), предпочтительнее. Работы с юмористическими (на самом деле юмористическими, а не просто милыми) названиями также принимаются.

Пожалуйста, только одна работа за ответ, чтобы «лучшие» могли дойти до вершины.

Joshua Grochow
источник
3
как насчет бумаг с забавными заголовками? или это должен быть другой вопрос?
Суреш Венкат
4
Я думаю, что смешные заголовки в порядке :).
Джошуа Грохов
1
Почему просто сложность (а не другие темы TCS)? А как насчет книг? (Я хотел бы опубликовать конкретную математику :))
Каве
3
по какой-то причине mathoverflow.net/questions/44326/most-memorable-titles является тесно связанной темой.
RJK
2
@Suresh: я полагаю, вы имеете в виду xxx.lanl.gov/abs/1003.6064v1
Раду ГРИГОР,

Ответы:

72

Газета Скотта Ааронсона: Полиномиальная иерархия рушится: тысячи боятся поддающихся контролю

Джошуа Грохов
источник
2
Веселое. Я не видел этого раньше.
Деррик Столи
7
Связанный с этим трагический (или смешной?) Заголовок: «Небо падает» (сильная экспоненциальная иерархия рушится) , технический отчет Л. Хемачандры. Следующая сноска прилагается к заголовку: «Цыпленок Маленькая мысль, что небо падает. Это не было».
Алессандро Косентино
52

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

Диспенсеры для туалетной бумаги в определенном здании рассчитаны на два рулона тканей, и человек может использовать любой рулон. Есть две категории людей, которые используют комнаты отдыха в здании: большие и маленькие. Большой выбор всегда берет кусок туалетной бумаги из рулона, который в настоящее время больше; маленький выбор всегда делает обратное. Однако, когда два рулона имеют одинаковый размер, или когда только один рулон не пуст, каждый выбирает ближайший непустой рулон. Когда оба рулона пусты, у всех есть проблемы.
Christian
источник
24
О нет. Кнут побил меня этим. Я рассмотрел связанный, по общему признанию, более простой вопрос и убедил себя, что каждый должен быть немного избранным, чтобы минимизировать риск совместно (и я был один с тех пор). У меня никогда не было времени, чтобы написать результат, хотя. По крайней мере, я рад узнать предшествующую работу, прежде чем я ее напишу и представлю на Международную конференцию по теоретическим туалетам.
Цуёси Ито
5
Были полужесткие взгляды на проблему выбора писсуара с помощью алгоритмов POV: blog.xkcd.com/2009/09/02/urinal-protocol-vulnerability
Энди Друкер
38

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

Я почти уверен, что это была газета «Апрельский дурак», но в любом случае она абсолютно смешная. Аннотация:

Мы заполняем пробел в существующей теории сложности, вводя класс вероятностных вычислений за полиномиальное время, то есть вычислений, которые, как вы знаете, возможно, заканчиваются за полиномиальное время, насколько нам известно. Мы применяем этот класс, чтобы показать, что алгоритмы для NP-полных задач, вероятно, не работают за полиномиальное время.

Джошуа Грохов
источник
6
Понял! Я не могу найти
ссылку на
3
Я был в классе с Дэвидом Чарлтоном в 2002 году, когда он был студентом, так что я уверен, что это должен быть 2005, а не 1995 ;-)
Mugizi Rwebangira
1
Дэвид написал это как веселый ответ на комментарий, который я сделал в аспирантуре. Я не помню свой точный комментарий, но газета смешная! : -Я не могу взять реальный кредит за веселье.
Кайл
30

Эндрю В. Аппель " POPL математика или наука? "

В этой статье рассматриваются различные конференции CS и пытается классифицировать их как теоретические или прикладные на основе того, упорядочивают ли авторы свои имена в алфавитном порядке (теоретический) или по вкладу (применяется).

Робин Котари
источник
4
Мне нравится финал: «Цель исследования, представленного в этом отчете, состояла в том, чтобы посмеяться над POPL '92; я рад сообщить, что в этом отношении исследование было полностью успешным».
Дэйв Кларк
Я хотел бы, чтобы это продолжалось и по сей день
Томас Але
24

Несколько работ Жана-Ива Жирара .

Его статья « Линейная логика» имеет следующую сноску редактора журнала «Теоретическая информатика»:

Из-за своей длины и новизны эта статья не была подвергнута нормальному процессу судейства. Редактор готов поделиться с автором любой критикой, которая в конечном итоге будет высказана в отношении этой работы.

Другой - это Locus Solum, от правил логики до логики правил . 192-страничная статья содержит приложение длиной почти 100 страниц под названием « Чистая трата бумаги », самое смешное приложение, которое я когда-либо видел.

Kaveh
источник
12
Фантастически странная вещь заключается в том, что «Чистая трата бумаги» действительно очень хороша. Вы не можете наивно доверять чему-либо, что он пишет в нем, но тем не менее есть серьезный момент в логике, скрытой почти в каждой шутке / оскорблении / в стороне.
Нил Кришнасвами
3
Франкоязычным читателям может понравиться его статья о горчичных часах
gallais
1
К сожалению, третья ссылка не работает
Макс
3
@gallais: На самом деле оригинальная версия газеты «Горчичные часы» написана на английском языке, ее можно найти здесь .
Дамиано Мазза
1
Это «исправление» для ссылки в основном ответе: iml.univ-mrs.fr/~girard/0.pdf
apnorton
23
Jeffε
источник
6
Не могли бы вы разделить это на два ответа?
ShreevatsaR
Вы имеете в виду «суперполилогарифмический»?
Джеффри Ирвинг
22

Доклад Йонатана Билу, Даны Поррат и Йоава Яффе " О количестве презервативов на дешевой оргии с безопасным сексом ". Эта статья не была опубликована, поэтому она не соответствует одному из требований (подлежит публикации работа). Но я думаю, что это может быть включено сюда как исключение.

Александр бондаренко
источник
Я думаю, что это может быть связано: mathworld.wolfram.com/GloveProblem.html
RJK
4
@Oleksander: «опубликованное» требование не должно было быть строгим, но предназначалось для отделения таких вещей, как статьи и книги, скажем, от мультипликационных полос (в противном случае эта ветка была бы заполнена ссылками на xkcd.)
Джошуа Грохов,
В том же духе: тройки, вырождение и любовные треугольники Гронлунда и Петти. Это действительно серьезная статья с мелкозернистой сложностью, и шутка в названии является вынужденной.
kinokijuf
20

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

Одним из примеров является статья 4 тома « Криптография во вселенной автостопщика» (раздел 5):

Coming Достопримечательности

Если вам понравилась наша презентация, вам будет приятно узнать о предстоящих достопримечательностях того же автора:

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

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

- Квантовое распределение ключей на основе социальных явлений. Эта статья демонстрирует, как распределять ключи, используя квантовые методы, но без использования квантовых объектов. Вместо использования квантовых объектов в протоколе используется неопределенность, присущая любому мужчине относительно того, считается ли его первый вечер с женщиной датой или нет для передачи ключей.

М. Алагган
источник
17

Конкретная математика: Фонд компьютерных наук , автор Рональд Грэм, Дональд Кнут и Орен Паташник.

Удивительная книга с множеством забавных заметок. :) (Смотрите также ДЭК «s GKP стр.)

каве
источник
4
Дополнительные примечания действительно забавны, но книга «просто приятна» - само собой разумеется, не каждый может написать приятную книгу ;-) В любом случае, я не знаю, можно ли считать ее забавной работой, но вы получите мой голос, потому что Мне очень нравится книга.
Энтони Лабарр
1
Это моя любимая книга. Я поражен, что больше авторов не следовало их формату.
Чад Brewbaker
17

Я бы порекомендовал процесс FUN: международную конференцию «Fun with Algorithms».

Я должен сказать, что «Трудность игры Леммингов, или нет, больше доказательств NP-полноты» Грэма Кормода - одна из моих любимых.

Суонн Перарнау
источник
2
На прошлой неделе я только что нашел материалы FUN 2007 года в книгах Пауэлла - я искренне поддерживаю эту рекомендацию! Некоторые отличные результаты в отношении пессимальной сортировки и худших алгоритмов подкачки.
Стивен Стадницки
16

Терминологическое предложение Дона Кнута . SIGACT News, 6 (1), 1974. Упоминается в блоге сложности. Это, очевидно, где мы получили термины «NP-полный» и «NP-жесткий».

Одно из моих любимых произведений из этой статьи - предложение Альберта Мейера о том, что то, что мы сейчас называем NP-трудными задачами, для краткости называется трудной как удовлетворенность или жесткой как S.

Джошуа Грохов
источник
14

Посмотрите на рисунок, который сопровождает одностраничную статью Адама Калаи SODA «Легко генерировать случайные факторные числа»: ссылка

Аарон Рот
источник
13

Бумага Михая Патраску и Лиама Родитти « Дистанционные оракулы за пределами Thorup-Zwick Bound » была первоначально озаглавлена ​​« Как вырастить свои яйца » на домашней странице Михая :-)

Ramprasad
источник
Он также изменил название презентации во время выступления на FOCS 2010 ... это было забавно
chazisop
12

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

В статье вводится «совершенно новая отрасль информатики, разработка и анализ неохотных алгоритмов. Интуитивно понятно, что неохотный алгоритм для задачи P - это тот, который напрасно тратит время таким способом, который достаточно изобретателен, чтобы одурачить наивного наблюдателя».

Герман Грубер
источник
9

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

оборота Лев Рейзин
источник
9

У Ассоциации вычислительной ереси при КМУ есть ряд таких, которые представлены на ежегодной конференции SIGBOVIK (следующая состоится 04/01/2011). Мой личный фаворит это:

Кража подхода к приобретению 3D-объектов.

user2333
источник
8

В том же духе, что и пост Мурило да Силвы, я не могу удержаться от публикации этой выдержки из «Факторинга N-циклов и карт подсчета данного рода» Гупиля и Шефера :

После этого доказательства мы просим читателя сделать паузу и насладиться более легкими занятиями, такими как наблюдение за птицами или садоводство, прежде чем продолжить чтение.

Энтони Лабарре
источник
7

«Уточнение в государственном формализме» Лампорта.

Наш друг, который был блестящим математиком, был госпитализирован из-за длительного злоупотребления галлюциногенными наркотиками. Мы решили дать ему цифровые часы для своей комнаты. Тем не менее, его врач предполагает, что отображение часов и минут вместе может быть слишком запутанным. Итак, мы поместили ленту на дисплей минут, превратив наш подарок в цифровые часы.

Маркус Ритт
источник
6

В какой-то момент я наткнулся на «Новость о теории сложности» и подумал, что это довольно забавно.

Райан Уильямс
источник
Приятно! Работа с ними также служит хорошим обновлением некоторых классических результатов сложности.
Андрас Саламон
6

Последние смешные заголовки:

  • А. Кехаджиас, П. Пралат, Некоторые замечания о полицейских и пьяных грабителях , Теоретическая информатика 463 (2012) 133-147, DOI

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

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

оборота user13136
источник
5

Алиса и Боб после обеда Речь Джона Гордона.

Хороший беззаботный разговор по теории кодирования.

Jagadish
источник
Интересно, сколько из того, что он утверждает, что его карманный калькулятор может сделать, теперь реально возможно на современном смартфоне. 3D-голографических дисплеев пока нет, и вам может быть трудно найти компилятор от ADA до Android, но кроме этого ...
AlexC
5

По другой теме ( Как мне судить статью? ) Я нашел следующую статью:

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

Мне было очень весело читать эту статью;)

М.С. Dousti
источник
4

Я не могу сейчас думать о забавной газете, но я помню «нормальную» бумагу, в которой была забавная строчка. Фактически это было самое первое предложение в разделе 1. Авторы начали работу с:

«Вопреки нашей обычной практике, мы считаем необходимым начать эту статью с нескольких определений». Так пусть Г ... »

В $beta$1996 году Марксосян, Гаспарян и Рид назвали статью « -совершенные графы». Она привлекла мое внимание, поскольку на самом деле это ключевая статья по теории совершенных графов, в которой определен класс бета-совершенных графов, класс, аналогичный совершенным графам (бета-совершенные графы являются подклассом графов без дыр, в то время как совершенные графы являются подклассом графов без дыр в ODD).

Мурило да Силва
источник
Также известный как «Поскольку речь идет о теории, я бы начал с определения проблемы, о которой я говорю ...»
Сариэль Хар-Пелед
3

Lambda the Ultimate привлекла мое внимание к «Фосфору» , «Популярному Лиспу» , который, если «Популярный Лисп» вас не опроверг, является сатирическим ^ _-

paul.meier
источник