«cc.complexity-theory» etiketlenmiş sorular

Biz bir 3-SAT formül örnek istiyorum: aşağıdaki hesaplama görevi göz önünde değişkenleri, (a varyantı: değişkenleri maddeleri) karşılanabilir olduğu formül koşuluyla, tek tip olasılık dağılımı ile ilgili olarak:nnnmnnnmmm S1: Klasik bir bilgisayarla verimli bir şekilde başarılabilir mi (rastgele bitlerle)? S2: Bu kuantum bir bilgisayar tarafından verimli bir şekilde başarılabilir mi? Aşağıdaki …

23 cc.complexity-theory  quantum-computing  sample-complexity 

inanmanın zorunlu nedenleri nelerdir ? L, girişe işaretçiler içeren log-space algoritmaları sınıfıdır.L≠PL≠PL\neq P Diyelim ki L = P şu an için. P-komple bir problem için bir log-space algoritması genel ana hatlarında nasıl görünür?

23 cc.complexity-theory  complexity-classes 

Aşağıdaki formun optimizasyon problemlerini düşünün. bir dizesini rasyonel bir sayıyla eşleştiren polinom-zaman hesaplanabilir bir işlevi olmasına izin verin . Optimizasyon sorunu şudur: -bit dizgileri üzerindeki maksimum değeri nedir?x f ( x ) n xf(x)f(x)f(x)xxxf(x)f(x)f(x)nnnxxx Diyelim ki, böyle bir problemin minimax karakterizasyonu olduğunu varsayalım , eğer başka bir polinom-zaman hesaplanabilir fonksiyonu …

23 cc.complexity-theory  graph-algorithms  complexity-classes  optimization  linear-programming 

Son zamanlarda, arxiv'te kareler toplamı denilen ispat sistemine değinen birkaç makale gördüm. Biri kareler toplamının kanıtının ne olduğunu ve bu tür kanıtların neden önemli / ilginç olduğunu açıklayabilir mi? Bunlar diğer cebirsel kanıt sistemleriyle nasıl ilişkilidir? Lassere'ye karşı bir çeşit ikili mi?

23 cc.complexity-theory  lo.logic  algebraic-complexity  proof-complexity  sum-of-squares 

Her ikisi de NP-Complete olduğu için CLIQUE'den k-Color'a net bir düşüş var. Aslında, birini CLIQUE'dan 3-SAT'ye, 3-SAT'dan k-Color'a bir azalma ile azaltarak oluşturabilirim. Merak ettiğim şey, bu sorunlar arasında makul bir doğrudan azalma olup olmadığı. Diyelim ki SAT gibi bir ara dil tanımlamaya gerek kalmadan bir arkadaşıma oldukça kısaca açıklayabileceğim …

23 cc.complexity-theory  graph-theory  np-hardness  reductions 

Bazılarınız, araştırma seviyesi olmadığı için kapatılmış olan bu soruyu izliyor olabilirsiniz. Dolayısıyla, sorunun araştırma düzeyinde olan kısmını çıkartacağım. Sıralama düzenlemesinin azaltılması veya EXPTIME tamamlanmış bir sorun gibi "basit" tekniklerin ötesinde, bir sorunun zaman karmaşıklığı için düşük sınırları kanıtlamak için hangi teknikler kullanılmıştır? Özellikle: Son on yılda geliştirilen "son teknoloji" teknikler …

23 cc.complexity-theory  reference-request  fl.formal-languages  time-complexity  reductions 

Hamiltonian (Kısaca Ham) Döngüsünün NP tamamlandı ve Düzlemsel Ham Döngüsünün NP Tamamlandı olduğu bilinmektedir. Düzlemsel Ham Döngüsü'nün kanıtı Ham Döngüsünden değildir. G grafiği verildiğinde, tüm geçişleri bazı düzlemsel gadget'larla değiştirecek, böylece G 'gibi düzlemsel bir grafiğiniz olacak güzel bir gadget var mı? G'nin bir Ham döngüsü var, i 'G' bir …

23 cc.complexity-theory  np-hardness  planar-graphs  hamiltonian-paths 

Herkes #P olan problemleri ve / veya problemleri sayma konusunda iyi ve yeni bir anket önerebilir mi?

23 cc.complexity-theory  reference-request  counting-complexity 

Ne hesaplamak SAT kadar uzunluğu minimal devreleri olduğunu bulma karmaşıklığı hakkında bilinen ? nnn Daha biçimsel: verilen bir fonksiyon karmaşıklığı ne girdi olarak en az bir devre çıkışları şekilde herhangi bir formül ile , ?1n1n1^{n}CCCφφ\varphi|φ|≤n|φ|≤n|\varphi| \leq nC(φ)=SAT(φ)C(φ)=SAT(φ)C(\varphi) = SAT(\varphi) (Özellikle alt sınırlarla ilgileniyorum.) Saf deterministik algoritması (uzunluğuna kaba kuvvet kadar …

23 cc.complexity-theory  sat 

D. Bera, F. Green ve S. Homer (ACM SIGACT News'in s. 36, Haziran 2007 cilt 38, no. 2) tarafından yapılan "Küçük Derinlikli Kuantum Devreleri" anketinde , şu cümleyi okudum: Klasik bir versiyonudur (ki buradaki bir K D ve O R kapıları çok sabit fanout var) daha kanıtlanabilir zayıf olan bir …

23 cc.complexity-theory  circuit-complexity 

Bu soru, başka bir soruya cevaben gönderdiğim bir cevapla ilgilidir . 3 bölümlü problem şu problemdir: Örnek : Pozitif tamsayı 1 ,…, a n , burada n = 3m ve n tamsayıların toplamı mB'ye eşittir, öyle ki her bir i, B / 4 <a i <S / 2. Soru : …

23 cc.complexity-theory  np-hardness 

Ağaç genişliği grafiğin bir ağaca ne kadar yakın olduğunu ölçer. Ağaç genişliğini hesaplamak NP-zordur. En iyi bilinen yaklaşım algoritması, faktörünü elde eder.O(logn−−−−√)O(logn)O(\sqrt{{\log}n}) Courcelle teoremi , monadik ikinci dereceden mantıkta (MSO2) tanımlanabilen herhangi bir grafik özelliğinin, sınırlı ağaç genişliğine sahip herhangi bir grafik sınıfı üzerinde doğrusal zamanda kararlaştırılabileceğini belirtir . Son …

23 cc.complexity-theory  ds.algorithms  graph-theory  space-bounded  treewidth 

Grafik izomorfizmi ile gizli alt grup problemi arasındaki ilişkiyi anlamaya çalışıyorum. Bunun için iyi bir referans var mı?

23 cc.complexity-theory  reference-request  quantum-computing  graph-isomorphism 

Ocak 2017'deki geri çekilme ve düzeltmeden bu yana bir yıldan fazla bir süre geçti. Haberler var mı Doğrulama bu kadar uzun sürmezse, bu normal değilse? Çok dikkat çekeceğini umardım. Polinom sonucunu desteklemek / şüphe etmek için konuşulan notu olan var mı?

23 cc.complexity-theory  graph-isomorphism  proofs 

Benim yayında Fortnow yorumuyla, motive Grafik İzomorfizma sorun olmadığını kanıtlar -tamamlamakNPNPNP ve gerçeğiyle için aday olacak Ara tepkime sorunu (değil içinde -Komple ne de ), ben bilinen kanıtlar ilgilenen am bu değildir .N P N PGIGIGINPNPNPNPNPNPG I PPPPGIGIGIPPP Bu tür bir kanıt, kısıtlı bir Grafik Otomorfizmi probleminin tamlığıdır (sabit nokta …

23 cc.complexity-theory  graph-isomorphism