«cc.complexity-theory» etiketlenmiş sorular

Rengi biraz gevşetelim, yani az sayıda bitişik köşeye aynı rengin atanmasına izin veriyoruz. Tek renkli bir bileşen, alt renkte aynı rengi alan köşe kümeleri tarafından indüklenen bağlı bir bileşen olarak tanımlanır ve soru, bir grafiği renklendirmek için gereken en az sayıda renk λλ\lambdaCCC sormaktır. daha bir C . Bu renkte …

11 cc.complexity-theory  graph-theory  graph-colouring  planar-graphs 

Şu anda cins probleminin yakınlığı hakkında ne biliniyor? Bir ön arama, sabit bir faktör yaklaşımının yeterince yoğun grafikler için önemsiz olduğunu ve bir yaklaştırma algoritması dışlandığını söylüyor. Bu bilgi güncel mi, yoksa daha iyi sınırlar var mı?nϵnϵn^\epsilon

11 cc.complexity-theory  approximation-hardness  topological-graph-theory 

Devre derinliği için ne tür bir hiyerarşi teoremleri vardır? Gibi ifadeler Eğer g(n)∈o(f(n))g(n)∈o(f(n))g(n) \in o(f(n)) ve f(n)∈nO(1)f(n)∈nO(1)f(n) \in n^{O(1)} daha sonra .SizeDepth(nO(1),g(n))⊊SizeDepth(nO(1),f(n))SizeDepth(nO(1),g(n))⊊SizeDepth(nO(1),f(n))\mathsf{SizeDepth}(n^{O(1)}, g(n)) \subsetneq \mathsf{SizeDepth}(n^{O(1)}, f(n))

11 cc.complexity-theory  circuit-complexity  hierarchy-theorems  circuit-depth 

Grafik izomorfizmi gibi bazı hesaplama problemlerinin, hesaplama açısından zor (NP-sert) olmak için yeterli yapıya veya yedekliliğe sahip olmadığı için NP-tam olamayacağına inanılmaktadır. Hesaplama problemlerinin yapısı ve artıklık önlemleri için farklı resmi kavramlarla ilgileniyorum. Hesaplama problemleri için bu tür resmi kavramlar hakkında bilinen başlıca sonuçlar nelerdir? Son zamanlarda bu tür kavramlarla …

11 cc.complexity-theory  graph-isomorphism 

NL⊈PNL⊈P\mathsf{NL} \nsubseteq \mathsf{P} Şimdi oracle kapıları olan devre ailelerini düşünün - örneğin, , burada , temeline eklenen oracle kapıları aracılığıyla başka bir sınıfına oracle erişimi olan günlük alanı içeren bir devre karmaşıklık sınıfıdır . Bu tür sınıflar için bilinen Ladner-Lynch gazetesine benzer ruhsal benzer patolojik örnekler var mı? Bu tür …

11 cc.complexity-theory  complexity-classes  circuit-complexity  oracles  relativization 

Bu SAT'a benzer, ancak her değişkenin atamasını biliyoruz, ancak herhangi bir boolean operatörünün atamasını bilmiyoruz. Bu durumda, her bir operatörün atamasını bulmak, böylece ifade verilen bir boole değerine bir NPC problemini değerlendirir mi? Aslında, bir tamsayı aritmetik ifadesini (örneğin, = 10) karşılamak için aritmetik operatörlerin atanmasını111 o p 1 3 …

11 cc.complexity-theory  np-hardness 

"Sabit Sayıda Değişken ile Tamsayılı Programlama" makalesinde, sabit sayıda kısıtlı (veya değişkenli) tam sayı programlamanın polinom olarak çözülebildiği gösterilmiştir. Bu 0-1 programlama için geçerli mi?

11 cc.complexity-theory  integer-programming 

Doğrudan ürün teoremi, gayri resmi olarak, bir f işlevinin örneklerini hesaplamanın , bir kez f hesaplamaktan daha zor olduğunu söyler .kkkffffff Tipik doğrudan ürün teoremleri (örneğin Yao XOR Lemma) bakmak ortalama durum karmaşıklığı ve (çok kabaca) iddia boyutu devreleri tarafından hesaplanamaz ler daha iyi olasılığı p , daha sonra k …

11 cc.complexity-theory  circuit-complexity  average-case-complexity 

Dana Angluin ( 1987 ; pdf ) üyelik sorguları ve teori sorguları (önerilen işleve karşı örnekler) içeren bir öğrenme modeli tanımlar. En az devlet DFA'sı ile temsil edilen normal bir dilin, üyelik sorguları ve en fazla teori sorgusu ( ) ile polinom zamanında (önerilen işlevlerin DFA'lar olduğu) öğrenilebilir olduğunu gösterir …

11 cc.complexity-theory  machine-learning  lower-bounds  lg.learning  query-complexity 

3 Klik Bölme problemi, gibi bir grafiğin köşelerinin 3 klibe bölünüp bölünemeyeceğini belirleme problemidir . Bu sorun, 3-renklendirme probleminden basit bir azalma ile NP-zordur. Çap ( G ) = 1 veya çap ( G ) > 5 olduğunda bu sorunun cevabının kolay olduğunu görmek zor değildir . Diam ( G …

11 cc.complexity-theory  graph-theory  np-hardness  clique 

Cevap: bilinmiyor Bu soruyu ve onunla ilgili tanımları düzeltmeye yardımcı olan herkese çok teşekkürler. Bu vikinin tanımları daha yeni TCS wiki " P, varlığı PA veya ZFC'den bağımsız diller içeriyor mu? (TCS topluluk wiki) " için başlangıç ​​noktası sağlamıştır . Daha yeni wiki tercih edilir, çünkü tanımları ve isimlendirmesi bu …

11 cc.complexity-theory  complexity-classes  turing-machines  decidability 

İçinde dağıtılmış sürüm kontrolü sistemleri (örneğin, bir Mercurial ve Git ) verimli bir şekilde yönlendirilmiş karşılaştırma asiklik grafikler (DAG'ler) için bir ihtiyaç vardır. Ben bir Mercurial geliştiricisiyim ve iki DAG'ı karşılaştırmanın zamanını ve ağ karmaşıklığını tartışan teorik çalışmaları duymakla çok ilgileniriz. Söz konusu DAG'lar kaydedilen revizyonlardan oluşur. Revizyonlar bir karma …

11 cc.complexity-theory  dc.distributed-comp  directed-acyclic-graph 

öğelerine sahip bir yarı olduğunu varsayalım . Hedefimiz .(S,∘)(S,∘)(S,\circ)S= { s1, s2, … , Sn}S={s1,s2,...,sn}S=\lbrace s_1,s_2,\dots,s_n\rbracesben∘ si + 1∘ ⋯ ∘ sjsben∘sben+1∘⋯∘sjs_i\circ s_{i+1}\circ \cdots\circ s_j “On-line ürün sorgularını yanıtlamak için Optimal Önişleme” Alon ve Schieber, bu tür her bir sorguyu en çok adımda (burada ters Ackermann işlevidir) cevaplayabileceğimizi kanıtlamaktadır. doğrusal …

11 cc.complexity-theory  graph-theory  ds.data-structures 

Sanırım # P-Space olarak adlandırılırdı, ancak bundan bahseden sadece bir makale buldum. EXP-TIME-Complete, NEXP-Complete ve EXP-SPACE-Complete sorunlarının sayım versiyonuna ne dersiniz? Toda Teoremi gibi herhangi bir dahil etme veya dışlama ile ilgili olarak atıfta bulunabilecek daha önce yapılmış bir çalışma var mı?

11 cc.complexity-theory  complexity-classes  counting-complexity  pspace 

NP-Complete'in aksine bir probleme ve bunun muhtemelen NP-Intermediate olmasının sebebine nasıl bakılır? Bir soruna bakmak ve muhtemelen NP-Complete olup olmadığını söylemek oldukça basittir, ancak bir sorun NP-Orta olup olmadığını söylemek çok daha zor görünüyor, çünkü çizgi ikisi arasında oldukça ince görünüyor sınıflar. Temelde sorduğum, neden polinom zamanında doğrulanabilen (eğer varsa) …

11 cc.complexity-theory  complexity-classes  np-intermediate