Bilgisayar Bilimi

PAC öğrenmesini (hesaplamalı öğrenme teorisi) makine öğrenimi / yapay zeka hakkında önceden bilgisi olmayan bir başlangıç ​​olarak araştırıyorum. Modeli temel olarak tarihsel bir bakış açısından araştırıyorum. Bunun için en önemli şeyler elbette modele dayanan sonuçlardır. Dışarıda bu sonuçları belgeleyen yeterince makale var. Ama aynı zamanda, PAC modelinin kavramıyla Valiant'ın geldiği …

9 machine-learning 

Ben Lomuto bölüm ve sabit bir pivot kullanarak neden hızlı bir şekilde rasgele oluşturulan girdileri düzensiz, ama genel olarak kötü performans anlamaya çalışıyorum. Girişler rastgele oluşturulmuş olsa da, dizilere çok fazla düzen olabileceğini düşünüyorum, ancak dizilerdeki bozukluk düzeyini nasıl ölçeceğimden emin değilim. İnversiyon sayısını kullanmayı düşündüm, ancak bu diğer sorudan …

9 algorithms  sorting 

Aşağıdaki dili açıklayan bağlama duyarlı bir dilbilgisi arıyorum: L = { w w ∣ w ∈ { a , b}*, | w | ≥ 1 }L={ww|w∈{bir,b}*,|w|≥1}L = \{ ww \mid w ∈ \{a,b\}^{\ast}, |w| ≥ 1\} . Benim gibi kuralların olmamasıyla ilgili problemlerim var X→ εX→εX \to \varepsilonizin verilir ve …

9 formal-languages  formal-grammars  context-sensitive 

Bağlamdan bağımsız herhangi bir dilbilgisini aşağı itmeli bir otomata dönüştürmek için herhangi bir kural veya yöntem kümesi var mı? Zaten çevrimiçi olarak bazı slaytlar buldum ama anlayamadım. 10. slaytta kimse bunu açıklayabilir mi?

9 context-free  formal-grammars  pushdown-automata  simulation 

Bildiğim 15 yaşında akıllı bir bilgisayar hem bilgisayar bilimi hem de genetik ile ilgileniyor. Ona bu alanların mükemmel bir kombinasyon oluşturduğunu söyledim. Ona biyoinformatik veya hesaplamalı genomik hakkında bir kitap vermek istiyorum. Eğlenceli bir kitap arıyorum, ders kitabı değil. Özellikle, insanlara derinlemesine bilgi sağlamayı amaçlamamalı, alanı incelemek istemelerine ilham vermelidir. …

9 education  books  bioinformatics 

Bölüm 1'de Programlama Dilleri için Pratik Vakıflar , yazar soyut sözdizimi ağaçlar ile ilişkili olduğunu bahseder türlü . Sezgisel olarak, türler tür gibidir, ancak kesin bir tanımları olup olmadığını bilmek isterim. Bazı referanslar da sağlanırsa çok sevinirim.

9 terminology  programming-languages  semantics 

Geçenlerde Math SE hakkında bir soru sordum . Henüz yanıt yok. Bu soru bu soru ile ilgilidir, ancak bilgisayar bilimine yönelik daha teknik detaylar. Verilen iki DFA'ler ve burada durumları kümesi, giriş alfabesi ve geçiş fonksiyonu ve aynıdır, başlangıç ​​durumları ve nihai (kabul eden) durumlar farklı olabilir. ve sırasıyla ve …

9 formal-languages  reference-request  finite-automata 

SkipList, dengeli bir ağaç olarak arama için aynı sınırlarını sağlar ve yeniden dengelemenin gerekli olmaması avantajını sunar. SkipList rasgele bozuk para çevirmeleri kullanılarak oluşturulduğundan, bu sınırlar yalnızca SkipList'in yapısı yeterince "dengeli" olduğu sürece geçerlidir. Özellikle, bazı sabiti için olasılığı ile , dengeli eleman bir eleman eklendikten sonra kaybolabilir.O(logn)O(log⁡n)O(\log n)1/nc1/nc1/n^cc>0c>0c>0 Diyelim …

9 data-structures  search-trees  probabilistic-algorithms 

Kolejde genel olarak hesaplama teorisi ve Turing makineleri hakkında daha spesifik bilgi ediniyoruz. Büyük teorik sonuçlardan biri, potansiyel olarak büyük bir alfabe (semboller) pahasına, eyalet sayısını sadece 2'ye indirebilmenizdir. Farklı Turing Makineleri örnekleri arıyordum ve sunulan yaygın bir örnek Parantez eşleştiricisi / denetleyicisi. Esasen, örneğin bir parantez dizisinin (()()()))()()()dengeli olup …

9 turing-machines  context-free  parsers 

Askerin, standart bir arama algoritmasında kullanılan karşılaştırıcının adil bir madeni para çevirme ile değiştirildiği zaman çalışma süresinin değişip değişmediğini ve ayrıca Microsoft'un tek tip bir permütasyon üreteci yazamaması gerektiğini bilmek istediği bu sorudan esinlenerek , sorum şu : Karşılaştırıcının uygulanmasına bağlı olarak karşılaştırmaya dayalı bir sıralama algoritması var mı: gerçek …

9 sorting  randomized-algorithms  permutations 

Bağlamdan bağımsız bir dili değiştirmeyi içeren bu sorunla karşılaştım. İzin VermekLLLbağlamsız bir dil olabilir. Her için tanımlayın . Mı daima bağlamdan-bağımsız? Benim tahminim bağlam-kurnazlığı koruyacağıdır. Herkes bunun temel bir kanıtı olabilir mi?L#={x:xi∈LL#={x:xi∈LL^{\#} = \{ x : x^i \in Li=0,1,2,...}i=0,1,2,...}i=0,1,2,...\}L#L#L^{\#}

9 formal-languages  context-free 

MIT OCW 6.006 için 43 : 30'da bir videoda, sütunları ve satırları olan bir matrisi verildiğinde, bir zirvenin bitişik komşularından daha büyük veya ona eşit herhangi bir değer olduğu 2-D tepe bulma algoritması şu şekilde tanımlandı:m×nm×nm \times nAAAmmmnnn Not: Sütunları aracılığıyla tanımlamakta karışıklık varsa , özür dilerim, ancak bu videoda …

9 algorithms  algorithm-analysis  asymptotics  matrices 

Bilgi temsilindeki birkaç tanımla mücadele ediyorum ve aralarında ayrım yapmak için güvenilir yardım arıyorum. Vikipedi ve birçok web sitesinde ontolojiler ve semantik ağlar arasındaki farkları araştırıyorum (anlamsal web ile karıştırılmamalıdır). İken wikipedia semantik ağ üzerinde sayfa asla ontolojilere bakın, bunlar son derece benzer görünüyor ve CS benzer uygulama var. Benim …

9 terminology  knowledge-representation  ontologies 

CPU önbellekleri, zamansal ve uzamsal konumdan yararlanarak kullanılır. Benim sorum bu önbellekleri yönetmekten kim sorumlu? Bu İşletim sistemi belirli bir erişim düzenini tanımlayan ve daha sonra düşük düzeyli OS işlev çağrılarını kullanarak önbelleği yöneten (yani verileri depolamak) mıdır?

9 computer-architecture  cpu-cache 

Verilen 0 , 10,10,1 formun (ikili) tamsayı programı: minstf( x )A x = bxben≥ 0xben∈ { 0 , 1 }∀ ben∀ benminf(x)stbirx=bxben≥0∀benxben∈{0,1}∀ben \begin{array}{lll} \text{min} & f(x) & \\ \text{s.t.} & A x = b \\ & x_i \ge 0 & \quad \forall i\\ & x_i \in \{0,1\} & \quad \forall …

9 complexity-theory  np-complete  approximation  integer-programming