«reference-request» etiketlenmiş sorular

"Muhtemelen Bağlamsız" dilleri arıyorum ancak bilinen standart teknikleri kullanarak ispatlayamıyoruz. Konuyla ilgili yakın zamanda yapılan bir anket ya da yakın tarihli bir konferanstaki açık sorunlu bir bölüm var mı? Muhtemelen CF olarak bilinen pek fazla dil yoktur, bu yüzden eğer bir tane biliyorsanız, cevap olarak da gönderebilirsiniz. Bulduğum örnekler: İlkel …

21 reference-request  big-list  context-free 

Araştırmam sırasında aşağıdaki sonuçla karşılaştım. limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1limn→∞E[#{|ai−aj|,1≤i,j≤m}n]=1\lim\limits_{n\to \infty} \mathbb{E}\left[ \frac{\#\{|a_i-a_j|,1\le i,j\le m \}}{n} \right] = 1 burada m=ω(n−−√)m=ω(n)m=\omega(\sqrt n) ve a_1, \ cdots, a_m [n] 'a1,⋯,ama1,⋯,ama_1,\cdots,a_m den rasgele seçildi .[n][n][n] Bir referans / doğrudan bir kanıt arıyorum. MO üzerinde crossposted

21 reference-request  co.combinatorics  pr.probability 

Kuyruk sınırlarını öğrettiğimde, normal ilerlemeyi kullanırım: Eğer rv'niz pozitifse, Markov'un eşitsizliğini uygulayabilirsiniz. Eğer bağımsızlık ve varsa da sınırlanmış varyansı, sen Chebyshev eşitsizliği uygulayabilirsiniz Her bağımsız rv'nin de sınırlanmış tüm anları varsa, o zaman bir Chernoff sınırını kullanabilirsiniz. Bundan sonra işler biraz daha az temizlenir. Örneğin Değişkenlerinizin sıfır ortalaması varsa, bir …

21 reference-request  pr.probability  randomized-algorithms 

Arka plan: olsun , bir yönsüz grafik, iki köşe olması G = ( V , E ) . Bir köşe grubu S ⊆ V a, u , v -separator eğer U ve V , farklı bağlı bileşenlerine aittir G - S . Bir u ' nin uygun bir altkümesi yoksa …

21 reference-request  graph-theory  graph-algorithms 

ve sayılarının birçok yer var . Çalışma süresinde üstelin altın oranını veya değerini içeren algoritmalar hakkında merak ediyorum .( 1 + √ππ\piπ( 1 + 5-√) / 2(1+5)/2(1+\sqrt5)/2ππ\pi

21 reference-request  big-list 

Aşağıdaki sebepleri göz önünde bulundurun: Let belirtmek Kolmogorov karmaşıklığı dize ait . Chaitin'in eksiklik teoremi şöyle diyorxK( x )K(x)K(x)xxx herhangi bir tutarlı ve yeterince güçlü resmi bir sistem için , sabit vardır herhangi şeritler için böyle (resmi sistemi ve diline tek olarak) , kanıtlayamayacaklarını .T x S K ( x …

21 cc.complexity-theory  reference-request  lo.logic  circuit-complexity  kolmogorov-complexity 

Son zamanlarda, sıralı negatif olmayan sayılar listesinin yaklaşık toplamını hesaplamak için problem üzerinde çalıştım. Herhangi bir sabit , zaman yaklaşma şeması toplam için bir -aproximation verecek şekilde türetilmiştir . Makale, sonuçlandırılmamış http://arxiv.org/abs/1112.0520 adresinde yayınlanmıştır .ϵ > 0ε>0\epsilon>0O ( logn )O(günlük⁡n)O(\log n)( 1 + ϵ )(1+ε)(1+\epsilon) Bu problem için mevcut çalışmaları …

21 ds.algorithms  reference-request 

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 

(Bu, bu sorunun ve cevabının bir takibidir .) Aşağıdaki tamamen unimodular (TU) tamsayılı doğrusal program (ILP) var. Burada girişin bir parçası olarak verilen tüm pozitif tamsayılardır. X i j değişkenlerinin belirtilen bir alt kümesi sıfıra ayarlanır ve geri kalanı pozitif integral değerleri alabilir:ℓ,m,n1,n2,…,nℓ,c1,c2,…,cm,wℓ,m,n1,n2,…,nℓ,c1,c2,…,cm,w\ell,m,n_{1},n_{2},\ldots,n_{\ell},c_{1},c_{2},\ldots,c_{m},wxijxijx_{ij} küçültmek ∑mj=1cj∑ℓi=1xij∑j=1mcj∑i=1ℓxij\sum_{j=1}^{m}c_{j}\sum_{i=1}^{\ell}x_{ij} Tabi: ∑mj=1xij=ni∀i∑j=1mxij=ni∀i\sum_{j=1}^{m}x_{ij}=n_{i}\,\,\forall i ∑ℓi=1xij≥w∀j∑i=1ℓxij≥w∀j\sum_{i=1}^{\ell}x_{ij}\ge w\,\,\forall …

21 ds.algorithms  reference-request  linear-programming  integer-programming  polynomial-time 

Gördüm (ve duydum) dışlanan klasik klasik aksiyomu Coq'a eklemenin güvenli olduğunu iddia etti, ancak bu iddiayı destekleyen bir yazı bulamıyorum. Coq wiki'sinde dışlanmış orta ile ilgili olarak gördüğüm makaleler , belirsiz Set ile tutarsızlık gösteriyor. Aslında, Coquand'ın Dışlanmış Orta ( sakinleri) eklenmesinin CoC'nin metatheory'sinin açıklamasının 4.5.3 bölümünde CoC için tutarsız …

21 reference-request  lo.logic  coq 

Farklı çıkarıcıları, yoğunlaştırıcıları ve süper yoğunlaştırıcıları karşılaştıran ve rastgelelik, zaman ve mekan arasındaki tradeoff açısından en iyi yöntemleri ortaya koyan iyi bir anket var mı?

21 reference-request  randomness  derandomization 

İki tarihsel sorum var: Belirsiz hesaplamayı ilk kim açıkladı? Cook'un NP-tam problemlerini tanımladığını ve Edmonds'un P algoritmalarının "verimli" veya "iyi" algoritmalar olduğunu önerdiğini biliyorum. Bu Wikipedia makalesini araştırdım ve "Algoritmaların Hesaplama Karmaşıklığı Üzerine" ifadesini kullandım, ancak belirsiz hesaplamanın ilk ne zaman tartışıldığı konusunda herhangi bir referans bulamadım. NP sınıfına ilk …

20 reference-request  soft-question  ho.history-overview  nondeterminism 

Vikipedi , sayım versiyonunun zor olduğu problemlere örnekler verirken, karar versiyonu kolaydır. Bunlardan bazıları mükemmel eşleşmeleri sayıyor, -SAT'a çözüm sayısını ve topolojik sıralama sayısını sayıyor.222 Başka önemli sınıflar var mı (örgüler, ağaçlar, sayı teorisi vb. Örnekler)? Bu tür sorunların bir özeti var mı? -sayım sayma sürümleri olan birçok sorun türü …

20 reference-request  counting-complexity  nt.number-theory  permanent  decision-trees 

(Bu soru biraz "anket" tir.) Şu anda bir turnuvanın kenarlarını iki sete ayırmaya çalıştığım bir sorun üzerinde çalışıyorum, her ikisi de bazı yapısal özellikleri yerine getirmek için gerekli. Sorun "oldukça zor" hissettiriyor ve tamamen -complete olmasını bekliyorum.N-PNP\mathcal{NP} Karşılaştığım sorunla karşılaştırılabilir olarak değerlendireceğim bir sorun örneği: Ağırlıklı bir turnuvası verildiğinde , …

20 cc.complexity-theory  reference-request  np-hardness 

İken Adleman teoremi olduğunu gösterileri, , ben dahil edilmesini araştıran herhangi bir yayının farkında değilim B Q P ⊆ P / poli . Böyle bir dahil etmenin ne gibi karmaşıklık-teorik sonuçları olur?BPP⊆P/polyBPP⊆P/poly\mathsf{BPP} \subseteq \mathsf{P}/\text{poly}BQP⊆P/polyBQP⊆P/poly\mathsf{BQP} \subseteq \mathsf{P}/\text{poly} Adleman'ın teoremine bazen "derandomizasyon argümanlarının öncüsü" denir. arasında "kuantumluluğu" dair bir kanıt olmamasına karşın, …

20 reference-request  quantum-computing  derandomization  conditional-results