Teorik Bilgisayar Bilimi

Birkaç kategori teorisi öğreniyorum. Bu kesinlikle şeylere bakmanın farklı bir yoludur. (Görmemişler için çok kaba bir özet: kategori teorisi, her türlü matematiksel davranışı yalnızca nesneler arasındaki fonksiyonel ilişkiler açısından ifade etmenin yollarını sunar. Örneğin, iki kümenin Kartezyen ürünü gibi şeyler tamamen tanımlanmıştır. setin hangi elemanları olduğu anlamında değil, diğer fonksiyonların …

103 pl.programming-languages  lo.logic  ct.category-theory 

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 

Son yıllarda A * 'dan çok daha hızlı grafik değişimlerine karşılık olarak en iyi yolu hesaplayabilen çok sayıda yol bulma algoritması geliştirilmiştir - bunlar nelerdir ve bunlar nasıl farklılık gösterir? Farklı durumlar için mi yoksa bazıları eskimiş başkaları mı? Bunlar şimdiye kadar bulabildiklerim: D * (1994) Odaklanmış D * (1995) …

96 ds.algorithms  shortest-path 

Lisans matematik dallarına yönelik bir konuşma için hazırlanıyorum ve bunun bir parçası olarak karar verilebilirlik kavramını tartışmayı düşünüyorum. Şu anda karar verilebilir veya kararsız olduğunu bilmediğimiz bir sorun örneğini vermek istiyorum. Bu tür birçok sorun var, ancak hiçbiri şu ana kadar iyi örnekler olarak öne çıkmıyor. Karar verilebilirliği açık olan …

92 computability  decidability 

Mümkün olduğunca çok sayıda TCS ile ilgili konferans ve çalıştayın bir listesini derlerken yardım istemek istiyorum. Bunu yapmak için temel motivasyonum daha teorik alanların muhtemel blog kapsamını planlamaktır - katıldığı etkinliklerle ilgili kısa veya derinlemesine blog yazıları yazmak isteyen bu olaylara katılan muhabirleri bulmak. Bunun ötesinde, bunun gibi bir listenin …

90 soft-question  big-list  conferences 

Ben sadece "onu tanımak" için lambda matematiğini okuyorum. Turing Makinesi yerine alternatif bir hesaplama biçimi olarak görüyorum. İşlevleri / azaltmaları olan şeyleri yapmanın ilginç bir yoludur (kabaca konuşma). Bazı sorular olsa da beni rahatsız ediyor: Lambda analizinin amacı nedir? Neden tüm bu işlevlerden / azaltmalardan geçtiniz? Amaç ne? Sonuç olarak …

85 soft-question  big-picture  lambda-calculus  ho.history-overview 

Akılda kalıcı bir başlık için üzgünüm. Anlamak istiyorum, Kilise Dönemi tezini doğrulamak için ne yapılması gerekiyor? Okuduğum bir yerde bunu yapmak matematiksel olarak imkansız! Neden? Turing, Rosser vb. Arasında ayrım yapmak için farklı terimler kullanılmıştır: "ne hesaplanabilir" ve "ne bir Turing makinesi tarafından hesaplanabilir". Turing'in bu konudaki 1939 tanımı şöyledir: …

83 computability  proofs  hypercomputation 

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 

Bu, bir araştırma sorusundan daha fazla bir "tarihsel sorudur", ancak Shor'un başlangıçta Peter Shor tarafından keşfedilen faktörizasyon algoritmasında sıra bulgusunda klasik bir azalma mıydı, yoksa daha önce de biliniyor muydu? Shor öncesi tarihe geçen indirimi açıklayan bir makale var mı, yoksa sadece "halk sonucu" olarak adlandırılan bir şey mi var? …

79 quantum-computing  ho.history-overview  factoring 

Şu anda bu yıl mezun olmak için lisans öğrencisi olarak görev yapıyorum. Mezun olduktan sonra, bir TCS yüksek lisans / doktora için çalışmayı düşünüyorum. Hangi matematik alanlarının TCS'ye, özellikle (klasik) karmaşıklık teorisine yardımcı olduğunu düşündüğümü merak etmeye başladım. Karmaşıklık teorisini incelemek isteyen biri için hangi alanları gerekli görüyorsunuz? Bu alanları …

79 cc.complexity-theory  soft-question  advice-request 

Dünyanın ilk programlanabilir kuantum fotonik çipinin duyurusu ışığında, kuantum dolaşma kullanan bir bilgisayar için hangi yazılımın nasıl olacağını merak ediyordum. Yazdığım ilk programlardan biri, şöyle bir şeydi: for i = 1 to 10 print i next i Herhangi biri, kuantum fotonik yongalarını (veya benzeri donanımları), sahte kodda veya yüksek seviyede …

76 quantum-computing 

Bu soru buraya uygun olmayabilir, ancak sorulacak daha iyi bir yer bulamadım (SO'da kapatıldı). Bilgisayar bilimi ile ilgili araştırma kağıtlarını anlamak zor buluyorum. Tabii ki konular karmaşık. Ancak bir kağıdı anladıktan sonra genellikle birisine daha basit bir şekilde söyleyebilirim ve anlamasını sağlayabilirim. Başka biri bana bu araştırmada ne yaptığını söylerse …

75 soft-question  research-practice 

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 

Genel olarak, evrensel ve varoluşsal niceleyicilerin sırasının tersine çevrilemeyeceği iyi bilinmektedir. Başka bir deyişle, genel bir mantıksal formül için ,ϕ(⋅,⋅)ϕ(⋅,⋅)\phi(\cdot,\cdot) (∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(∀x)(∃y)ϕ(x,y)⇎(∃y)(∀x)ϕ(x,y)(\forall x)(\exists y) \phi(x,y) \quad \not\Leftrightarrow \quad (\exists y)(\forall x) \phi(x,y) Öte yandan, sağ tarafın sol taraftan daha kısıtlayıcı olduğunu biliyoruz; yani, (∃y)(∀x)ϕ(x,y)⇒(∀x)(∃y)ϕ(x,y)(∃y)(∀x)ϕ(x,y)⇒(∀x)(∃y)ϕ(x,y)(\exists y)(\forall x) \phi(x,y) \Rightarrow (\forall x)(\exists y) …

73 lo.logic  big-picture  proof-techniques 

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