«reference-request» etiketlenmiş sorular

Chris Okasaki'nin 1998 tarihli "Tamamen işlevsel veri yapıları" kitabından bu yana, çok fazla heyecan verici tamamen işlevsel veri yapısının ortaya çıktığını görmedim; Sadece birkaçını adlandırabilirim: IntMap (ayrıca 1998'de Okasaki tarafından icat edildi, ancak bu kitapta bulunmuyor) Parmak ağaçları (ve monoidler üzerine genellemeleri) Ağaç değişmezlerini sağlamak için "iç içe tipler" veya …

563 reference-request  big-list  ds.data-structures  functional-programming 

[ Zaman Çizelgesi ] Bu soru, herkesin hangi makaleleri okuması ve herkesin izlemesi gereken hangi videolar hakkında aynı ruha sahiptir . Teorik bilgisayar biliminin farklı alanlarında dikkat çekici kitaplar ister. Kitaplar matematik odaklı olabilir, ancak bir bilgisayar bilimcisi için harika bulabilirsiniz. Örnekler: olasılık Eşitsizlikler Mantık Grafik teorisi Kombinatorik Algoritma Tasarımı …

229 reference-request  soft-question  big-list  books 

Bununla aynı şemaya sahip birkaç soru var: Herkes hangi kağıtları okumalı? Herkes hangi kitapları okumalı? Taslakları çevrimiçi olan son TCS kitapları nelerdir herkes hangi videoları izlemeli Bir tane daha göndermemde isteksizdim, ancak Jeff Erickson'ın algoritmalar üzerine ders notları fikrimi değiştirdi. Düşündüm: Ah benim! Bunca yıldır ve bu mükemmel notları görmedim! …

113 reference-request  soft-question  big-list 

Teorik bilgisayar bilimi, "soyutlamanın bedeli" ile ilgili bazı örnekler sağlamıştır. En belirgin iki kişi Gauss ortadan kaldırılması ve tasnifi içindir. Yani: İşlemleri bir bütün olarak satırlara ve sütunlara sınırlarsanız , Gauss eleme işleminin determinantı hesaplamak için optimal olduğu bilinmektedir [1]. Açıkçası Strassen'in algoritması bu kısıtlamaya uymuyor ve asimetrik olarak Gauss …

112 ds.algorithms  reference-request  big-list  lower-bounds 

Bu Kitaptan Sonra Herkesin Okuması Gerekenler yazısının ardından, taslakları çevrimiçi olarak mevcut olan yeni kitaplar olduğunu gördüm. Örneğin , yukarıdaki yazının Yaklaşım Algoritmaları girişi , yaklaşık algoritmaların tasarımı başlıklı 2011 kitabını (henüz basılmamış) göstermektedir . Son çalışmaları bilmek, TCS trendlerinin tadına varmak isteyenler için gerçekten yararlı olduğunu düşünüyorum. Taslaklar mevcut …

99 reference-request  big-list  books 

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 …

80 reference-request  soft-question  big-list 

Lütfen normalde bilgisayar bilimlerinde uygulandığı düşünülen matematik teorisinin ilk önce bilgisayar bilimi sonucunu kanıtlamak için kullanıldığı örnekleri listeleyiniz. En iyi örnekler, bağlantının açık olmadığı yerlerdir, ancak bir kez keşfedildikten sonra, açıkça yapmanın "doğru yolu" dur. Bu, TCS'nin klasik matematiğe uygulamaları sorusunun tam tersi mi? Örneğin, "Green'in Teori ve Düzlemsel Grafiklerde …

74 reference-request  soft-question  big-list  topology 

Daha önceki bir sorunun cevabında , “Gauss” un ortadan kaldırılmasının O(n3)O(n3)O(n^3) zamanlarında gerçekleştiğine dair yaygın ama yanlış inancından bahsettim . O algoritma kullandığı açıktır iken O(n3)O(n3)O(n^3) aritmetik işlemleri, dikkatsiz uygulama katlanarak birçok parçalarıyla sayıda oluşturabilir. Basit bir örnek olarak, aşağıdaki matrisi köşegenleştirmek istediğimizi varsayalım: ⎡⎣⎢⎢⎢⎢⎢⎢⎢211⋮1021⋮1002⋮1⋯⋯⋯⋱⋯000⋮2⎤⎦⎥⎥⎥⎥⎥⎥⎥[200⋯0120⋯0112⋯0⋮⋮⋮⋱⋮111⋯2]\begin{bmatrix} 2 & 0 & 0 …

72 ds.algorithms  reference-request  linear-algebra 

Ben bir yazılım uygulayıcısıyım ve kişisel araştırma için cebirsel yapılar üzerine bir anket yazıyorum ve bu yapıların teorik bilgisayar bilimlerinde (ve daha az derecede bilgisayar biliminin diğer alt alanlarında) nasıl kullanıldığına dair örnekler üretmeye çalışıyorum. . Grup teorisi altında biçimsel diller için sözdizimsel monoidlerle, paralel / eşzamanlı hesaplama için iz …

67 reference-request  big-list  big-picture  algebra 

PCP teoremini kullanan (çoğunlukla yaklaşık algoritmalarda) birçok sonuç hakkında bilgim var, ancak PCP teoreminin net bir açıklamasına hiç rastlamadım (yani, ).NP=PCP(O(log(n)),O(1))NP=PCP(O(log⁡(n)),O(1))\mathsf{NP} = \mathsf{PCP}(O(\log(n)),O(1)) Bunun için okunacak iyi makaleler / kitaplar nelerdir?

64 cc.complexity-theory  reference-request  pcp 

Bilgisayar Bilimi alanındaki Topoloji uygulamaları hakkında bir anket yazmak istiyorum. Bilgisayar Bilimleri alanındaki topolojik fikirlerin tarihçesini ele almayı ve bazı güncel gelişmeleri vurgulamayı düşünüyorum. Aşağıdaki sorulardan herhangi biri hakkında bilgi verebilecek olmanız son derece yardımcı olacaktır. Bilgisayar Bilimlerinde topoloji kullanımının kronolojisini tanımlayan herhangi bir makale veya not var mı? Topolojideki …

61 reference-request  ho.history-overview  topology  survey 

Biz TCS’de klasik matematikten (cebir, topoloji, analiz, geometri vb.) Güçlü sonuçlar ve fikirler kullanıyoruz. Başka bir yöne gittiğinde bazı örnekler nelerdir? İşte bildiğim bazı şeyler (ve ayrıca sorduğum sonuç türünden bir tat vermek için): Kübik köpükler (Guy Kindler, Ryan O'Donnell, Anup Rao ve Avi Wigderson: Küresel Küpler ve Yüksek Boyutlarda …

60 reference-request  big-list 

Gelen Açıklayıcı Karmaşıklık , Immerman vardır Corollary 7.23. Aşağıdaki koşullar eşdeğerdir: 1. P = NP. 2. Sonlu olarak, sıralı yapılar üzerine, FO (LFP) = SO. Bu, (muhtemelen) daha büyük karmaşıklık sınıfları üzerinde eşdeğer bir ifadeye P = NP'yi “yükseltmek” olarak düşünülebilir. SO polinom-zaman hiyerarşisi PH'yı yakaladığını ve FO'nun (LFP) P'yi …

54 cc.complexity-theory  reference-request  complexity-classes  conditional-results  polynomial-hierarchy 

NP-tamamlanmış problemlerin (arama sürümleri) için, bir çözümün doğrulanması onu bulmaktan daha kolaydır, çünkü doğrulama polinom zamanında yapılabilir, ancak bir tanık bulmak (muhtemelen) üssel zaman alır. In P Ancak, çözüm de polinom zamanda bulunabilir, bu nedenle doğrulama hızlı çözüm bulmaktan daha olduğunda bariz görünmüyor. Aslında, farklı sorunların bu açıdan farklı davrandığı …

52 cc.complexity-theory  ds.algorithms  reference-request 

Ladner'ın Teoremi , eğer P if NP ise, o zaman kesinlikle P içeren ve kesinlikle NP içinde bulunan sonsuz bir karmaşıklık sınıfları hiyerarşisi olduğunu belirtir . Kanıt, NP'deki bir-çok azaltma altında SAT'ın bütünlüğünü kullanır. Hiyerarşi, her biri alt sınıflardaki dillerin birden fazla indirgenemez olduğu bazı dilleri içeren bir tür köşegenleştirme …

45 cc.complexity-theory  reference-request  np-intermediate