«conditional-results» etiketlenmiş sorular

Yeni bir problem için bir algoritma tasarlarken, bir süre sonra bir polinom zaman algoritması bulamazsam, bunun yerine NP zor olduğunu kanıtlamaya çalışabilirim. Eğer başarılı olursam, neden polinom zaman algoritmasını bulamadığımı açıkladım. P! = NP olduğunu kesin olarak bilmiyorum, sadece şu anki bilgilerle yapılabilecek en iyi şey bu, ve aslında fikir …

58 cc.complexity-theory  lower-bounds  conditional-results 

Gelen Açıklayıcı Karmaşıklık , Immerman vardır Corollary 7.23. Aşağıdaki koşullar eşdeğerdir: 1. P = NP. 2. Sonlu olarak, sıralı yapılar üzerine, FO (LFP) = SO. Bu, (muhtemelen) daha büyük karmaşıklık sınıfları üzerinde eşdeğer bir ifadeye P = NP'yi “yükseltmek” olarak düşünülebilir. SO polinom-zaman hiyerarşisi PH'yı yakaladığını ve FO'nun (LFP) P'yi …

54 cc.complexity-theory  reference-request  complexity-classes  conditional-results  polynomial-hierarchy 

Bunu biliyoruz L⊆NL⊆PL⊆NL⊆P\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{P} ve L⊆NL⊆L2⊆L⊆NL⊆L2⊆\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{L}^2 \subseteq polyLpolyL\mathsf{polyL} , L2=DSPACE(log2n)L2=DSPACE(log2⁡n)\mathsf{L}^2 = \mathsf{DSPACE}(\log^2 n) . Ayrıca biliyoruz polyL≠PpolyL≠P\mathsf{polyL} \neq \mathsf{P}çünkü ikincisi logaritmik uzay altında birçok problemi azaltırken, birincisi bunu yapmaz (uzay hiyerarşi teoremi nedeniyle). Arasındaki ilişkileri anlamak için polyLpolyL\mathsf{polyL} ve PP\mathsf{P} , ilk arasındaki …

46 cc.complexity-theory  complexity-classes  conditional-results  structural-complexity 

Anladığım kadarıyla, geometrik karmaşıklık teorisi programı , karmaşık değerli bir matrisin izinsizliğinin hesaplayıcıdan çok daha zor olduğunu kanıtlayarak ayırmaya çalışır .VP≠ VN-PVP≠VNPVP \neq VNP GCT Makalelerini gözden geçirdikten sonra yaşadığım soru: Bu hemen anlamına mı geliyor , yoksa bu hedefe doğru atmak için sadece büyük bir adım mı?P≠ NPP≠NPP \neq …

37 cc.complexity-theory  complexity-classes  algebraic-complexity  conditional-results  gct 

Karmaşıklık Zoo ile girişinde işaret EXP eğer L = P sonra Pspace = EXP. NPSPACE = PSPACE'ten beri Savitch, altta yatan doldurma argümanını söyleyebildiğim kadarıyla şunu gösteriyor: Ayrıca bu L bilmek NL Carolina p RUZZO kaynak-sınırlanan alternatif hiyerarşisi ile.⊆(NL=P)⇒(PSPACE=EXP).(NL=P)⇒(Pspace=EXP).(\text{NL} = \text{P}) \Rightarrow (\text{PSPACE} = \text{EXP}).⊆⊆\subseteq ⊆⊆\subseteq ⊆⊆\subseteq NC = P …

35 cc.complexity-theory  conditional-results 

Faktoringin NP tamamlanmış olduğu bilinmemektedir. Bu soru, Faktoring'in NP-eksiksiz olmasının sonuçlarını istedi. Merakla, kimse Faktoring'in P'de olmasının sonuçlarını sormadı (belki de böyle bir soru önemsizdir). Yani benim sorularım: Hangi olacağını teorik Faktoring P olmanın sonuçları? Karmaşıklık sınıflarının genel tabloları böyle bir durumdan nasıl etkilenir? Hangi olurdu pratik Faktoring P olmanın …

34 cc.complexity-theory  cr.crypto-security  conditional-results  factoring 

Bir TCS amatör olarak, kuantum hesaplama konusunda çok popüler, çok tanıtıcı bir materyal okuyorum. Şimdiye kadar öğrendiğim birkaç temel bilgi: Kuantum bilgisayarların NP-komple problemleri polinom zaman içerisinde çözdüğü bilinmemektedir. "Kuantum sihirli yeterli olmayacaktır" (Bennett ve ark 1997).: Sorun yapısını atmak ve sadece alanını düşünülürse , yaklaşık ardından bile kuantum bilgisayar …

32 cc.complexity-theory  complexity-classes  quantum-computing  conditional-results  physics 

sonuçlarının kanıtlamak için kullanılan yaygın varsayımlardan ikisi ve Unique Games Conjecture'dir. varsayıldığında yaklaşıklık sonuçlarında bir sertlik var mı? Sorun arıyorum , " olmadıkça, bir faktör içinde yaklaşık olarak ".N P ≠ c o N P A A α N P = c o N PP≠NPP≠N-PP \neq NPNP≠coNPN-P≠cON-PNP \neq coNPAbirAAbirAαα\alphaNP=coNPN-P=cON-PNP = …

32 approximation-hardness  conditional-results 

1995'te Russell Impagliazzo beş karmaşıklık dünyası önerdi: 1- Algoritma: Tüm şaşırtıcı sonuçlarla P= NPP=N-PP=NP 2- Heuristica: problemler en kötü durumda ( P ≠ N P ) zordur, ancak ortalama durumda etkin bir şekilde çözülebilir.N-PN-PNPP≠ NPP≠N-PP \ne NP 3- Pessiland: Ortalama bir -tamamlayıcı problemi var ancak tek yönlü fonksiyonlar mevcut değil. …

32 cc.complexity-theory  conditional-results  average-case-complexity 

P! = NP'nin kanıt olmadan bile inandığına inanmak için sıkça alıntı yapılan bir felsefi gerekçe vardır. Diğer karmaşıklık sınıfları, farklı olduklarına dair kanıtlara sahiptir, çünkü olmasa da, "şaşırtıcı" sonuçlar (polinom hiyerarşisinin çöküşü gibi) olacaktır. Sorum şu: PPAD sınıfının anlaşılmaz olduğuna inanmanın temeli nedir? Nash dengesini bulmak için bir polinom zaman …

32 cc.complexity-theory  complexity-classes  gt.game-theory  conditional-results 

Algoritma tasarımının kutsal grailslerinden biri, doğrusal programlama için kuvvetli bir polinom algoritması bulmaktır ; yani, çalışma zamanı değişken ve kısıtlama sayısındaki bir polinom tarafından sınırlandırılan ve parametrelerin gösterilmesinin boyutundan bağımsız olan bir algoritma (varsayarak) birim maliyet aritmetiği). Bu soruyu çözmenin doğrusal programlama için daha iyi algoritmalar dışında etkileri olabilir mi? …

31 ds.algorithms  conditional-results  linear-programming  computing-over-reals  simplex 

NP = PSPACE'in kötü sonuçları ne olurdu? Bu sınıfların en ünlüsü olduğuna göre, bunun hakkında hiçbir şey bulamadığım için şaşırdım. Özellikle, alt sınıflar üzerinde herhangi bir sonucu olur mu?

30 cc.complexity-theory  complexity-classes  conditional-results 

Düzenleme : As Ravi Boppana doğru bir şekilde işaret onun cevabını ve Scott Aaronson da başka bir örnek eklendi onun cevabı , bu sorunun cevabı Ben hiç beklemiyordu bir şekilde “evet” olduğu ortaya çıktı. İlk önce sormak istediğim soruyu cevaplamadıklarını düşündüm , ancak bazı düşüncelerden sonra, bu yapılar sormak istediğim …

28 cc.complexity-theory  conditional-results  np  polynomial-hierarchy 

Görünüşe göre birçok insan kısmen, faktoringin polytime çözülebilir olmadığını düşündüğü için inanmaktadır. (Shiva Kintali burada birkaç aday problem daha listeledi ).P≠ NP∩ c o NPP≠NP∩coNPP \ne NP \cap coNP Öte yandan, Grötschel, Lovász ve Schrijver olduğunu yazdım "birçok kişi inanıyoruz ." Bu alıntı Geometrik Algoritmalar ve Kombinatoryal Optimizasyonda bulunabilir ve …

27 cc.complexity-theory  np  conditional-results 

Parity-L , sadece bir çift veya tek sayıda "kabul" yolu (sıfır veya sıfır olmayan sayıda kabul yolu) arasında ayrım yapabilen ve belirleyici olmayan bir Turing makinesi tarafından tanınan dil grubudur. ayrıca logaritmik uzayda çalışmakla sınırlıdır. Doğrusal denklem sistemini over 2 üzerinden çözmek, Parity-L için tam bir sorundur ve bu nedenle …

27 cc.complexity-theory  complexity-classes  conditional-results