«cc.complexity-theory» etiketlenmiş sorular

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

2
NC ve P arasındaki sorunlar: Bu listeden kaç tanesi çözüldü?
Greenlaw, Hoover ve Ruzzo (PS) (PDF) tarafından yazılan "P için Tamamlanmış Bir Sorunlar Özeti" makalesinde , P'de NC'de bilinmeyen ve P-tamamlandığı bilinmeyen sorunların bir listesi vardır. . (Bu liste, Karp ve Ramachandran'ın mükemmel anketindeki tüm açık problemleri ele almaktadır .) Açık problemler listesi sayfa 89'da başlamaktadır. Bu listeden kaç sorun …
1
Tüm karmaşıklık sınıflarının yaprak dili karakterizasyonu var mı?
Yaprak dilleri birçok karmaşıklık sınıfını eşit olarak tanımlamanın güzel bir yoludur. Çoğu karmaşıklık sınıfı genellikle bir hesaplama modeli (örn. Deterministik / randomize TM) ve bir kaynağa bağlı (log süresi, poli boşluk, vb.) İle belirtilir. Bununla birlikte, yaprak dili formülasyonunda, sadece bir hesaplama modeli vardır ve sınıf, yaprak dili verilerek belirtilir. …
2
-ormal koruma Turing makineleri
Kuantum üzerinde bazı yeni konuları Okuma (bilgisayar burada , burada ve burada ) bana bir çeşit gücü hakkında ilginç bir soru hatırlatabiliyorum makinesini koruyarak -norm.ℓpℓp\ell_p Karmaşıklık teorisinde çalışan insanlar için kuantum karmaşıklığına gidecek olan büyük bir giriş metni Fortnow'un Joshua Grochow tarafından buraya gönderilen makalesidir . Bu makalede, kuantum Turing …
1
Gurvits'in Deolalikar'ın makalesinin tensör sıralı yorumunu açıklar
[Not: Bu sorunun hiçbir şekilde Deolalikar'ın makalesinin doğruluğuna veya yanlışlığına bağlı olmadığına inanıyorum.] Scott Aaronson'un Shtetl Optimize adlı blogunda , Deolalikar'ın P'ye karşı NP girişimi hakkındaki tartışmada Leonid Gurvits şu yorumu yaptı : Yaklaşımı anlamaya / yeniden biçimlendirmeye çalıştım ve işte belki de çok minimalist olan girişimim: gazetedeki ayrı olasılıksal …
3
uzay sınırlı TM'ler ve kehanetler
Genel olarak, bir kehanet için sorgu-bandı bir TM'nin alan karmaşıklığına doğru sayılır. Bununla birlikte, salt yazılır bir kehanet kasetine izin vermek mantıklı görünmektedir (L alanı azaltmalarında kullanılanlar gibi). Böyle bir yapı faydalı mı? Özellikle saçma sonuçlar veriyor mu?
3
Godel'in ifadesinin özyinelemeli şekilleri mümkün müdür?
P / NP sorununun öz-referansı bazen çözümüne bir engel olarak vurgulanmıştır, örneğin, Scott Aaronson'un makalesi, P'ye karşı NP resmi olarak bağımsız mı? P / NP için akla gelebilecek birçok karardan biri, sorunun resmi olarak ZFC'den bağımsız ya da doğru fakat kanıtlanamaz olduğunun bir göstergesi olacaktır. Sorunun öz referansının bağımsızlık kanıtlarında …
2
PPAD ve Kuantum
Bugün New York ve tüm dünyada Christos Papadimitriou'nun doğum günü kutlanıyor. Bu, Christos'un karmaşıklık sınıfı PPAD (ve diğer ilgili sınıfları) ile kuantum bilgisayarlar arasındaki ilişkileri sormak için iyi bir fırsattır. Onun içinde ünlü 1994 kağıt Papadimitriou tanıtıldı ve sistematik PLS, PPAD ve diğerleri gibi birçok önemli karmaşıklık sınıfları inceledi. (Papadimitriou'nun …
3
Gerçeklerin hesaplanması: kayan nokta vs TTE vs domain teorisi vs vs
Şu anda, en popüler dillerde gerçeklerin hesaplanması hala kayan nokta işlemleri ile yapılmaktadır. Öte yandan, ikinci tip etkililik (TTE) ve alan teorisi gibi teoriler uzun zamandır gerçeklerin kesin hesaplanmasını vaat etmişlerdir. Açıkça, kayan nokta hassasiyeti sorunu alaka açısından azalmadı, bu yüzden bu teoriler neden daha ana akım haline gelmedi ve …
1
USTCONN'un logaritmik alan gerektirdiğini nasıl kanıtlayabilirim?
USTCONN, bir grafik G'de kaynak köşeden sss hedef köşeye bir yol olup olmadığına karar vermeyi gerektiren bir sorundur ; bunların tümü girişin bir parçası olarak verilmiştir.tttG,GG Ömer Reingold, USTCONN'un L'de olduğunu gösterdi (doi: 10.1145 / 1391289.1391291 ). Kanıt , zig-zag ürünü vasıtasıyla sabit dereceli bir genişletici oluşturur . Sabit dereceli …
2
Kolmogorov'un P'nin devre karmaşıklığı hakkındaki varsayımına karşı / karşı görüşler
(Doğrulanmamış) tarihsel hesaba göre, Kolmogorov içindeki her dilin doğrusal devre karmaşıklığına sahip olduğunu düşündü . ( Kolmogorov'un doğrusal boyutlu devreleri olduğu yönündeki önceki sorusuna bakın .) anlamına geldiğine dikkat edin .P P ≠ K PPP\mathsf{P}PPPP ≠ N PP≠N-P\mathsf{P}\neq \mathsf{NP} Ancak Kolmogorov'un varsayımının başarısız olacağı düşünülüyor. Örneğin, Ryan Williams yeni bir …
1
Derinlemesine sayabilir miyiz
bit eşik geçidini lg n derinlik polinom boyutu (sınırsız fan girişi) devreleri ile hesaplayabilir miyiznnn ? Alternatif olarak, bu devreleri kullanarak giriş bitlerindeki 1s sayısını sayabilir miyiz?lgnlglgnlg⁡nlg⁡lg⁡n\frac{\lg n}{\lg \lg n} Mi ?TC0⊆AltTime(O(lgnlglgn),O(lgn))TC0⊆AltTime(O(lg⁡nlg⁡lg⁡n),O(lg⁡n))\mathsf{TC^0} \subseteq \mathsf{AltTime}(O(\frac{\lg n}{\lg \lg n}), O(\lg n)) Not bu . Yani soru aslında eşik kapılarını hesaplarken devrelerin derinliğinde …
3
Bir matrisin tamamen düzenli olup olmadığına karar vermenin karmaşıklığı
Tüm kare alt matrislerinin tam sırası varsa, bir matris tamamen düzenli olarak adlandırılır. Bu matrisler, süper-konsantratörleri oluşturmak için kullanıldı. Belirli bir matrisin gerekçeler üzerinde tamamen düzenli olup olmadığına karar vermenin karmaşıklığı nedir? Sonlu alanlar üzerinde mi? Daha genel olarak, en fazla büyüklüğündeki tüm kare alt matrisleri tam dereceye sahipse, tamamen …
2
Geri bildirim tepe noktası problemi polinom zamanda 3 derecelik sınırlı grafikler için çözülebilir mi?
Geri Bildirim Vertex Seti, genel grafikler için NP-eksiksizdir. Köşe örtüsünün azalmasından dolayı derece-8 sınırlı grafikler için NP-tam olduğu bilinmektedir. Wikipedia makalesi o derece-3 sınırlanmış grafikler için poli-time çözülebilir ve derece-4 sınırlanmış grafikler için NP-tam olduğunu söylüyor. Ama bunun için hiçbir yerde kanıt bulamadım. Bu doğru mu? Derece-d sınırlı grafiklerde FVS'nin …
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.