Bilgisayar Bilimi

bölünebilen ikili sayıları kabul ederek DFA oluşturabiliriz .nnn Örneğin, 2'ye bölünebilen ikili sayıları kabul eden DFA aşağıdaki gibi oluşturulabilir: Benzer şekilde 3 ile bölünebilen ikili sayıları kabul eden DFA aşağıdaki gibi oluşturulabilir: Bu DFA türlerini oluşturmak için iyi tanımlanmış bir prosedürü takip edebiliriz. Bununla birlikte, biçiminin sayılarını kabul eden DFA'ları …

9 regular-languages  automata  finite-automata  regular-expressions 

Bir programlama dilinde bir yazı sisteminin ne kadar faydalı olabileceğini bilmek istiyorum. Örneğin, bağımlı Vectortipte bir programlama dilinde, vektör boyutunu tip imzasında birleştiren bir sınıf oluşturabileceğimizi biliyorum . Fiili bir örnek gibidir. appendBu imzaları kullanarak bir işlev de yazabiliriz, böylece derleyici sonuç listesinin boyutunun giriş listelerinin toplamı olacağını kanıtlar. Örneğin, …

9 type-theory  functional-programming  dependent-types 

Feragatname: Ben bir biyologum, bu tür kaba terimlerle ifade edilen temel soru için (belki de) çok üzgünüm. Bu soruyu burada mı yoksa DS / SC'de mi sormam gerektiğinden emin değilim, ancak CS üçün en büyüğü, işte gidiyor. (Gönderdikten sonra, Cross-Valideted'in bunun için daha iyi bir yer olabileceği, ancak ne yazık …

9 machine-learning  probability-theory 

Bir dize göz önüne alındığında , en uzun yinelenen (en az iki kez) sonraki bulmak istiyorum. Kendisine, bir dizi bulmak istiyoruz bir sekans olan (a bitişik olmak zorunda değildir) bu şekilde . Yani , yarıları üst üste iki kez görünen bir dizedir. Not bu bir sekans olan zorunlu bir alt, …

9 algorithms  optimization  dynamic-programming  strings  subsequences 

Bazen "Swift klasik (izleme) GC yapmaz, ARC kullanır." Ama Swift anlambiliminde referans sayımı gerektiren bir şey olup olmadığından emin değilim. Görünüşe göre izleme GC'yi kullanmak için kendi Swift derleyicisini ve çalışma zamanını oluşturabilir. Peki Swift hakkında "referans sayılır" tam olarak nedir? Apple'ın uygulaması mı yoksa dilin kendisi mi? Dilin veya …

9 semantics  garbage-collection 

Diyelim ki iki işlevi vardır varsayalım ve ve ben olmadığının belirlenmesinde ilgilenen kulüplerFFFGGG F(x)=∫G(x)dx.F(x)=∫G(x)dx.F(x) = \int G(x)dx. Diyelim ki işlevlerim temel işlevlerden (polinomlar, üstel, günlükler ve trigonometrik işlevler) oluşuyor, ancak Taylor serisinden oluşmuyor. Bu sorun karar verilebilir mi? Değilse, yarı-doğrulanabilir mi? (Soruyorum çünkü hesaplanabilirlik hakkında bir ders veriyorum ve bir …

9 computability  undecidability  mathematical-analysis  computer-algebra 

Kenar seti mükemmel eşleşmelerin ayrık bir birleşimine ayrışan grafiklerin karakterizasyonu var mı? Bu tür grafiklerin önemsiz bir sınıfı ddd-düzenli ( n , n )(n,n)(n,n)-bepartit grafikler. Kenar kümeleri ayrışırddd ayrık mükemmel eşleşmeler.

9 graph-theory  graphs 

Artık dosyamın içerdiği artık gereksiz (gerçek) bilgileri ölçmeye çalışıyorum. Bazıları buna entropi miktarı der. Tabii ki standart p (x) günlüğü {p (x)} var, ama Shannon'ın bunu sadece bir kanal üzerinden aktarma açısından düşündüğünü düşünüyorum. Bu nedenle formül bir blok boyutu gerektirir (örneğin, tipik olarak bit cinsinden 8). Büyük bir dosya …

9 entropy 

Girdi dizesi olarak . Daha sonra NFA durum şu anda ise (alfabe kadar giriş okumak sahip ) daha sonra iki NFA içine NFA bölmelerini sonraki giriş sembolü okumadan önce, durum içinde bir varlık ve diğer varlık , bir geçiş olup olmadığını türü . Türü bir döngü var ise , NFA …

9 turing-machines  finite-automata  pushdown-automata  computation-models  nondeterminism 

İyi akşamlar! Aslında, Archives Nationales of France'da staj yapıyorum ve grafikleri kullanarak çözmek istediğim bir durumla karşılaştım ... I. Tozlu durum Arşiv maliyetlerini en aza indirmek için kütüphanemin kitaplarının yüksekliğine göre düzenlenmesini optimize etmek istiyoruz. Kitapların yüksekliği ve kalınlığı bilinmektedir. Kitapları zaten yüksekliklerine göre (en iyi şey olup olmadığını bilmiyorum …

9 algorithms  graphs  optimization  packing 

Reed-Solomon kodlarının kodunu çözmek için Welch-Berlekamp algoritmasında , bilinmeyen konumlarda hataları olan bir mesajı temsil eden noktaların listesi verilir (ve algoritmaya verilir). Çıktı, hataların meydana geldiği durumlar dışında verilen tüm noktalardan geçen bir polinomdur.(birben,bben)(birben,bben)(a_i, b_i)eeebbenbbenb_ieee Yöntem, formun doğrusal denklemleri sisteminin çözülmesini içerir bbenE(birben) = Q (birben)bbenE(birben)=S(birben)b_i E(a_i) = Q(a_i) derecesine …

9 algorithms  error-correcting-codes 

Bu nedenle , lambda hesabı terimlerini SK birleştiricileri kullanarak birleşik mantığa dönüştüren bir algoritma vardır . Boyut olarak patlayan şeyler üretir . Bu patlama hakkında daha fazla bilgi edinmek istiyorum. Ancak daha iyi bir algoritma düşünemiyorum. İşlevsel dillerin pratik olarak birleştiricilere derlendiğini duydum, bu yüzden daha iyi bir algoritma var …

9 lambda-calculus  functional-programming  combinatory-logic 

Ben bir dizi var ı noktaları ama başka bir şey arasında bir 'mesafe' ölçmek için - bir metrik uzayda tanımlanan noktaları. Diğer tüm noktalara minimum uzaklık toplamı olan nokta olarak tanımladığım bu set içindeki en merkezi noktayı bulmak istiyorum. Metrik hesaplama yavaştır, bu nedenle mümkün olduğunca kaçınılmalıdır.nnn Bu noktayı bulmanın …

9 complexity-theory  computational-geometry  lower-bounds  search-problem 

Tekli dilleri düşünüyorum LkLkL_k, nerede LkLkL_k uzunluğu toplamı olan tüm kelimelerden oluşur kkkkareler. resmen: Lk={an∣n=∑i=1kni2,ni∈N0(1≤i≤k)}Lk={an∣n=∑i=1kni2,ni∈N0(1≤i≤k)}L_k=\{a^n\mid n=\sum_{i=1}^k {n_i}^2,\;\;n_i\in\mathbb{N_0}\;(1\le i\le k)\} Bunu göstermek kolaydır L1={an2∣n∈N0}L1={an2∣n∈N0}L_1=\{a^{n^2}\mid n\in\mathbb{N_0}\}düzenli değildir (örneğin Pumping-Lemma ile). Ayrıca, her doğal sayının dört karenin toplamı olduğunu biliyoruz.k≥4k≥4k\ge 4 Bütün diller LkLkL_k o zamandan beri düzenli Lk=L(a∗)Lk=L(a∗)L_k=L(a^*). Şimdi davalarla ilgileniyorum k=2k=2k=2 …

9 formal-languages  regular-languages 

Buradaki wikipedia sayfasında CDCL algoritmasını oldukça iyi açıklıyor (ve resimler Princeton'da Sharad Malik tarafından oluşturulan slaytlardan alınmış gibi görünüyor). Ancak, tüm geri izlemenin nasıl yapılacağını açıklarken "uygun noktaya" denir. MiniSAT ayrıca CDCL algoritmasının bir varyantını kullanır, bu yüzden bu yazıyı okudum. Söyledikleri, öğrenilen fıkra bir birim fıkra oluncaya kadar geri …

9 machine-learning  satisfiability  sat-solvers  backtracking