«applied-theory» etiketlenmiş sorular

Pratik ortamlarda uygulanan teorik sonuçlar ve teknikler.

4
Kırmızı-Siyah ağaçlar neden bu kadar popüler?
Göründüğüm her yerde veri yapıları kırmızı-siyah ağaçlar kullanılarak uygulanmaktadır ( std::setC ++ 'da, SortedDictionaryC #' da vs.) Algoritmalar dersimde yeni (a, b), kırmızı-siyah ve AVL ağaçları kapladıktan sonra, dışarı çıktığım şey şu (profesörlere sormaktan, birkaç kitaptan bakmaktan ve biraz googling yapmaktan): AVL ağaçları kırmızı-siyah ağaçlardan daha küçük ortalama derinliğe sahiptir …
6
Veri tabanı hesaplamalarında gruplar, monoidler ve halkalar ne işe yarar?
Twitter gibi bir şirket neden gruplar, monoidler ve halkalar gibi cebirsel kavramlarla ilgilensin? Github'deki havuzlarını görün : twitter / algebird . Tek bulabildiğim: Monoidlerin Bloom filtresi , HyperLogLog ve CountMinSketch gibi ilginç yaklaşım algoritmaları için uygulamaları . Bunlar sayılarınız gibi bu karmaşık işlemleri düşünmenize ve güçlü istatistikler ve analizler oluşturmak …
8
İşlemsel karmaşıklık hakkında bilgisi olmayan bir programcı olmak sorun mu?
Üniversitemde bir alıştırma yapıldı. Eve götürdüm ve çözmek için bir algoritma programlamaya çalıştım, sanırım grafiklerle ilgili bir şeydi, bağlı bileşenleri buldum. Sonra aklıma gelen en önemsiz şeyi yaptım ve sonra öğretim görevlisine gösterdim. Kısa bir gözlemden sonra, çözümümün çalışma zamanı karmaşıklığının yenilmez olduğunu ve daha verimli bir şey gösterdiğini algıladı. …
2
SAT çözücüler için 1-out-of-kısıtlama kodlaması
Bir sorunu kodlamak için çözücü bir SAT kullanıyorum ve SAT örneğinin bir parçası olarak, ben boolean değişkenler var bu tam olarak bir gerçek olması gerektiğini amaçlanan ve nerede dinlenme gerektiği yanlış ol. (Bunu bazen "sıcak" bir kodlama olarak tanımlandığını gördüm.)x1,x2,…,xnx1,x2,…,xnx_1,x_2,\dots,x_n SAT'da "tam olarak doğru olması gerekir " kısıtlamasını kodlamak istiyorum …
10
Determinizm neden faydalı bir kavram?
Bir otomat dijital bir bilgisayarın soyut bir modelidir. Dijital bilgisayarlar tamamen belirleyici; onların herhangi bir zamanda durumları girdi ve ilk durumdan benzersiz bir şekilde tahmin edilebilir. Gerçek sistemleri modellemeye çalıştığımızda, neden Narateterminizmi Otomata teorisine dahil etmiyorsunuz?
3
Radix Sort'un Pratik Uygulamaları
Anahtarların belirli bir sınırlı aralıkta olduğunu bildiğinizde radix sıralaması teorik olarak çok hızlıdır, örneğin aralığındaki değerlerini söyleyin . Eğer sadece tabanına değerleri dönüştürmek hangi sürer zaman, bir temel yapmak sıralama ve daha sonra genel için orijinal üsse geri dönüştürmek radix algoritması.nnn[ 0 … nk- 1 ][0...nk-1][0\dots n^k -1]k &lt; lgnk&lt;lg⁡nk<\lg …
1
Kategori-teorik çerçeveden faydalanan monadların doğal oluşumları
Bugün, Henning Kerstan'ın ("Olasılıksal Geçiş Sistemleri için İz Semantiği") yaptığı bir konuşma ilk kez kategori teorisi ile karşı karşıya geldi. Olasılıksal geçiş sistemlerini ve davranışlarını genel bir şekilde tanımlamak için teorik bir çerçeve oluşturmuştur, yani sayılamayan sonsuz devlet kümeleri ve farklı iz kavramları. Bu amaçla, nihayet ihtiyacı olan modeli oluşturmak …
1
Uygulamada Evrensel Karma
HHHh:U→{0,…,M−1}h:U→{0,…,M−1}h: U \rightarrow \{0,\ldots,M-1\}∀x,y∈U,x≠y⇒Prh∈H[h(x)=h(y)]≤1M∀x,y∈U,x≠y⇒Prh∈H[h(x)=h(y)]≤1M\forall x,y \in U, x \neq y \Rightarrow \Pr_{h \in H}[h(x) = h(y)] \leq \frac{1}{M} Evrensel karma kavramı artık lisans veri yapısı derslerinin standart bir parçasıdır. Endüstriyel uygulamalarda evrensel hashın önemi konusunda öğrencileri motive edebilmek güzel olurdu. Benim sorum şu: Evrensel hash fonksiyonları ailesinin konstrüksiyonları pratikte önemli …
5
Tür Teorisinin Günlük Uygulamaları
Tip teorisini anlamak istiyorum ama önce onu nasıl uygulayabileceğimi bilmeliyim. Programlamada tip sistemlerinden başka tip teorisinin daha belirgin olmayan uygulamaları olabilir mi? Diyelim ki kişilik profillemesinde ve benzerlerinde başka uygulamalar olabilir mi?
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.