«complexity-classes» etiketlenmiş sorular

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

6
Yarı polinom zamanında doğal bir problem var mı, polinom zamanında değil mi?
László Babai geçtiğimiz günlerde Grafik İzomorfizmi probleminin kuasipolinom zamanda olduğunu kanıtladı . Ayrıca Chicago Üniversitesi'ndeki konuşmasına bakın , Jeremy Kun GLL post 1 , GLL post 2 , GLL post 3 tarafından yapılan görüşmelerden not alın . Ladner teoremine göre, eğer , boş değilse, yani ne ne de problemleri içerir …
1
“Neredeyse kolay” NP-komple problemler
Bize dil diyelim LLL olan P doğru karar olduğunu bir polinom zaman algoritması varsa -density-yakın LLL neredeyse tüm girdilere. A∈A∈A\in LΔALΔAL\Delta AALLlimn→∞|(LΔA)∩{0,1}n|2n=0.limn→∞|(LΔA)∩{0,1}n|2n=0.\lim_{n\rightarrow\infty} \frac{|(L\Delta A) \cap \{0,1\}^n|}{2^n}=0.AAALLLLLL O Not seyrek olmak zorunda değildir. Örneğin, bit dizesi varsa, olduğundan, hala kayboluyor (üstel bir oranda). .2 N / 2 , n 2 , …
4
İletişim Karmaşıklığı… Sınıflar?
Tartışma : Son zamanlarda iletişim karmaşıklığında çeşitli şeyler öğrenmek için biraz kişisel zaman geçirdim. Mesela Arora / Barak'daki ilgili bölümle yeniden tanıştım, bazı makaleler okumaya başladım ve kitabı Kushilevitz / Nisan'dan emretti. Sezgisel olarak, iletişim karmaşıklığını hesaplama karmaşıklığı ile karşılaştırmak istiyorum. Özellikle, hesaplama karmaşıklığının hesaplama problemlerini karmaşıklık sınıflarına yerleştirmek için …
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
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 …
1
Faktoring ve ayrık log için lineerden daha iyi bir alt sınır var mı?
Tamsayı çarpanlarına ayırma, asal / kompozit ayrık logaritma problemi ve eliptik eğrilerin nokta grubu (ve daha yüksek boyutlu abelyan çeşitleri) ve genel özellikleri gibi kriptografide ortaya çıkan belirli zor problemler için devre alt sınırları hakkında ayrıntı sağlayan herhangi bir referans var mı? gizli alt grup sorunu? Özellikle bu problemlerden herhangi …
1
UP'nin sonuçları NP'ye eşittir
2011/02/08 tarihinde DÜZENLEME: Bazı referansların bulunması ve okunmasından sonra, orijinal soruyu iki ayrı soruya ayırmaya karar verdim. UP ve NP ile ilgili bölüm, sözdizimsel ve anlamsal sınıflar bölümü için sözdizimsel ve anlambilimsel sınıflar için Faydalara bakınız . UPUP\mathsf{UP} (belirsiz polinom zamanı,referanslar içinwiki'yevehayvanat bahçesinebakın),ek bir kısıtlamaya sahipmakineleritarafından karar verilen diller olarak …
4
Eşlik ve
Eşlik ve ayrılmaz ikizler gibidir. Ya da son 30 yıldır böyle görünüyor. Ryan'ın sonucu ışığında, küçük sınıflara olan ilginin yenilenmesi söz konusu olacak.birC0birC0AC^0 Furst Saxe Sipser - Yao - Hastad arasındaki tüm parite ve rastgele kısıtlamalar. Razborov / Smolensky, eşlikli yaklaşık polinomdur (tamam, mod kapıları). Aspnes ve arkadaşları parite üzerinde …
1
İzomorfizm Anlaşmasına karşı doğal aday mı?
Berman ve Hartmanis'in ünlü İzomorfizm Konjonktürü , tüm dillerin birbirlerine polinom zaman izomorfik (p-izomorfik) olduğunu söylüyor . Konjonktürün temel önemi . 1977'de yayınlandı ve destekleyici bir kanıt, o zamanlar bilinen tüm problemlerin gerçekten de p-izomorfik olduğuydu. Aslında, hepsi doldurulabilirdi , bu güzel, doğal bir özelliktir ve p-izomorfizmi önemsiz bir şekilde …
1
Yapboz Kesme çubukları
Sorun: Bize tamsayı uzunlukları olan bir dizi çubuk verilir. Uzunluklarının toplamı n (n + 1) / 2'dir. Polinom zamanında büyüklüğünde çubuklar elde etmek için onları parçalayabilir miyiz ? 1 , 2 , … , n1,2,...,n{1,2,\ldots,n} Şaşırtıcı bir şekilde, bu sorun için bulduğum tek referans bu eski tartışma: http://www.iwriteiam.nl/cutsticks.html Sorun hakkında …
1
NP ve Parity-P için en iyi bilinen eklem muhafazaları?
Parite-P , yalnızca çift sayı veya tek sayıda "kabul" yolu (sıfır veya sıfır olmayan kabul yolu yerine) arasında ayrım yapabilen, deterministik olmayan bir Turing makinesi tarafından tanınan diller kümesidir. Bu nedenle Parity-P, temelde PP'nin bodur küçük kardeşi: PP, bir NP makinesinin kabul yollarının sayısının çoğunluk olup olmadığını ( yani bu …
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.