Bilgisayar Bilimi

İşte normal ifadeler için bir varsayım: Normal ifade , uzunluğuparantez ve operatörleri yok sayarak içindeki sembollerin sayısı. Ör| R | | 0 ∪ 1 | = | ( 0 ∪ 1 ) ∗ | = 2R,RR| R ||R||R|| 0∪1 | = | (0∪1 )*| =2|0∪1|=|(0∪1)∗|=2|0 \cup 1| = |(0 \cup …

25 formal-languages  regular-languages  regular-expressions 

Dinamik bir dil (Python, Ruby ve hatta Java platformunda Groovy, Clojure gibi çalışan diller) kullanımı arasında bir korelasyonun varlığını veya var olmadığını gösteren herhangi bir deney olup olmadığını merak ediyorum. statik dil (C / C ++ gibi) ve verimdeki fark.

25 programming-languages  empirical-research  software-engineering 

Benim sorunum bir gramerin net olmadığını nasıl kanıtlayabilirim? Aşağıdaki gramer bilgisine sahibim: S→statement∣if expression then S∣if expression then S else SS→statement∣if expression then S∣if expression then S else SS → statement ∣ \mbox{if } expression \mbox{ then } S ∣ \mbox{if } expression \mbox{ then } S \mbox{ else } …

25 context-free  formal-grammars  proof-techniques  ambiguity 

Girdi tuşuyla mümkün olan en yakın eşleşmeyi döndüren, verimli tuşların yaklaşık olarak aranmasını destekleyen (örneğin dizgiler için Levenshtein mesafesi) bir veri yapısı arıyorum. Şimdiye kadar bulduğum en uygun veri yapısı Burkhard-Keller ağaçları , ancak bu amaçla başka / daha iyi veri yapıları olup olmadığını merak ediyordum. Düzenleme: Vakamın bazı detayları: …

25 data-structures  strings  efficiency 

Yayılma ağacı veri yapısındaki dönüşün neden yalnızca derecelendirme düğümünün ebeveyni değil, aynı zamanda büyükbaba veya büyükbaba (zig-zag ve zig-zig operasyonu) dikkate aldığını da anlamıyorum. Aşağıdaki neden işe yaramaz: Örneğin, ağaca yeni bir düğüm eklediğimizde, sola mı sağa mı alt ağaçlara mı girdiğimizi kontrol ederiz. Sola eklersek, RIGHT sonucunu döndürürüz ve …

25 algorithms  data-structures  binary-trees  search-trees 

Değerleri bir listeden dağıtmak için bir algoritma arıyorum, ki sonuçta elde edilen liste olabildiğince "dengeli" veya "eşit olarak dağıtılmış" (tırnak işaretleri halinde) çünkü bunları tanımlamanın en iyi yolu olduğundan emin değilim ... sonra bir sonucun diğerinden daha iyi olup olmadığını ölçmek için bir yol sağlayacağım). Yani, liste için: [1, 1, …

25 algorithms  optimization  sorting  approximation 

Açıkçası, NP’de tespit edilemeyen herhangi bir problem yoktur. Ancak, Wikipedia'ya göre : NP, cevabın "evet" olduğu durumların, belirleyici bir Turing makinesi tarafından polinom zamanında doğrulanabilir [.. ispatları] olduğu tüm karar sorunlarının kümesidir. [...] Bir problemin sadece eğer polinom zaman içinde yürütülen problem için bir doğrulayıcı varsa ve eğer NP cinsinden …

25 complexity-theory  computability  undecidability  decision-problem 

Bir tane paran var. İstediğiniz kadar çevirebilirsiniz. Bir rasgele sayı üretmek istiyoruz böyle bir ≤ r &lt; b nerede r , bir , b ∈ Z + .rrra≤r&lt;ba≤r&lt;ba \leq r < br,a,b∈Z+r,a,b∈Z+r,a,b\in \mathbb{Z}^+ Sayıların dağılımı tekdüze olmalıdır. Eğer ise kolaydır :b−a=2nb−a=2nb -a = 2^n r = a + binary2dec(flip n …

25 algorithms  probability-theory  randomness  random-number-generator 

Bazı adamlar şöyle dedi: Deterministik yöntemlerle rasgele sayılar üretmeye çalışan herkes, elbette bir günah durumunda yaşamaktadır. Bu her zaman yalnızca bir bilgisayarla gerçek rasgele sayılar üretemeyeceğiniz anlamına gelir. Bilgisayarların tek bir Intel 8080 mikroişlemcinin (~ 6000 vana) eşdeğer büyüklüğünde olduğunu söyledi. Bilgisayarlar daha karmaşık hale geldi ve von Von Neumann'ın …

25 randomness  data-compression  entropy  random-number-generator 

LSTM ağları için hiperparametrelerden biri sıcaklıktır. Bu ne?

25 machine-learning  neural-networks 

Birisi evrensel bir kuantum bilgisayar yapacak olsaydı, bunun P-NP problemi üzerinde bir etkisi olur mu?

25 complexity-theory  complexity-classes  quantum-computing 

P NP olduğu varsayıldığında , NP-tamamlanmış problemlerin "çözülmesi zor, fakat kontrol edilmesi kolay cevaplar var" dır. Bunun tersini düşünmek mantıklı mı, yani doğru bir cevabı hesaplamanın kolay olduğu, ancak keyfi bir çözümü doğrulamak zor mu?≠≠\neq Ben böyle bir sorunun ya da ima edeceğini düşünüyorum: Üstelik herhangi bir girdi için birçok …

25 complexity-theory 

Paralelleştirmesi çok zor olan bir algoritma var mı, yoksa araştırma hala aktif mi? Paralel hesaplamada herhangi bir algoritma veya herhangi bir araştırma alanı hakkında bilgi edinmek istedim. Aradığım her şey, 'paralel' bir uygulama yaptı. Sadece keşfedilmemiş herhangi bir paralel hesaplama alanı üzerinde biraz araştırma yapmak istiyorum.

24 algorithms  parallel-computing 

Tüm sözde rasgele sayı üreteçleri sonuçta periyodik midir? Yoksa sonunda periyodik mi? Periyodik olarak demek istediğim, rasyonel sayılar gibi, sonunda periyodik bir sonuç oluştururlar ... Ve sözde rastgele, rastgele sayıların algoritmik / matematiksel neslidir ...

24 randomness  pseudo-random-generators 

Bana göre, ingilizcede 'ima ediyor', mantıksal operatörün ima ettiği ile aynı anlama gelmez, benzer şekilde, çoğu durumda 'OR' kelimesinin günlük dil kullanımımızda 'Özel OR' anlamına geldiği gibi. İki örnek alalım: Bugün Pazartesi ise yarın Salı. Bu doğru . Ama eğer söylersek: Güneş yeşilse, çimen yeşildir. Bu da doğru olarak kabul …

24 terminology  logic  first-order-logic  propositional-logic