«complexity-classes» etiketlenmiş sorular

Karmaşıklık sınıfları arasındaki ilişkiler hakkında sorular.

7
Tanımı nedir
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.

2
Neden PSPACE ≠ EXPTIME olduğuna inanıyoruz?
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 …



1
K-clique problemi NP tamamlandı mı?
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 …

3
Does ima?
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}

1
Tüm çözümleri listelemeye ilişkin karmaşıklık sınıfları?
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 …


1
Karp-Lipton teoreminin kanıtı
"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 …

2
Reel sayılarla belirlenmiş karmaşıklık sınıfları var mı?
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 …

2
Paralel hesaplama ve NC sınıfı hakkında bazı sorular
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 …

3
P, NP ve özel Turing Makineleri
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 …


1
Bilinen AM-complete problemleri var mı / AM-complete iyi tanımlanmış mı?
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 …

1
Karmaşıklık sınıfı nedir
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 …

Sitemizi kullandığınızda şunları okuyup anladığınızı kabul etmiş olursunuz: Çerez Politikası ve Gizlilik Politikası.
Licensed under cc by-sa 3.0 with attribution required.