«cc.complexity-theory» etiketlenmiş sorular

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

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| …
1
“Dokunulmaz Jeneratörler” in Var Olmadığı Dünyalar
Yenilmez jeneratörler aşağıdaki gibi tanımlanır: Let bir NP bağıntı ve kabul eden bir makine olabilir . Gayri resmi olarak, girişinde ile örnek tanık çiftleri üretiyorsa, gayri resmi bir program değişmez bir üreticidir. , altında verilen herhangi bir polinom-zaman düşmanının, cinsinden , kayda değer olasılıkla çok sayıda uzunluk için bir tanık …
3
Bir çözüm gömmek SAT için mümkün müdür?
NP-komple problemlerinin "zor" bireysel örnekleriyle ilgileniyorum. Ryan Williams , Richard Lipton'un blogunda SAT0 sorununu tartıştı . SAT0, bir SAT örneğinin 0'dan oluşan özel bir çözüme sahip olup olmadığını sorar. Bu da beni "zor" olabilecek SAT örnekleri oluşturmayı düşündürdü. Hemen hemen tüm örneklerin tatmin edilemez olduğu faz geçişinin ötesindeki bölgeye düşmesi …
1
Kısıtlı yıldız sistemi probleminin sertliği?
Bir yıldız sistemi, setinin n elemanlarının n altkümesi ailesidir . Bazı grafiği varsa bir yıldız sistemi grafiktir öyle ki , köşe mahallelerinin ailesi olur . Öyle verilen bir yıldız sistemi grafiksel olup olmadığına karar vermek -tam.FFFSSSG ( V, E)G(V,E)G(V,E)FFFG,G,GN-PN-PNP Her bir öğenin minimum oluşumu nedir, böylece problem kalır mı?N-PN-PNP EDIT …
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 …
2
Kararsız problemlerin NP-tam varyantları?
Kararsız kümelerin sınırlı varyantlarına örnekler :N-PN-PNP Sınırlı Durma problemi = { | LTB makinesi M durur ve kabul x içindeki t } adımları( M, x , 1t)(M,x,1t)(M, x, 1^t)MMMxxxttt Sınırlı Döşeme = { | t 2 alanından bir kare karenin T'den çinilerle döşenmesi }( T, 1t)(T,1t)(T, 1^t)t2t2t^2TTT Sınırlı Post Yazışma …
1
BPP / doğrusal gibi hafif homojen olmayan sınıfların derandomizasyonu incelenmiştir mi?
BPP / linear ile "doğru" tavsiye verildiğinde vaatleri yerine getiren lineer tavsiye içeren BPP makinelerine atıfta bulunuyorum ve derandomizasyon bize bir P / doğrusal veya (SUBEXP / lineer) algoritma vermelidir. Tek tip olmayan varsayımlar kullanırsak, klasik sonuçların çalışması gerektiğini düşünüyorum, çünkü tek tip olmayan rakipleri "kandırabiliriz". Bununla birlikte, gibi üniform …
3
olduğuna dair ne kanıt var ?
olduğuna dair ne kanıt var ?c o R P≠ NPcoRP≠NPcoRP \neq NP c o R PcoRPcoRP , polinom zamanında çalışan ve her zaman dile ait bir girdide Evet yanıtı veren ve dile ait olmayan bir girdide en az yarısı olan Hayır cevabını veren olasılıklı bir Turing Makinesi bulunan dil sınıfıdır.
1
NP-E ve E-NP için doğal adaylar
70'lerin başından beri, ve nin eşit olmadığı (çünkü polinom zamanı altında kapalı değildir. - nin aksine bir azaltma ). Ancak bildiğim kadarıyla, bir sınıfın diğerinin bir alt kümesi olup olmadığı hala açık değil, yani ve her ikisi de boş değildir.NPNP{\bf NP}E=DTIME(2O(n))E=DTIME(2O(n)){\bf E}=DTIME(2^{O(n)})EE{\bf E}NPNP{\bf NP}NP−ENP−E{\bf NP}-{\bf E}E−NPE−NP{\bf E}-{\bf NP} Soru: İlgili …
1
P (PTime) ve Tip 1 (bağlama duyarlı) diller arasındaki tahmin edilen ilişki nedir?
Olup olmadığı bilinmiyor P⊆ CSLP⊆CSLP\subseteq CSL veya P⊈ CSLP⊈CSLP\not\subseteq CSL, nerede PPP , deterministik bir Turing makinesinde polinom zamanında karar verilebilen tüm diller kümesidir ve CSLCSLCSL , lineer sınırlı otomata tarafından karar verilen diller olan ile eşdeğer olduğu bilinen içeriğe duyarlı diller .N-SPA CE( O ( n ) )N-SPbirCE(Ö(n))NSPACE(O(n)) Birçok …
1
Durma sorununun doğruluk tablolarının Kolmogorov karmaşıklığı asimptotik olarak biliniyor mu?
İzin Vermek 'HA LTnHALTnHALT_n uzunluk dizesini belirtmek 2n2n2^n uzunluk girişleri için durma probleminin doğruluk tablosuna karşılık gelen nnn. Kolmogorov karmaşıklık sırası K( HA LTn)K(HALTn)K(HALT_n) idi O ( 1 )O(1)O(1), ardından tavsiye dizelerinden biri sonsuz sıklıkta kullanılır ve bu dizeye sahip sabit kodlu bir TM çözebilir 'HA L THALTHALT muntazam sonsuz …
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.