«complexity-classes» etiketlenmiş sorular

Bilgisayar ve karmaşıklıkla ilgili bir kursa gidiyorum ve bu terimlerin ne anlama geldiğini anlayamıyorum. Tek bildiğim, NP'in NP zorluğunun bir alt kümesi olan NP tamamının bir alt kümesi olduğu, ancak gerçekte ne anlama geldiklerini bilmiyorum. Açıklamalar hala biraz fazla yüksek olduğu için Wikipedia da pek yardımcı değil.

247 complexity-theory  terminology  complexity-classes  p-vs-np  reference-question 

PSPACE'in neden EXPTIME'dan farklı olduğuna inanıldığını sezgisel olarak anlamakta güçlük çekiyorum. PSPACE, giriş büyüklüğünde uzay polinomunda çözülebilen bir sorun kümesi ise , o zaman daha fazla üssel zaman patlaması yaşayan ve üssel alanı kullanmayan bir problemler sınıfı nasıl olabilir?f(n)f(n)f(n) Yuval Filmus'un cevabı çoktan yardımcı oldu. Bununla birlikte, biri neden PSPACE …

31 complexity-theory  complexity-classes  intuition 

3sum sorun çalışır 3 tam sayılarını belirlemek için bir dizi büyüklüğü N , öyle ki , bir + b + c = 0 .Sa,b,cbir,b,ca,b,cSSSnnna+b+c=0bir+b+c=0a + b + c = 0 İkinci dereceden daha iyi bir çözüm olmadığı, yani olduğu varsayılmaktadır . Veya farklı koymak gerekirse: o ( n log ( …

29 complexity-theory  combinatorics  complexity-classes 

Birisi evrensel bir kuantum bilgisayar yapacak olsaydı, bunun P-NP problemi üzerinde bir etkisi olur mu?

25 complexity-theory  complexity-classes  quantum-computing 

Bu soru, Teorik Bilgisayar Bilimleri Yığın Değişim Borsası'ndan taşınmıştır , çünkü Bilgisayar Bilimleri Yığın Değişim Borsasında yanıtlanabilir. 7 yıl önce göç etti . Grafik teorisindeki Clique problemiyle ilgili bu Wikipedia makalesinde , başlangıçta, G grafiğindeki K boyutunda bir clique bulma probleminin NP-tamam olduğunu belirtir: Cliques bilgisayar biliminde de çalışılmıştır: bir …

23 complexity-theory  graph-theory  np-complete  complexity-classes 

Bu mümkün ve kardinalitesi kardinalitesi aynıdır ? Yoksa , ve farklı kardinallere sahip olması gerektiği anlamına mı geliyor?P≠NPP≠NP\mathsf{P} \not = \mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}P≠NPP≠NP\mathsf{P} \not = \mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}

20 complexity-classes  p-vs-np 

Stack Overflow'da, belirli bir düğümü içeren bir grafikteki tüm basit döngüleri listelemenin NP- sert olup olmadığını soran bir soru okuyordum ve bana uygun olan herhangi bir karmaşıklık sınıfını düşünemedim. formdaki sorunlar hakkında konuşmak "bu soruna tüm çözümleri listele." NP sınıfı bir anlamda en az bir çözümün olup olmadığını soran problemlerden …

15 complexity-theory  reference-request  complexity-classes  enumeration 

Bir yani B, indirgenebilir olalım . Bu nedenle, A'yı kabul eden Turing makinesi B için bir kehanete erişebilir . Turing makinesi kabul edelim bir olmak M A ve torpil B olmak O B . İndirgeme türleri:A≤BA≤BA \leq BAAABBBAAAMAMAM_{A}BBBOBOBO_{B} Turing azaltma: , O B için birden fazla sorgu yapabilir .MAMAM_{A}OBOBO_{B} Karp …

15 complexity-theory  np-complete  reductions  complexity-classes 

"Hesaplamalı Karmaşıklık: Modern bir yaklaşım" (2009) kitabında belirtildiği gibi Karp-Lipton teoreminin kanıtını anlamaya çalışıyorum. Özellikle, bu kitap aşağıdakileri belirtir: Karp-Lipton teoremi Eğer NP , daha sonra pH .P ∖ p o l y = Σ p 2⊆⊆\subseteq P∖ p o l yP∖polyP_{\backslash poly} = Σp2=Σ2p= \Sigma^p_2 Korumalı: teoreminin 5.4 ile …

14 complexity-theory  complexity-classes 

Bir öğrenci kısa süre önce benden onlar için bir NP sertlik kanıtı kontrol etmemi istedi. Şunlar boyunca bir azalma gerçekleştirdiler: Bu sorun azaltmak NP-tam benim problem için olduğu bilinir böylece (a poli-zamanlı birçok kimse azalma ile birlikte) NP-zor. P PP'P′P'PPPPPP Cevabım temel olarak: Yana değerlerle örneği var Eğer azalma atlamak …

14 complexity-theory  reference-request  complexity-classes  real-numbers  computable-analysis 

Bu iki konuyla ilgili birkaç sorum var. İlk olarak, çoğu karmaşıklığı metinleri yalnızca sınıf geçiştirmeye . Araştırmayı daha derinlemesine kapsayan iyi bir kaynak var mı? Örneğin, aşağıdaki tüm sorularımı tartışan bir şey. Ayrıca, N C'nin paralelleşme bağlantısı nedeniyle hala oldukça fazla araştırma gördüğünü varsayıyorum , ancak yanlış olabilirim. Karmaşık hayvanat …

14 complexity-theory  reference-request  parallel-computing  complexity-classes 

Ben biraz yeniyim, ancak bilgi işlem ve karmaşıklık teorisi alanıyla çok ilgileniyorum ve problemlerin nasıl sınıflandırılacağı ve problemlerin bunları çözmek için kullanılan makine ile ne kadar güçlü bir şekilde ilişkili olduğu konusundaki anlayışımı netleştirmek istiyorum. Anlayışım Standart Turing Makinesi - Sonlu alfabesi, sonlu sayıda durumu ve tek bir sağ sonsuz …

13 complexity-theory  computability  terminology  turing-machines  complexity-classes 

Okuduğumdan preliminary version of a chapter of the book “Lectures on Scheduling” edited by R.H. M¨ohring, C.N. Potts, A.S. Schulz, G.J. Woeginger, L.A. Wolsey, to appear around 2011 A.D. Bu PTAS Tanımı: X problemi için bir polinom zaman yaklaştırma şeması ( PTAS ) , zaman karmaşıklığı girdi boyutunda polinom olan …

13 algorithms  complexity-theory  terminology  complexity-classes  approximation 

Arthur-Merlin karmaşıklık sınıfında herhangi bir sorun olup olmadığını merak ediyorum. Grafik Olmayan İzomorfizma (GSMH) bir problem klasik örneği gibi görünüyor yılında AM, ama muhtemelen tam bir tane değil. Ayrıca "tam" bir sorunun AM için iyi tanımlanmış olup olmadığını merak ediyorum. AM = BP.NP olduğundan, AM'ye "indirgeme" ye gitmek, deterministik karmaşıklık …

12 complexity-theory  reductions  complexity-classes  interactive-proof-systems 

karmaşıklık sınıfı ne anlama geliyor? Biliyorum dilleri içeren karmaşıklık sınıf olan bir polinom zaman nondeterministic Turing makinesi olup şekilde IFF makinesi kabul durumlarının sayısı girişine garip.⊕P⊕P⊕P⊕P\oplus P^{\oplus P}⊕P⊕P\oplus PAAAMMMx∈Ax∈Ax \in AMMMxxx Peki anlama geliyor? Aslında ne yaptığını takip edemiyorum :)⊕P⊕P⊕P⊕P\oplus P^{\oplus P} Bu tür karmaşıklık sınıfının pratik sonuçları nelerdir ve …

12 complexity-theory  terminology  complexity-classes