«cc.complexity-theory» etiketlenmiş sorular

NP ve NP ile sınırlı diğer kaynak hesaplamaları.

5
“Tek Yönlü İşlevler” in kripto dışında bir uygulaması var mı?
Bir fonksiyon tek yönlü halinde olan bir polinom zaman algoritması tarafından hesaplanan, ama her için polinom zaman algoritması rasgele olabilir ,f:{0,1}∗→{0,1}∗f:{0,1}∗→{0,1}∗f \colon \{0, 1\}^* \to \{0, 1\}^*fffAAA Pr[f(A(f(x)))=f(x)]&lt;1/p(n)Pr[f(A(f(x)))=f(x)]&lt;1/p(n)\Pr[f(A(f(x))) = f(x)] < 1/p(n) her polinom p(n)p(n)p(n) ve yeterince büyük nnn , x'in \ {0, 1 \} ^ n'denxxx eşit olarak seçildiği …
1
P = NP anlamı nedir? uzay-zaman geometrisine bağlı mı?
Bu soru "Hiperbolik uzaylarda hücresel otomata: Cilt 2" kitabının 125. kitabında Maurice Publisher Archives contemporaines, 2008. http://books.google.com/books?id=eEgvfic3A4kC&amp;pg=PA125 Yazarın görüşüne göre, P = NP sorusu kötüdür çünkü hiperbolik ortamda P = NP veya daha sonra P h = NP h kitabında kullanılan gösterimde . Bunun ne yapacağını bilmek için karmaşıklık hakkında …
1
Rasgele dönüş sırası ile hex karmaşıklığı.
Bir altıgen varyantını düşünüyorum , iki oyuncunun sırayla hamle yapmak yerine, rastgele seçilen bir oyuncunun her turu bir hamle yapıyor. Her oyuncunun kazanma şansını belirlemek ne kadar zor? Bu sorun açıkça PSPACE'de, ancak NP-sert, daha az PSPACE-tam olamaz. Zorluklar, rastgeleliğin bir oyuncunun seçenekler arasında seçim yapmaya zorlanmasını nasıl imkansız kıldığından …
3
Yüklem UGC sertlik için ?
Arkaplan : Subhash Khot'ın orijinal UGC belgesinde ( PDF ), üçlü bir alfabe üzerinde tüm form eşit olmayan (a, b, c) kısıtlamaları olan belirli bir CSP örneğinin tatmin edici bir ödevi kabul edip etmediğine karar vermenin UG-sertliğini kanıtlıyor 1 - kısıtlamaların veya keyfi olarak küçük için kısıtlamaların satiring hiçbir atama …
5
Daha güçlü üniformlaştırma kavramları?
Her zaman gerçekten anlamadığımın farkına vardığım bir boşluk, devre karmaşıklığının düzgün olmayan versiyonu temsil ettiği ve Turing makinelerinin tek tip olduğu, üniform olmayan ve üniform hesaplama karmaşıklığı arasındadır. "Tekdüzen" algoritma sınıfını sınırlamak için bir yol olduğunu, örneğin n değişkenleri ile n + 1 değişkenleri sorunu karşılaştırıldığında tamamen farklı bir devre …
3
Hangi
Neil Immerman'ın ünlü Dünya Resmi şöyledir (büyütmek için tıklayın): "Gerçekten uygulanabilir" sınıfı başka bir sınıf içermiyor; sorum şu: Pratik olmadığı düşünülen bir AC 0 problemi nedir ve neden?
1
Poli- ve log-derinlik kuantum devreleri arasında kehanet ayrımları
Aşağıdaki sorun, Aaronson'un Kuantum Hesaplama Teorisi için On Yarı Büyük Zorluk listesinde yer almaktadır . MiB Q P = B P PB Q N CBSP=BPPBSN-C\mathsf{BQP}=\mathsf{BPP}^{\mathsf{BQNC}} Diğer bir deyişle, herhangi bir kuantum algoritması "kuantum" bölümünün sıkıştırılabilir derinliği, 'a verilen polinom-zaman klasik postprocessing yapmaya istekli misiniz? (Bunun Shor'un algoritması için geçerli olduğu …
1
LogDCFL-complete sorunları
LogCFL , bağlam içermeyen bir dile günlük alanı azaltılabilen tüm diller kümesidir. Benzer şekilde LogDCFL, günlük alanı deterministik bağlamdan bağımsız bir dile indirgenebilen tüm diller kümesidir. LogCFL ile ilgili bazı doğal sorunlar için bu wikipedia makalesine bakın . LogCFL-complete ile ilgili birkaç ilginç sorun daha var. LogDCFL ile ilgili herhangi …
1
okuma
Bu sorunu anlamak için ne okumalıyım? Küçük derinlik kuantum devrelerinin gücü. Mi ? Başka bir deyişle, herhangi bir kuantum algoritmasının "kuantum" kısmı, polinom-zaman klasik postprocessing yapmaya istekli olduğumuz sürece, polilog (n) derinliğine sıkıştırılabilir mi? (Bunun Shor'un algoritması için geçerli olduğu bilinmektedir.) Öyleyse, genel amaçlı bir kuantum bilgisayarı oluşturmak genel olarak …
1
Bir grafiği düğüm ayrılma döngülerine bölme
İlgili sorun: Veblen Teoremi, "Bir grafik, yalnızca ve hatta çift ise bir döngü ayrışımını kabul ettiğini" belirtir. Döngüler kenar ayrıktır, ancak mutlaka düğüm ayrıklığı yoktur. Başka bir deyişle, "Bir grafiğin kenar kümesi, yalnızca her tepe noktası eşit derecede ise, döngülere bölünebilir." Benim Sorunum: Herkes düğüm-ayrık döngüleri bir grafik bölümü incelemiş …
1
Mu ?
Ben cevap hayır bekliyoruz, ama aslında bir karşı örnek inşa edemedim. Fark ∩ ε &gt; 0 D T I M E ( O ( n 2 + ε ) ) 'de , ε içinde eşit bir şekilde O ( n 2 + ε ) algoritması seçemeyebiliriz .∩ε&gt;0DTIME(O(n2+ε))∩_{ε>0} \mathrm{DTIME}(O(n^{2+ε}))O(n2+ε)O(n^{2+ε})εε Bir tamamlayıcısı …
3
Logaritmik değişimli nicelikli Boole Formülleri
Nicelleştiricilerin logaritmik sayıda değişkeni olan nicelenmiş boole formüllerinin sınıfı için zor olan bir problem üzerinde çalışıyorum. Bu sınıftaki bir sorun şöyle görünecektir: ∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalogn−1,…xalogn)F∀(x1,x2,…xa1)∃(xa1+1,…xa2),…∃(xalog⁡n−1,…xalog⁡n)F\forall (x_1, x_2, \ldots x_{a_1}) \exists (x_{{a_1}+1}, \ldots x_{a_2}), \ldots \exists(x_{a_{\log n - 1}}, \ldots x_{a_{\log n}})F Burada alogn=nalog⁡n=na_{\log n} = n ve FFF , değişkenlerinin bir boole …
3
BPP'den P'ye başarılı derandomizasyon örnekleri
Başarılı derandomizasyonun veya en azından hedefine (sertlik rasgelelik bağlantısı değil) doğru somut kanıtlar gösterme konusunda bazı önemli örnekler nelerdir ?P= B PPP=BPPP=BPP Aklıma gelen tek örnek AKS deterministik polinom zaman primallik testidir (bunun için bile GRH varsayımında bir metodoloji vardı). Peki derandomizasyon için örnek olarak hangi spesifik kanıtlarımız var (yine …
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.