«cc.complexity-theory» etiketlenmiş sorular

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

1
Adleman'ın sonsuz dönemlere ilişkin teoremi?
Adleman bu 1978'de göstermiştir boolean bir fonksiyonu ise: bir değişken boyutlu bir olasılık Boole devre ile hesaplanabilmektedir , daha sonra de deterministik hesaplanabilmektedir ve cinsinden polinom büyüklüğünde boole devresi ; aslında, boyutunda . BPP⊆P/polyBPP⊆P/poly\mathrm{BPP}\subseteq \mathrm{P/poly}fffnnnMMMfffMMMnnnO(nM)O(nM)O(nM) Genel Soru: hangi diğer (boole dışında) semirleri tutar? BPP⊆P/polyBPP⊆P/poly\mathrm{BPP}\subseteq \mathrm{P/poly} Biraz daha spesifik olmak gerekirse, …
2
ALogTime! = PH'un kanıtlanması zor (ve bilinmiyor)?
Lance Fortnow geçtiğimiz günlerde L! = NP'yi kanıtlamanın P! = NP'yi kanıtlamaktan daha kolay olması gerektiğini iddia etti : NP'yi Logaritmik uzaydan ayırın. Blog öncesi 2001'de köşegenleştirme üzerine bir ankette (Bölüm 3) dört yaklaşım verdim , ancak hiçbiri göz ardı edilmedi. P'yi NP'den ayırmaktan çok daha kolay olmalıdır. Bağlantılı anketteki …
1
Rabin'in “bir işlevi hesaplamanın zorluk derecesi ve özyinelemeli kümelerin kısmi sıralaması”
Bakıyorum: Michael O. Rabin, "Bir işlevi hesaplamanın zorluk derecesi ve özyinelemeli kümelerin kısmi sıralaması", Hebrew Üniversitesi, Kudüs, 1960 Özet: “Belirli bir hesaplanabilir (özyinelemeli) işlevi hesaplama görevinin doğasında bulunan iş miktarını ölçmeye çalışıyoruz. Hesaplamanın zorluk derecesi kavramı tanıtılır ve incelenir. Bu kavram, söz konusu fonksiyonları hesaplamak için kullanılan ideal bilgisayarlardan (Turing …
1
En yavaş çoklu azaltma?
Biz kanıtlamak istediğinizde olan K P -Komple, daha sonra standart yaklaşım, bilinen bir polinom zaman hesaplanabilir çok-on azalttığı da bir N P için Komple sorun L . Bu bağlamda indirgemenin çalışma süresi üzerinde sıkı bir sınırlamaya ihtiyacımız yok. Herhangi bir polinom sınırına sahip olması yeterlidir , bu da muhtemelen çok …
2
Etiketli DAG'ın sözlükbilimsel olarak en az topolojik türü
Bir asiklik yönlendirilmiş grafiktir biz girdi olarak verilir problemi göz önünde , bir etiketleme fonksiyonu gelen V bir grubu için L toplam sipariş <_l biz istenir (örneğin, tam sayı) ve sözlükbilimsel olarak en küçük topolojik G türünü \ lambda cinsinden hesaplamak . Daha kesin olarak, bir topolojik sıralama arasında G …
2
Turing makinesi açısından mP / poly'nin eşdeğer bir tanımı nedir?
P / poly, bir polinom boyutlu Boole devreleri ailesi tarafından çözülebilen karar problemleri sınıfıdır. Alternatif olarak, n cinsinden polinom boyutunda olan ve yalnızca n boyutuna dayanan bir tavsiye dizesi alan bir polinom-zaman Turing makinesi olarak tanımlanabilir. MP / poli, polinom boyutlu monoton Boolean devreleri ailesi tarafından çözülebilen karar problemleri sınıfıdır, …
2
Permütasyonla ilgili problemlerin karmaşıklığı
ve iki vektör bir grup permütasyonu verildiğinde burada son derece uygun olmayan sonlu bir alfabe, soru bazı olup olmadığıdır şekilde burada permütasyon uygulama aracı üzerinde beklenen bir şekilde.GGG[n]={1,⋯,n}[n]={1,⋯,n}[n]=\{1, \cdots, n\}u,v∈Γnu,v∈Γnu,v\in \Gamma^nΓΓ\Gammaπ∈Gπ∈G\pi\in Gπ(u)=vπ(u)=v\pi(u)=vπ(u)π(u)\pi(u)ππ\piuuu Ayrıca giriş olarak sonlu bir jeneratör seti tarafından verildiğini varsayalım . Sorunun karmaşıklığı nedir? Özellikle, NP'de mi?GGGSSS
1
“Yılan” yeniden yapılandırma sorunu
Nibbler ve Snake video oyunlarının karmaşıklığı üzerine küçük bir yazı yazarken ; Her ikisinin de düzlemsel grafiklerde yeniden yapılandırma problemleri olarak modellenebileceğini buldum; ve bu tür problemlerin hareket planlama alanında iyi çalışılmamış olması muhtemel görünmemektedir (örneğin, bir bağlantılı araba veya robot zinciri hayal edin). Oyunlar iyi bilinir, ancak bu ilgili …
2
hiyerarşisinin daha yüksek seviyelerinde doğal tam problemler
-hierarchy karmaşıklığı sınıfların bir hiyerarşi , bkz parametreli karmaşıklığı Karmaşıklık Zoo tanımları için. Alternatif bir tanım, birinci dereceden mantığın formülleri için ağırlıklı Fagin tanımını kullanarak tanımlar, Flum ve Grohe'nin ders kitabına bakın .WW\mathsf{W}W[t]W[t]\mathsf{W}[t]W[t]W[t]\mathsf{W}[t]ΠtΠt\Pi_t En düşük ve sınıfları için birçok doğal tam sorun bilinmektedir, örn. Clique ve Independent Set , ve …
1
Zor genişletilebilirlik sorunları
Genişletilebilirlik probleminde, çözümün bir parçası olarak verilir ve bunu tam bir çözüme genişletip genişletemeyeceğimize karar vermek istiyoruz. Bazı uzatılabilirlik problemleri verimli bir şekilde çözülebilirken, diğer uzayabilirlik problemleri kolay bir problemi zor olana dönüştürür. Örneğin, Konig-Hall teoremi her kübik iki taraflı grafikleri 3-kenar renklendirilebilir, ancak bildiren genişletilebilirliği versiyon haline gelir KompleNPNPNP …
1
Önemsiz tek tip devreler var mı?
zamanında çalışan bir algoritma göz önüne alındığında , aynı boyut problemi için en fazla bir "önemsiz" düzgün devre ailesine dönüştürebiliriz .t(n)t(n)t(n)≈t(n)logt(n)≈t(n)log⁡t(n)\approx t(n)\log t(n) Öte yandan, en uygun çalışma süresi olsa bile, bu sorun için çok daha küçük düzgün devrelerimiz olabilir . Devrelerin oluşturulması den daha uzun sürebilir , ancak küçüktürler.t(n)t(n)t(n)t(n)t(n)t(n) …
1
PARTITION'ın bir başka çeşidi
Belirli bir zamanlama sorununa aşağıdaki bölüm sorunu bir azalma var: Girdi: Bir liste a1⩽⋯⩽ana1⩽⋯⩽ana_1\leqslant\cdots\leqslant a_n olmayan azalan sırayla pozitif tamsayılar. Soru: \ {- 1,1 \} ^ n içinde bir vektör (x_1, \ ldots, x_n) \(x1,…,xn)∈{−1,1}n(x1,…,xn)∈{−1,1}n(x_1,\ldots,x_n)\in\{-1,1\}^n var mı? ∑i=1naixi=0and∑i=1naixi=0and\sum_{i=1}^na_ix_i=0\qquad\text{and} ∑i=1kaixi⩾0for all k∈{1,…,n}∑i=1kaixi⩾0for all k∈{1,…,n}\sum_{i=1}^ka_ix_i\geqslant 0\quad\text{for all }k\in\{1,\ldots,n\} İkinci koşul olmadan bu …
2
Las Vegas ve Monte Carlo Rastgele Karar Ağacı Karmaşıklığı
Arka fon: Karar ağacı karmaşıklığı veya sorgu karmaşıklığı, aşağıdaki gibi tanımlanan basit bir hesaplama modelidir. Let olduğu bir Boolean fonksiyonu. ile gösterilen deterministik sorgu karmaşıklığı, girişinin (daha kötü durumda) deterministik bir algoritma tarafından okunması gereken minimum bit sayısıdır. değerini hesaplar . Karmaşıklık ölçüsünün, okunan girdinin bit sayısı olduğunu unutmayın; diğer …
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.