«complexity-classes» etiketlenmiş sorular

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

1
Listedeki siparişin
Sipariş bakım sorunu (veya "bir listede siparişi korumak") işlemleri desteklemek içindir: singleton: bir öğe içeren bir liste oluşturur, ona bir işaretçi döndürür insertAfter: öğeye bir işaretçi verildiğinde, öğeye yeni bir öğe ekler ve yeni öğeye bir işaretçi döndürür delete: bir öğeye bir işaretçi verildiğinde öğeyi listesinden kaldırır minPointer: aynı listedeki …
3
Hesaplama karmaşıklığı sınıflarını karakterize eden teoriler
" FPH için uygulamalı bir teori " makalesini okurken aşağıdaki bölümle karşılaşabilirsiniz: Hesaplama karmaşıklığı sınıflarını karakterize eden teoriler göz önüne alındığında, üç farklı yaklaşım vardır: birincisi, teori içinde tanımlanabilen fonksiyonlar belirli bir karmaşıklık sınıfında “otomatik” tir. Böyle bir hesapta, sözdiziminin uygun sınıfta kalmasını garanti etmek için kısıtlanması gerekir. Bu, genel …
2
APX NP'de bulunur mu?
Yaklaşım faktörü 1 + c olan P için bir polinom zaman yaklaşımı algoritması bulunacak şekilde bir c> 0 sabiti varsa bir problemin APX'te olduğu söylenir. APX, PTAS (herhangi bir c> 0 sabitini seçerek görülür) ve P içerir. APX NP'de mi? Özellikle, bazı yaklaştırma faktörleri için bir polinom-zaman yaklaştırma algoritmasının varlığı …
1
vs
Bizim son çalışmamızda, varsayımı altında, kombinatoryal bağlamda ortaya çıkan bir hesaplama sorunu çözmek , ise ait -version . ilgili tek yazı , Beigel-Buhrman-Fortnow 1998 makalesinde yer alan Karmaşıklık Hayvanat Bahçesi . problemlerinin eşlik sürümlerini alabileceğimizi anlıyoruz ( bu soruya bakın ), ancak belki de birçoğu . ⊕EXP≠⊕EXPEXP≠⊕EXP\mathsf{EXP} \ne \mathsf{\oplus{}EXP}E X …
5
Keyfi kuantum hallerde girdi olarak alan kuantum alt rutinleri için karmaşıklık sınıfı nedir?
Karmaşıklık sınıfı BQP, klasik girdiler alarak ve olasılıklı bir klasik çıktı tüküren polinom zaman kuantum alt rutinlerine karşılık gelir. Kuantum tavsiyesi, önceden belirlenmiş bazı kuantum tavsiye durumlarının kopyalarını içerecek şekilde değiştirir, ancak her zamanki gibi klasik girdilerle. Polinom zaman kuantum altyordamları için keyfi kuantum durumlarını girdi olarak alan, tek bir …
2
SPACE karmaşıklık sınıflarının kuantum analogları
Turing makinemizin kullanabileceği alan miktarıyla sınırlı olduğumuz karmaşıklık sınıflarını sık sık değerlendiriyoruz, örneğin: veya NSPACE ( f ( n ) ) . Karmaşıklık teorisinin başlarında bu sınıflarda uzay hiyerarşi teoremi ve L ve PSPACE gibi önemli sınıflarda yaratılış gibi çok başarılı olduğu görülüyor . Kuantum hesaplaması için benzer tanımlar var …
1
NC'deki problemlerin NC2'de olduğu bilinmemektedir
İçindedir orada ilginç sorunlar ama olmak bilinmemektedir N C 2 ? Yazıda Cook MIS sadece olmak biliniyordu bahseder, 'problemlerle A Taksonomi Hızlı Algoritmalar Paralel' N C 5 ama bu yana aşağı getirilmiştir N C 2 . Ben derinliği artırmak için sıkışmış gibi görünüyor polilog derinliği paralel algoritmaları ile başka herhangi …
1
ACC cricuits'in Beigel-Tarui dönüşümü
Arora ve Barak'ın Hesaplama Karmaşıklığı kitabında NEXP için ACC alt sınırları hakkındaki eki okuyorum . http://www.cs.princeton.edu/theory/uploads/Compbook/accnexp.pdf önemli lemmalarõn bir bir dönüşümdür eşdeğer polylogarithmic derecesi ve quasipolynomial katsayıları veya tamsayılar üzerinde çoklu doğrusal polinomları devreler devre sınıfı S Y M + , poliasaritmik fan girişi ile alt seviyesinde çok sayıda AND …
2
Parite-P, PP'de bulunur mu?
Bu soru Jan Pax tarafından Matematiğin Temelleri posta listesi hakkında sorulmuştur . Kesinlikle P⊕P⊆P#P=PPPP⊕P⊆P#P=PPPP^{\oplus P} \subseteq P^{\#P} = P^{PP} ama bu sorunun cevabından olup olmadığının bilinmediğinden şüpheleniyorum ⊕P⊆PP⊕P⊆PP\oplus P \subseteq PP(aksi takdirde PPPPPP bu sorunun olası bir cevabı olacaktır). Eğer bilinmiyorsa, kehanet ayrılığı var mı?
1
Bir problem NP'de nasıl olabilir, NP-sert olabilir ve NP-tam olmayabilir?
En uzun süredir, (1) NP-sert ve (2) NP ise, bir sorunun NP-tamamlanmış olduğunu düşündüm. Bununla birlikte, ünlü "Elipsoid yöntemi ve kombinatoryal optimizasyondaki sonuçları" makalesinde yazarlar, fraksiyonel kromatik sayı probleminin NP'ye ait olduğunu ve NP-zor olduğunu, ancak NP-tam olduğu bilinmemektedir. Makalenin üçüncü sayfasında yazarlar: ... bir grafiğin tepe paketleme sorun fraksiyonel …
1
ile
Biliyorum (NP oracle logaritmik çok çağrıları) eşdeğerdir (polinom NP oracle'e paralel sorgu sayısı). Bu sınıfların "işlev" sürümünün de eşdeğer olup olmadığını merak ediyordum, yaniPNP[logn]PNP[log⁡n]\mathsf{P}^{\mathsf{NP}[\log n]}PNP||PNP||\mathsf{P}^{\mathsf{NP}||} FPNP[logn]=FPNP||FPNP[log⁡n]=FPNP|| \mathsf{FP}^{\mathsf{NP}[\log n]} = \mathsf{FP}^{\mathsf{NP}||} Doğru olduğu biliniyorsa, bir işaretçi gerçekten yardımcı olacaktır.
3
İki CNF'nin aynı sayıda çözüme sahip olup olmadığını kontrol etmenin karmaşıklığı
İki CNF verildiğinde, doğru yapmak için aynı sayıda ödeve sahiplerse, "Evet" yanıtı, aksi takdirde "Hayır" yanıtını verin. olduğunu görmek kolaydır , çünkü bu iki CNF'ye kesin çözüm sayısını bilirsek, sadece onları kamp eder ve "Evet" veya "Hayır" yanıtını veririz.P#PP#PP^{\#P} Bu sorunun karmaşıklığı nedir?
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.