Teorik Bilgisayar Bilimi

Teorik bilgisayar bilimcileri ve ilgili alanlardaki araştırmacılar için soru cevap

3
Mevcut ve gelecekteki yüksek performanslı bilgisayarlar için algoritmalar tasarlamak için doğru teorik model nedir
Bu soru, bir bilgisayarın algoritma ve veri yapılarını tasarlamak için doğru teorik modelin ne olduğu hakkında daha genel bir soruya benzer . Burada, özellikle mevcut yüksek performanslı bilgisayarlar ( Top 500 olarak listelenenler gibi ) veya hatta yaklaşan süper bilgisayarlar. Bu bilgisayarların genellikle I / O modelinin ( 1988'de Aggarwal …
2
PPAD ve Kuantum
Bugün New York ve tüm dünyada Christos Papadimitriou'nun doğum günü kutlanıyor. Bu, Christos'un karmaşıklık sınıfı PPAD (ve diğer ilgili sınıfları) ile kuantum bilgisayarlar arasındaki ilişkileri sormak için iyi bir fırsattır. Onun içinde ünlü 1994 kağıt Papadimitriou tanıtıldı ve sistematik PLS, PPAD ve diğerleri gibi birçok önemli karmaşıklık sınıfları inceledi. (Papadimitriou'nun …
1
Belirsiz bağlamsız dillerin denkliği karar verilebilir mi?
Eşdeğerlik sorununun genel bağlamsız diller için kararsız olduğu iyi bilinmektedir. Ancak, farkında olduğum bu gerçeğin tüm kanıtları, belirsiz belirsiz bir gramer içeriyor gibi görünüyor. Bu nedenle, kendini açık bağlamsız dillerle sınırlarken sorunun kararsız olup olmadığını bilip bilmediğini sormak istiyorum . Diğer bir deyişle, apaçık olduğu düşünülen, bağlamsız iki dilbilgisi göz …
4
Teorik bilgisayar biliminde önemsiz olmayan bir fikir nasıl ortaya çıkarılır?
Teorik bilgisayar bilimlerinde çalışan bir doktora öğrencisiyim. Birçok araştırmacının araştırma makalelerini okudum ve bir algoritma tasarlamak için kullandıkları birçok araç ve matematik gördüm. Örneğin bu araştırma belgesine [Primality in P] bakınız . Bu araştırma belgesinin bir veya iki fikre dayandığını söyleyemem, ancak ciddi matematik gerektiren birçok fikre dayandığını söyleyebilirim. Birkaç …
3
Neden iki nokta üst üste bir değerin bir türe ait olduğunu belirtmek için?
Pierce (2002) sayfa 92'deki yazma ilişkisini şu şekilde tanıtır : "T: T" yazılan aritmetik ifadeler için yazma ilişkisi, terimlere tür atayan bir dizi çıkarsama kuralıyla tanımlanır ve dipnotta sembolü genellikle: yerine kullanılır. Sorum basitçe tip kuramcılarının neden kullanmayı tercih ettikleri: over ? Bir tür olursa değerlerinin bütünüdür o zaman yazma …
4
Matematik konuşması: Git revizyon kontrol sistemi hakkında teorem?
Git revizyon kontrol sistemi hakkında bir matematik konuşması yapmak istiyorum . Artık matematikte ve bilgisayar bilimi endüstrisinde yaygın olarak kullanılmaktadır. Örneğin, HoTT (Homotopy Type Theory) topluluğu bunu kullanır ve ister kaynak kodu ister lateks işaretleme olsun, metin dosyalarının birlikte düzenlenmesi için sisteme gider. Git'in bir başlangıç ​​olan yönlendirilmiş asiklik grafik …
1
Odlyzko'nun Shor'un Algoritması iyileştirmesi neden deneme sayısını düşürüyor
Bir Kuantum Bilgisayarında Başbakan Faktorizasyon ve Ayrık Logaritmalar için 1995 tarihli Polinom-Zaman Algoritmaları adlı makalesinde , Peter W. Shor, çarpanlara ayırma algoritmasının sipariş bulma kısmındaki bir gelişmeyi tartışıyor. Standart algoritma çıkışları , sipariş bir böleni ve modülo . Bunun yerine, denetimi kontrol ederek, eğer , gelişme şu şekildedir:r'r′r'rrrxxxN-NNr'= rr′=rr'=rxr'≡ 1şıkN-xr′≡1modNx^{r'}\equiv …
3
Gerçeklerin hesaplanması: kayan nokta vs TTE vs domain teorisi vs vs
Şu anda, en popüler dillerde gerçeklerin hesaplanması hala kayan nokta işlemleri ile yapılmaktadır. Öte yandan, ikinci tip etkililik (TTE) ve alan teorisi gibi teoriler uzun zamandır gerçeklerin kesin hesaplanmasını vaat etmişlerdir. Açıkça, kayan nokta hassasiyeti sorunu alaka açısından azalmadı, bu yüzden bu teoriler neden daha ana akım haline gelmedi ve …
1
USTCONN'un logaritmik alan gerektirdiğini nasıl kanıtlayabilirim?
USTCONN, bir grafik G'de kaynak köşeden sss hedef köşeye bir yol olup olmadığına karar vermeyi gerektiren bir sorundur ; bunların tümü girişin bir parçası olarak verilmiştir.tttG,GG Ömer Reingold, USTCONN'un L'de olduğunu gösterdi (doi: 10.1145 / 1391289.1391291 ). Kanıt , zig-zag ürünü vasıtasıyla sabit dereceli bir genişletici oluşturur . Sabit dereceli …
1
Alt doğrusal alanda mesafeyi düzenleme
Girdi boyutunda alt doğrusal olan çalışma alanını kullanarak aynı uzunluktaki iki dize arasındaki tam düzenleme mesafesini hesaplamanın en iyi bilinen karmaşıklığı nedir? Girişin salt okunur biçimde saklandığını varsayıyorum. Bu daha önce çalışılmış bir problem mi? Soruyu biraz daha belirgin hale getirmek için, alanı, her girdi dizesinin uzunluğu olduğu nasıl olur.nΘ …
1
Scott'ın Stokastik Lambda Taşları
Son zamanlarda Dana Scott, grafik model adı verilen bir semantiğe dayalı (türlenmemiş) lambda hesabına olasılıksal unsurları tanıtmak için bir stokastik lambda hesabı önerdi. Slaytlarını hatta burada ve makalesini Journal of Applied Logic , cilt. 12 (2014). Ancak, Web'de hızlı bir arama yaparak, benzer bir araştırma buldum, örneğin Hindley-Milner tipi sistem …
2
Bir dili kendi içine “gömme”
Ana / Genel Soru Let LLL bir dil olmak. Dil tanımlama LiLiL_i ile ve için . düşünün . Bu yüzden, \ hat {L} elde etmek için yi tekrar tekrar kendi içine "gömdük" .L0=LL0=LL_0 = LLi={xwy:xy∈Li−1,w∈L}Li={xwy:xy∈Li−1,w∈L}L_i = \{xwy : xy \in L_{i-1}, w \in L\}L = ⋃ L ı L Li≥1i≥1i …
Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.