«complexity-classes» etiketlenmiş sorular

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

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
Bağlam: Tüm FPT NP tam diller sabit parametreli-izomorfiktir
Berman – Hartmanis varsayımı: NP-tam tüm diller, birbirleriyle polinom zaman izomorfizmleri ile ilişkilendirilebilecekleri anlamlarına benzerdir [1]. "Polinom zamanının" daha ayrıntılı bir versiyonuyla ilgileniyorum, yani parametreleştirilmiş indirimler kullanırsak. Parametreli bir problem alt kümesidir Σ∗×Z≥0Σ∗×Z≥0Σ^∗ × Z \geq 0, burada ΣΣΣ sonlu bir alfabe ve Z≥0Z≥0Z\geq 0 negatif olmayan sayılar kümesidir. Parametreli …
1
Diferansiyel denklemler kendi karmaşıklık sınıflarında sınıflandırılabilir mi?
Sorunlar, bir bütün olarak, Hesaplamalı Karmaşıklık sayesinde sınıflandırılmıştır. Fakat diferansiyel denklemlerde, diferansiyel denklemleri hesaplama yapılarına göre sınıflandırmak mümkün müdür? Örneğin, birinci dereceden homojen olmayan bir denklemin çözülmesi nispeten diyelim ki 100. dereceden homojen bir denklemden daha zor ise, çözme yöntemi aynı olduğu için ayrı konveksite sınıfları olarak sınıflandırılabilirler mi? Çözme …
1
doğal bir sorun mu var?
karmaşıklık sınıfı aşağıdaki gibi tanımlanmıştır ( Wikipedia'dan ):SP2S2P\textrm{S}_2^\textrm{P} Polinom-zaman yüklemi P varsa , L dili S_2 ^ P'dedir .LLLSP2S2PS_2^PPPP Eğer x∈Lx∈Lx \in L , daha sonra vardır yyy gibi tüm bu zzz , P(x,y,z)=1P(x,y,z)=1P(x,y,z)=1 Eğer x∉Lx∉Lx \notin L , daha sonra vardır zzz gibi tüm bu yyy , P(x,y,z)=0P(x,y,z)=0P(x,y,z)=0 burada …
1
Deterministik yalancı rasgele olasılıkla rastgelelikten daha mı güçlü?
Sınıf BPNC ( ve kombinasyonu ) sınırlı hata olasılığı ve rasgele bir kaynağa erişim ile günlük derinliği paralel algoritmalar olsun (farklı bir ada sahip olduğundan emin değilim). Tüm süreçlerin algoritma başlangıcında sabitlenmiş rastgele bir bit akışına rasgele erişimleri dışında DBPNC sınıfını benzer şekilde tanımlayın.BPPBPP\mathsf{BPP}NCNC\mathsf{NC} Başka bir deyişle, BPNC'deki her işlem …
2
Ters 3-SAT Hakkında
Bağlam : Kavvadias ve Sideri Verilen: Ters 3-SAT problemi coNP Komple olduğunu göstermiştir üzerinde bir dizi model bu 3 CNF formülü böyle olduğunu, değişkenler modellerinin onun tam kümesidir? içindeki tüm modellerden memnun olan 3 maddenin tümünün birleşimi olan hemen bir aday formül ortaya çıkar .ϕϕ\phinnnϕϕ\phiϕϕ\phi İfade ettiği tüm 3 maddeyi …
3
Las Vegas algoritmalarını kullanarak BPP'nin en hızlı bilinen simülasyonu nedir?
BPPBPP\mathsf{BPP} ve temel olasılıksal karmaşıklık sınıflarından ikisidir.ZPPZPP\mathsf{ZPP} BPPBPP\mathsf{BPP} , yanlış cevap döndürme algoritmasının olasılığının sınırlı olduğu olasılıksal polinom-zaman Turing algoritmaları tarafından karar verilen dil sınıfıdır, yani hata olasılığı en fazla (hem EVET hem de NO örnekleri).1313\frac{1}{3} Öte yandan, algoritmaları hiçbir zaman yanlış bir cevap döndürmeyen olasılıklı algoritmalar olarak görülebilir, her …
2
DP'de Kritik SAT'ın bir çeşidi
Bir dil LLL sınıfta DPDPDP , iki dil vardır IFF L1∈NPL1∈NPL1 \in NP ve L2∈coNPL2∈coNPL2 \in coNP , öyle ki L=L1∩L2L=L1∩L2L = L1 \cap L2 Bir standart DPDPDP Komple sorun SAT-UNSAT edilir: iki 3-CNF ifadeleri, verilen FFF ve GGG , bu doğrudur FFF karşılanabilir ve GGG değildir? Kritik SAT sorununun …
1
Rice teoreminin açıklayıcı bir karmaşıklık versiyonu AC0 ve PSPACE'i ayırmak için kullanılabilir mi?
Gelen bu soruya , bu Rice'ın teoremin açıklayıcı karmaşıklığı versiyonları olduğu belirtilmişti. Aşağıdaki teoremin bir kanıtı buldum: Bir karmaşıklık sınıf Verilen C , dillerin nontrivial özellikleri C de hesaplanamaz C Daha önce bulduğum kanıtları yayınlamıştım, ama çok uzun olduğu ve yorumlarda bu makalenin zaten bu teoremin bir kanıtını içerdiği belirtildiğinden, …
2
Optimizasyon problemlerinin çevrimiçi muadillerini içeren herhangi bir karmaşıklık sınıfı var mı?
Optimizasyon problemlerinin çevrimiçi muadillerini içeren herhangi bir karmaşıklık sınıfı var mı? Değilse, böyle bir sınıf nasıl tanımlanabilir? Birçok sorunun kendi çevrimiçi sürümüne sahip olduğunu biliyoruz: örneğin, bin paketleme sorununun çevrimiçi sürümü. Çevrimiçi problemler, rekabetçi oranlarıyla ölçüldüğünde daha zordur. Ve karmaşıklık hayvanat bahçesinde benzer bir şey bulamadım . Esasen, çevrimiçi sorun …
1
Aşağıdaki SAT alt kümelerinin karmaşıklıkları nelerdir?
varsayalımP≠NPP≠NPP \neq NP Aşağıdaki simgelem Izin (tetrasyon için, yani. ).iaia{}^iaia=aa⋅⋅⋅ai timesia=aa⋅⋅⋅a⏟i times{}^ia = \underbrace{a^{a^{\cdot^{\cdot^{\cdot^{a}}}}}}_{i \mbox{ times}} | X | x örneğinin boyutudur. L dil olsun,L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|f(i)≤|x|&lt;g(i):={x∈L | ∃i∈N, f(i)≤|x|&lt;g(i)}L|_{f(i)\leq |x| < g(i)} := \{ x \in L \mbox{ | } \exists i \in \mathbb{N}\mbox{, } f(i) \leq |x| …
5
“En Kötü Durum” Dışındaki Durumlar İçin Karmaşıklık Sınıfları
Ortalama vaka karmaşıklığı açısından karmaşıklık sınıflarımız var mı? Örneğin, karar vermesi beklenen polinom zamanını alan sorunlar için (adlandırılmış) bir karmaşıklık sınıfı var mı? Başka bir soru , aşağıda örneklendirilen en iyi vaka karmaşıklığını göz önünde bulundurur : Kararı en az üstel zaman gerektiren bir sınıf (doğal) problem var mı? Açıklığa …
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.