«complexity-classes» etiketlenmiş sorular

Hesaplamalı karmaşıklık sınıfları ve ilişkileri

8
İnsan zihninin hızla başarabildiği ile en yakından ilişkili olan karmaşıklık sınıfı nedir?
Bu soru bir süredir merak ettiğim bir şey. İnsanlar P-NP problemini tanımladıklarında, genellikle NP sınıfını yaratıcılıkla karşılaştırırlar. Mozart kalitesinde bir senfoni oluşturmanın (NP görevine benzer şekilde) önceden oluşturulmuş bir senfoninin Mozart kalitesinde (P görevine benzer) olduğunu doğrulamaktan çok daha zor göründüğünü belirtiyorlar. Fakat NP gerçekten "yaratıcılık sınıfı" mı? Çok fazla …
2
Kişi P = NP'yi P = PH ötesine yükseltebilir mi?
Gelen Açıklayıcı Karmaşıklık , Immerman vardır Corollary 7.23. Aşağıdaki koşullar eşdeğerdir: 1. P = NP. 2. Sonlu olarak, sıralı yapılar üzerine, FO (LFP) = SO. Bu, (muhtemelen) daha büyük karmaşıklık sınıfları üzerinde eşdeğer bir ifadeye P = NP'yi “yükseltmek” olarak düşünülebilir. SO polinom-zaman hiyerarşisi PH'yı yakaladığını ve FO'nun (LFP) P'yi …
4
sonuçları nelerdir
Bunu biliyoruz L⊆NL⊆PL⊆NL⊆P\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{P} ve L⊆NL⊆L2⊆L⊆NL⊆L2⊆\mathsf{L} \subseteq \mathsf{NL} \subseteq \mathsf{L}^2 \subseteq polyLpolyL\mathsf{polyL} , L2=DSPACE(log2n)L2=DSPACE(log2⁡n)\mathsf{L}^2 = \mathsf{DSPACE}(\log^2 n) . Ayrıca biliyoruz polyL≠PpolyL≠P\mathsf{polyL} \neq \mathsf{P}çünkü ikincisi logaritmik uzay altında birçok problemi azaltırken, birincisi bunu yapmaz (uzay hiyerarşi teoremi nedeniyle). Arasındaki ilişkileri anlamak için polyLpolyL\mathsf{polyL} ve PP\mathsf{P} , ilk arasındaki …
4
Çözümün benzersizliğinin bulunmasını kolaylaştırdığı örnekler
Karmaşıklık sınıfı , en fazla bir tane hesaplama yoluna sahip olan polinom zaman belirsiz bir makinesi tarafından kararlaştırılabilecek olan oluşur . Yani, eğer varsa çözüm bu anlamda benzersizdir . Her şey pek olası düşünülmektedir -Sorunları içindedir çünkü tarafından, Yiğit-Vazirani Teoremi bu çöküş anlamına gelecektir .UPUP\mathsf{UP}NPNP\mathsf{NP}UPUP\mathsf{UP}PP\mathsf{P}NP=RPNP=RP\mathsf{NP}=\mathsf{RP} Öte yandan, hiçbir olduğu bilinmemektedir; …
7
Son derece doğru programlar hakkında ne biliyoruz?
Bilgisayar programlarının gittikçe artan karmaşıklığı ve gittikçe önem taşıyan konum bilgisayarları toplumumuzda var ve neden kodun doğru çalıştığına dair resmi bir kanıt vermek zorunda olduğunuz programlama dillerini neden toplu olarak kullanmadığımızı merak ediyor. Terimin 'onaylayıcı bir derleyici' olduğuna inanıyorum ( burada buldum ): bir kodun yalnızca kodu yazması gereken değil, …
3
Mu ima ?
Anladığım kadarıyla, geometrik karmaşıklık teorisi programı , karmaşık değerli bir matrisin izinsizliğinin hesaplayıcıdan çok daha zor olduğunu kanıtlayarak ayırmaya çalışır .VP≠ VN-PVP≠VNPVP \neq VNP GCT Makalelerini gözden geçirdikten sonra yaşadığım soru: Bu hemen anlamına mı geliyor , yoksa bu hedefe doğru atmak için sadece büyük bir adım mı?P≠ NPP≠NPP \neq …
3
Lamda-kalkülüs yoluyla P ve NP sınıflarının açıklanması
Giriş ve açıklamalarda P ve NP karmaşıklık sınıfları genellikle Turing makinesi aracılığıyla verilir. Hesaplama modellerinden biri lambda hesabıdır. Tüm hesaplama modellerinin eşdeğer olduğunu anlıyorum (ve Turing makinesi ile ilgili herhangi bir şey tanıtabilirsek, bunu herhangi bir hesaplama modeli olarak tanıtabiliriz), ancak lambda-calculus aracılığıyla açıklama fikri P ve NP karmaşıklık sınıflarını …
2
Anlamsal ve Sözdizimsel Karmaşıklık Sınıfları
"Hesaplamalı Karmaşıklık" kitabında Papadimitriou şöyle yazıyor: RP bir anlamda yeni ve sıradışı bir karmaşıklık sınıfıdır. Polinom bağlı olmayan sınırlayıcı olmayan Turing makinesi, RP cinsinden bir dil tanımlamanın temeli olabilir. Bir makinenin ( N) bir dili RP olarak tanımlaması için , tüm girdilerde oybirliğiyle reddettiği ya da çoğunluk tarafından kabul ettiği …
5
Düzensizliğin mantıksız gücü
Görüş sağduyu açısından, olmayan determinizm ekleyerek inanmak kolaydır PP\mathsf{P} anlamlı yani gücünü, uzanır, NPNP\mathsf{NP} çok daha büyüktür PP\mathsf{P} . Sonuçta determinizm, şüphesiz çok güçlü görünen üstel paralelliğe izin veriyor. Diğer yandan, sadece olmayan homojen ekleme durumunda PP\mathsf{P} elde edilmesi, P/polyP/poly\mathsf{P}/poly (biz oluşabilir olmayan yinelemeli dilleri dahil varsayarak, daha sonra sezgi …
3
en büyük ortak bölenin karmaşıklığı (gcd)
Aşağıdaki sayma problemini (veya ilgili karar problemini) göz önünde bulundurun: İkili kodlanmış iki pozitif tamsayı verildiğinde, en büyük ortak bölenlerini (gcd) hesaplayın. Bu sorunun içinde bulunduğu en küçük karmaşıklık sınıfı hangisidir? Bir referans verebilir misiniz? Bu soruda öncelikle çalışma zamanındaki asimptotik sınırlarla değil, karmaşıklık sınıflarıyla ilgileniyorum. AC'de sorun mu var? …
1
vs ?
Karmaşıklık teorisinin merkezi problemi tartışmasız olan vs .PPPNPNPNP Bununla birlikte, Nature kuantum olduğundan sınıflarını göz önünde bulundurmak daha doğal gözükecektir (yani, polinom zamanında kuantum bilgisayar tarafından çözülebilen karar problemleri, tüm durumlarda en fazla 1/3 hata olasılığı) ve (kuantum eşdeğeri ve ) kullanılarak.BQPBQPBQPQMAQMAQMANPNPNP Sorularım: 1) - problemine bir çözüm, ve bir …
3
Karmaşıklık Varsayımlarının Bir Antolojisi
Makalede Rastgele Oracle Hipotezi Yanlış , yazarlar (Chang, Chor, Goldreich, Hartmanis, Håstad, Ranjan ve Rohatgi) rastgele-kehanet hipotezinin sonuçlarını tartışıyorlar . Karmaşıklık sınıfları arasındaki ayrılıklar hakkında çok az şey bilmediğimizi ve çoğu sonucun ya makul varsayımları ya da rastgele-kehanet hipotezini kullanmayı içerdiğini savunuyorlar . En önemli ve en çok inanılan varsayım, …
8
Büyük açık karmaşıklık boşlukları ile ilgili sorunlar
Bu soru, bilinen alt sınır ve üst sınır arasında büyük bir açık karmaşıklık boşluğu olduğu, ancak karmaşıklık sınıflarının kendilerindeki açık sorunlar nedeniyle olmadığı sorunlarla ilgilidir. Daha açık olmak gerekirse, edelim bir sorun vardır ki boşluk sınıfları ile ( bir ⊆ B ise benzersiz tanımlanmamış) bir bunun bir kanıtlayabileceğiniz maksimal sınıf …
2
Sonuçları
Bir TCS amatör olarak, kuantum hesaplama konusunda çok popüler, çok tanıtıcı bir materyal okuyorum. Şimdiye kadar öğrendiğim birkaç temel bilgi: Kuantum bilgisayarların NP-komple problemleri polinom zaman içerisinde çözdüğü bilinmemektedir. "Kuantum sihirli yeterli olmayacaktır" (Bennett ve ark 1997).: Sorun yapısını atmak ve sadece alanını düşünülürse , yaklaşık ardından bile kuantum bilgisayar …
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.