«cc.complexity-theory» etiketlenmiş sorular

Argümanları sayarak, 1 değişkeninde n derecesinde polinomların (yani n devre n karmaşıklığına sahip mevcut olduğu gösterilebilir. Ayrıca, x n gibi bir polinomun en az log 2 n çarpımı gerektirdiğini gösterebilir (yeterince yüksek bir derece elde etmek için buna ihtiyacınız vardır). 1 değişkente karmaşıklığa bağlı süperlogaritmik bir alt limite sahip polinomların …

12 cc.complexity-theory  circuit-complexity  polynomials  algebraic-complexity 

G bağlantılı bir grafik olsun. G aşağıdaki tiplerden biriyse , bağlı tüm altgrafları saymanın karmaşıklığı nedir ? G geneldir. G düzlemseldir. G iki taraflıdır. Herhangi bir yapıyı umursamıyorum ya da ..., tüm bağlı altgrafları saymalıyım! Ayrıca , G'de tam olarak k düğümleri olan tüm bağlı altgrafları saymanın karmaşıklığıyla da ilgileniyorum. …

12 cc.complexity-theory  graph-theory  counting-complexity 

Geçenlerde Clay Math Institute'ta Stephen A. Cook tarafından açıklandığı gibi ve problemini hatırlattım .PP\mathsf{P}N PN-P\mathsf{NP} Bu benim ilgimi uyandırdı ve ben bu konuda daha fazla bilgi edinmek istiyorum. İlk adım, sorunun daha derin bir şekilde anlaşılması ve genel olarak bölgenin anlaşılması olacaktır. Sorun hakkında daha fazla bilgi edinebileceğim herhangi bir …

12 cc.complexity-theory  reference-request  survey  books  p-vs-np 

Suresh için bir şekilde ilgisiz bir proje üzerinde çalışırken, kısa bir süre önce Page ve Opper tarafından Kullanıcı Tarafından Oluşturulabilir sistemler hakkında yapılan bazı çalışmalara rastladım ve çalışmalarının bir kısmı polinom zamanında doğrulanamayan sorunları kısaca tartıştı. Polinom zamanında doğrulanamayan diğer problemler veya böyle bir sorunun analizi hakkında fazla bilgi bulamadım. …

12 cc.complexity-theory  complexity-classes 

Özellikle merak ettiğim şey, bu tür sorunların izlenebilir olduğunu garanti etmek için 3SAT formülünü yerine getiren ödevlerin yüzdesi üzerinde ilginç bir durum olması. Örneğin bu 3SAT sorunların sınıfı varsayalım bir 2 N mümkün atamaları boolean formül tatmin; tatmin edici bir görev bulabilir miyiz? Ne için ε P sonuçlanan sorundur?ϵ(n)2nϵ(n)2n\epsilon(n) 2^n2n2n2^nϵϵ\epsilon …

12 cc.complexity-theory  ds.algorithms  sat  np 

Baker-Gill-Solovay sonucu, P = NP sorununun göreceli olmadığını, bir bağıl kanıtın (bir kehanetin varlığına duyarsız) muhtemelen P = NP sorusunu çözemeyeceğini gösterdi. Sorum şu: "PH-complete problemi var mı?" Sorusuna benzer bir sonuç var mı? Bu sorunun olumsuz cevabı, P! = NP; olumlu cevap bir olası değildir ama ilginç olacaktır çünkü …

12 cc.complexity-theory  complexity-classes 

Yine karmaşıklığı merak ettiğim bir kenar bölümleme problemi, önceki bir soru ile motive oldu . Girdi: kübik grafikG=(V,E)G=(V,E)G=(V,E) Soru: bir bölme vardır içine her biri tarafından uyarılan alt grafiğinin, öyle ki, (yani pençe ya da bir , genellikle bir yıldız olarak da adlandırılır) ya da -Path ( yani )?E 1 …

12 cc.complexity-theory  graph-theory  np-hardness  co.combinatorics 

by http://www.cs.umd.edu/~jkatz/complexity/relativization.pdf Eğer bir Pspace tamamlama dil, P bir = N P A .AbirAPA=NPAPbir=N-PbirP^{A}=NP^{A} Eğer deterministik polinom zamanlı oracle, P B ≠ N P B (varsayarak P ≠ N P ).BBBPB≠NPBPB≠N-PBP^{B}\ne NP^{B}P≠NPP≠N-PP\ne NP , # P ve P ⊆ P P ⊆ P S P A C E için analog …

12 cc.complexity-theory  complexity-classes  counting-complexity  open-problem  oracles 

PCP teoremi eşdeğer bir formülasyondur: En fazla 3-SAT için o en karşılanabilir formüller ve formüller ayırt -Sert r maddelerin -fraksiyonu (bazıları için karşılanabilir olan r < 1 ).NPNPNPrrrr<1r<1r\lt 1 Tüm Max CSP'yi sert boşlukları olup olmadıklarına göre sınıflandıran bilinen bir ikilik teoremi var mı? Edit 16 Ara 2010 : Sert …

12 cc.complexity-theory  pcp  csp 

Let { } ve . ilişkisel olup olmadığına karar vermenin iletişim karmaşıklığını hesaplamak istiyorum .0 , . . . , n - 1 ∘ : S × S → S ∘S=S=S=0 , . . . , n - 10,...,n-10,...,n-1∘ : S× S→ S∘:SxS→S\circ : S \times S \rightarrow S∘∘\circ Model …

12 cc.complexity-theory  communication-complexity 

Kağıt Lauri Hella ve José María Turull-Torres, Üst düzey mantıklara sahip bilgi işlem sorguları , TCS 355 197–214, 2006. doi: 10.1016 / j.tcs.2006.01.009 mantıksal VO, değişken dereceli mantık önerir. Bu, değişkenler üzerindeki siparişler üzerinde nicelleştirmeye izin verir. VO oldukça güçlüdür ve hesaplanamayan bazı sorguları ifade edebilir. (Aşağıdaki Arthur Milchior tarafından …

12 cc.complexity-theory  complexity-classes  lo.logic  computability  descriptive-complexity 

grafik izomorfizminden farklı başka hangi problemler var ? Bazı referanslar verebilir misiniz?N-P∩ c o A MNP∩coAMNP\cap coAM Güncelleme: bilinmeyen dillerle ilgilendiğimi belirtmeyi unuttum .c o NPcoNPcoNP

12 cc.complexity-theory  reference-request  complexity-classes  graph-isomorphism 

Buradan kanıtı okuyorum ve teknik (henüz önemli) bir sorunla karşılaştım. Bunun oldukça spesifik olduğunu ve bağlamın sorunlu olduğunu biliyorum, ama kendim anlayamadım. 51 ve 55. sayfalarda, "standart" doğrulayıcıları sunduktan sonra, bölünmüş atamaları kontrol etmek için doğrulayıcıları değiştirmeye yönelirler. İlk durumda (s. 51), bu kontrol o f1, … , Fkf1,...,fkf_1,\dots,f_k olan …

12 cc.complexity-theory  pcp 

Kolay bir gözlem, problemi , belirsiz olmayan bitleri (yani, tüm tanıkların logaritmik uzunluğunda) bir polinom-zaman belirsiz olmayan bir program tarafından , o zaman .O ( log n ) A ∈ PbirAAO ( günlükn )O(log⁡n)O(\log n)A ∈ PA∈PA \in \mathsf{P} Eğer biri şu soruyu sorarsa, "Bir tanığı doğrulamak, bir tanığı bulmaktan …

12 cc.complexity-theory 

Eğer doğruysa PH'nun çökmesi gerektiğine dair (iyi bilinmeyen) bazı iddialar nelerdir? Referans (lar) ı içeren kısa bir üst düzey iddia içeren cevaplar takdir edilmektedir. Fazla şans olmadan geri aramaya çalıştım.

12 cc.complexity-theory  complexity-classes  big-list