«reference-request» etiketlenmiş sorular

Kısacası: tip sistemleri akademik bağlamda nasıl kategorize edilir; özellikle, farklı türdeki sistemler arasındaki farkları netleştiren saygın kaynakları nereden bulabilirim? Bir anlamda, bu sorunun zorluğu bir cevap bulamıyorum, aksine çok fazla şey bulabiliyorum ve hiçbiri doğru olarak öne çıkmıyor. Arka plan şu anda aşağıdaki farklılıkları iddia eden Haskell wiki ile ilgili …

23 reference-request  programming-languages  type-theory 

Algoritma tasarımına gelince, çoğu zaman aşağıdaki teknikler kullanılır: Dinamik program Açgözlü Strateji Bölmek ve fethetmek İlk iki yöntem için, iyi bilinen teorik temeller, yani Bellman Optimallik İlkesi ve matroid (özellikle greedoid) teorisi varken, D&C'ye dayalı algoritmalar için böyle genel bir çerçeve bulamadım. Öncelikle, birleştirici bağlamında ortaya çıkan, "algoritmik iskelet" olarak …

22 algorithms  reference-request  divide-and-conquer 

15 yaşında bir genç yetişkin için iyi bir başlangıç ​​bilgisayar bilimi kitabı nedir? CS'ye başlamak istiyorum, ancak nereden başlayacağımı bilmiyorum. Programlama konusunda sınırlı deneyimim var.

21 education  reference-request 

Cormen'in Algoritmalara Giriş kitabındaki materyallerin çoğunu bitirdim ve Corman'ın kitabının ötesindeki materyalleri kapsayan bir algoritma kitabı arıyorum. Herhangi bir öneriniz var mı? NOT: Bunu stackoverflow üzerinde sordum ama cevaptan çok memnun değildi. NOT: İdeal olarak düşündüğüm yorumların çoğuna baktığımda, bu ders tanımındaki 787 dersinin materyallerini kapsayacak bir kitap bulmak istiyorum …

21 algorithms  reference-request  books 

Sık sık bir hesaplama problemi (veya karmaşıklığı) için bir algoritma istemek isteyen insanlarla etkileşime girerim, ancak bunu (bilgisayar bilimcileri) anlaması için titiz bir şekilde ifade etmezler. Onları CLRS gibi kitaplara yönlendirmek yararlı değildir, çünkü oradaki örneklerin titizlikle ifade etmenin oldukça basit bir yolu vardır, örneğin bir grafiğin bitişik listesi ve …

20 algorithms  reference-request  books 

Son zamanlarda literatürden biraz okudum ve oldukça ilginç veri yapıları buldum. Güncelleme sürelerini en kötü durum güncelleme süresine [1-7] düşürmek için çeşitli farklı yöntemler araştırdım .O ( 1 )O(1)\mathcal{O}(1) Son zamanlarda verimli eşzamanlı erişimi desteklemek için kilitsiz veri yapılarını araştırmaya başladım. veri yapılarının uygulanmasında bu en kötü durum güncelleme zamanı …

20 reference-request  data-structures  time-complexity  concurrency  search-trees 

Son zamanlarda bir makalede [1] 2/2/4-SAT adı verilen SAT'ın özel simetrik bir versiyonunu buldum . Ancak orada birçok varyantı var, örneğin: MONOTONE NAE-3SAT , MONOTONE 1-IN-3-SAT , ...NPNP\text{NP} Diğer bazı varyantlar izlenebilir: - , Planar-NAE- , ...222OTURDUOTURDU\text{SAT}OTURDUOTURDU\text{SAT} -complete (veya ) olarak kanıtlanmış tüm (garip) varyantlarını sınıflandıran anket kağıtları (veya web …

20 complexity-theory  reference-request  satisfiability 

Bağlamdan bağımsız diller tamamlayıcı altında kapalı değildir , bunu biliyoruz. Bildiğim kadarıyla bir alt kümesidir, bağlamdan-bağımsız diller anlamak gibi Bazı mektuplar için bir , b tamamlayıcı altında kapalıdır (!?)a∗b∗a∗b∗a^*b^*a,ba,ba,b İşte benim argümanım. Her CF dili yarı doğrusal Parikh görüntüsüne sahiptir π ( L ) = { ( m , n …

20 formal-languages  reference-request  context-free  closure-properties 

Bazı karmaşık algoritmalar ( birleşim bulma ), asimptotik zaman karmaşıklığında görünen neredeyse sabit ters Ackermann fonksiyonuna sahiptir ve neredeyse sabit ters Ackermann terimi göz ardı edilirse en kötü zaman optimumdur. Ters Ackermann'dan temelde daha yavaş büyüyen fonksiyonları içeren çalışma sürelerine sahip bilinen algoritma örnekleri var mı (örneğin, en iyi bilinen …

20 reference-request  algorithm-analysis  time-complexity  runtime-analysis 

Tamam ben başlamadan önce ben bu konu üzerine saçak olduğunu fark (Bu site için Sorular yardım okudum), özellikle bu bir gerçek dünya problemi değil gibi. Ancak: Google'da alakalı hiçbir şey bulamıyorum Kesinlikle saf bir bakış açısıyla Bilgisayar Bilimi'ne girmesi gerekir mi? Her durumda, bir sınırı aştıysam, özür diliyor ve diğer …

20 reference-request  human-computing 

Bölüm iyileştirme , sınırlı bir nesne kümesi ile başladığınız ve seti aşamalı olarak böldüğünüz bir tekniktir. DFA minimizasyonu gibi bazı sorunlar, bölüm iyileştirme kullanılarak oldukça verimli bir şekilde çözülebilir. Wikipedia sayfasında listelenenler dışında bölüm ayrıntılandırması kullanılarak çözülen başka herhangi bir sorun bilmiyorum. Tüm bu sorunlardan, Wikipedia sayfasında, bölüm ayrıntılandırmasına dayalı …

20 algorithms  reference-request  data-structures  partitions  sets 

Ben NC sınıfı tarafından verilen "paralel algoritma ile verimli bir şekilde çözüldü" karmaşıklık teorik görünümünü kabul sorunları vardı : Kuzey Carolina zaman paralel bir algoritma ile çözülebilir sorunların sınıfıdır ile işlemciler .p ( n ) ∈ O ( n k ) c , k ∈ NO(logcn)O(logc⁡n)O(\log^cn)p(n)∈O(nk)p(n)∈O(nk)p(n) \in O(n^k)c,k∈Nc,k∈Nc,k \in \mathbb{N} …

20 complexity-theory  reference-request  parallel-computing 

Yaygın olarak uygulandığını gördüğüm birçok maksimum akış algoritması, Dinic'in algoritması, itme yeniden etiketleme ve diğerleri, dinamik ağaçların (bağlantı kesilmiş ağaçlar olarak da bilinir) kullanılmasıyla asimtotik zaman maliyetlerini artırabilir . İtmeli etiketleme veya O ( V 3 ) veya O ( V 2 √O ( V2E)Ö(V2E)O(V^2E)O (V3)Ö(V3)O(V^3)normal, ancak dinamik ağaçlarO(VElog(V2/E))O ( …

20 reference-request  graphs  data-structures  network-flow 

Aşağıdaki sorunu düşünün: Giriş: uzunluğunda iki ve dizisi , burada sıralanmış düzendedir.B n BAAABBBnnnBBB Sorgu: do ve (kendi çokluğu ile) aynı öğeleri içerir?BAAABBB Bu sorun için en hızlı deterministik algoritma nedir ? Bunları sıralamaktan daha hızlı çözülebilir mi? Bu problem deterministik lineer zamanda çözülebilir mi?

19 algorithms  reference-request  sorting 

"Makine öğrenimi" terimini kimin kazandığını anlamaya çalışıyorum. Yardımcı bir soru, Arthur Samuel'in 1959'da “makine öğrenimi” alanını şu şekilde tanımladığı yönündedir: bilgisayarlara açıkça programlanmadan öğrenme imkanı veren çalışma alanı ? İnternette bu tanıma çok, çok sayıda referans bulabilirsiniz, ancak kaynağı takip edemedim. Bazıları bunu damada 1959 tarihli bir kağıt olarak veriyor …

19 terminology  reference-request  machine-learning  history