Herkes hangi kağıtları okumalı?

Bu soru (esinlenerek) / (utanç verici bir şekilde çalındı) MathOverflow'ta benzer bir soru , ancak buradaki cevapların oldukça farklı olacağını umuyorum .

Hepimizin kendi ilgili alanlarımızda favori makaleleri var. Arada bir, biri onu herkesle paylaşmak istediği kadar şaşırtıcı (örneğin, önemli, çekici, aldatıcı şekilde basit, vb.) Bir kağıt bulur. Öyleyse bu makaleleri burada listeleyin! Onlar yok olması teorik bilgisayar bilimleri gönderildiği - Bir ince cevaptır topluma hitap düşünüyorum şey.

İstediğiniz kadar cevap verebilirsiniz; Lütfen cevap başına bir kağıt koyun ! Ayrıca, bunun topluluk wiki olduğuna dikkat edin, bu nedenle istediğiniz her şeye oy verin!

(Not : Özyineleme-teorik karmaşıklıktaki kağıtlar hakkında önceki bir soru var, ancak bu oldukça uzmanlaşmış.)

Bilgi kuramının klasiği Claude Shannon'ın "matematiksel bir iletişim kuramı" . Çok okunabilir.

( Ayna )

Muhtemelen bilgisayar bilimini başlatan 1936 makalesi:

• Alan Turing, "Entscheidungsproblem Uygulamasında Uygulanabilir Sayılar Üzerine", Londra Matematik Kurumu'nun Bildirileri s2-42, 230-265, 1937. doi: 10.1112 / plms / s2-42.1.230

Sadece 36 sayfada Turing, Turing Makinesi'ni formüle ediyor (isimlendirmiyor), Gödel'in ünlü İlk Eksiklik Teoremini hesaplama açısından anlatıyor, evrensellik kavramını açıklıyor ve ekte, Turing makinelerinin hesaplanabilirliğinin ile hesaplanmaya eşdeğer olduğunu gösteriyor tanımlanamayan işlevler (Church ve Kleene tarafından çalışıldığı gibi).$\lambda$

Ken Thompson'ın " Güvene Güven Üzerine Düşünceleri ". Kısa, tatlı ve akıllara durgunluk veren.

Her Bilgisayar Bilim İnsanının Kayan Nokta Aritmetiği Hakkında Bilmeleri Gerekenler

Bu makale kayan noktanın sihir olmadığı fikrini açıklar ve pekiştirir. Taşma, taşma, ne denormalize sayıların ne olduğunu, NaN'lerin ne olduğunu, ne olduğunu ve bunların ima ettiği her şeyi açıklar. Bu makaleyi okuduktan sonra, neden bir == a + 1.0'ın doğru olabileceğini, neden a == a'nın yanlış olabileceğini, neden kodunuzu iki farklı makinede çalıştırmanın size iki farklı cevap verdiğini, sayıları neden farklı bir şekilde topladığınızı bileceksiniz. sıra, sayısız bir sayı kümesi ve sayılabilir bir sonlu küme üzerine sayısız sayıdaki sayının eşleştirilmesi dünyasında gerçekleşen tüm tuhaf şeyleri size verebilir.

Bir düzenlenmiş versiyonu da internet üzerinde mevcuttur.

Keshav'ın bir makaleyi okuması . Ayrıca kağıt indirebilirsiniz burada .

J. Edmonds tarafından yollar, ağaçlar ve çiçekler . Klasik kombinasyonel optimizasyon problemi hakkındaki bu yazı sadece iyi yazılmış değil, aynı zamanda "polinom-zaman algoritmaları" nosyonunun aslında verimlilik için bir eşanlamlı olduğunu belirtiyor.

Kombinatoryal Problemler Arasında İndirgenebilirlik Richard Karp. Belge, genellikle Karp'ın “orijinal 21 NP-komple problemi” olarak adlandırılanları içermektedir. Birçok yönden, bu makale NP genişlik çalışmasını gerçekten daha geniş bir alana uygulanabilirliğini göstererek motive etmiştir. Çok okunabilir.

Hartmanis ve Stearns, "Algoritmaların hesaplamalı karmaşıklığı üzerine" , Amerikan Matematik Derneği İşlemleri 117: 285–306 (1965)

Bu, zaman karmaşıklığı çalışmasını ciddiye alan ilk makaleydi ve kesinlikle Hartmanis ve Stearns'in ortak Turing ödülü için ana itici güçtü. İlk tanımları bugün kullandığımız gibi olmamakla birlikte, makale oldukça okunaklı kalmaktadır. 60'ların eski "Vahşi Batı" sınırında olayların nasıl bir his olduğunu gerçekten anladınız.

Richard Feynman tarafından Kuantum Mekanik Bilgisayarlar (PDF) .

Kuantum hesaplama fikrini ortaya koyar, kuantum devrelerini tanımlar, klasik devrelerin kuantum devreleri tarafından nasıl simüle edilebileceğini açıklar ve kuantum devrelerinin çok fazla çöp yığını olmadan hesaplama yapamadığını gösterir (hesaplama yapmadan).

Daha sonra herhangi bir klasik devrenin zamandan bağımsız bir Hamiltonian olarak nasıl kodlanabileceğini gösterir! Kanıtları kuantum devreleri için de geçerli, bu nedenle Hamiltonian'ları evrimleşen zamanın BQP-zor olduğunu gösteriyor! Hamilton yapımı, Kitaev'in kanıtladığı Cook-Levin teoreminin kuantum versiyonunun ispatında da k-yerel Hamiltonian'ın QMA-tamamlandığını gösterir.

Genişletici grafikler ve uygulamaları, S. Hoory, N. Linial ve A. Wigderson , genişletici grafikler üzerinde oldukça hoş bir ankettir. 2008 AMS Conant Ödülü'nü kazanması şaşırtıcı değil.

Genişletici grafiklerin TCS'deki son gelişmelerdeki ana bileşen olduğunu hatırlamak istiyorum, örn.

• yönlendirilmemiş bağlantı için log-space algoritması (Reingold, STOC, 2005)
• PCP Teoreminin alternatif kanıtı (Dinur, ECCC, TR05-046, 2005)

ve çok yakın zamanda değil:

• $O(\log n)$$O(n \log n)$$n$
• Doğrusal zamanla kodlanabilir ve kodlanabilir hata düzeltme kodları (Spielman, STOC, 1995)

Fich ve Ruppert Tarafından Dağıtılmış Hesaplama için Yüzlerce İmkansızlık Sonuçları . Alanın temel soruları da dahil olmak üzere, yüzlerce imkansızlık sonucu sunan, okunabilir ve resimli bir anket. Olağanüstü bir açıklayıcı yazı.

Hiç kimsenin Hastad'ın "Bazı Optimal Uygunsuzluk Sonucu Sonuçları" nı bulamamasına şaşırdım (JACM 2001; aslen STOC 1997). Bu dönüm noktası makale çok iyi yazılmıştır, matematiksel olgunluktan başka bir şeyle gelemezsiniz ve Fourier teknikleri, paralel tekrarlama, araçlar ve neyin olmadığı gibi birkaç şeyi iyi öğrenmenizi isteyecektir.

$O((log N)^3)$$O\left(\exp\left(\left(\begin{matrix}\frac{64}{9}\end{matrix} b\right)^{1\over3} (\log b)^{2\over3}\right)\right)$

Les Valiant'ın Öğrenilebilirlik Teorisi (1984) on yıllardır öğrenme teorisi için gündemi oluşturdu ve bu güzel ve okunaklı bir makale!

Gazetede eğlenceli ve çekici kılan bir parça sezgisel açıklama da var. Bu yazının çeşitli kısımları hala rutin olarak COLT / ALT görüşmelerinde alıntılanmaktadır.

Belki de çok basit, ama hiç kimsenin Steele ve Sussman tarafından yazılan orijinal Lambda bildirilerinden bahsetmediği için şok oldum: ŞEMA: Genişletilmiş Lambda Hesabı için bir Tercüman , Lambda: Son Emir , Lambda: Son Deklaratif .

John McCarthy'nin sembolik ifadelerin özyinelemeli işlevleri ve makine tarafından hesaplanması, I. bölüm

Bu Lisp hakkındaki temel yazıdır. Burada, tek bir sayfaya uyan ilk metacircular değerlendiricisini bulduk. Etkisi abartılamıyor ve hala çok okunaklı.

Stephen A. Cook tarafından teorem kanıtlama prosedürlerinin karmaşıklığı . Bu makale, polytime nonseterministic Turing makinelerinin kararlaştırdığı tüm dillerin, teklifli totolojiler kümesine (Cook-) indirgenebileceğini kanıtlamaktadır.

Bu sonucun önemi (en azından) iki yönlüdür: birincisi, NP'de en azından bütün sınıf kadar zor olan, NP-tamamlanmış problemlerin olduğunu; Dahası, böyle bir sorunun somut bir örneğini sunar ve daha sonra bunların tamamlandığını ispatlamak için başkalarına indirgenebilir.

Günümüzde Karp azaltma daha sık Cook azalmaya göre kullanılır, ancak bu kağıdın temel kanıtıdır kolayca SAT olduğunu göstermek için adapte edilebilir NP Karp azalmalara göre Komple.

Call-by-değeri, Philip Wadler tarafından " by- by -by- Dual" için iyi bir okumadır.

CAR Hoare, Bilgisayar Programcılığının Aksiymatik Bir Temeli .

Özetten: Bu yazıda, bilgisayar programlamanın mantıksal temellerini ilk önce geometri çalışmasında uygulanan ve daha sonra diğer matematiğin dallarına genişleten teknikleri kullanarak keşfetmek için bir girişimde bulunulmuştur.

İzlemesi oldukça kolay altı sayfadan oluşuyor.

Alon, Matias ve Szegedy, Frekans momentlerine yaklaşmanın uzay karmaşıklığı , JCSS 58 (1): 137-147, 1999.

Bu oldukça büyülü kağıt, akış algoritmalarını resmileştiren ve akış modelinde temel görevler için katı üst ve alt sınırları kanıtlayan ilk kağıttı. Teknikleri basittir, kanıtları güzeldir ve etkisi derindir. Eser, 2005 yılında Alon, Matias ve Szegedy Gödel Ödülü'nü kazandı.

Immerman'ın şimdi Immerman-Szelepcsényi teoremi olarak bilinen teoremi ispatlayan makalesi, okunması kolay, akıllı ve kısa bir kağıdın harika bir örneğidir. Giriş bölümünde anlatılan hikayeyi seviyorum.

N. Immerman, Nondeterministik alan tamamlama altında kapatılmıştır, SIAM Computing 17, 1988, s. 935–938.

$f(n) \ge \log(n)$

$\text{NSPACE}\left(f\left(n\right)\right) \subseteq \text{DSPACE}\left(\left(f\left(n\right)\right)^2\right).$

$\text{NPSPACE} = \text{PSPACE}$$\text{P}$$\text{NP}$

Savitch, Walter J. (1970), "Belirleyici olmayan ve deterministik bant karmaşıklıkları arasındaki ilişkiler", Bilgisayar ve Sistem Bilimleri Dergisi 4 (2): 177–192.

Russell Impagliazzo'nun Ortalama Dava Karmaşıklığına İlişkin Kişisel Bir Görüşü . Bu harika bir yazıdır çünkü zekice yazılmıştır ve karmaşıklık konusundaki varsayımlarımızın çeşitli şekillerde çözümlendiği ve her durumda gerçek dünyaya sonuç veren beş "dünyadaki" durumu özetlemektedir.

Goemans ve Williamson'ın yarı kesin programlamasını kullanarak maksimum kesim ve karşılanabilirlik sorunları için geliştirilmiş yaklaşım algoritmaları .

Daha önce bilinenlerden çok daha iyi sonuçlar elde etmek için yeni bir teknik tanıtmanın güzel bir örneği.

Luca Trevisan'ın Ekstraktörleri ve Pseudorandom Jeneratörleri . Bu yazıda, iyi rasgelelik çıkarıcı, hata düzeltme kodları ve kombinasyon tasarımları aracılığıyla oluşturulmuştur. Konstrüksiyonun anlaşılması oldukça kolaydır ancak tamamen etkileyicidir, çünkü çıkarıcılar, kodlar ve tasarımlar arasındaki bağlantının ne olduğu açık değildir.

Sonuçta, bazı fantezi kombinatorik gerektiren TCS sonuçlarına iyi bir örnektir.

Bir Kanıt Nasıl Yazılır, Leslie Lamport.

Değişkenlerin boole fonksiyonlara etkisi, J. Kahn, G. Kalai ve N. Linial

Bu makale, TCS topluluğu için Fourier tekniklerini tanıttı ve çok açık bir sorunu çözdü.

Bu kağıdı çok okunaklı buluyorum.

Bu konuda Sarah Palin'den alıntı yapabilirsem: "Hepsi".

Daha ciddiye, çoğu makalenin orijinalinde okunmaması gerektiğini düşünüyorum. Zaman geçtikçe insanlar orijinal sorunu / çözümü daha iyi anlama ve sunma yolunu bulurlar. Tarihsel öneme sahip olan Turing orjinal makalesi dışında, temizleyen takip çalışmaları varsa, orjinal makalelerin çoğunu okumanızı tavsiye etmem. Özellikle bir çok şey kitaplarda orijinalden çok daha iyi sunulur.

• N. Chomsky. Dilin tanımı için üç model. Bilgi Kuramına İlişkin IEEE İşlemleri 3. 1956. doi: 10.1109 / TIT.1956.1056813

Chomsky, matematiksel modellerin doğal dili tanımlamak için dilsel bir bakış açısıyla nasıl kullanılabileceğini analiz eder.

Kurt Gödel's Principia Mathematica ve ilgili sistemlerin resmen kararsız önerileri üzerine .