Bilgisayar Bilimi

Bir grafik olduğunu varsayalım ile M ( G ) mükemmel eşleşmeleri (bilinmeyen) set . Bu kümenin boş olmadığını varsayalım, o zaman den rastgele eşit olarak örneklemenin ne kadar zor olduğunu varsayalım ? Tekdüze yakın, ancak oldukça tekdüze olmayan bir dağıtımda iyiysem, o zaman verimli bir algoritma var mı?G,GGM( G )M(G)M(G)M …

13 algorithms  complexity-theory  matching  sampling 

Ben biraz yeniyim, ancak bilgi işlem ve karmaşıklık teorisi alanıyla çok ilgileniyorum ve problemlerin nasıl sınıflandırılacağı ve problemlerin bunları çözmek için kullanılan makine ile ne kadar güçlü bir şekilde ilişkili olduğu konusundaki anlayışımı netleştirmek istiyorum. Anlayışım Standart Turing Makinesi - Sonlu alfabesi, sonlu sayıda durumu ve tek bir sağ sonsuz …

13 complexity-theory  computability  terminology  turing-machines  complexity-classes 

Wikipedia'nın Kolmogorov Karmaşıklığı'na girişini okuyordum ( bu soru sayesinde ): Herhangi bir ipin Kolmogorov karmaşıklığının, ipin kendisinin uzunluğundan birkaç bayttan daha fazla olamayacağı gösterilebilir. Neden onu tanımlamak için dizenin kendisinden başka bir şeye ihtiyacınız olsun ki?

13 kolmogorov-complexity 

Zihinsel hesaplama yaparken aşağıdakiler yapılabilir: K tamsayısı verildiğinde, tüm basamakları toplayın (taban 10'da) ve sonuç 3'ün katı ise, k 3'ün katıdır. Benzer şekilde çalışan ancak ikili sayı basamaklarında (bit) çalışan herhangi bir algoritma biliyor musunuz? İlk başta, taban 2'den taban 10'a dönüşümü gerçekleştirmek için dilimin tamsayı ascii'ye dönüştüren hazır fonksiyonlarını …

13 algorithms 

Az önce hesaplama teorisi hakkında okumaya başladım. Hangisinin daha güçlü olduğunu (dizeleri kabul ederken) karşılaştırırsak, ikisi de aynıdır. Peki ya verimlilik? DFA, NFA ile karşılaştırıldığında hızlı olacaktır, çünkü sadece bir çıkış kenarı vardır ve belirsizlik olmayacaktır. Ancak NFA durumunda, olası tüm vakaları kontrol etmeliyiz ve bu kesinlikle zaman alır. DFA'nın …

13 finite-automata  efficiency  nondeterminism 

Bu, bir süre pasif kullanıcı olduktan sonraki ilk yazım. Mümkünse bazı sorular sormak istiyorum. Ben bir matematikçi değilim ama sorum matematik / bilgisayar bilimi alanıyla ilgili. Özellikle P ve NP problemi. Bunun seçkin profesyonellerin henüz çözemediği bir sorun olduğunun farkındayım ... Ne olursa olsun, şunu sormak istiyorum: Bir matematikçi veya …

13 complexity-theory  p-vs-np 

Conway'in Hayat Oyununda sağlam yapılar var mı? Örneğin, herkes çarpıştığı tüm küçük osilatörleri ve planörleri emen bir kalkanla bir uzay gemisi inşa etti mi?

13 cellular-automata 

Bir DAG verilen geçişli indirgeme bulmak için O (V + E) algoritması arıyorum . Bu, mümkün olduğunca çok sayıda kenarı kaldırır, böylece u'dan v'ye erişebiliyorsanız, v ve u için keyfi olarak, yine de kenarları çıkardıktan sonra ulaşabilirsiniz. Bu standart bir sorunsa, lütfen beni bazı model çözümlerine yönlendirin.

13 algorithms  graphs  dag 

Birinin istemci sunucu modelinin kaynağını bilip bilmediğini merak ediyordum. Terim nereden geliyor (kağıt, yazılım uygulaması, kitap)?

13 terminology  reference-request  distributed-systems  history 

Bruinier ve Ono , bölme işlevi için , büyük bir atılım olduğu bildirilen cebirsel bir formül bulmuşlardır . Makaleyi anlayamıyorum, ancak bölümleme işlevinin hızlı hesaplanması için herhangi bir algoritmik sonucu var mı?

13 algorithms  complexity-theory  number-theory 

Birçok popüler dil var. Ancak, bilgisayar bilimcileri bize, bu dillerdeki programların davranışlarını kesinlikle ve açık bir şekilde program davranışına (örneğin kimliklerini kanıtlamaya) karşı koymak için, bunları başka, iyi anlaşılmış bir dile çevirmemiz gerektiğini söylüyor. Böyle bir dile "anlambilim" diyorlar. Yazarlar birçok anlambilimden birini önermektedir. Yapılarının anlamını ve dilinizi nasıl onların …

13 formal-languages  semantics 

Bir ağacı kısmi sıralı bir küme olarak ele alırsak, bu bir birleştirme-yarı-kafesin özel bir durumu haline gelir. Birleştirme-yarı-dili için, iki elemanın (benzersiz) en az üst sınırını (az ya da çok) verimli bir şekilde hesaplamak istiyoruz. Bir ağaç söz konusu olduğunda, bunu etkinleştirecek bir veri yapısı, karşılık gelen düğümdeki her eleman …

13 data-structures  lattices 

Lütfen aşağıdaki üç iç içe döngüyü göz önünde bulundurun: for (int i = 1; i <= n; ++i) for (int j = i; j <= n; ++j) for (int k = j; k <= n; ++k) // statement Buradaki ifade tam olarak kez. Birisi bu formülün nasıl elde edildiğini açıklayabilir …

13 algorithms  time-complexity  algorithm-analysis 

Bir Naif Bayes öngörüsü bu formülü kullanarak tahminlerini yapar: P(Y=y|X=x)=αP(Y=y)∏iP(Xi=xi|Y=y)P(Y=y|X=x)=αP(Y=y)∏iP(Xi=xi|Y=y)P(Y=y|X=x) = \alpha P(Y=y)\prod_i P(X_i=x_i|Y=y) burada normalleştirici bir faktördür. Bu , verilerden P ( X i = x i | Y = y ) parametrelerinin tahmin edilmesini gerektirir . Bunu k -smoothing ile yaparsak, tahmini alırızαα\alphaP(Xi=xi|Y=y)P(Xi=xi|Y=y)P(X_i=x_i|Y=y)kkk P^(Xi=xi|Y=y)=#{Xi=xi,Y=y}+k#{Y=y}+nikP^(Xi=xi|Y=y)=#{Xi=xi,Y=y}+k#{Y=y}+nik\hat{P}(X_i=x_i|Y=y) = \frac{\#\{X_i=x_i,Y=y\} + k}{\#\{Y=y\}+n_ik} …

13 machine-learning  probability-theory  statistics 

Meşgul kunduz sayıları ve bunların herhangi bir hesaplanabilir fonksiyondan asimptotik olarak nasıl büyüdüklerini okudum. Bu neden böyle? Meşgul kunduz işlevinin hesaplanamazlığı nedeniyle mi? Eğer öyleyse, tüm hesaplanamayan fonksiyonlar asimptotik olarak hesaplanabilir fonksiyonlardan daha büyür mü? Düzenle: Büyük cevaplar aşağıda ama ben plainer ingilizce onları anlamak ne açıklamak istiyorum. Meşgul kunduz …

13 computability  asymptotics