Komik TCS ile ilgili kağıtlar vb.

TCS ile ilgili yayınlanan en komik yayınlanmış eser hangisidir?

Lütfen yalnızca komik olması gerekenleri ekleyin. Açıkça zekice mizahi olmak için hazırlanmış işler (örneğin, karmaşıklık teorisi ile ilgili yayınlanmış bir kısa şakalar topluluğu) tercih edilir. Esprili eserler (aslında komik, sadece sevimli değil) başlıklar da kabul edilir.

Lütfen her cevap için yalnızca bir çalışma yapın, böylece "en iyi" olanlar en üste kabarcıklandırabilir.

Scott Aaronson'un gazetesi: Polinom hiyerarşisi çöktü: binlerce kişi izlenebilir diye korktu

Tuvalet Kağıdı Sorunu (Donald Knuth, Amerikan Matematiksel Aylık, 1984). Girişden itibaren:

Belirli bir binadaki tuvalet kağıdı dağıtıcıları, iki rulo kağıdı tutacak şekilde tasarlanmıştır ve bir kişi, her iki ruloyu da kullanabilir. Binadaki dinlenme odalarını kullanan iki tür insan vardır: büyük seçiciler ve küçük seçiciler. Büyük bir seçici, her zaman şu anda daha büyük olan rulodan bir parça tuvalet kağıdı alır; Küçük bir seçici her zaman tam tersini yapar. Ancak, iki rulo aynı boyutta olduğunda veya yalnızca bir rulo boş olmadığında, herkes en yakın boş olmayan ruloyu seçer. Her iki rulo boş olduğunda, herkesin bir sorunu vardır.

Kyle Burke ve David Charlton. Muhtemelen istinik polinom süresi için daha düşük sınırlar. Boston Üniversitesi, 2005. (Link için @ arnab ve Web Arşivi'ne teşekkürler.)

Bunun bir April Fool'un makalesi olduğundan eminim, ama her iki şekilde de kesinlikle komik. Soyut:

Muhtemel polinom zaman hesaplamaları, yani bildiğiniz kadarıyla muhtemelen polinom zamanında sona eren hesaplamalar sınıfını tanıtarak mevcut karmaşıklık teorisindeki bir boşluğu dolduruyoruz. NP sınıfı problemler için algoritmaların muhtemelen polinom zamanlarında çalışmadığını göstermek için bu sınıfı uygularız.

Andrew W. Appel'in " POPL Matematik mi Bilim mi? "

Bu çalışma, CS konferanslarını çeşitlendirir ve yazarların adlarını alfabetik sıraya göre mi (teorik) veya katkıya göre mi (uygulamalı) dayalı olarak onları teorik veya uygulamalı olarak sınıflandırmaya çalışır.

Jean-Yves Girard'ın makalelerinin birçoğu .

Onun Lineer Mantık kağıt Teorik Bilgisayar Bilimi dergisinin editörü tarafından şu dipnot vardır:

Uzunluğu ve yenilikçiliği nedeniyle bu makale normal yönlendirme sürecine maruz kalmamıştır. Editör, sonunda bu çalışma ile ilgili dile getirilecek herhangi bir eleştiriyi yazarla paylaşmaya hazırdır.

Bir diğeri ise Locus Solum, Mantık kurallarından kural mantığına kadar . 192 sayfalık bildiri, şimdiye kadar gördüğüm en komik ek olan " Saf bir kağıt israfı " adı verilen yaklaşık 100 sayfa uzunluğunda bir eke sahip.

• Don Knuth'un Şarkıları Karmaşıklığı
• Superpolynomial Subexponential İşlevleri Alan T. Sherman (ACM Digital Library'nin önerdiği gibi "Man T. Sherman" değil) hakkında.

Yonatan Bilu, Dana Porrat ve Yoav Yaffe'nin " Ucuz Güvenli Seks Aleminde Prezervatif Sayısında " makalesi . Bu makale yayınlanmadı, bu nedenle gereksinimlerden birine (yayınlanacak eserlere) uymuyor. Ancak bunun bir istisna olarak dahil edilebileceğini düşünüyorum.

Aslında komik olması gereken tüm bir dergi var. Craptology dergisi . Konular genellikle şifreleme ile ilgilidir. Bazı seans videoları da var (!)

Bir örnek, bir Otostopçunun Evreninde Cilt 4 Kriptografi makalesidir (bölüm 5):

Gezilecek Yerler

Özellik sunumumuzdan memnun kaldıysanız, aynı yazarın yaklaşmakta olan turistik yerleri hakkında bilgi almaktan memnuniyet duyarsınız:

- İnsan İnteraktif Protokol Sistemlerinin Kriptanalizi. HIPS'in aslında yalan söylediğini ispatlayan Shakira [4] kağıdının tartışmalı bir kriptanalizi.

- Sıfır karşıtı bilgi. Doğrulayıcının duymak istediği dışında, bir kanıtlayıcının bildiği her şeyi açığa çıkaran bir protokol sistemi. Özel anti-sıfır bilgi protokolleri, çoğu müşteri yardım hattı hizmeti tarafından geliştirilmiştir.

- Sosyal olaylara dayalı kuantum anahtar dağılımı. Bu makale, anahtarların kuantum teknikleri kullanılarak, ancak kuantum nesneleri kullanmadan nasıl dağıtılacağını göstermektedir. Protokol, kuantum nesnelerini kullanmak yerine, herhangi bir erkeğin bir kadınla ilk akşam yemeğinin, anahtarları iletmek için bir tarih olarak sayılıp sayılmadığına dair belirsizliğini kullanır.

Somut Matematik: Bilgisayar Bilimi Vakfı , Ronald Graham, Donald Knuth ve Oren Patashnik.

Çok sayıda komik not içeren harika bir kitap. :) (Ayrıca DEK 'in GKP sayfasına bakınız.)

FUN'un işlemlerini tavsiye ediyorum: Uluslararası Algoritmalar ile Eğlenceli Konferansı.

Graham Cormode'un "Lemmings oyununun sertliği ya da Oh hayır, daha fazla NP eksiksizliği kanıtı" olduğunu söylemeliyim.

Don Knuth'un terminolojik bir teklifi . SIGACT News, 6 (1), 1974. Karmaşıklık Blogunda bahsetti . Görünüşe göre bu "NP tamamlandı" ve "NP zor" terimlerini aldığımız yer.

Bu parçadaki favorilerimden biri Albert Meyer'in şu an NP-zor problemleri olarak adlandırdığımıza, “Tatmin Edilmesi Zor” veya “Kısacası Zor” olarak adlandırılması önerisidir.

Adam Kalai'nin 1 sayfalık SODA makalesine eşlik eden, "Kolayca Rastgele Faktörlü Numaralar Oluşturma" sayfasını inceleyin: link

Mihai Patrascu ve Liam Roditty'nin "Zararın Ötesindeki Ötesinde Uzaklaşan Oracles " konulu makalesi ilk olarak Mihai'nin ana sayfasında :-) " Toplarınızı nasıl büyütürsünüz" başlıklı yazıyı çekti.

A. Broder, J. Stolfi " Kötümser algoritmalar ve sadelik analizi ", ACM SIGACT News 16 (3), Güz 1984.

Bildiri, "Tamamen yeni bir Bilgisayar Bilimi dalı, isteksiz algoritmaların tasarımı ve analizi." Sezgisel olarak, bir problem P için isteksiz bir algoritma, saf bir gözlemciyi kandırmaya uygun bir şekilde zaman harcayan bir problemdir. "

Lamport'un Part Time Parlamentosu , dağıtılmış bilgisayarlarda bir atılım yaptı, ancak bildiri öyle ki (bilerek!) İnsanların bunu anlayamayacaklarını engelledi - bildiğim kadarıyla, yayınlanması 10 yıl sürdü (editörler) karışık şeklinde. Sonunda Lamport , aşağıdaki özeti içeren Paxos Made Simple'u takip etti : " Paxos algoritması, sade İngilizce olarak sunulduğunda çok basittir ."

CMU’daki Hesaplamalı Heresy Derneği’nin bunlardan bazıları yıllık SIGBOVIK konferansında (daha sonra 04.01.2011 tarihinde yapıldı) sunuldu . Benim kişisel favorim:

3B nesne edinme hırsızlık tabanlı bir yaklaşım.

Murilo da Silva'nın gönderdiği gibi, bu alıntıyı Goupil ve Schaefer'in "N-Döngüleri Faktoring ve Verilen Cinsin Haritalarını Sayma" ndan alıntılamaya karşı koyamıyorum :

Bu kanıtın ardından okuyucuyu okumaya devam etmeden önce kuş gözlemciliği veya bahçecilik gibi daha hafif bir aktiviteyi duraklatmasını ve tadını çıkarmasını öneririz.

Lamport tarafından "Devlet Temelli Formalizmin İyileştirilmesi" .

Parlak bir matematikçi olan arkadaşımız, halüsinojenik ilaçların uzun süredir kötüye kullanılması nedeniyle hastaneye kaldırıldı. Ona odası için dijital bir saat vermeye karar veriyoruz. Ancak doktoru, saat ve dakika gösterimlerinin birlikte çok kafa karıştırıcı olabileceğini öne sürüyor. Bu yüzden, hediyemizi dijital bir saate dönüştürerek, dakika göstergesinin üzerine bant yerleştirdik.

Az önce "Dergi gazetesinin sinirli yazarından bir mektup" keşfettim . Güzel okuma ;-)

Bir noktada "Karmaşıklık Teorisi Newsflash" ile karşılaştım ve oldukça komik olduğunu düşündüm.

Son komik başlıklar:

• A. Kehagias, P. Pralat, Polis ve sarhoş soyguncular hakkında bazı açıklamalar , Teorik Bilgisayar Bilimleri 463 (2012) 133-147, DOI

• A. Kehagias, D. Mitsche, P. Pralatb, Polisler ve Görünmez Soyguncular: Sarhoşluğun maliyeti , Teorik Bilgisayar Bilimi (2013), Basında

• Natasha Komarov, Peter Winkle, Bir Grafikte Sarhoş Soyguncuyu Yakalama , Mayıs 2013, arXiv: 1305.4559

Mick (oran onun tarafında) bazı alır tarafından Reed Chvátal ve Chvátal memnuniyeti (Gerçeklenebilirlik aka), Reed (Focs 1992).

Bir meslektaş yorumcusu kötü bir gün geçiriyorsa ne kadar hasar verebilir? Ünlü eski CS gazetelerinin komik kurgusal incelemeleri.

Akşam Yemeği Konuşmasından Sonra Alice ve Bob , John Gordon.

Kodlama teorisi üzerine güzel yürekli konuşma.

Başka bir konuda ( Bir makaleyi nasıl yönlendiririm? ), Şu kağıdı buldum:

Graham Cormode. 2009. Bir makaleyi nasıl gözden geçirmeyeceğiniz: rakip eleştirmenlerin araçları ve teknikleri. SIGMOD Rec . 37, 4 (Mart 2009), 100-104. DOI = 10.1145 / 1519103.1519122 http://doi.acm.org/10.1145/1519103.1519122

Bu makaleyi okurken çok eğlendim;)

Bruce Reed, Mango ve Yaban Mersini , Combinatorica 19 (1999) 267-296.

Şimdi komik bir kağıt düşünemiyorum, ama içinde komik bir çizgi bulunan "normal" bir kağıdı hatırlıyorum. Aslında Bölüm 1'deki ilk cümleydi. Yazarlar bildiriyle şöyle başladı:

"Genel uygulamamızın aksine, bu makaleye birkaç tanımla başlamak zorundayız". Öyleyse G ... "

Makalenin adı, $beta$1996 yılında Markossian, Gasparian ve Reed tarafından "mükemmel grafikler" dir. Dikkatimi çekti çünkü aslında mükemmel grafik teorisi üzerine beta-mükemmel grafikler sınıfı olarak tanımlandığı önemli bir makale. mükemmel grafiklere benzeyen bir sınıf (beta-mükemmel grafikler EVEN deliksiz grafiklerin bir alt sınıfıdır, mükemmel grafikler ODD deliksiz grafiklerin bir alt sınıfıdır).

Komik bir başlık kadar: "Bir renk körüne karşı bir renklendirme oyunu nasıl oynanır"

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

Peki ya Scott her zaman ayık değil ?

Lambda The Ultimate, dikkatimi bana çekmişti, "Popular Lisp" seni ihbar etmediyse, hicivli olan The Popular Lisp , Fosforlu beyaz tahtaya yazdı ^ ^