«cc.complexity-theory» etiketlenmiş sorular

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

5
PPAD'ın zor olduğunun kanıtı?
P! = NP'nin kanıt olmadan bile inandığına inanmak için sıkça alıntı yapılan bir felsefi gerekçe vardır. Diğer karmaşıklık sınıfları, farklı olduklarına dair kanıtlara sahiptir, çünkü olmasa da, "şaşırtıcı" sonuçlar (polinom hiyerarşisinin çöküşü gibi) olacaktır. Sorum şu: PPAD sınıfının anlaşılmaz olduğuna inanmanın temeli nedir? Nash dengesini bulmak için bir polinom zaman …
1
Pi hesaplamalı karmaşıklığı
let L={n:the nth binary digit of π is 1}L={n:the nth binary digit of π is 1}L = \{ n : \text{the }n^{th}\text{ binary digit of }\pi\text{ is }1 \} ( nnn ikili olarak kodlanmış olduğu düşünülür). O zaman nin hesap karmaşıklığı hakkında ne söyleyebiliriz ? olduğu açıktır . Yanılmıyorsam, inanılmaz …
1
Gerilim ve NL - L Problemi
ST-Bağlantı iki ayırt edici noktalar arasında yönlendirilmiş bir yolu vardır olup olmadığını belirlemenin bir sorundur ve yönlendirilmiş grafikte . Bu problemin logspace içerisinde çözülebilmesi, uzun zamandır açık bir problemdir. Bu vs sorunu denir .ssstttG ( V, E)G,(V,E)G(V,E)N-LN-LNLLLL altta yatan yönlendirilmemiş grafiği treewdth sınırlandırdığında ST-Connectivity'in karmaşıklığı nedir ?G,G,G NL-zor olduğu biliniyor …
2
Bilinen karmaşıklık ayrımlarını göstermek için Mulmuley-Sohoni GCT yaklaşımını kullanmak ne kadar zor?
Josh Grochow'un karmaşıklık web günlüğündeki bu konukevinde , Temmuz ayında Princeton'da düzenlenen GCT'ye yönelik yeni bir atölye çalışmasını bildirdi. Katılımcıların birçoğu sezgiyi oluşturmak ve yöntemin potansiyeli olup olmadığını görmek için ile N P'den daha kolay sorunlara saldırmak için GCT'yi kullanmamız gerektiğini savundu .PP\mathsf{P}NPNP\mathsf{NP} Beni rahatsız eden soru: P ≠ E …
1
İlişkisiz yarı özel paralarla hakemli oyunlar
Bu sorunun cevabını gerçekten çok ilgilendim (ve hala ilgiliydim), çünkü bu çözülmemiş oyunların karmaşıklığına ilişkin ilginç bir varyasyon, bu yüzden bir ödül teklif ettim. Orjinal sorunun çok zor olduğunu düşündüm, bu yüzden lütuf almaya da değecek üç ilgili soru yayınladım. Ödül süresi dolmadan kimse cevap vermedi. Daha sonra ilgili soruların …
5
NEXP-komple problemler
Etrafında tonlarca tamamlanmış NP sorunu var ve bunları toplayan kaynaklar var, örneğin Garey ve Johnson'ın kitabına bakınız. NEXP-komple sorunların bir listesini de görmek isterim. Bir tane var mı? Var olmadığını varsaydığım gibi bu soruyu açıyorum (bunun bir topluluk wiki olması mı gerekiyor? Bu şeyleri bilmiyorum). İdeal olarak, liste NEXP-komple sorunların …
3
Mi içinde ihtiva edilen ?
Bu soruyu, buradaki diğer kullanıcılar için ilginç olabileceğinden paylaşacağımı düşündüm. Tek tip bir sınıfta olan ( gibi ) bir fonksiyonun küçük, tek tip olmayan bir sınıfta (örneğin, , yani tek tip olmayan ) olduğunu varsayalım, bu, fonksiyonun daha küçük tek tip bir sınıfta yer aldığını gösterir ( gibi mi? Bu …
3
TQBF'nin bu değişimi hala PSPACE-tamamlandı mı?
Bu gibi ölçülü bir Boole formülü olup olmadığına karar verme ∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),∀x1∃x2∀x3⋯∃xnφ(x1,x2,…,xn),\forall x_1 \exists x_2 \forall x_3\cdots \exists x_n \varphi(x_1, x_2,\ldots , x_n), her zaman doğru olarak değerlendirir, klasik bir PSPACE-komple problemdir. Bu, alternatif hamle ile iki oyuncu arasındaki bir oyun olarak görülebilir. İlk oyuncu tek numaralı değişkenlerin gerçeğe uygun değerine, …
2
SAT-üstel zaman içinde sonsuz sıklıkta olmayan bir kehanet var mı?
Tanımlama ioioio - SUBEXPSUBEXPSUBEXP dil sınıfı olmak LLL bir dil olduğu şekilde L′∈∩ε>0TIME(2nε)L′∈∩ε>0TIME(2nε)L' \in \cap_{\varepsilon > 0} TIME(2^{n^{\varepsilon}}) ve sonsuz sayıda için nnn , LLL ve L′L′L' kabul uzunluğu tüm örneklerini nnn . (Yani, bu, "sınırsız bir zamanda, sonsuz sıklıkta çözülebilen diller" sınıfıdır.) Bir torpil var AAA şekilde NPA⊄ioNPA⊄ioNP^A \not\subset …
2
Bir matris kümesinin açıklığının bir permütasyon matrisi içerip içermediğini belirlemek için bir polinom zaman algoritması var mı?
Belirli bir matris kümesinin açıklığının bir permütasyon matrisi içerip içermediğini belirleyen bir polinom zaman algoritması bulmak istiyorum. Herhangi biri bu sorunun farklı bir karmaşıklık sınıfında olup olmadığını bilirse, bu aynı derecede yardımcı olacaktır. EDIT: Bu soruyu Doğrusal Programlama ile etiketledim, çünkü böyle bir çözüm varsa, bunun bir tür doğrusal programlama …
4
Conway'in hayat oyununun gürültülü bir versiyonu evrensel hesaplamayı destekliyor mu?
Vikipedi'den alıntı , "[conway'in hayat oyunu] evrensel Turing makinesinin gücüne sahiptir. Olduğunu şey Conway'in Hayat Oyunu içinde hesaplanabilir algoritmik hesaplanabilir" Bu tür sonuçlar Conway'in Yaşam Oyunu'nun gürültülü sürümlerine mi uzanıyor? Basit sürüm her turdan sonra düşük bir olasılık ile, her bir canlı hücre kalıplar olmasıdır ve her ölü hücre, yaşayan …
6
NP tamamlanmış doğallarda doğal bir sorun mu var?
Herhangi bir doğal sayı bir bit dizisi olarak kabul edilebilir, bu nedenle doğal bir sayı girmek, bir 0-1 dizisi girmekle aynıdır, bu nedenle doğal girdilerle ilgili NP-tamamlayıcı problemler açıkça vardır. Ancak herhangi bir doğal problem var mı, yani rakamların bazı kodlamalarını ve özel yorumlarını kullanmayanlar? Örneğin, "Asal mı?" Bu doğal …
2
Bir tamsayının faktör sayısını saymak ne kadar zor?
Bir tamsayıdır verilen uzunluğunun N bit, bu bir (veya alternatif olarak faktör sayısı) asal faktör sayısı çıkışına kadar zor N ?N-N-NnnnN-N-N asal çarpanlarını bilseydik, bu kolay olurdu. Bununla birlikte, asal faktörlerin sayısını veya genel faktörlerin sayısını bilseydik, asıl asal çarpanlaştırmayı nasıl bulacağımız açık değildir.N-N-N Bu problem inceleniyor mu? Asal çarpanlara …
1
Grafik izomorfizmi karekök sınırlı nondeterminizm ile karar verilebilir mi?
Sınırlı nondeterminizm, fonksiyonunu , yeni bir g - C sınıfı oluşturmak için, kaynağa bağlı deterministik Turing makineleri tarafından kabul edilen dillerin Cg(n)g(n)g(n) sınıfı ile ilişkilendirir . Bu sınıf, bazı tanımlayıcı olmayan Turing makinesi M tarafından kabul edilen ve C'yi tanımlamak için kullanılan kaynak sınırlarına uyan dillerden oluşur , ancak M'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.