«cc.complexity-theory» etiketlenmiş sorular

Görünüşe göre birçok insan kısmen, faktoringin polytime çözülebilir olmadığını düşündüğü için inanmaktadır. (Shiva Kintali burada birkaç aday problem daha listeledi ).P≠ NP∩ c o NPP≠NP∩coNPP \ne NP \cap coNP Öte yandan, Grötschel, Lovász ve Schrijver olduğunu yazdım "birçok kişi inanıyoruz ." Bu alıntı Geometrik Algoritmalar ve Kombinatoryal Optimizasyonda bulunabilir ve …

27 cc.complexity-theory  np  conditional-results 

Bilgisayar bilimi eğitimimde, ayrık problemlerin çoğunun NP tamamlandı (en azından) olduğunu, sürekli problemlerin optimize edilmesinin genellikle degrade teknikleriyle neredeyse her zaman kolayca elde edilebildiğini fark ettim. Bunun istisnaları var mı?

27 cc.complexity-theory  co.combinatorics  optimization 

Bir karar verirken karmaşıklığı ne devre n giriş bit ve n, çıkış bitleri bir permütasyon hesaplar { 0 , 1 } , n ? Başka bir deyişle, { 0 , 1 } n'deki her bit dizginin bir girdi için devrenin bir çıktısı olup olmadığı? Çalışılan bir soruna benziyor, ancak referans …

27 cc.complexity-theory  circuit-complexity  permutations 

"Karmaşıklığı saymada zafer ilan etme zamanı mı?" Başlıklı yazıyı okurken. üzerinden en "Godel'in Kayıp Mektubu ve p = NP" blog, onlar CSP en için ikilemi söz etti. Bazı bağlantıların ardından, googling ve wikipeding, Ladner Teoremine rastladım : Ladner Teoremi: Eğer P≠NPP≠NP{\bf P} \ne {\bf NP} , daha sonra sorunlar var …

27 cc.complexity-theory  np-hardness  complexity-classes  sat  csp 

QiCheng tarafından cevapsız bırakılan “ Belirli bir NC 0 devresinin izin verdiğini hesaplar mı ” sorusu hakkında özel bir soru sormak istiyorum . Her çıkış kapısı sözdizimsel olarak çoğu k giriş kapısına bağlıysa, Boolean devresi NC 0 k devresi olarak adlandırılır . (Bir çıkış geçidinin g sözdizimsel olarak devirli bir …

27 cc.complexity-theory  open-problem  permutations  circuit-families 

Hesaplamalı karmaşıklıkta, monoton ve genel hesaplamalar arasında önemli bir ayrım var ve Razborov'un ünlü bir teoremi, 3-SAT ve hatta MATCHING'in monoton Boole devreleri modelinde polinom olmadığını iddia ediyor. Sorum basit: Monoton devreler için kuantum bir analog var mı (veya birden fazla)? Kuantum Razborov teoremi var mı?

27 cc.complexity-theory  quantum-computing  circuit-complexity 

Topoloji üzerine bir ders alan bir bilgisayar bilimcisiyim (süreklilik teorisi ile yoğun şekilde tatlandırılmış bir nokta-noktası topoloji serpme). Topolojik özellikler için bir mekanın (basit bir şekilde) açıklamasını test eden karar problemleriyle ilgilenmeye başladım; Homeomorfizma korunmuş olanlar. Örneğin, bir düğümün cinsinin belirlenmesinin PSPACE içerisinde olduğu ve NP-Sert olduğu bilinmektedir. (Agol 2006; …

27 cc.complexity-theory  big-list  topology 

Bir mmm ile nnn ikili matris MMM (girişler 000 ya da 111 ), problem iki ikili vektör olup olmadığını tespit etmektir, v1≠v2v1≠v2v_1 \ne v_2öyle ki Mv1=Mv2Mv1=Mv2Mv_1 = Mv_2 ( üzerinde gerçekleştirilen tüm işlemler ZZ\mathbb{Z}). Bu sorun NP zor mu? Tanık olarak iki vektör verebileceğinizden, açıkça NP’de. Eşdeğer: Verilen MMM , …

27 cc.complexity-theory  np-hardness  linear-algebra 

Peter Shor faktoring ve ayrık kütük probleminin en önemli NP-ara problemlerinden ikisinin BQP'de olduğunu gösterdi . Buna karşılık, SAT için en iyi bilinen kuantum algoritması (Grover'ın araması), klasik algoritma üzerinde sadece ikinci dereceden bir gelişme sağlar; NP-tamamlanmış sorunların hala kuantum bilgisayarlarda anlaşılmaz olduğunu ima eder. Arora ve Barak'ın işaret ettiği …

27 cc.complexity-theory  quantum-computing  np  np-intermediate 

Kara kutu modelinde, BPP makinesinin çıkış belirleme problemi girişi x belirlenmesi yaklaşık sayma sorunudur e r M ( x , r ) ilave hata 1/3 (ki) ile .M( x , r )M(x,r)M(x,r)xxxErM( x , r )ErM(x,r)E_r M(x,r) BQP için benzer bir problem var mı? Ken Regan'ın bu yorumu böyle bir …

27 cc.complexity-theory  quantum-computing  black-box 

Düzensizliğin pratikte bilgisayar fonksiyonlarının yardımcı olup olmadığını bilmek istiyorum. Bu fonksiyonlar olduğunu göstermektedir kolaydır , bir uncomputable fonksiyonu almak f dil ve da { 0 f ( n ) : n ∈ co }, açık bir şekilde basit bir homojen olmayan devreler sahip olan, ancak hiç homojen olarak hesaplanmıyor, ancak …

27 cc.complexity-theory  uniformity 

Parity-L , sadece bir çift veya tek sayıda "kabul" yolu (sıfır veya sıfır olmayan sayıda kabul yolu) arasında ayrım yapabilen ve belirleyici olmayan bir Turing makinesi tarafından tanınan dil grubudur. ayrıca logaritmik uzayda çalışmakla sınırlıdır. Doğrusal denklem sistemini over 2 üzerinden çözmek, Parity-L için tam bir sorundur ve bu nedenle …

27 cc.complexity-theory  complexity-classes  conditional-results 

Memnuniyet için "kolay bölgeler" nelerdir? Başka bir deyişle, bazı SAT çözücüler için var olduğunu varsayarak tatmin edici bir görev bulabilmek için yeterli koşullar. Bir örnek, her bir cümle değişkenleri diğer birkaç cümle ile paylaştığında , LLL'nin yapıcı kanıtı nedeniyle , bu satırlar boyunca başka herhangi bir sonuç var mı? Orada …

27 cc.complexity-theory  sat 

Bu temel bir soru olabilir, ancak Nash dengesi hesaplama ve doğrusal yozlaşma testi gibi konularda yazılar okuyup anlamaya çalışıyorum ve gerçek sayıların girdi olarak nasıl belirtildiğinden emin değildim. Örneğin, LDT'nin belirli polinom alt sınırlarının olduğu belirtildiğinde, girdi olarak değerlendirildiğinde gerçek sayılar nasıl belirlenir?

27 cc.complexity-theory  computability  na.numerical-analysis  computing-over-reals  computable-analysis 

Let kare tamsayı matris ve izin pozitif bir tamsayı olmak. Aşağıdaki karar probleminin karmaşıklığı ile ilgileniyorum:MMMnnn Sağ üst girişi pozitif mi?MnMnM^n Yinelenen karenin (ya da diğer açık hesaplamaların) bariz yaklaşımının, potansiyel olarak iki kat üstel büyüklükteki tam sayıları ele almamızı, yani katlanarak çok fazla bit yapmamızı gerektirdiğini unutmayın. Bununla birlikte, …

26 cc.complexity-theory  linear-algebra  matrices