Teorik Bilgisayar Bilimi

Aşağıdaki sorunu düşünün: matrisi verildiğinde, v ↦ M v hesaplamak için çarpma algoritmasındaki ekleme sayısını optimize etmek istiyoruz .MMMv↦Mvv↦Mvv \mapsto Mv Matris çarpımının karmaşıklığıyla bağları nedeniyle bu problemi ilginç buluyorum (bu problem matris çarpımının sınırlı bir versiyonudur). Bu sorun hakkında ne biliyor? Bu problemi matris çarpım probleminin karmaşıklığıyla ilgili ilginç …

10 cc.complexity-theory  reference-request  circuit-complexity  matrices  arithmetic-circuits 

Gönderen değerlendirme stratejisi Wikipedia'da makalesinde: Lambda hesabında azaltma stratejisi kavramı benzer ama farklıdır. Gönderen azaltma stratejisi Wikipedia'da makalesinde: Bilgisayar bilimlerinde değerlendirme stratejisi kavramına benzer, ancak çok farklıdır. Bu iki makalenin bahsettiği değerlendirme stratejileri ile azaltma stratejileri arasındaki ince ayrım nedir? Farklı alanlardan sadece iki benzer kavram mı?

10 pl.programming-languages  lambda-calculus  semantics 

Let üzerinde basit bir yönsüz çizge köşe ve kenarları.n mG=(V,E)G,=(V,E)G=(V,E)nnnmmm rastgele yayılan ağaç oluşturmak için Wilson algoritmasının beklenen çalışma süresini belirlemeye çalışıyorum . Orada gösterildiği burada, olan ortalama vuruş süresi : ki burada:O ( τ ) τGG,GO(τ)Ö(τ)O(\tau)ττ\tauτ=∑v∈Vπ(v)⋅H(u,v),τ=Σv∈Vπ(v)⋅'H(u,v),\tau = \sum_{v \in V} \pi(v) \cdot H(u, v), ππ\pi olan sabit dağılımı ,π(v)=d(v)2mπ(v)=d(v)2m\pi(v)=\frac{d(v)}{2m} …

10 graph-theory  graph-algorithms  co.combinatorics  random-walks  analysis-of-algorithms 

Aşağıdaki λ terimi, burada normal biçimde: sort = (λabc.(a(λdefg.(f(d(λhij.(j(λkl.(k(λmn.(mhi))l)) (h(λkl.l)i)))(λhi.(i(λjk.(bd(jhk)))(bd(h(λjk.(j (λlm.m)k))c)))))e))(λde.e)(λde.(d(λfg.g)e))c)) Kilise kodlu listeler için bir sıralama algoritması uygular. Yani, sonucu: sort (λ c n . (c 3 (c 1 (c 2 n)))) β→ (λ c n . (c 1 (c 2 (c 3 n)))) Benzer şekilde, sort_below = λabcd.a(λef.f(λghi.g(λj.h(λkl.kj(ikl)))(hi))e(λgh.h)) …

10 lo.logic  lambda-calculus  type-systems 

Borsuk-Ulam teoremi her sürekli tek fonksiyonu söylüyor Öklid n-boşluğa bir n-küreden, bir nokta vardır şekilde .gggx0x0x_0g(x0)=0g(x0)=0g(x_0)=0 Simmons ve Su (2002) , Tucker'ın kullanarak noktasına yaklaşmak için bir yöntem açıklamaktadır . Ancak, yöntemlerinin çalışma zamanı karmaşıklığının ne olduğu açık değildir.x0x0x_0 Diyelim ki, fonksiyonu için bir kehanet ve yaklaşım faktörü verildi . …

10 approximation-algorithms  time-complexity  topology  algebraic-topology 

Etkileşim birleştiricileri daha önce λ hesabı için derleme hedefi olarak önerilmiştir . Bu makale tam λ-hesabını uygulamaktadır. EAL tipinde λ terimlerinin alt kümesi için λ-hesabının etkileşim-net kodlamalarının optimize edilmesinin de mümkün olduğu bilinmektedir . Bu makale, çoğaltıcıları gruplamak için sonsuz bir etiket alfabesi kullandıkları için, EAL-tiplenebilir λ terimlerini etkileşim birleştiricilerinden …

10 lambda-calculus  functional-programming  interaction-nets 

En http://www.dharwadker.org/tevet/isomorphism/ , iki grafik izomorfik olmadığını belirlemek için, bir algoritma bir sunum yoktur. Bir Dharwadker'ın "ilginç" iddiaları hakkında bir dizi şey söylesek, buna inanmaya meyilli değilim. Araştırmamda, algoritmanın kesinlikle doğru cevabı üreteceğini ve aslında doğru olduğunda iki grafiğin izomorfik olmadığını söyleyeceğim. Bununla birlikte, algoritmanın, gerçekte iki grafiğin gerçekte izomorfik …

10 graph-isomorphism 

kalıtsal bir grafik sınıfı olsun . (Kalıtsal = kaynaklı subgraphs alarak göre kapalı). Let kümesini belirtir de -vertex grafikler . Diyelim ki Q_n içinde düşen -vertex grafiklerinin bir kısmı olarak yaklaşırsa neredeyse tüm grafikleri içerir .Q n n Q Q n Q n n → ∞QQQQnQnQ_nnnnQQQQQQnnnQnQnQ_nn→∞n→∞n\rightarrow\infty Soru: Kalıtsal bir grafik …

10 graph-theory 

Bir sayı verilsin. Aşağıdaki dili düşünün L n = {nnn .Ln={ww|w∈{0,1}n}Ln={ww|w∈{0,1}n}L_n = \{ \; ww \; \vert \; w \in \{0,1\}^{n} \; \} Kelimelerde, , 2 n uzunluğunda kopya dizeleridir .LnLnL_n2n2n2n Düşünün Aşağıdaki durum karmaşıklığı fonksiyonu , öyle ki s ( n ) tanıyan küçük ters otomata durum sayısı olan …

10 fl.formal-languages  automata-theory  grammars  context-free 

İkili karar ağaçları (BDT) için izlenebilir bir şekilde bir çeşit "normal form" vermenin bir yolu olup olmadığını merak ediyorum. Daha doğrusu: BDT, boole değişkenleri ile etiketlenmiş iç düğümleri ve veya etiketlenmiş yaprakları olan bir ağaçtır . BDT, boole işlevini bariz bir şekilde temsil eder. İki BDT , aynı işlevi temsil …

10 cc.complexity-theory  decision-trees 

Bu blog bir bilgisayar kullanarak onları numaralandıran "kıvrımlı küçük labirentine" üretmekten bahsediyor. Numaralandırma UST'yi almak için Wilson algoritması kullanılarak yapılabilir , ancak orada kaç tane formül hatırlamıyorum. http://strangelyconsistent.org/blog/youre-in-a-space-of-twisty-little-mazes-all-alike Prensip olarak, Matris Ağacı Teoremi bir grafiğin yayılan ağaç sayısının grafiğin Laplacian matrisinin determinantına eşit olduğunu belirtir. Let G=(E,V)G=(E,V)G= (E,V) grafik olarak …

10 graph-theory  randomized-algorithms  matrices  tree 

Bu direkt toplamı teoremi çözme olmadığı, yani belirleyici haberleşme karmaşıklığı için geçerli olup olmadığı eski açık bir sorundur olan bir sorun, bağımsız örneklerde T kat daha fazla tek bir örneği çözme daha. [FKNN95] aşağıdaki sonuçları gösterdi:tttttt Olumsuz bir sonuç: Deterministik iletişim karmaşıklığı , ancak t bağımsız örneklerde hesaplamanın karmaşıklığı Θ …

10 cc.complexity-theory  communication-complexity 

İki permütasyon verilen ve h üzerinde , n elemanları (örneğin, üyeleri S , n ), tarafından üretilen bir alt-grubu sırasını hesaplama karmaşıklığı ne g , h ? Ya da sadece alt grubun n düzeninde olup olmadığına karar vermek ! (diğer bir deyişle, tüm S n )?ggghhhnnnSnSnS_ng,hg,hg,hn!n!n!SnSnS_n

10 cc.complexity-theory  algebra  gr.group-theory 

Polinom kimlik testinde iki polinom eşitliğini çıkarmak için deterministik bir algoritma ararız . Bilinen verimli randomize algoritmaları dağıtmak ve etkili bir deterministik algoritma üretmek önemli bir açık sorundur. Bu bir polinom sınıfı için kimlik testinin düzensizleştirilmesinin bu açık sorunu çözmesi için PIT için tam bir sorun var mı? Değilse, bu …

10 derandomization  polynomials 

Let sabit sabit. tamsayısı verildiğinde bir permütasyonu oluşturmak istiyoruz :k>0k>0k>0nnnσ∈Snσ∈Sn\sigma \in S_n Konstrüksiyon sabit zaman ve mekan kullanır (yani ön işleme sabit zaman ve mekan gerektirir). Rasgeleleştirmeyi kullanabiliriz. Verilen , sabit zaman ve mekan olarak hesaplanabilir.i∈[n]i∈[n]i\in[n]σ(i)σ(i)\sigma(i) Permütasyon isimli tarzında bağımsız yani tüm , rastgele değişkenler bağımsız ve düzgün dağılmış olan …

10 cc.complexity-theory  ds.algorithms  cr.crypto-security  derandomization  k-wise-independence