«cc.complexity-theory» etiketlenmiş sorular

karmaşıklık sınıfı aşağıdaki gibi tanımlanmıştır ( Wikipedia'dan ):SP2S2P\textrm{S}_2^\textrm{P} Polinom-zaman yüklemi P varsa , L dili S_2 ^ P'dedir .LLLSP2S2PS_2^PPPP Eğer x∈Lx∈Lx \in L , daha sonra vardır yyy gibi tüm bu zzz , P(x,y,z)=1P(x,y,z)=1P(x,y,z)=1 Eğer x∉Lx∉Lx \notin L , daha sonra vardır zzz gibi tüm bu yyy , P(x,y,z)=0P(x,y,z)=0P(x,y,z)=0 burada …

10 cc.complexity-theory  complexity-classes 

İletişim karmaşıklığında, log-rank varsayımı, c c ( M) = ( günlükr k ( E) )O ( 1 )cc(M)=(log⁡rk(M))O(1)cc(M) = (\log rk(M))^{O(1)} Burada iletişim karmaşıklığıdır ve sıralamasıdır reals fazla (bir matris olarak).M ( x , y ) r k ( M ) Mc c ( M)cc(M)cc(M)M( x , y)M(x,y)M(x,y)r k ( …

10 cc.complexity-theory  big-picture  linear-algebra  open-problem  communication-complexity 

Razborov'un yaptığı bir konuşmada , merak uyandırıcı küçük bir açıklama yayınlandı. FACTORING zorsa, Fermat'ın küçük teoremi kanıtlanamaz S12S21S_{2}^{1}. nedir S12S21S_{2}^{1}ve mevcut kanıtlar neden almamaktadır S12S21S_{2}^{1}?

10 cc.complexity-theory  lo.logic  proof-complexity 

Sınıf BPNC ( ve kombinasyonu ) sınırlı hata olasılığı ve rasgele bir kaynağa erişim ile günlük derinliği paralel algoritmalar olsun (farklı bir ada sahip olduğundan emin değilim). Tüm süreçlerin algoritma başlangıcında sabitlenmiş rastgele bir bit akışına rasgele erişimleri dışında DBPNC sınıfını benzer şekilde tanımlayın.BPPBPP\mathsf{BPP}NCNC\mathsf{NC} Başka bir deyişle, BPNC'deki her işlem …

10 cc.complexity-theory  complexity-classes  dc.parallel-comp  randomness  pseudorandomness 

Bağlam : Kavvadias ve Sideri Verilen: Ters 3-SAT problemi coNP Komple olduğunu göstermiştir üzerinde bir dizi model bu 3 CNF formülü böyle olduğunu, değişkenler modellerinin onun tam kümesidir? içindeki tüm modellerden memnun olan 3 maddenin tümünün birleşimi olan hemen bir aday formül ortaya çıkar .ϕϕ\phinnnϕϕ\phiϕϕ\phi İfade ettiği tüm 3 maddeyi …

10 cc.complexity-theory  lo.logic  complexity-classes  computability  sat 

Boole formül dengeleme sorununun karmaşıklığı hakkında referanslar arıyorum . Özellikle, Boole formüllerinin dengelenebileceği biliniyor muydu ?AC0AC0\mathsf{AC^0} Boole formül dengelemesinin basit bir kanıtı var mı ?AC0AC0\mathsf{AC^0} "Basit" derken, aşağıda bahsettiğimden daha basit bir kanıt demek istiyorum, özellikle Boolean formül değerlendirmesinin olmasına bağlı olmayan bir kanıt arıyorum .NC1NC1\mathsf{NC^1} Arka fon Burada bahsedilen …

10 cc.complexity-theory  ds.algorithms  reference-request  lo.logic  boolean-formulas 

Benim sorum neden derinlik 3 için alt sınırlar Kapıları "ve" ve "veya" xor "ile Boole devreleri üzerinde aritmetik devreler için aynı alt sınırları ima etmiyor ZZ\mathbb{Z}? Aşağıdaki argümanla yanlış olan şey: CCC , aritmetik bir devre hesaplama determinantı olsun, tüm mod 2 değişkenlerini alarak Boole devre hesaplama determinantını alacağız.

10 cc.complexity-theory  circuit-complexity  arithmetic-circuits 

BPPBPP\mathsf{BPP} ve temel olasılıksal karmaşıklık sınıflarından ikisidir.ZPPZPP\mathsf{ZPP} BPPBPP\mathsf{BPP} , yanlış cevap döndürme algoritmasının olasılığının sınırlı olduğu olasılıksal polinom-zaman Turing algoritmaları tarafından karar verilen dil sınıfıdır, yani hata olasılığı en fazla (hem EVET hem de NO örnekleri).1313\frac{1}{3} Öte yandan, algoritmaları hiçbir zaman yanlış bir cevap döndürmeyen olasılıklı algoritmalar olarak görülebilir, her …

10 cc.complexity-theory  complexity-classes  randomness  randomized-algorithms 

Çoğu olasılıklı ispat sisteminde (örneğin PCP teoremi), hata olasılıkları genellikle yanlış pozitiflerin yanında tanımlanır, yani tipik bir tanım şöyle görünebilir: eğer varsa doğrulayıcı her zaman kabul eder, ancak diğer durumda reddetme olasılığı en az 1 / 2'dir.x∈Lx∈Lx \in L Hatanın diğer tarafında olmasına izin verirken bir sorun mu var? Bu, …

10 cc.complexity-theory  pcp  interactive-proofs 

MAMA\mathsf{MA} ve \ mathsf {NP} ^ \ mathsf {RP} ile ilgili bir ifade bulamadım NPRPNPRP\mathsf{NP}^\mathsf{RP}; işaretçiler takdir edilecektir. Eşit olduklarına inanıyorum: MA⊆NPRPMA⊆NPRP\mathsf{MA} \subseteq \mathsf{NP}^\mathsf{RP} : NPNP\mathsf{NP} makinesi Merlin'in dizesini tahmin eder ve RPRP\mathsf{RP} dizesi dizeyi Arthur'un yaptığı gibi doğrular. NPRP⊆MANPRP⊆MA\mathsf{NP}^\mathsf{RP} \subseteq \mathsf{MA} : Merlin kabul hesaplama tahmin için tüm çağrılar, …

10 cc.complexity-theory  oracles 

Let be herhangi EXP komple sorunu. Daha sonra, .P A = N P AbirAAPbir= NPbirPA=NPAP^A = NP^A Let o sorguları hesapları dikkate alır bazı kahin olmaya (P bir TM) yapacak ve biz alabilirsiniz .M P B ≠ N P BBBBMMMPB≠ NPBPB≠NPBP^B \neq NP^B Soru: P vs BPP için benzer kehanet …

10 cc.complexity-theory  oracles  relativization 

Grafiğe Karar Verme Homomorfizm genellikle NP-Complete'tir. Altta yatan grafikler cebirsel yapıya sahip olduğunda bu sorunu inceleyen herhangi bir sonuç var mı (Cayley veya Cayley coset grafiklerinden homomorfizmlerin belirli bir yapıya sahip diğer grafiklere de karar verilmesi gibi)? Ayrıca karmaşıklık sonuçlarına yardımcı cebirsel ve / veya spektral tekniklerle de ilgileniyorum.

10 cc.complexity-theory  graph-theory  co.combinatorics 

Wikipedia şunu yazıyor: FPT, zaman içinde çözülebilen sabit parametre izlenebilir problemlerini içerir bazı hesaplanabilir fonksiyonlar için f . Tipik olarak, bu fonksiyon 2 O ( k ) gibi tek bir üstel olarak düşünülür, ancak tanım daha hızlı büyüyen fonksiyonları kabul eder. Bu, bu sınıfın erken tarihinin büyük bir kısmı için …

10 cc.complexity-theory  fixed-parameter-tractable 

Belirsiz bir Turing makinesinin (NTM) hesaplanmasının, başlangıç ​​konfigürasyonuna dayanan bir konfigürasyon ağacı olarak temsil edilebileceği iyi bilinmektedir. Programdaki herhangi bir geçiş, bu ağaçtaki bir baba-çocuk bağlantısı ile temsil edilir. Olasılıksal ve kuantum makinelerinin hesaplamalarını görselleştirmek için de benzer ağaçlar yapılabilir. (Bazı amaçlar için, kuantum hesaplamaları için ilgili grafiği bir ağaç …

10 cc.complexity-theory  quantum-computing  randomness  derandomization  nondeterminism 

Alan Turing'in doğum gününü kutlayan Google, bir makine gösteren bir doodle yayınladı . Doodle nasıl bir makinedir? Turing Complete dilini ifade edebilir mi? Klasik turing makinesinde bariz farklılıklar var: sonlu bir bant, durumun nasıl bağlanabileceği konusunda kısıtlamalar, ... Doodle hala kullanılabilir olduğunu burada (Sağ üstteki ekran beklenen çıktıyı gösterir.) Ortadaki …

10 cc.complexity-theory  turing-machines