«cc.complexity-theory» etiketlenmiş sorular

Mu anlamına E = K E ?EXP=NEXPEXP=NEXP\mathsf{EXP}=\mathsf{NEXP}E=NEE=NE\mathsf{E}=\mathsf{NE}

10 cc.complexity-theory  conditional-results  nexp  structural-complexity 

Let bir yönsüz çizge. Ayrışma V ayrık alt-grup halinde V i denen Hamilton ayrışma ve G , her resim grubu tarafından uyarılan alt grafiğinin eğer V ı ya da bir Hamilton grafiktir veya tek bir kenar oluşur | V i | = 2 .G=(V,E)G=(V,E)G=(V,E)VVVViViV_iGGGViViV_i|Vi|=2|Vi|=2|V_i|=2 Örnek : İki parçalı grafiğin tamamı …

10 cc.complexity-theory  ds.algorithms  graph-theory  np-hardness  hamiltonian-paths 

Moore matrisi Vandermonde matrisine benzer, ancak biraz değiştirilmiş bir tanıma sahiptir. http://en.wikipedia.org/wiki/Moore_matrix Belirli bir tam rütbeli Moore matris modulo bazı tamsayının determinantını hesaplamanın karmaşıklığı nedir ?n×nn×nn \times n Can Moore azaltılabilir determinanta FFT teknikleri kullanılarak bazıları için ?O ( n log a n ) a ∈ R + ∪ { …

10 cc.complexity-theory  algebraic-complexity 

Sınırlı dereceli grafiklerde kesirli kromatik sayıya yaklaşmak yaklaşık zor mu?

10 cc.complexity-theory  graph-theory  approximation-hardness  graph-colouring  bounded-degree 

Fiziksel süreç modellerine indirgenebilecek bilgisayar bilimlerindeki zor problemlere (NP veya daha zor) örnekler arıyorum. Örneğin, bir Ising modelinde max-2-sat enerji minimizasyonuna indirgenebilir. Bu tür indirgeme ile ilgili daha fazla örnek bulmak istiyorum.

10 cc.complexity-theory  reductions  physics  formal-modeling 

Bağlam: Sadece digrafileri ele alıyoruz. CYCLE, bir döngülü grafiklerin dili olsun; NL-tam bir sorundur. HASEDGE en az bir kenarı olan grafiklerin dili olsun. Sonra önemsiz bir şekilde, artık NL-hard değil, öyle.ÇEVRİM ∪ ¯ HASEDGECYCLE∪HASEDGECYCLE∪HASEDGE\text{CYCLE} \cup \text{HASEDGE}CYCLE∪HASEDGE¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯¯CYCLE∪HASEDGE¯\text{CYCLE} \cup \overline{\text{HASEDGE}} Gerçek sorun: dilinin hala NL zor.CYCLE∪{(V,E):(∃u,v,x,y)[E(u,v)∧E(x,y)∧¬E(u,y)∧¬E(x,v)]}CYCLE∪{(V,E):(∃u,v,x,y)[E(u,v)∧E(x,y)∧¬E(u,y)∧¬E(x,v)]}\text{CYCLE} \cup \{(V, E):(\exists u,v,x,y)[E(u, v) \land …

10 cc.complexity-theory  graph-theory  descriptive-complexity 

Bir dil LLL sınıfta DPDPDP , iki dil vardır IFF L1∈NPL1∈NPL1 \in NP ve L2∈coNPL2∈coNPL2 \in coNP , öyle ki L=L1∩L2L=L1∩L2L = L1 \cap L2 Bir standart DPDPDP Komple sorun SAT-UNSAT edilir: iki 3-CNF ifadeleri, verilen FFF ve GGG , bu doğrudur FFF karşılanabilir ve GGG değildir? Kritik SAT sorununun …

10 cc.complexity-theory  np-hardness  complexity-classes  sat 

Diyelim ki , bir Boole dilidir, üzerinde sonlu dizeler . , uzunluğunda olan dizelerin sayısı olsun . Bir işlev için, pozitif reel sayı pozitif tamsayılar arasından, olan üst yoğunluk ise her yeterince büyük için .LLL{0,1}{0,1}\{0,1\}LnLnL_nLLLnnnd(n)d(n)d(n)LLL d(n)d(n)d(n)Ln≤2nd(n)Ln≤2nd(n)L_n \le 2^n d(n)nnn Herhangi bir P-complete Boole dilinin üst yoğunluğu mı?O(1/n)O(1/n)O(1/n) Motivasyon PARİT, üst …

10 cc.complexity-theory  reference-request  p-hardness 

Karışık bir grafiktir verilen kenarları ile D ve yayları A , bir eşleşen bulmak E bu en aza indirir arkların numara G / M , G / K elde edilir G eşleşen köşe yakalanma çıkararak paralel yaylar.G=(V,E,A)G=(V,E,A)G=(V,E,A)EEEAAAEEEG/MG/MG/MG/MG/MG/MGGG Bu sorunun (karar versiyonu) NP tamamlanmış mı? Literatürde incelendi mi?

10 cc.complexity-theory  reference-request  graph-theory 

Watrous'un kuantum karmaşıklık teorisi hakkındaki kağıt üzerinde mükemmel araştırma kağıdını okuyorum. İçinde, QMA-tamamlanmış bir sorunun boş bir vaatte bulunmasının şaşırtıcı olacağını belirtiyor (yani, bir dil olun). Neden böyle? K-yerel Hamilton probleminin bir vaat problemi olmasıyla mı ilgili? Ayrıca, bu beni ilgili bir soruya yönlendiriyor: Doğasında doğası gereği "kuantum" olmayan QMA-komple …

10 cc.complexity-theory  quantum-computing 

N değişkeninde ( ) m terimlerine sahip monoton bir CNF formülü, ; burada her , değişkenlerin bazı alt kümelerinin ve ile arasında değişir . f ( x 1 , … , x n ) = ⋀ C i C i x 1 , … , x n i 1 mx1, …

10 cc.complexity-theory  circuit-complexity  formulas 

Bir çizge verilen ve iki köşe s , t ∈ V . Basit yolları arasında bir çift p 1 , s 2 den s için t bunlar bir kenar paylaşmıyorlarsa kenar ayrık olduğunu.G = ( V, E)G,=(V,E)G = (V,E)s, t ∈ Vs,t∈Vs,t \in Vp1,p2p1,p2p_1,p_2sssttt Maks akış kullanılarak, gelen kenar ayrık …

10 cc.complexity-theory  graph-algorithms 

Sınırlı hata kuantum sorgu karmaşıklığı ( ) ve deterministik sorgu karmaşıklığı ( ) veya sınırlı hata rastgele sorgu karmaşıklığı ( ) arasındaki üstel ayrımlar bilinmesine rağmen , bunlar sadece belirli kısmi fonksiyonlar için geçerlidir. Kısmi fonksiyonların bazı özel yapıları varsa, bunlar aynı zamanda polinom olarak ile ilişkilidir . Ancak, çoğunlukla …

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity 

Bir yayılma programı, burada tanıtılan bir boole işlevini belirtmenin doğrusal-cebirsel bir yoludur . Son zamanlarda, bu model negatif olumsuz yöntemin kuantum sorgu karmaşıklığının sıkı bir karakterizasyonunu (en azından ) sağladığını göstermek için kullanıldı .logn/loglognlog⁡n/log⁡log⁡n\log n/ \log \log n Span programlarını kuantum sorgu karmaşıklığına bağlayan karmaşıklık ölçüsü tanık boyutudur. Bu önlem …

10 cc.complexity-theory  reference-request  quantum-computing  query-complexity 

Genel grafiklerde Dominating Set problemini göz önünde bulundurun ve bir grafikteki köşe noktası sayısı olsun . Açgözlü yaklaşım algoritması faktörü bir yaklaşım garantisi verir yani bu bir çözüm polinom zamanlı olarak bulmak mümkün, öyle ki ; burada , minimum hakim olan bir kümenin boyutudur. Biz bağımlılık geliştirmek olamayacağını gösteren sınırları …

10 cc.complexity-theory  approximation-algorithms  approximation-hardness