Makalah terkait TCS lucu dll?


Apa karya terbitan terkait TCS terlucu yang Anda tahu?

Harap sertakan hanya yang dimaksudkan untuk menjadi lucu. Karya-karya yang secara eksplisit dibuat untuk menjadi humor cerdas (daripada, katakanlah, kumpulan lelucon singkat tentang teori kompleksitas) lebih disukai. Karya dengan judul lucu (sebenarnya lucu, tidak hanya lucu) juga diterima.

Harap hanya satu pekerjaan per jawaban sehingga yang "terbaik" dapat menggelembung ke atas.


3
bagaimana dengan makalah dengan judul lucu? atau haruskah itu menjadi pertanyaan yang berbeda?
Suresh Venkat

4
Saya pikir judul-judul lucu baik-baik saja :).
Joshua Grochow

1
Mengapa hanya kompleksitas (dan bukan topik TCS lainnya)? Bagaimana dengan buku? (Saya ingin memposting Matematika Konkret :))
Kaveh

3
untuk beberapa alasan, mathoverflow.net/questions/44326/most-memorable-titles adalah utas yang terkait erat.
RJK

2
@ Suresh: Saya yakin maksud Anda xxx.lanl.gov/abs/1003.6064v1
Radu GRIGore

Jawaban:



Masalah Kertas Toilet (Donald Knuth, American Mathematical Monthly, 1984). Dari pendahuluan:

Dispenser kertas toilet di bangunan tertentu dirancang untuk menampung dua gulungan tisu, dan seseorang dapat menggunakan salah satu gulungan tersebut. Ada dua jenis orang yang menggunakan kamar kecil di gedung: pemilih besar dan pemilih kecil. Pemilih besar selalu mengambil selembar kertas toilet dari gulungan yang saat ini lebih besar; pemilih kecil selalu melakukan yang sebaliknya. Namun, ketika kedua gulungan memiliki ukuran yang sama, atau ketika hanya satu gulungan yang kosong, semua orang memilih gulungan kosong yang terdekat. Saat kedua gulungan kosong, semua orang memiliki masalah.

24
Oh tidak. Knuth mengalahkan saya untuk itu. Saya telah mempertimbangkan pertanyaan terkait, yang diakui lebih sederhana dan meyakinkan diri saya bahwa setiap orang harus menjadi pemilih kecil untuk meminimalkan risiko secara kooperatif (dan saya telah menjadi salah satu sejak itu). Saya tidak pernah punya waktu untuk menulis hasilnya. Setidaknya, saya senang mengetahui karya sebelumnya sebelum saya menulisnya dan menyerahkannya ke Konferensi Internasional tentang Toilet Teoretis.
Tsuyoshi Ito

5
Ada beberapa masalah pada pemilihan urinal dari algoritma POV: blog.xkcd.com/2009/09/02/urinal-protocol-vulnerability
Andy Drucker

Kyle Burke dan David Charlton. Batas bawah untuk waktu polinomial mungkin-istic. Boston University, 2005. (Terima kasih kepada @arnab dan Web Archive untuk tautannya.)

Saya cukup yakin ini adalah makalah April Mop, tapi bagaimanapun juga itu benar - benar lucu. Abstrak:

Kami mengisi celah dalam teori kompleksitas yang ada dengan memperkenalkan kelas perhitungan waktu polinomial yang mungkinistik, yaitu, perhitungan yang, Anda tahu, mungkin berakhir dalam waktu polinomial, sejauh yang kami tahu. Kami menerapkan kelas ini untuk menunjukkan bahwa algoritma untuk masalah NP-complete mungkin tidak berjalan dalam waktu polinomial.


6
Mengerti! Saya tidak dapat menemukannya tertaut dari halaman web yang ada, tetapi Anda dapat mengambilnya di sini: web.archive.org/web/20080211140314/http://cs-people.bu.edu/…
arnab

3
Saya berada di kelas dengan David Charlton pada tahun 2002 ketika dia masih sarjana, jadi saya cukup yakin bahwa itu pasti 2005, bukan 1995 ;-)
Mugizi Rwebangira

1
David menulis ini sebagai tanggapan lucu terhadap komentar yang saya buat di sekolah pascasarjana. Saya tidak ingat komentar persis saya, tetapi makalahnya lucu! : -DI tidak dapat mengambil kredit aktual untuk keriuhan.
Kyle

Andrew W. Appel " Is POPL Mathematics or Science? "

Makalah ini mempelajari berbagai konferensi CS dan mencoba untuk mengklasifikasikannya sebagai teori atau diterapkan berdasarkan apakah penulis memesan nama mereka dalam urutan abjad (teoretis) atau dengan kontribusi (diterapkan).


4
Saya suka penutupnya "Tujuan penelitian yang disajikan dalam laporan ini adalah untuk memberikan tawa di POPL '92; Saya senang mengatakan bahwa dalam hal ini penelitian sepenuhnya berhasil."
Dave Clarke

Saya ingin melihat ini berlanjut hingga hari ini
Thomas Ahle

Beberapa surat kabar Jean-Yves Girard .

-Nya Linear Logic kertas memiliki catatan kaki berikut dengan editor Theoretical jurnal Ilmu Komputer:

Karena panjang dan kebaruan makalah ini belum mengalami proses refereeing yang normal. Editor siap untuk berbagi dengan penulis kritik apa pun yang pada akhirnya akan diungkapkan mengenai karya ini.

Satu lagi adalah Locus Solum, Dari aturan logika hingga logika aturan . Makalah 192 halaman memiliki lampiran yang hampir 100 halaman panjang bernama " A murni kertas ", lampiran terlucu yang pernah saya lihat.


12
Yang anehnya adalah "Buang-buang kertas murni" sangat bagus. Anda tidak bisa secara naif mempercayai apa pun yang ia tulis di dalamnya, tetapi tetap saja ada poin serius tentang logika yang tersembunyi di hampir setiap lelucon / penghinaan / kesamping.
Neel Krishnaswami

3
Pembaca berbahasa Prancis dapat menikmati makalahnya pada jam mustard
gallais

1
Sayangnya tautan ketiga rusak
Maks

3
@allais: Sebenarnya, versi asli kertas "Jam tangan Mustard" adalah dalam bahasa Inggris dan dapat ditemukan di sini .
Damiano Mazza

1
Ini adalah "perbaikan" untuk tautan dalam jawaban utama: iml.univ-mrs.fr/~girard/0.pdf
apnorton


Makalah karya Yonatan Bilu, Dana Porrat dan Yoav Yaffe " Tentang Jumlah Kondom di Pesta Seks Aman yang Murah ". Makalah ini tidak diterbitkan, jadi tidak sesuai dengan salah satu persyaratan (karya yang akan diterbitkan). Tapi saya pikir itu bisa dimasukkan di sini sebagai pengecualian.


Saya pikir ini mungkin terkait: mathworld.wolfram.com/GloveProblem.html
RJK

4
@Oleksander: Persyaratan "diterbitkan" tidak dimaksudkan untuk menjadi ketat, tetapi dimaksudkan untuk memisahkan hal-hal seperti artikel dan buku dari, katakanlah, strip kartun (jika tidak, utas ini akan diisi dengan referensi xkcd.)
Joshua Grochow

Dalam nada yang sama: Threesomes, Degenerates and Love Triangles oleh Grønlund dan Pettie. Ini benar-benar makalah yang serius dalam kompleksitas yang rumit, dan lelucon dalam judul terpaksa.
kinokijuf

Bahkan ada jurnal lengkap yang dimaksudkan untuk menjadi lucu. The jurnal craptology . Topik biasanya terkait dengan kriptografi. Ada juga beberapa video sesi (!)

Salah satu contoh adalah kertas Volume 4 Kriptografi dalam Semesta Hitchhiker (bagian 5) adalah:

Atraksi Datang

Jika Anda menikmati presentasi fitur kami, Anda akan senang mendengar tentang atraksi yang akan datang oleh penulis yang sama:

- The cryptanalysis Sistem Protokol Interaktif Manusia. Sebuah analisis kriptografi kontroversial dari makalah Shakira [4] yang membuktikan bahwa HIPS memang berbohong.

- Anti-zero-knowledge. Suatu sistem protokol yang mengungkapkan segala sesuatu yang diketahui oleh seorang pepatah kecuali yang ingin didengar oleh verifier. Protokol anti-nol-pengetahuan ad-hoc telah dikembangkan oleh sebagian besar layanan bantuan pelanggan.

- Distribusi kunci kuantum berdasarkan fenomena sosial. Makalah ini menunjukkan bagaimana mendistribusikan kunci menggunakan teknik kuantum tetapi tanpa menggunakan objek kuantum. Alih-alih menggunakan objek kuantum, protokol malah menggunakan ketidakpastian yang dimiliki pria mana pun tentang apakah malam pertamanya dengan seorang wanita dianggap sebagai kencan atau tidak untuk mengirimkan kunci.


Matematika Konkret: Yayasan Ilmu Komputer , oleh Ronald Graham, Donald Knuth, dan Oren Patashnik.

Buku luar biasa dengan banyak catatan sisi lucu. :) (Lihat juga DEK 's GKP halaman.)


4
Catatan samping memang lucu, tetapi buku itu "hanya menyenangkan" - memang, tidak semua orang bisa menulis buku yang menyenangkan ;-) Lagi pula, saya tidak tahu apakah itu memenuhi syarat sebagai karya lucu, tetapi Anda mendapatkan suara saya karena Saya sangat menyukai buku itu.
Anthony Labarre

1
Ini buku favorit saya. Saya kagum lebih banyak penulis yang tidak mengikuti format mereka.
Chad Brewbaker

Saya akan merekomendasikan proses FUN: Konferensi Internasional tentang Kesenangan dengan Algoritma.

Saya harus mengatakan bahwa "Hardness of the Lemmings game, atau Oh tidak, lebih banyak bukti kelengkapan NP" oleh Graham Cormode adalah salah satu favorit saya.


2
Saya baru saja menemukan proses FUN 2007 di buku-buku Powell minggu lalu - saya sepenuh hati merekomendasikan ini! Beberapa hasil hebat pada pengurutan pessimal dan algoritma paging terburuk.
Steven Stadnicki

Don Knuth's A proposal terminologis . SIGACT News, 6 (1), 1974. Disebutkan di The Complexity Blog. Di sinilah kami mendapatkan istilah "NP-complete" dan "NP-hard."

Salah satu favorit saya dari karya ini adalah saran Albert Meyer bahwa apa yang sekarang kita sebut masalah NP-hard disebut Hard-as-Satisfiability, atau hard-as-S singkatnya.


Lihatlah gambar yang menyertai 1 halaman makalah SODA Adam Kalai, "Menghasilkan Angka Acak, Mudah,": tautan



A. Broder, J. Stolfi " Algoritma Pessimal dan analisis kesederhanaan ", ACM SIGACT News 16 (3), Fall 1984.

Makalah ini memperkenalkan "cabang yang sama sekali baru dari Ilmu Komputer, desain dan analisis algoritma enggan. Secara intuitif, algoritma enggan untuk masalah P adalah yang menghabiskan waktu dengan cara yang cukup dirancang untuk menipu pengamat yang naif."


Paruh Waktu Parlemen Lamport membuat terobosan dalam komputasi terdistribusi, tetapi makalah itu (sengaja!) Dikaburkan sehingga orang tidak bisa memahaminya - sejauh yang saya tahu, butuh waktu sekitar 10 tahun untuk menerbitkannya (editor masa lalu) dalam bentuknya yang dikaburkan. Akhirnya Lamport menindaklanjuti dengan Paxos Made Simple , yang memiliki abstrak sebagai berikut: " Algoritma Paxos, ketika disajikan dalam bahasa Inggris yang sederhana, sangat sederhana ."


Asosiasi untuk Kesesatan Komputasi di CMU memiliki beberapa di antaranya, yang dipresentasikan pada konferensi tahunan SIGBOVIK (selanjutnya diadakan 04/01/2011). Favorit pribadi saya adalah:

Pendekatan berbasis pencurian untuk akuisisi objek 3d.



"Perbaikan dalam Formalisme Berbasis Negara" oleh Lamport.

Seorang teman kami, yang merupakan ahli matematika yang brilian, telah dirawat di rumah sakit karena penyalahgunaan obat-obatan halusinogen jangka panjang. Kami memutuskan untuk memberinya jam digital untuk kamarnya. Namun, dokternya menyarankan bahwa jam dan menit yang ditampilkan bersama mungkin terlalu membingungkan. Jadi, kami menempelkan pita pada tampilan menit, mengubah hadiah kami menjadi jam digital.




Judul lucu terbaru:

  • A. Kehagias, P. Pralat, Beberapa komentar pada polisi dan perampok mabuk , Ilmu Komputer Teoritis 463 (2012) 133-147, DOI

  • A. Kehagias, D. Mitsche, P. Pralatb, Polisi dan Perampok yang tidak terlihat: Biaya kemabukan , Ilmu Komputer Teoritis (2013), dalam Pers

  • Natasha Komarov, Peter Winkle, Menangkap Perampok yang Mabuk dalam Grafik , Mei 2013, arXiv: 1305.4559




Pidato Alice dan Bob After Dinner oleh John Gordon.

Pembicaraan yang menyenangkan tentang teori pengkodean.


Sangat menghibur berapa banyak dari apa yang dia klaim dapat lakukan dengan kalkulator sakunya yang sekarang dimungkinkan pada smartphone modern. Belum ada tampilan holografik 3D, dan Anda mungkin kesulitan menemukan kompiler dari ADA ke Android, tetapi selain itu ...
AlexC



Saya tidak bisa memikirkan kertas lucu sekarang, tetapi saya ingat kertas "normal" yang memiliki garis lucu di dalamnya. Itu sebenarnya kalimat pertama dalam Bagian 1. Penulis memulai makalah dengan:

"Bertentangan dengan praktik kami yang biasa, kami merasa berkewajiban untuk memulai makalah ini dengan beberapa definisi". Jadi biarkan G ... "

Judul makalah ini adalah " $beta$-perfect graphs", oleh Markossian, Gasparian dan Reed pada tahun 1996. Itu menarik perhatian saya karena pada kenyataannya ini adalah makalah kunci tentang teori graf sempurna, di mana ia didefinisikan sebagai kelas grafik beta-sempurna, kelas yang analog dengan grafik sempurna (grafik beta-sempurna menjadi subkelas dari grafik bebas lubang EVEN, sedangkan grafik sempurna adalah subkelas dari grafik bebas-lubang ODD.


Juga dikenal sebagai "Karena ini adalah pembicaraan teori, saya akan mulai dengan mendefinisikan masalah yang saya bicarakan ..."
Sariel Har-Peled



Dengan menggunakan situs kami, Anda mengakui telah membaca dan memahami Kebijakan Cookie dan Kebijakan Privasi kami.
Licensed under cc by-sa 3.0 with attribution required.