İşte listesidir önemli yayınlarda yer teorik bilgisayar bilimleri alanında düzenlediği.
Bir gönderinin önemli olarak kabul edilmesinin bazı nedenleri:
Açıklama: Bu belge sunar ağaç Otomaton'u , bir uzantısını otomat . ağaç otomatının resmi doğrulamada birçok uygulaması olmuştur .
Açıklama: Bu makale, bilgi işlemin sınırlarını belirler. Tüm hesaplamalar için bir model olan Turing makinesini tanımladı . Öte yandan, yargı sorununun ve Entscheidungsproblem'in kararsızlığını kanıtladı ve böylece hesaplamanın olası sınırlarını buldu.
Tanım: Otomatların matematiksel olarak ele alınması , temel özelliklerin ispatı ve deterministik olmayan sonlu otomatların tanımı .
Açıklama: Bu makale , resmi diller oluşturan resmi dilbilgisi sınıflarının bir hiyerarşisi olan Chomsky hiyerarşisi olarak bilinen şeyi tanıtır .
Açıklama: Popüler bir ders kitabı.
"Goldreich daha çok sunulan her kavram için bağlamsal ve tarihsel bir temel geliştirmeye odaklanırken, [Arora ve Barak] ile güncel materyalleri dahil etme konusunda kesin bir girişim" ve "tüm yazarları ... olağanüstü katkılarından dolayı alkışlıyor. ”
Açıklama: Blum'un aksiyomları .
Açıklama: Bu belge, PH'nin IP'de bulunduğunu göstermiştir .
Açıklama: Bu makale kavramını tanıtır NP-tam problemi ve ispat SAT problemi olan NP-tam . Benzer fikirlerin bağımsız olarak biraz sonra Leonid Levin tarafından geliştirildiğini unutmayın .
Tanım: Bu kitabın ana ilgi alanı, 300'den fazla NP-tamamlanmış problemden oluşan uzun bir listeden kaynaklanmaktadır . Bu liste ortak bir referans ve tanım haline gelmiştir.
Açıklama: Bu teknik rapor, daha sonra Karmaşıklık Teorisi olarak yeniden adlandırılan şeyi tartışan ilk yayındı. 2 ? '"` UNIQ - nowiki-00000007-QINU` "'? ..
Açıklama: boyut içinde "Klee-Minty küp" inşaatı D , 2 D köşeleri tarafından incelenir simpleks algoritması ait Danzig için doğrusal optimizasyon .
Açıklama: Bu belge, tek yönlü bir işlevin varlığının hesaplama rastgeleliğine yol açtığını gösterir.
Açıklama: IP , karakterizasyonu ( etkileşimli kanıt sistemlerine dayalı ) hesaplama sınıflarından oldukça farklı olan bir karmaşıklık sınıfıdır . Bu makalede Shamir, Lund ve diğerleri tarafından bir önceki makalenin tekniğini genişletmiştir . , PSPACE'in IP'de bulunduğunu ve dolayısıyla IP = PSPACE olduğunu göstermek, bir karmaşıklık sınıfındaki her sorunun diğerinde çözülebilir olduğundan emin olmak için.
Açıklama: Bu belge olduğunu göstermiştir 21 farklı sorunlar vardır NP-tam ve bu kavramın önemini göstermiştir.
Açıklama: Bu belge sıfır bilgi kavramını tanıtır .
Açıklama: Gödel , evrensel teoremin etkinliği fikrini tartışıyor.
Açıklama: Bu belge , adını ve tohumunu hesaplama karmaşıklığına verdi .
Açıklama: Bu makale, trapdoor işlevleri için teorik bir çerçeve oluşturmuştur ve kriptografi gibi bazı uygulamalarını açıklamaktadır . Trapdoor fonksiyonları kavramının altı yıl önce “New Directions in Cryptography” konusuna getirildiğine dikkat edin (bkz. Bölüm V “ Problem İlişkileri ve Tuzak Kapıları ”).
Açıklama: Hesaplamalı karmaşıklık teorisine bir giriş olan kitap, P-SPACE'in karakterizasyonunu ve diğer sonuçları açıklar.
Açıklama: Bu üç belge , yalnızca kaba bir çözüme ihtiyaç duyulduğunda bile, bazı NP sorunlarının zor kaldığı şaşırtıcı gerçeğini ortaya koymaktadır . PCP teoremine bakın .
Açıklama: DPLL algoritması . SAT'ler ve diğer NP-tamamlanmış problemler için temel algoritma .
Tanım: Teoremlerin otomatik ispatında kullanılan çözünürlük ve birleştirmenin ilk tanımı ; Prolog'da kullanılır .
Açıklama: Seyahat eden satıcının NP-tam problemi için bir yaklaşım algoritması olarak minimum yayılan ağaç algoritmasının kullanılması . Yaklaşım algoritmaları, NP-tamamlanmış problemlerle uğraşmanın yaygın bir yöntemi haline gelmiştir.
Açıklama: Belge, Miller-Rabin asallık testini sunar ve olasılıksal algoritma programını açıklar .
Açıklama: Bu makale , artık NP-tamamlanmış sorunlar için çok yaygın bir buluşsal yöntem olan benzetilmiş tavlamayı açıklamaktadır .
Açıklama: Bu monografta üç popüler algoritma kitabı ve bir dizi kitapçık vardır . Algoritmalar İngilizce ve MIX dilinde yazılmıştır . Bu, algoritmaları hem anlaşılır hem de kesin hale getirir. Ancak, düşük seviyeli bir programlama dili kullanmak , modern yapılandırılmış programlama dillerine daha aşina olan bazı programcıları hayal kırıklığına uğratır .
Açıklama: Bir kitap, algoritmaları ve veri yapılarını etkiler.
Açıklama: 1975-1985 döneminde algoritmalarla ilgili referans metinlerden biri.
Açıklama: Neden algoritmaların ve veri yapılarının açıklaması. Yenilikçi çözümlerin arkasındaki Yaratılış Süreci , Akıl Yürütme Hattı ve Tasarım Faktörlerinin Açıklanması .
Açıklama: 1980'lerin sonlarında algoritmalar üzerine çok popüler bir metin.
Açıklama: Bu kılavuz o kadar popüler hale geldi ki, temel algoritmaları öğretmek için neredeyse standart haline geldi. 1 st edition, 1990 yılında yayınlanan 2 inci 2001 yılında basım ve 3 e 2009 yılında.
Tanım: Bir olasılık hesabı yaklaşımı projesi.
Açıklama: Bu, Kolmogorov'un algoritmik bilgi ve karmaşıklık teorisinin başlangıcıydı . Kolmogorov Karmaşıklığı adını Andrey Kolmogorov'dan alırken , bu fikrin Ray Solomonoff'a ait olduğunu unutmayın . Andrey Kolmogorov bu alana çok katkıda bulundu, ancak sonraki makalelerle.
Tanım: Bu alandaki önemli kişilerden biri tarafından algoritmik bilgi teorisine giriş .
Açıklama: Bu belge, bilgi teorisi alanını oluşturdu .
Açıklama: Bu makalede Hamming , bir hata düzeltme kodu fikrini ortaya attı . Hamming kodunu ve Hamming mesafesini yarattı .
Açıklama: Huffman'ın kodlaması .
Açıklama: LZ77 sıkıştırma algoritması .
Açıklama: Bilgi teorisine popüler bir giriş.
Açıklama: Tony Hoare'nin makalesi, Algol gibi bir programlama dili için bir dizi çıkarım (yani resmi kanıt) kurallarını açıklar .
Açıklama: Bu belge, bir programı yazıldıktan sonra (yani post facto) resmi olarak doğrulamak yerine, programların ve bunların resmi kanıtlarının el ele geliştirilmesi gerektiğini, programın adının düzeltilmesi (veya türetilmesi) olarak bilinen bir yöntem önermektedir.
Açıklama: Bu makale, eşzamanlı programların değişmezliğinin kanıtlarını sundu.
Açıklama: Bu belgede, program doğrulamaya paralel aksiyomatik yaklaşım sunulmaktadır.
Açıklama: Programlama dillerinin biçimsel anlambiliminin matematiksel (veya işlevsel) yaklaşımı üzerine ilk kitap (operasyonel ve cebirsel yaklaşımlardan farklı olarak).
Açıklama: Zamansal mantığın kullanılması, resmi bir doğrulama yöntemi olarak önerilmiştir.
Açıklama: Doğrulama modeli, eşzamanlı programların doğruluğunu doğrulamak için bir prosedür olarak sunuldu.
Açıklama: Bu belge, düzgün çalışan programların nasıl oluşturulacağını gösterir (yazma hataları dışında hatalar olmadan).
Açıklama: Bu kitap şu anda bilgi işlem alanında en çok alıntı yapılan üçüncü kaynaktır.
Tanım: Girard'ın lineer mantığı , sıralı ve eşzamanlı hesap için tipleme sistemi tasarımında bir atılımdı .
Açıklama: Bu belge , CCS'nin bir genellemesi olan Pi-Calculus'u tanıttı . Hesaplama son derece basittir ve programlama dilleri, yazım sistemleri ve program mantıklarının teorik çalışmasında baskın paradigma haline gelmiştir.
Açıklama: Resmi Z gösterimini özetleyen bir başvuru kılavuzu .
Açıklama: Tahmine Dayalı Programlama'nın güncellenmiş sürümü . CAR Hoare'nin UTP'sinin temeli . En basit ve en eksiksiz biçimsel yöntemler.