«complexity-classes» etiketlenmiş sorular

Zengin bir literatür ve çoklayıcı bir hata bağlamında NP zorlu problemler için bilinen yaklaşık sonuç sonuçlarının sertliğini ortaya koyan çok iyi bir kitap vardır (örneğin, vertex kaplaması için 2-yaklaşım UGC'nin en iyi olduğu varsayımıdır). Bu aynı zamanda APX, PTAS ve benzeri gibi iyi anlaşılmış yaklaşım karmaşıklığı sınıflarını da içerir. Ek …

24 cc.complexity-theory  complexity-classes  np-hardness  approximation-hardness 

Karmaşıklık teorisi, NP'nin eksiksizliği gibi kavramlar aracılığıyla, nispeten verimli çözümleri olan hesaplanabilir problemler ile anlaşılmaz olanları birbirinden ayırır. "İnce taneli" karmaşıklık, bu nitel ayrımı sorunları çözmek için gereken tam zamana ilişkin kantitatif bir rehber haline getirmeyi amaçlamaktadır. Daha fazla ayrıntı burada bulunabilir: http://simons.berkeley.edu/programs/complexity2015 İşte bazı önemli hipotezler: ETH: 333 - …

23 cc.complexity-theory  reference-request  complexity-classes  fine-grained 

inanmanın zorunlu nedenleri nelerdir ? L, girişe işaretçiler içeren log-space algoritmaları sınıfıdır.L≠PL≠PL\neq P Diyelim ki L = P şu an için. P-komple bir problem için bir log-space algoritması genel ana hatlarında nasıl görünür?

23 cc.complexity-theory  complexity-classes 

Aşağıdaki formun optimizasyon problemlerini düşünün. bir dizesini rasyonel bir sayıyla eşleştiren polinom-zaman hesaplanabilir bir işlevi olmasına izin verin . Optimizasyon sorunu şudur: -bit dizgileri üzerindeki maksimum değeri nedir?x f ( x ) n xf(x)f(x)f(x)xxxf(x)f(x)f(x)nnnxxx Diyelim ki, böyle bir problemin minimax karakterizasyonu olduğunu varsayalım , eğer başka bir polinom-zaman hesaplanabilir fonksiyonu …

23 cc.complexity-theory  graph-algorithms  complexity-classes  optimization  linear-programming 

Bu konudaki Norbet Blum'un ispatı girişimi Tardos işlevinin Teorem 6'ya karşı bir örnek teşkil ettiğine dikkat çekerek kesin olarak onaylanmadı.P≠NPP≠NPP \neq NP Teorem 6 : herhangi bir monoton Boolean işlevi olsun. için daha düşük bir sınır kanıtlamak için kullanılabilecek bir CNF-DNF-yaklaştırıcı olduğunu . Ardından , için aynı alt sınırı kanıtlamak …

22 cc.complexity-theory  np-hardness  complexity-classes 

Bu açık uçlu bir soru - bunun için şimdiden özür dilerim. (Görünüşe göre) karmaşıklıkla veya Turing makineleriyle ilgisi olmayan ama cevabı anlamına ifade örnekleri var mı?P≠NPP≠NP\mathbf{P}\neq \mathbf{NP}

22 cc.complexity-theory  complexity-classes  p-vs-np 

Peter Shor'un bir cevabını ve Adam Crume'in önceki bir sorusunu okurken , PP\mathsf{P} hard olmanın ne demek olduğu hakkında bazı yanlış düşüncelerim olduğunu fark ettim. Bir problem, PP\mathsf{P} herhangi bir sorun varsa -Sert PP\mathsf{P} ile bunun indirgenebilir LL\mathsf{L} (veya tercih ise NCNC\mathsf{NC} ) azalma. Sorunu çözmek için bir polinom zaman …

22 cc.complexity-theory  complexity-classes 

olduğuna inanmak ya da ye inanmak için herhangi bir gerekçe var mıdır ?N L ≠ LN-L = LNL=LNL=LN-L ≠ LNL≠LNL\neq L olduğu bilinmektedir . Arasında derandomization literatürü oldukça tatmin edici olduğunu . ikna eden bazı makaleler veya fikirler hakkında bilgisi olan var mı ? R L R, L = L …

22 cc.complexity-theory  reference-request  complexity-classes  space-bounded 

f(n)f(n)f(n) limn→∞nc/f(n)=0limn→∞nc/f(n)=0\lim_{n\rightarrow\infty} n^c/f(n)=0c>0c>0c>0 {\ Mathsf P} dilindeki L \ 'nin herhangi bir dili L∈PL∈PL\in {\mathsf P}için, f (n) ' eL∈DTIME(f(n))L∈DTIME(f(n))L\in {\mathsf {DTIME}}(f(n)) bağlı her süperpolinoma süresi için L \ in {\ mathsf {DTIME}} (f (n)) olduğu açıktır . Merak ediyorum, bu ifadenin tersi de doğru mu? Bildiğimiz Yani, eğer içinde …

21 cc.complexity-theory  ds.algorithms  complexity-classes 

Y kombini ilkelsiz birçok tipte lambda taşı türünün karmaşıklığının sınırlandırıldığını biliyorum, yani sadece sınırlı karmaşıklığın işlevleri, tür sisteminin ifadesi arttıkça sınır büyüdükçe ifade edilebilir. Mesela, Yapıların Hesaplamasının, en fazla iki katı üssel karmaşıklığı ifade edebileceğini hatırlıyorum. Benim sorum yazılan lambda hesabının belirli bir karmaşıklığın altındaki tüm algoritmaları mı yoksa sadece …

21 cc.complexity-theory  complexity-classes  lambda-calculus  typed-lambda-calculus 

BPP'de olan ancak RP veya eş RP'de olduğu bilinen bir doğal problem örneği var mı?

21 cc.complexity-theory  complexity-classes  randomness 

Bu sorudan ilham alan P-hard olarak bilinen faktördür, şu anki benzer bilgi durumunun grafik izomorfizminin sertliği ile ilgili olduğunu merak ediyorum. GI'nin P olup olmadığını şu anda bilmediğinden eminim, ancak: GI'nın daha zor olduğu şu anda bilinen en büyük sınıf hangisidir? ( benzer bir sondaj sorusunda cevaplanmadı ) Yorumların bir …

21 cc.complexity-theory  complexity-classes  graph-isomorphism 

verimli paralelleştirilebilir fikrini yakalar ve bunun bir yorumlama zamanı içinde çözülebilir sorunlar olduğu O ( log c n ) kullanarak Ç ( n k ) bazı sabitler için paralel işlemcileri c , k . Benim sorum, zamanın n c ve işlemci sayısının 2 n k olduğu analog bir karmaşıklık sınıfı …

21 cc.complexity-theory  reference-request  complexity-classes  circuit-complexity  dc.parallel-comp 

BQP, Abelian'ın gizli alt grup kahinesine erişimi olan BPP'ye eşit midir?

21 complexity-classes  quantum-computing 

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 …

21 cc.complexity-theory  complexity-classes  big-picture