«cc.complexity-theory» etiketlenmiş sorular

NP ve NP ile sınırlı diğer kaynak hesaplamaları.

1
Doğrusal devre karmaşıklık sınıfları
Sınıf sınıf işlevleri, sınırlı yelpaze içinde devreler aileleri tarafından hesaplanabilir boyutu ve derinliği. -hierarchy bu sınıfların birleşimidir.NCiNCi\textrm{NC}^inO(1)nO(1)n^{O(1)}O(logi(n))O(logi⁡(n))O(\log^i(n))NCNC\textrm{NC} Bu hiyerarşinin doğrusal boyutlu varyantı hakkında herhangi bir çalışma var mı? Sınırlı fan girişi, polilog derinliği ve doğrusal boyutta devre aileleri mi? Onların doğrusal- ile bazı çalışma var biliyorum ama başka bir şey. …
1
Bu oyunun karmaşıklığı nedir?
Bu, önceki sorumun genelleştirilmesidir . Let MMM bazı kahin soru sorabilir bir polinom zamanlı deterministik makine olmak birbirA . Başlangıçta birbirA boştur ancak bu, aşağıda anlatılacak olan bir oyundan sonra değiştirilebilir. Let xxx bazı dize. Aşağıdaki Alice ve Bob oyununu düşünün. Başlangıçta Alice ve Bob sırasıyla mbirmbirm_A ve mBmBm_B dolarlarına …
1
Kuantum algoritmalarının hızlı klasik simülasyonu
Bir problem için kuantum algoritmasının klasik simülasyonunun, bu problem için daha önce bilinen en iyi klasik algoritmadan daha iyi performans gösterdiği durumlara örnekler var mı? "Daha iyi performanslar" farklı karmaşıklık sınıflarını ifade etmek zorunda değildir, sadece daha iyi ölçeklendirme olabilir. Bu soru, bir kuantum öneri algoritmasının etkili klasik simülasyonu olgusundan …
1
Bu oyun EXPSPACE-complete mi?
Let bazı kahin soru sorabilir bir polinom zamanlı deterministik makine olmak . Başlangıçta boştur ancak bu, aşağıda anlatılacak olan bir oyundan sonra değiştirilebilir. Let bazı dize.MMMbirbirAbirbirAxxx Aşağıdaki Alice ve Bob oyununu düşünün. Başlangıçta Alice ve Bob sırasıyla ve dolara . Alice istiyor ve Bob istiyor .mbirmbirm_AmBmBm_BMbir( x ) = 1Mbir(x)=1M^A(x)=1Mbir( …
2
Grafik problemlerinin varsayımsal karmaşıklığına ilişkin ortak bilgiler
Bazı grafik problemlerinin varsayımsal sertliğine dair iki örnekle karşılaştım. Varsayımsal sertlik, bazı varsayımları reddetmenin, ilgili grafik sorununun NP-bütünlüğünü ima edeceği anlamına gelir. Örneğin, Barnette'in varsayımı her 3 bağlantılı kübik düzlemsel iki taraflı grafiğin Hamiltoncu olduğunu belirtir. Feder ve Subi , varsayımın reddedilmesinin , Hamilton sınıfı probleminin varsayım sınıfındaki grafiklerde NP …
1
Seyrek takımlarda ve P vs L
Mahaney Teoremi seyrek varsa söyler polinom zamanlı birçok kimse indirimleri altında -tamamlamak seti, daha sonra P = N P . (Bkz. " NP için seyrek takımlar: Berman ve Hartmanis varsayımlarının çözümü ")N-PN-PNPP= NPP=N-PP = NP Diğer karmaşıklık sınıfları için seyrek komple kümelerin varlığının bilinen sonuçları var mı? Özellikle, günlük alanı …
1
Ortalama
Ortalama lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n) karşılaştırmaları kullanan karşılaştırma tabanlı bir sıralama algoritması var mı? En kötü durum lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n) karşılaştırma algoritmasının varlığı açık bir sorundur, ancak ortalama durum her girdi için beklenen lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n) karşılaştırmaları olan rastgele bir algoritma için yeterlidir . Önemi lg(n!)+o(n)lg(n!)+o(n)\mathrm{lg}(n!)+o(n) o şekilde o(n)o(n)o(n) tek bir ortalama israf, en uygun olan karşılaştırmalar …
1
İkili Çarpmanın En Önemli Bitine Karar Verme
Aşağıdaki karar sorununun karmaşıklığını belirlemekle ilgileniyorum: l 1 ve l 2 (her biri en fazla m biti olan) iki tamsayı verildiğinde , l 1 ⋅ l 2 çarpımının en önemli bitinin 1 (sonuç muhtemelen önde gelen 0'larla 2m bit olarak yazdırılır)?l1l1l_1l2l2l_2l1⋅l2l1⋅l2l_1 \cdot l_2 Sorunu bazı arka planı: Kuşkusuz, bu problem …
2
Bir Dizeyi Homojenleştirmenin Karmaşıklığı
Motivasyon : Veri sürümü oluşturma araçları geliştirirken, bir tamsayı kümesini diğerine götüren bir dönüşüm dizisi oluşturarak iki tamsayı kümesini "ayırmak" için algoritmalar aradık. Bu sorunu mesafeyi düzenlemek, takas ile gruplamak ve minimum ortak dize bölümü gibi görünen çok doğal soruna indirgedik . Sorun : Bize bir dize, yani bir dizi …
1
Sınırlı genişlikte SAT günlük alanında karar verilebilir mi?
Elberfeld, Jakoby ve Tantau 2010 ( ECCC TR10-062 ) Bodlaender teoreminin alan açısından verimli bir versiyonunu kanıtladı. Bunlar en az treewidth ile grafikler için gösterdi , genişliği bir ağaç ayrışma k logaritmik alan kullanılarak bulunabilir. Bağlı boşluktaki sabit faktör k'ye bağlıdır . (Bodlaender teoremi, sabit faktörde k'ye üstel bir bağımlılık …
1
Taraflı paralı BPP standart BPP'ye ne zaman eşittir?
Olasılıksal bir Turing makinesinin olasılığı ile birlikte gelen haksız bir paraya erişmesine izin verin (döndürmeler bağımsızdır). B P P p'yi , böyle bir makine tarafından polinom zamanda tanınabilen dil sınıfı olarak tanımlayın . Bunu kanıtlamak standart bir alıştırmadır:pppB PPpBPPpBPP_p A) rasyonel veya hatta B P P uyumluysa, B P P …
1
Sonlu cisimler üzerinde doğrusal dinamik sistemlerde erişilebilirliğin karmaşıklığı
Let AAA sonlu alan üzerinde bir matris F2={0,1}F2={0,1}\mathbb{F}_2 = \{0,1\} ve xxx , yyy alan vektörleri olduğu Fn2F2n\mathbb{F}_2^n . olup olmadığına karar vermenin hesaplama karmaşıklığıyla ilgileniyorum, t∈Nt∈Nt \in \mathbb{N}öyle ki Atx=yAtx=yA^t x = y , yani sonlu alanlar üzerinden doğrusal dinamik sistemler için ulaşılabilirlik probleminde. Sorun olduğu açıktır NPNP\mathbf{NP} (tahmin …
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.