«cc.complexity-theory» etiketlenmiş sorular

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

4
DNA algoritmaları ve NP bütünlüğü
Turing makineleri kullanılarak tanımlanan DNA algoritmaları ve karmaşıklık sınıfları arasındaki ilişki nedir ? Zaman ve mekan gibi karmaşıklık ölçüleri DNA algoritmalarında neye karşılık geliyor? Ne de Neumann makinelerinin pratikte pratik olarak çözemediği TSP gibi NP-komple problemlerin örneklerini çözmek için kullanılabilirler mi?
3
Paralel Hesaplamanın Sınırları
P'deki algoritmaları paralelleştirme hakkında bilinenleri çok merak ediyorum, konuyla ilgili şu wikipedia makalesini buldum: http://en.wikipedia.org/wiki/NC_%28complexity%29 Makale aşağıdaki cümleyi içerir: NC = P olup olmadığı bilinmemektedir, ancak çoğu araştırmacı bunun yanlış olduğunu düşünmektedir, yani muhtemelen "doğal olarak sıralı" olan ve paralellik kullanarak önemli ölçüde telafi edilemeyen bazı izlenebilir problemlerin olduğu anlamına …
6
Aynı önyargılı paralardan adil bir para biriktirmek için en iyi yol nedir?
(Von Neumann, aynı önyargılı madeni paralara erişime izin verilen adil bir madeni para taklit eden bir algoritma verdi. Algoritma potansiyel olarak sonsuz sayıda madeni para gerektiriyor (her ne kadar beklemekle birlikte, son derece yeterlidir). sınırlı.) Önyargılı ile aynı sikkelerimiz olduğunu varsayalım . Amaç, önyargılılığı en aza indirirken tek bir bozuk …
6
Devre Alt Sınırlarına Referanslar
önsöz İnteraktif ispat sistemleri ve Arthur-Merlin protokolleri Goldwasser, Micali ve Rackoff ve Babai tarafından 1985 yılında tanıtıldı . İlk önce, eskiden ikincisinden daha güçlü olduğu düşünülüyordu, ancak Goldwasser ve Sipser aynı güce sahip olduklarını gösterdiler ( dil tanıma konusunda). Dolayısıyla, bu yazıda iki kavramı birbirinin yerine kullanacağım. Let ile interaktif …
2
Sabit derinlikli formüller için alt sınırlar?
(Polinom büyüklüğü) sabit derinlikli devrelerin sınırlamaları hakkında çok şey biliyoruz. (Polinom büyüklüğü) sabit derinlikteki formüller daha da sınırlı bir hesaplama modeli olduğundan, AC 0'da bulunmadığı bilinen tüm problemler sabit derinlikli bir formül ile de hesaplanamaz. Ancak, daha kolay bir model olduğundan, bu modelde hesaplanabilir olmadığı bilinen daha fazla sorun olduğunu …
4
Karmaşıklık teorisinde hangi sonuçlar tekdüzelik için temel bir fayda sağlar?
Bir karmaşıklık sınıfı ayırma kanıtı, temel olarak üniforma olmayan sürümün sonucunu kanıtlamazsa, örneğin, köşegenleştirmeye dayanan kanıtlar (zaman ve uzay hiyerarşisi teoremleri gibi) programlardaki programları simüle etmek için ihtiyaç duydukları şekilde aynı kullanımdan yararlanırsa, karmaşıklık sınıflarının tek biçimliliği kullanır; küçük sınıf Karmaşıklık teorisinde (köşegenleştirme kanıtları dışında) hangi sonuçlar esas olarak bir …
3
Kolmogorov karmaşıklığını giriş “boyut” olarak kullanma
Diyelim ki bir dizi problem örneği (olası girdiler) olan hesaplama problemimiz var, örneğin 3-SAT . Normalde algoritmaların veya hesaplama karmaşıklığı teorisinin analizinde, uzunluktaki tüm girdilerin ve bir fonksiyonu bir çözelti algoritması çalışma süresini verir girişi . Zaman dizisini çalıştıran en kötü durum daha sonra SSSI(n)={w∈S:|w|=n}I(n)={w∈S:|w|=n}I(n) = \{w \in S : …
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
Asal sayım işlevi # P-tamamlanmış mı?
Hatırlama asal sayısı olan ana sayma fonksiyonu . "PRIMES in P" ile, hesaplaması #P içindedir. Sorun # P-tamamlandı mı? Ya da, belki de, bu sorunun # P-tam olmadığına inanmanın karmaşık bir nedeni var mı? π(n)π(n)\pi(n)≤n≤n\le nπ(n)π(n)\pi(n) PS: Birisi problemi araştırmış ve bunu kanıtlamış / çürütmüş / tahmin etmiş olduğundan bunun …
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 , …
2
Herhangi bir hesaplama zorluğu iş kanıtına dönüştürülebilir mi?
Kripto para madenciliğinin görünüşte anlamsızlığı, yararlı alternatifler sorununu gündeme getirdi, Bitcoin , CST , MO ile ilgili bu soruları görün . Hemen hemen herhangi bir hesaplamalı meydan okuma (çözümü verimli bir şekilde doğrulanabilir) böyle bir meydan okuma (iş kanıtı için kullanılır dönüştürmek için bir algoritma olup olmadığını merak ediyorumCC\mathcal CΨ(C)Ψ(C)\Psi(\mathcal …
3
Logaritmik uzayda palindromları tanımak için ne kadar zaman var?
Palindromların -bantlı Turing makinelerinde lineer zamanda tanınabildiği , ancak tek bantlı Turing makinelerinde tanınamadığı iyi bilinmektedir (bu durumda gereken zaman ikinci derecelidir). Doğrusal zaman algoritması girdinin bir kopyasını kullanır ve böylece doğrusal bir boşluk kullanır.222 Çok bantlı bir Turing makinesinin doğrusal zamanındaki palindromları sadece logaritmik bir alan kullanarak tanıyabilir miyiz? …
2
Bir EXPTIME-tamam problemi için belirsiz bir algoritmanın
Bir EXPTIME-tamam problemi için belirsiz bir algoritmanın NP'yi ima etmek ne kadar hızlı olurdu ? Polinom zamanı belirsiz bir algoritma bunu hemen ima eder çünkü ancak hiç kimse . Eğer cebir doğru yapsaydım (aşağıya bakın) zaman hiyerarşisi teoremi hala çalışma süreleri için etkisini verirdi , ama herhangi bir süperpolinom için …
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.