Teorik Bilgisayar Bilimi

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

1
P, tüm süper polinom zaman sınıflarının kesişimine eşit midir?
f(n)f(n)f(n) limn→∞nc/f(n)=0limn→∞nc/f(n)=0\lim_{n\rightarrow\infty} n^c/f(n)=0c>0c>0c>0 {\ Mathsf P} dilindeki L \ 'nin herhangi bir dili L∈PL∈PL\in {\mathsf P}için, f (n) ' eL∈DTIME(f(n))L∈DTIME(f(n))L\in {\mathsf {DTIME}}(f(n)) bağlı her süperpolinoma süresi için L \ in {\ mathsf {DTIME}} (f (n)) olduğu açıktır . Merak ediyorum, bu ifadenin tersi de doğru mu? Bildiğimiz Yani, eğer içinde …
1
Konsantrasyon sınırları için bir akış şeması
Kuyruk sınırlarını öğrettiğimde, normal ilerlemeyi kullanırım: Eğer rv'niz pozitifse, Markov'un eşitsizliğini uygulayabilirsiniz. Eğer bağımsızlık ve varsa da sınırlanmış varyansı, sen Chebyshev eşitsizliği uygulayabilirsiniz Her bağımsız rv'nin de sınırlanmış tüm anları varsa, o zaman bir Chernoff sınırını kullanabilirsiniz. Bundan sonra işler biraz daha az temizlenir. Örneğin Değişkenlerinizin sıfır ortalaması varsa, bir …
2
Kolmogorov neden Karatsuba'nın algoritmasını yayınladı?
Karatsuba'nın hızlı çarpma algoritması ilk olarak A. Karatsuba ve Yu'da yayınlandı. Ofman (1962), "Çok Sayısal Sayıların Otomatik Bilgisayarla Çarpımı ", SSCB Bilimler Akademisi'nin Bildirileri 145: 293-294. Karatsuba'ya göre (1995, "Hesaplamaların karmaşıklığı", Proc. Steklov Matematik Enstitüsü 211: 169-183) , bu makale aslında Karatsuba'nın bilgisi dışında Kolmogorov (ve muhtemelen Ofman) tarafından yazılmıştır. …
1
Can
Dil düşünün EQUALITY={anbn∣n≥0}EQUALITY={anbn∣n≥0} \mathtt{EQUALITY} = \{ a^nb^n \mid n \geq 0 \} . Bilinmektedir EQUALITYEQUALITY \mathtt{EQUALITY} bir sublogarithmic boşluk alternatif Turing makinesi (ATM) tarafından kabul edilemez (Szepietowski, 1994) . (Üyeler için sublogaritmik alan kullanan bir ATM var, ancak üye olmayanlar için değil!) Öte yandan, (1981) Freivalds tanıyabileceği sınırlı hatası sabit …
4
PARITY'yi hesaplayan devrenin minimum boyutu nedir?
PARITY değerini giriş değişkenlerinden hesaplayan her fan girişi 2 AND-OR-NOT devresinin en az 3 ( n - 1 ) boyutta olması klasik bir sonuçtur.3(n−1)3(n−1)3(n-1) değerini ve bu keskindir. (Ebadı VE ve VEYA kapıları sayısı olarak tanımlarız.) Kanıt geçit engellemesinden ibarettir ve rastgele içeri girmeye izin verirsek başarısız olur. Bu dava …
1
Düşük dereceli rastgele fonksiyonlar gerçek bir polinom olarak
Düzgün rastgele bir boolean işlevini örneklemenin (makul) bir yolu var , gerçek bir polinom derecesi en fazla ?df:{0,1}n→{0,1}f:{0,1}n→{0,1}f:\{0,1\}^n \to \{0,1\}ddd EDIT: Nisan ve Szegedy , dereceli bir fonksiyonun en fazla koordinatlarına bağlı olduğunu göstermiştir, bu nedenle . Gördüğüm gibi sorunlar şunlardır: 1) Bir yandan, koordinatlarında rastgele bir boolean işlevi , …
3
Yazılan lamda calculi verilen bir karmaşıklığın altındaki * tüm * algoritmaları ifade edebilir mi?
Y kombini ilkelsiz birçok tipte lambda taşı türünün karmaşıklığının sınırlandırıldığını biliyorum, yani sadece sınırlı karmaşıklığın işlevleri, tür sisteminin ifadesi arttıkça sınır büyüdükçe ifade edilebilir. Mesela, Yapıların Hesaplamasının, en fazla iki katı üssel karmaşıklığı ifade edebileceğini hatırlıyorum. Benim sorum yazılan lambda hesabının belirli bir karmaşıklığın altındaki tüm algoritmaları mı yoksa sadece …
2
iki permütasyon farkını tanımanın tamlığı
Shor, yaptığı açıklamada, isimsiz musun bu soruya cevabını verdiği yorumunda polinom zamanındaki iki permütasyonun toplamını tanımlayabilir misiniz? Bu, iki permütasyon farkını tanımlamak için NPNPNP tamamlayıcısıdır. Ne yazık ki, permütasyon toplamı probleminden basit bir azalma görmüyorum ve permütasyon farkı problemi için NPNPNP tamlık azalmasını sağlamak faydalıdır . Permütasyon Farkı: KURULUM: Pozitif …
2
Çalışmaması gereken Max-Cut algoritması neden belli değil
Tamam, bu bir ev ödevi sorusu gibi görünebilir ve bir anlamda öyle. Bir lisans algoritmaları sınıfında bir ev ödevi olarak, aşağıdaki klasik verdim: Bir yönsüz grafik verilen , bir kesim bulan bir algoritma elde bu şekilde , burada kesimi geçen kenarların sayısıdır. Zaman karmaşıklığı .G=(V,E)G=(V,E)G=(V,E)(S,S¯)(S,S¯)(S,\bar{S})δ(S,S¯)≥|E|/2δ(S,S¯)≥|E|/2\delta(S,\bar{S})\geq |E|/2δ(S,S¯)δ(S,S¯)\delta(S,\bar{S})O(V+E)O(V+E)O(V+E) Nedense aşağıdaki çözümü çok …
2
O (n) zamanındaki element farklılığı?
Karşılaştırma esaslı modeldeki element farklılığının zamanda yapılamayacağını hepimiz biliyoruz . Bununla birlikte, bir kelime-RAM'de, biri daha iyi olabilir.o ( n günlüğün )o(nlog⁡n)o(n\log n) Tabii ki, eğer biri doğrusal zamanda hesaplanabilen mükemmel bir karma fonksiyonunun varlığını varsayarsak, elementin farklılığı için bir lineer zaman algoritması elde ederiz: sadece rakamları birer birer karıştırmaya …
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.