与TCS相关的有趣论文等？

您知道与TCS相关的最有趣的著作是什么？

请仅包括那些有意思的内容。明确设计为具有幽默感的作品（而不是发表有关复杂性理论的简短笑话的收藏）是首选。也接受带有幽默（实际上是幽默，而不仅仅是可爱）标题的作品。

每个答案请只做一份工作，这样“最佳”的答案就会冒出来。

斯科特·亚伦森（Scott Aaronson）的时事通讯：多项式层次结构崩溃：成千上万的人难以处理

厕纸问题（Donald Knuth，《美国数学月刊》，1984年）。从介绍：

特定建筑物中的厕纸分配器设计为可容纳两卷纸巾，一个人可以使用其中任何一卷。使用建筑物中的洗手间的人有两种：大选择者和小选择者。大选择者总是从当前较大的纸卷中取一张卫生纸。小选择者总是做相反的事情。但是，如果两个纸卷的大小相同，或者只有一个纸卷为非空纸卷，则每个人都会选择最近的非空纸卷。当两卷都为空时，每个人都有问题。

凯尔·伯克（Kyle Burke）和大卫·查尔顿（David Charlton）。下限可能是近似的多项式时间。 波士顿大学，2005年。（感谢@arnab和Web存档的链接。）

我很确定这是愚人节的论文，但无论哪种方式都绝对很有趣。摘要：

通过介绍可能的多项式时间计算的类别，即我们知道的可能终止于多项式时间的计算，我们填补了现有复杂性理论中的空白。我们应用此类表明，NP完全问题的算法可能不会在多项式时间内运行。

Andrew W. Appel的“ POPL是数学还是科学？ ”

本文研究各种CS会议，并尝试根据作者是按字母顺序（理论）还是按贡献（应用）将其名称排序为理论会议还是应用会议。

几个让-伊夫·吉拉德的论文。

他的《线性逻辑》论文在《理论计算机科学》杂志的编辑中有以下脚注：

由于其篇幅和新颖性，本文没有经过正常的裁判过程。编辑准备与作者分享最终将对此工作发表的任何批评。

另一个是Locus Solum，从逻辑规则到规则逻辑。这份192页的附录中有将近100页的附录，名为“ 纯纸浪费 ”，这是我见过的最有趣的附录。

• Don Knuth 的歌曲的复杂性
• 关于 Alan T. Sherman的超多项式次指数函数（不是ACM数字图书馆建议的“ Man T. Sherman”）。

Yonatan Bilu，Dana Porrat和Yoav Yaffe的论文“ 论廉价安全性狂欢中的避孕套数量 ”。该论文尚未发表，因此与其中一项要求（即将发表的工作）不符。但我认为可以在这里将其作为例外。

实际上，有整本杂志很有趣。该craptology杂志。主题通常与密码学有关。也有一些会议视频（！）

一个例子是《旅行者旅行者的宇宙》中的第4卷《密码学》（第5节）是：

即将来临的景点

如果您喜欢我们的专题介绍，那么您将很高兴听到同一作者即将发表的景点的信息：

–人类交互协议系统的密码分析。对Shakira [4]论文的一个有争议的密码分析，证明了HIPS确实在说谎。

–反零知识。一种协议系统，可显示证明者知道的所有内容，但验证者希望听到的内容除外。大多数客户服务热线服务已经开发了临时的防零知识协议。

–基于社会现象的量子密钥分配。本文演示了如何使用量子技术而不使用量子对象来分配密钥。该协议没有使用量子对象，而是使用了任何男人对于他和女人在一起的第一个晚上是否算作日期来传递密钥的不确定性。

具体数学：计算机科学基础，作者：Ronald Graham，Donald Knuth和Oren Patashnik。

一本很棒的书，里面有很多有趣的旁注。:)（另请参阅DEK的GKP页面。）

我会推荐FUN的处理：算法乐趣国际会议。

我必须说，格雷厄姆·科莫德（Graham Cormode）撰写的“ Lemmings游戏的难度，或者，哦，不，更多的NP完整性证明”是我的最爱之一。

Don Knuth的A术语建议。SIGACT新闻，6（1），1974年。 在“复杂性博客” 中提及。显然，这是我们获得术语“ NP完全”和“ NP困难”的地方。

我最喜欢的其中一项是阿尔伯特·迈耶（Albert Meyer）的建议，即我们现在将NP难题称为“可满足性的硬性”，或简称为“可维护性的S”。

查阅Adam Kalai的1页SODA论文“轻松生成随机因数”随附的数字：链接

Mihai Patrascu和Liam Roditty的论文“ 超越Thorup-Zwick界限的远方神谕 ”在Mihai的主页上最初的标题为“ 如何种植球 ” ：-)

A. Broder，J. Stolfi，“ Pessimal算法和简单性分析 ”，ACM SIGACT新闻16（3），1984年秋季。

该论文介绍了“计算机科学的一个全新分支，即依恋算法的设计和分析。从直觉上讲，针对问题P的依恋算法是一种浪费时间的方法，这种方法足以欺骗天真的观察者。”

兰珀特的兼职议会在分布式计算上取得了突破，但是该论文（故意！）使人难以理解，以至于人们无法理解它。据我所知，他花了大约十年的时间才将其出版（过去的编辑）以其模糊的形式。最终，Lamport紧随其后的是Paxos Made Simple，它具有以下摘要：“ 当Paxos算法以简单的英语呈现时，它非常简单。”

在CMU的计算异端协会中有许多这样的协会，这些协会在年度SIGBOVIK会议（下一次于04/01/2011举行）上进行了介绍。我个人最喜欢的是：

基于盗窃的3d对象获取方法。

本着与穆里洛·达席尔瓦（Murilo da Silva）相同的精神，我不能拒绝发表这段摘录，摘录自古皮尔（Goupil）和舍弗（Schaefer）的“ N个周期的因子和给定属的计数图”：

获得证明后，我们鼓励读者在继续阅读之前先停下来享受一些轻松的活动，例如观鸟或园艺。

兰莫特的“基于国家形式主义的精炼”。

我们的一位曾经是杰出数学家的朋友，因为长期滥用致幻剂而住院。我们决定给他一个数字时钟给他的房间。但是，他的医生建议将小时和分钟显示一起显示可能会造成混淆。因此，我们在分钟显示上放了磁带，将我们的礼物变成了数字小时表。

我刚发现“一封沮丧的期刊论文作者的来信”。不错的阅读;-)

我在某个时候遇到了“复杂性理论新闻快讯”，并认为它很有趣。

最近有趣的标题：

• A.Kehagias，P.Plarat， 关于警察和醉酒强盗的一些评论，理论计算机科学463（2012）133-147， DOI

• A.Kehagias，D.Mitsche，P.Platatb， 警察和隐形强盗：醉酒的代价，理论计算机科学（2013）， 印刷中

• 娜塔莎·科马罗夫（Natasha Komarov），彼得·温克尔（Peter Winkle）， 在图表上捕捉醉酒强盗，2013年5月，arXiv：1305.4559

米克得到一些（赔率是在他的身边）由里德 Chvatal和Chvatal里德（FOCS 1992年），对满意度（又名可满足）。

同行评审的日子不好，可能造成多少损失？ 著名的旧CS论文的搞笑小说评论。

约翰·戈登晚宴后的爱丽丝与鲍勃演讲。

关于编码理论的轻松讨论。

在另一个主题（如何审阅论文？）上，我找到了以下论文：

格雷厄姆·柯莫德（Graham Cormode）。2009。如何不审阅论文：对抗性审阅者的工具和技术。SIGMOD建议。37，4（2009年3月），第100-104页。DOI = 10.1145 / 1519103.1519122 http://doi.acm.org/10.1145/1519103.1519122

阅读本文让我很开心；）

布鲁斯·里德（Bruce Reed），《芒果和蓝莓》，Combinatorica 19（1999）267-296。

我现在无法想到一张有趣的纸，但我确实记得里面有一条有趣的线的“普通”纸。实际上，这是第1节中的第一句话。作者以以下内容开始本文：

“与通常的做法相反，我们认为有必要以一些定义开始本文”。所以让G ...”

该论文的标题是$beta$Markossian，Gasparian和Reed在1996年提出的“ -完美图”。之所以引起我的注意是因为它实际上是关于完美图论的关键论文，其中定义了β完美图的类别，一类与完美图类似的类（β完美图是EVEN无孔图的子类，而完美图是ODD无孔图的子类。

就一个有趣的标题而言：“如何与色盲对手玩一场着色游戏”

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

如何斯科特并不总是清醒？

最终版Lambda引起了我的注意，有关磷的白皮书《 Popular Lisp》是讽刺的^ _-