Teorik Bilgisayar Bilimi

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

7
Üst sınırları kanıtlayarak alt sınırları kanıtlamak
Son çığır açan devre karmaşıklığı Ryan Williams'ın düşük sınırlanmış sonucu, karmaşıklığın düşük sınırlarını kanıtlamak için üst sınır sonucunu kullanan bir ispat tekniği sağlar. Suresh Venkat bu soruya cevabında , Teorik bilgisayar bilimlerinde herhangi bir karşı sezgisel sonuç var mı? üst sınırları ispatlayarak alt sınırlar oluşturmanın iki örneği sağlanmıştır. Karmaşıklık üst …
3
Sezgisel istatistiksel fizik argümanları ile ne kastedilmektedir?
İstatistiksel fizikte sezgisel argümanlar olduğunu duydum, bunun için kesin kanıtların bilinmediği ya da ulaşılması çok zor olan olasılık teorisi ile sonuçlandı. Böyle bir olgunun basit bir oyuncak örneği nedir? Cevabın istatistiksel fizikte çok az arka plana sahip olması ve bu gizemli sezgisel buluşların ne olduğunu ve nasıl gayrı resmi olarak …
4
Olasılıklı bir Turing makinesi durma problemini çözebilir mi?
Sonsuz bir gerçek rasgele bit akımı veren bir bilgisayar, bir bilgisayarı olmayan bir bilgisayardan daha güçlüdür. Soru şu: durma problemini çözebilecek kadar güçlü mü? Yani, olasılıksal bir bilgisayar deterministik bir programın durup durmayacağını belirleyebilir mi? Belirleyici bir şey yapan olasılıklı bir bilgisayar örneği yapamaz: Koligogorov karmaşıklığı ile gigabayttan daha büyük …
19
TCS'de güzel sonuçlar
Son zamanlarda bir arkadaşım (TCS’de çalışan) bir konuşmada “yaşamındaki TCS’deki güzel sonuçların tümünü (veya mümkün olduğunca çok görmek istedi)” diye belirtti. Bu tür bana bu alanda güzel sonuçlar hakkında merak ve bu nedenle aşağıdaki soru için motivasyon yaptı: Teorik bilgisayar biliminde hangi sonuçlar (veya fikirler) sizce güzel? Sebebini de söyleseydin …
1
Verimli Hesaplanabilir, fakat Öğrenilebilir Olan Fonksiyonlar
Turing makinesi tarafından polinom zamanında ("verimli bir şekilde hesaplanabilir") verimli bir şekilde hesaplanabilen fonksiyonların, kabaca konuşulduğunda, (örneğin, [1] 'in Teoremleri 1’e bakınız) polinom sinir ağları tarafından ifade edilebileceğini biliyoruz. makul boyutlarda olan ve bu nedenle herhangi bir girdi dağılımında polinom örnek karmaşıklığıyla ("öğrenilebilir") öğrenilebilir. Burada "öğrenilebilir", hesaplama karmaşıklığından bağımsız olarak …
2
F Sistemi hangi işlevleri hesaplayamaz?
In Turing Bütünlük bu wikipedia makalesinde bu belirtmektedir: Yazılmamış lambda matematiği Turing tamamlandı, ancak Sistem F de dahil olmak üzere birçok tipte lambda matematiği yok. Yazılan sistemlerin değeri, daha fazla hata algılayarak en tipik bilgisayar programlarını temsil etme yeteneklerine dayanır. F sistemi tarafından hesaplanamayan bir toplam hesaplanabilir fonksiyon örneği nedir …
2
Kolmogorov karmaşıklığını çıkartamaz mıyız?
Bize Turing makineleri ve evrensel Turing makinesinin bir ön ek içermeyen kodlama düzeltmek izin UUU girişte söz ( T , x )(T,x)(T,x) (önek içermeyen kodu olarak kodlanmış TTT , ardından Xxx ne olursa olsun, çıkışlar) TTT girişi çıkış xxx muhtemelen ( ikisi de sonsuza dek koşuyor). Kolmogorov karmaşıklığı tanımlar xxx …
1
Üniformalı RNC, poliolog boşluğunda mı?
Log-space -iform NC, deterministik polylog uzayında bulunur (bazen PolyL yazılıdır). Log-space -iform RNC de bu sınıfta mı? PolyL'in standart randomize sürümü PolyL'de olmalıdır, ancak (tek tip) RNC'nin randomize-PolyL içinde olduğunu görmüyorum. Gördüğüm zorluk, RNC'de devrenin istediği kadar "rastgele bitlere bakabilmesi"; yani, rastgele girdiler isteğe bağlı olarak ayrılabilir. Fakat PolyL'in randomize …
4
PLANARİTE için en basit polinom algoritması nedir?
Polinom zamanında bir grafiğin düzlemde çizilip çizilemeyeceğine, hatta birçoğunun doğrusal bir çalışma süresine sahip olmasına karar veren birkaç algoritma vardır. Ancak, sınıfta kolay ve hızlı bir şekilde açıklayabildiği çok basit bir algoritma bulamadım ve PLANARİTE'nin P de olduğunu gösterebilirdim. Gerekirse, Kuratowski'nin veya Fary'nin teoremini kullanabilirsiniz, fakat grafik minör teoremi gibi …
6
“Büyük” tanıklarla doğal NP-komple sorunlar
Cstheory sorusu “ NP, doğrusal boyut tanıklarıyla sınırlıdır? ” Sorusunu sorar, NP sınıfı lineer boyutla sınırlıdır , fakat O(n)O(n)O(n) tanık olur. Var mıdır doğal NP-tam problemler boyutu içinde (evet) örneklerini nnn daha boyutunun daha fazla tanık gerektiren nnn ? Açıkça şöyle yapay problemler yapabiliriz : L={1nw∣w encodes a satisfiable formula …
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.