«cc.complexity-theory» etiketlenmiş sorular

Tabii ki, bazı karmaşıklık sonuçları tek diller için çökebilir, ancak bu durumda bilinen sonuçları özetleyen bir anket olup olmadığını merak ediyorum: tek diller için bir tür karmaşıklık hayvanat bahçesi. Böyle bir referansı biliyor musunuz?

25 cc.complexity-theory  reference-request  big-list 

Bu, Zaten Bilinen Her NP Dilinde Tanıklık Üyeliği Boyutu Sorusu ile ilgilidir. Bazı doğal NPNP\mathsf{NP} (tamamlanmış) problemlerin doğrusal uzunluk tanıkları vardır: için tatmin edici bir atama SATSATSAT, H A M P A T için bir dizi köşe , vb..HAMPATHHAMPATHHAMPATH Karmaşıklık sınıfını “ lineer uzunluk tanıklarıyla sınırlı ” P olarak kabul …

24 cc.complexity-theory  complexity-classes  np 

EDIT (v2): Sonunda sorun hakkında bildiklerime bir bölüm ekledi. EDIT (v3): Sonunda eşik derecesinde tartışma eklendi. Soru Bu soru temel olarak referans isteğidir. Sorun hakkında fazla bir şey bilmiyorum. Bu konuda daha önce yapılmış bir çalışma olup olmadığını bilmek istiyorum ve eğer öyleyse, birisi beni bu sorun hakkında konuşan herhangi …

24 cc.complexity-theory  reference-request  circuit-complexity  polynomials 

Düzenleme: İlk önce kısıtlamamı (2) yanlış biçimlendirdim, düzeltildi. Daha fazla bilgi ve örnekler de ekledim. Bazı meslektaşlarımızla, başka bir algoritmik soruyu inceleyerek, sorunumuzu aşağıdaki ilginç soruna indirgeydik, ancak karmaşıklığı sorununu çözemedik. Sorun şu şekilde. Örnek: bir tam sayı , bir tam sayı ve bir dizi ve grubundan çift .nnnk < …

24 cc.complexity-theory  ds.algorithms  reference-request 

Zengin bir literatür ve çoklayıcı bir hata bağlamında NP zorlu problemler için bilinen yaklaşık sonuç sonuçlarının sertliğini ortaya koyan çok iyi bir kitap vardır (örneğin, vertex kaplaması için 2-yaklaşım UGC'nin en iyi olduğu varsayımıdır). Bu aynı zamanda APX, PTAS ve benzeri gibi iyi anlaşılmış yaklaşım karmaşıklığı sınıflarını da içerir. Ek …

24 cc.complexity-theory  complexity-classes  np-hardness  approximation-hardness 

Deterministik logspace'de ( ) saptanabilen herhangi bir problemin en çok polinom zamanda ( ) ortaya çıktığı açıktır . ve arasında bir çok karmaşıklık sınıfı var . Örnekler arasında , , , , , . olduğuna inanılmaktadır .P L P K L L O g Cı- F L , N Cı- …

24 cc.complexity-theory  lower-bounds  space-bounded 

tam problem nelerdir?N-P∩ c o NPNP∩coNPNP\cap coNP

24 cc.complexity-theory  conditional-results 

Beklenen çalışma süresinin polinom olduğu bilinen bir algoritmanın bilinen bir NP-tamam problemi var mı (örnekler üzerinde hassas bir dağılım için)? Olmazsa, böyle bir algoritmanın varlığının kurulduğu sorunlar var mı? Yoksa böyle bir algoritmanın varlığı, deterministik bir polinom zaman algoritmasının varlığına mı işaret ediyor?

24 cc.complexity-theory  np-hardness 

Bu soru, Bilgisayar Bilimleri Yığın Değişim Borsası'ndan geçirilmiştir , çünkü Teorik Bilgisayar Bilimleri Yığın Değişim Borsası'ndan cevaplandırılabilir. 3 yıl önce göç etti . 2016 Bilim kağıt "olarak ölçeklenebilir Şor algoritmanın gerçekleştirilmesi " [ 1 ], yazarlar, "gerekli olan" Tablo 1 'e uygun 8 qubits daha az olan sadece 5 qubits …

23 cc.complexity-theory  ds.algorithms  quantum-computing  factoring  security 

Bir erişim oracle her şey için büyük, süper polinom hız-up sağlayacak N P - P (set varsayarak boş değildir). Bununla birlikte, P'nin bu kehanet erişiminden ne kadar fayda sağlayacağı daha az açıktır . Tabii ki, hız-up içinde P süper polinom olamaz, ama yine de polinom olabilir. Örneğin, bir S A …

23 cc.complexity-theory  np  np-complete 

Karmaşıklık teorisi, NP'nin eksiksizliği gibi kavramlar aracılığıyla, nispeten verimli çözümleri olan hesaplanabilir problemler ile anlaşılmaz olanları birbirinden ayırır. "İnce taneli" karmaşıklık, bu nitel ayrımı sorunları çözmek için gereken tam zamana ilişkin kantitatif bir rehber haline getirmeyi amaçlamaktadır. Daha fazla ayrıntı burada bulunabilir: http://simons.berkeley.edu/programs/complexity2015 İşte bazı önemli hipotezler: ETH: 333 - …

23 cc.complexity-theory  reference-request  complexity-classes  fine-grained 

Şu anda bitcoin SHA256 kullanan bir çalışma kanıtı (PoW) sistemine sahiptir. Diğer karma fonksiyonlar, çalışma sistemi kullanım grafiklerini, kısmi karma fonksiyon inversiyonunu kullanır. Düğüm Teorisi'nde Düğüm tanıma gibi bir Karar problemi kullanmak mümkün müdür ve işin bir ispatı işlevi yapar mı? Ayrıca bunu daha önce kimse yapmış mı? Ayrıca, bu …

23 cc.complexity-theory  reference-request  cr.crypto-security  algebraic-topology 

Bir polinom , eğer m = poly ( n ) ise bir polinom g ( y 1 , … , y m ) monoton projeksiyonu ve π : { y 1 , … , y m } → { x 1 , … , x n , 0 , 1f(x1,…,xn)f(x1,…,xn)f(x_1,\ldots,x_n)g(y1,…,ym)g(y1,…,ym)g(y_1,\ldots,y_m)mmm(n)(n)(n) …

23 cc.complexity-theory  circuit-complexity  lower-bounds  arithmetic-circuits 

Şu anda EXPSPACE-komple sorunları bulmaya çalışıyorum (özellikle bir azaltma için ilham bulmak için) ve sonuçların az olması beni şaşırttı. Şimdiye kadar bunları buldum ve listeyi genişletmekte sorun yaşıyorum: üstel ifadeli düzenli ifadelerin evrenselliği (veya diğer özellikleri). vektör toplama sistemleriyle ilgili problemler gözlemlenemeyen oyunlar (örneğin bu bloga bakın ) Birinci Mertebeden …

23 cc.complexity-theory  reference-request  big-list 

O trivially üzerinde OR fonksiyonu bilmek nnn değişkenleri x1, … , Xnx1,…,xnx_1,\ldots, x_n tam olarak polinom ile temsil edilebilir p ( x1, … , Xn)p(x1,…,xn)p(x_1,\ldots,x_n) , örneğin: p ( x1, … , Xn) = 1 - ∏ni = 1( 1 - xben)p(x1,…,xn)=1−∏i=1n(1−xi)p(x_1,\ldots,x_n) = 1-\prod_{i = 1}^n\left(1-x_i\right) , ki bu derecedir …

23 cc.complexity-theory  co.combinatorics  lower-bounds  polynomials