«cc.complexity-theory» etiketlenmiş sorular

Doğal sayıların bir aralığının asal içerip içermediğine karar vermenin karmaşıklığı nedir? Eratosthenes Elek bir varyantı, bir verir algoritması, L aralığının uzunluğudur ve ~ deri aralığının başlangıç noktası olarak poli-logaritmik faktörler; daha iyi yapabilir miyiz ( yalnız L açısından )?Ö~( L )O~(L)\tilde O(L)LLL~∼\simLLL

14 cc.complexity-theory  ds.algorithms  nt.number-theory  comp-number-theory 

Bir günlük alanı varsa dil cinsindendir.L/polyL/polyL/poly Daha fazla bilgi için buraya bakın: https://en.wikipedia.org/wiki/L/poly Soru Sonuçları nedir ?P⊆L/polyP⊆L/polyP \subseteq L/poly

14 cc.complexity-theory  circuit-complexity  polynomial-time  advice-and-nonuniformity  logspace 

Let bir harita fonksiyonu s -GATE devre C üzerinde , n bit ve bir n- bitlik dize x için Cı- ( x ) . Devreler atamaları asiklik dizisi olarak kodlanır varsayalım k : = gr ( i , j ) burada i , j , k, tel etiketlerdir.CircuitEvals,nCircuitEvals,n\mathsf{CircuitEval}_{s, n}sssCCCnnnnnnxxxC(x)C(x)C(x)k:=g(i,j)k:=g(i,j)k := …

14 cc.complexity-theory  circuit-complexity  circuit-families 

STOC gibi bir konferansta ele alınan konular düşünüldüğünde, herhangi bir algoritma veya karmaşıklık araştırmacısı aktif olarak COQ veya Isabelle kullanıyor mu? Eğer öyleyse, araştırmalarında nasıl kullanıyorlar? Çoğu insanın bu araçları kullanamayacağını düşünüyorum, çünkü kanıtlar çok düşük düzeydedir. Bu kanıt asistanlarını, güzel bir ekin aksine araştırmaları için kritik bir şekilde kullanan …

14 cc.complexity-theory  approximation-algorithms  soft-question  proof-assistants 

Aşağıdaki sorunun karmaşıklığı nedir? Giriş : birHamilton yoluiçinde K nHHHKnKnK_n köşe çiftinin bir alt kümesiR⊆[n]2R⊆[n]2R \subseteq [n]^2 pozitif bir tamsayı kkk Sorgu : Her ( v , u ) ∈ R , d G ( v , u ) ≤ k için eşleşen bir var mı? (burada G = ( …

14 cc.complexity-theory  graph-theory  graph-algorithms  np-hardness  np-complete 

Bir determinantı hesaplamak için gerekli temel aritmetik işlemlerin minimum sayıda bulunması üzerinde herhangi bir çalışma oldu mu tarafından n küçük ve sabit oluşanmatris n ? Örneğin, n = 5 .nnnnnnnnnn=5n=5n=5

14 cc.complexity-theory  linear-algebra  determinant 

Belirsizlik, deterministik hesaplamayı hızlandırabilir mi? Evet ise, ne kadar? Belirsizliği kullanarak deterministik hesaplamayı hızlandırarak formun sonuçlarını kastediyorum: DTime(f(n))⊆NTime(n)DTime(f(n))⊆NTime(n)\mathsf{DTime}(f(n)) \subseteq \mathsf{NTime}(n) Örneğin, DTime(n2)⊆NTime(n)DTime(n2)⊆NTime(n)\mathsf{DTime}(n^2) \subseteq \mathsf{NTime}(n) Belirsizliğin hesapladığı deterministik hesaplamanın en iyi bilinen hızlanma sonucu nedir? Ne ΣPkTime(n)ΣkPTime(n)\mathsf{\Sigma^P_kTime}(n) ya da ATime(n)ATime(n)\mathsf{ATime}(n) yerine NTime(n)NTime(n)\mathsf{NTime}(n) ? İkinci dereceden tek bantlı Turing makinelerinin iyi bilinen …

14 cc.complexity-theory  nondeterminism  speed-up  alternation  tradeoff 

temel simetrik polinom inci her toplamıdır \ binom {n} {k} ürünleri k farklı değişkenler. Bu polinomun monoton aritmetik (+, \ times) devre karmaşıklığıyla ilgileniyorum . Basit bir dinamik programlama algoritması (aşağıdaki Şekil 1'in yanı sıra ) O (kn) geçitli bir (+, \ times) devresi verir .S n k ( x …

14 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits  dynamic-programming 

Göre Karmaşıklık Zoo , ve biliyoruz R e g , böylece sayılmaz T Cı- 0 ⊈ R e g . Ancak R e g ⊆ T C 0 olup olmadığını söylemez . Bildiğimiz olmadığından , N Cı- 1 ⊈ T C 0 da biliyoruz olmayan R , e g ⊈ …

14 cc.complexity-theory  fl.formal-languages  automata-theory  circuit-complexity  regular-language 

Herhangi bir keyfi NP tam dili için her zaman tamamlayıcısı da sonsuz olan bir çoklu zaman süper kümesi var mı? Https://cs.stackexchange.com/q/50123/42961 adresinden süper kümeyi sınırsız bir tamamlayıcıya sahip olmayacak önemsiz bir sürüm istenmiştir. Bu sorunun amaçları için olduğunu varsayabilirsiniz . Vor'un açıkladığı gibi, P = N P ise cevap "Hayır" …

14 cc.complexity-theory  np-complete  structural-complexity 

Sabit zaman, zaman karmaşıklığının mutlak düşük sonudur. Birisi merak edebilir: sabit zamanda hesaplanabilen önemsiz bir şey var mı? Turing makinesi modeline bağlı kalırsak, cevap girişin sadece sabit uzunlukta bir başlangıç ​​segmentine bağlı olabileceğinden, çok fazla şey yapılamaz, çünkü girişin daha uzak kısımlarına sabit zamanda bile ulaşılamaz. Öte yandan, bit sayılarındaki …

14 cc.complexity-theory  ds.algorithms  time-complexity 

değişkenlerinin bir vektörünü ve A → x ≤ b ile belirtilen bir dizi doğrusal kısıtlamayı düşünün .x⃗ x→\vec{x}A x⃗ ≤ bAx→≤bA\vec{x}\leq b Ayrıca, iki politop düşünün P1P2= { ( f1( x⃗ ) , ⋯ , fm( x⃗ ) ) ∣ A x⃗ ≤ b }= { ( g1( x⃗ ) …

14 cc.complexity-theory  linear-algebra  linear-programming  polytope 

Razborov monoton fonksiyon eşleştirme olmadığını kanıtladı mP . Ancak, birkaç olumsuzluk ile polinom boyutlu bir devre kullanarak eşleşmeyi hesaplayabilir miyiz? Eşleşmeyi hesaplayan negatifleri olan bir P / poli devresi var mı? Olumsuzluk sayısı ile eşleşme boyutu arasındaki denge nedir?O(nϵ)O(nϵ)O(n^\epsilon)

14 cc.complexity-theory  circuit-complexity  lower-bounds  matching  monotone 

Sekiz kraliçe sorunu hakkında wikipedia makalesini okuyordum. Kesin çözüm sayısı için bilinen bir formül olmadığı belirtilmektedir. Biraz arama yaptıktan sonra, "Tam eşlemelerin problemlerini saymanın sertliği hakkında" adlı bir makale buldum. Bu yazıda, en çok #queens kadar sert olduğu gösterilen ve #P'nin ötesinde bir sorun var. Vikipedi makalesinde # sayıların kapsamlı …

14 cc.complexity-theory  counting-complexity  search-problem 

Cebirsel algoritmalar ve karmaşıklık hakkında bilgi edinmek istiyorum. Özellikle PIT ile ilgileniyorum. Sipser'in kitabı veya Arora-Barak'ın karmaşıklık ders kitabı gibi teori hakkında standart ders kitabı okuyan öğrenciler için bir dizi ders notu, kitap, makale ve anket var mı? Referanslar dizisi, yakın zamandaki gelişmiş sonuçları içerecektir.

14 cc.complexity-theory  reference-request  algebraic-complexity  arithmetic-circuits