Bilgisayar Bilimi

İşte sorun: Bantın giriş dizesini içeren kısmına yazamayan tek bantlı Turing Makinelerinin yalnızca normal dilleri tanıdığını kanıtlayın. Benim fikrim, bu özel TM'nin bir DFA'ya eşdeğer olduğunu kanıtlamaktır. DFA'yı simüle etmek için bu TM'yi kullanmak çok basittir. Ancak, TM'yi simüle etmek için bu DFA'yı kullanmak istediğimde, sorunla karşılaşıyorum. TM geçişi DFA, …

12 formal-languages  computability  regular-languages  turing-machines  automata 

Sinir ağlarını bir zaman serisini tahmin etmek için kullanıyorum. Şimdi karşı karşıya olduğum soru tarih / saat / seri numarasını nasıl kodlayacağım. sinir ağına girdi olarak ayarlanan her bir girişin? Burada açıklandığı gibi 1 kodlama (kategorileri kodlamak için kullanılır) kullanmalı mıyım ? Yoksa sadece zamanı mı beslemeliyim (1-1-1970'den beri milisaniye …

12 machine-learning  artificial-intelligence  neural-networks 

Bize tüm ile dizisi verilir .a [ i ] > 0a [ 1 … n ]bir[1...n]a[1 \ldots n]a [ i ] > 0bir[ben]>0a[i]>0 Şimdi alt dizilerinden kaç ayrı toplam oluşturulabileceğini bulmamız gerekiyor (bir alt dizinin dizinin bitişik bir aralığı olduğu, yani bazı için , toplamın tümü alt dizinin elemanları). Örneğin, …

12 arrays  substrings  suffix-array 

Kısa süre önce Russelli tür teorisi ile tür sistemleri arasında, örneğin Haskell'de bulunan bir tür ilişki olduğunu fark ettim. Aslında, Haskell'deki türler için bazı gösterimlerin tür teorisinde öncüleri olduğu görülmektedir. Ancak, IMHO, 1908'deki Russell motivasyonu Russell'ın paradoksundan kaçınmaktı ve bunun bilgisayar bilimindeki tip sistemleri ile nasıl ilişkili olduğundan emin değilim. …

12 programming-languages  type-theory 

Laplace dönüşümü görüntü işleme evrişimi için neden popüler değil? Çoğu ders kitabı sadece Fourier dönüşümlerini dönüştürür.

12 history  image-processing 

Bir şaka olup olmadığını bilmiyorum, ama bir kez git, hg veya svn gibi bir sürüm sistemindeki bir dosyanın resmi bir tanımı olarak anılan şeyi okudum. Homeomorfizm gibi matematiksel bir nesne gibiydi. Bu bir şaka mıydı yoksa sürüm sistemleri ve VCS'nin matematiği hakkında gerçekten bilgisayar bilimi teorisi var mı?

12 terminology  reference-request 

Bu sorunu çözmeye çalışıyorum ve gerçekten mücadele ediyorum. Bir monoton boole formül tümü değişmezdir pozitif önermeler mantık bir formüldür. Örneğin, ( x1∨ x2) ∧ ( x1∨ x3) ∧ ( x3∨ x4∨ x5)(x1∨x2)∧(x1∨x3)∧(x3∨x4∨x5)\qquad (x_1 \lor x_2) \land (x_1 \lor x_3) \land (x_3 \lor x_4 \lor x_5) monoton bir boolean fonksiyonudur. Öte …

12 complexity-theory  np-complete  satisfiability 

Köşeleri etiketlemek istediğim yönlendirilmemiş bir ağacım var. Yaprak düğümleri bir tane olarak etiketlenmelidir. Sonra, yaprakların çıkarıldığını varsayın. Kalan ağaçta, yapraklar iki etiketlenmelidir. Bu süreç, tüm köşelerde bir etiket bulunana kadar açık bir şekilde devam eder. Bunu yapmamın nedeni, köşeleri bir kuyrukta saklamak ve onlardan "önce ayrılmak" istiyorum. Bu süresini yapmanın …

12 algorithms  trees 

Bağlamdan bağımsız gramerlerin bağlamdan bağımsız dilleri temsil etmek için kullanılabileceğini anlıyorum, belirsizlikleri olabilir. Chomsky ve Greibach normal formu gibi normal formlarımız da var . Bunun ihtiyacını anlayamadım. Dil teorisinde neden önemlidirler? Bahsettiğim tüm ders kitapları bu normal formları anlattı ama önemleri hakkında hiçbir şey söylemedi.

12 formal-languages  context-free  formal-grammars  normal-forms 

Güçlü bir NP-zor veya NP-tam probleminin (örneğin burada tanımlandığı gibi ) zorluğu , ikili kodlanmış yerine girişi tekli olduğunda değişiyor mu? Güçlü bir NP-zor sorununun girişi tek olarak kodlanmışsa ne fark eder? Yani, örneğin zayıf NP-komple Knapsack problemini alırsam, ikili kodlandığında NP-tamamlanmış olur, ancak tekli kodlandığında dinamik programlama ile polinom …

12 complexity-theory  time-complexity  np-complete 

Birisi bana makine öğrenimi ile sistem tanımlamaları arasındaki farkları ve benzerlikleri açıklayabilir mi? Bunlar aynı şeyin iki ismi mi? Gelen bu sayfayı derler: Makine öğrenimi ve sistem tanımlama toplulukları, sınırlı veya gürültülü gözlemlerden bir model inşa edilmesi gerektiğinde benzer sorunlarla karşı karşıyadır. Christopher M.Piskopos'un ünlü Desen Tanıma ve Makine Öğrenimi …

12 machine-learning 

Dik bir çokgen (kenarları eksenlere paralel olan bir çokgen) göz önüne alındığında, birliği çokgene eşit olan en küçük iç-ayrık kareler kümesini bulmak istiyorum. Biraz farklı sorunlara birkaç referans buldum, örneğin: Dikgen bir çokgenin karelerle kaplanması - benim sorunuma benzer, ancak kaplama karelerinin üst üste binmesine izin verilir. Bu problemin bir …

12 algorithms  computational-geometry  tiling 

Ormansızlaşmanın aynı anda nasıl bir liste içerdiğini ve ürettiğini anlıyorum (bir katlama ve bir açılma işlevinden - CodeReview'da bu iyi cevaba bakın ), ama bunu ' teknikten ' wikipedia girişi ile 'kaldırma' ağaçlar 'bir programdan. Bir programın sözdizimsel ayrıştırma ağacına nasıl ayrıştırılabileceğini anlıyorum (bu doğru mu?), Ama programların bir tür …

12 terminology  compilers  functional-programming 

Diyelim ki, . Öyleyse nin düzenli olduğunu nasıl kanıtlayabiliriz ?L⊆{0}∗L⊆{0}∗L \subseteq \{0\}^*L∗L∗L^* Eğer düzenlidir, o zaman elbette bir da düzenlidir. Eğer sonludur, o zaman düzenli ve tekrar düzenlidir. Ayrıca, , nin düzenli olmadığını, ve nin düzenli olduğunu fark ettim .LLLL∗L∗L^*LLLL∗L∗L^*L={0p∣p is a prime}L={0p∣p is a prime}L = \{0^p \mid p …

12 formal-languages  regular-languages 

Yani, normal bir dil olmadığını test biliyoruz düzenli dil bir alt kümesidir Karar verilebilen biz DFAs, hesaplama için ikisini de dönüştürebilir çünkü bu dil boş ise o zaman testi ve.S R ∩ ˉ SRRRSSSR∩S¯R∩S¯R \cap \bar{S} Bununla birlikte, bu DFA'lara dönüştürmeyi gerektirdiğinden, DFA'ların ve dolayısıyla test algoritmasının giriş NFA'larındaki durum …

12 algorithms  regular-languages  automata  np-complete  decision-problem