Bilgisayar Bilimi

5 tamsayı bir listeyi nasıl sıralayabilirim, en kötü durumda 7 karşılaştırmayı alır? Başka kaç işlem gerçekleştirildiği umurumda değil. Tamsayılar hakkında özel bir şey bilmiyorum. Ben bir birleştirme yaklaşımı izlemek veya ekleme konumunu bulmak için ikili arama kullanarak birleştirme ile birleştirmek gibi 8 karşılaştırmalar beni aşağı olsun birkaç farklı böl ve …

19 algorithms  sorting 

Bir akışta numaralar aldığımızı varsayalım. Her sayı alındıktan sonra , ağırlıkların her zaman aynı, ancak keyfi olduğu son NNN sayılarının ağırlıklı bir toplamının hesaplanması gerekir. Hesaplamaya yardımcı olacak bir veri yapısını korumamıza izin verilirse bu ne kadar verimli bir şekilde yapılabilir? den daha iyi yapabilir miyiz Θ(N)Θ(N)\Theta(N), yani bir sayı …

19 algorithms  data-structures  online-algorithms 

İki fonksiyon f,g:R+→R+f,g:R+→R+ f,g: R^+ → R^+ tatmin edici: süreklidir;f,gf,gf, g monoton olarak artmaktadır;f,gf,gf, g ve g ≠ O ( f ) .f≠O(g)f≠O(g)f \ne O(g)g≠O(f)g≠O(f)g \ne O(f)

19 asymptotics  landau-notation 

Ukkonen'in algoritmasının asimptotik çalışma süresi , belki de doğrusal (?) Zamanda sonek ağaçları oluşturmak için en popüler algoritma sorunu ile ilgileniyorum . İşte Dan Gusfield'ın "teller, ağaçlar ve diziler üzerinde algoritmalar" kitabından bir alıntı (bölüm 6.5.1): "... Aho-Corasick, Weiner, Ukkonen ve McCreight algoritmalarının tümü ya alanı gerektirir ya da zaman …

19 algorithms  data-structures  algorithm-analysis  strings 

Göre bu Wikipedia makalesinde , sınırsız dilbilgisi Turing makineleri eşdeğerdir. Makale, herhangi bir Turing makinesini sınırsız bir dilbilgisine dönüştürebileceğimi not ediyor, ancak sadece bir dilbilgisinin Turing makinesine nasıl dönüştürüleceğini gösteriyor. Gerçekten bunu nasıl yaparım ve Turing makinesini tanıyan dilini kısıtlamasız bir dilbilgisine dönüştürürüm? Geçiş kurallarını dilbilgisi kurallarıyla değiştirmeyi denedim, ancak …

19 formal-grammars  turing-machines  simulation 

Hücresel otomatlarda kural 110 için wikipedia sayfasını okudum ve az ya da çok nasıl çalıştıklarını biliyorum (bir dizi kural sonraki 1 veya 0 nerede çizileceğine karar verir). Sadece Turing tamamlandıklarını okudum, ama 'kural 110'da nasıl' programlayacağınızı bile anlayamıyorum?

19 computability  automata  turing-completeness  cellular-automata 

Birkaç CS araştırma makalesinde, iki algoritmanın verimliliğini karşılaştırmak için, gerçek hesaplama sürelerinin kendisinden ziyade algoritmalardaki toplam anahtar karşılaştırmanın kullanıldığını fark ettim. Neden her iki programı çalıştırarak ve algoritmaları çalıştırmak için gereken toplam süreyi sayarak hangisinin daha iyi olduğunu karşılaştıramıyoruz?

19 algorithms  algorithm-analysis  runtime-analysis 

Let F={⟨M⟩:M is a TM which stops for every input in at most 50 steps}F={⟨M⟩:M is a TM which stops for every input in at most 50 steps}F = \{⟨M⟩:\text{M is a TM which stops for every input in at most 50 steps}\} . F'nin karar verilebilir mi yoksa yinelemeli …

19 computability  undecidability 

Algoritmaları test ederken, yaygın bir yaklaşım rastgele testtir: bazı dağıtımlara (genellikle tekdüze) göre önemli sayıda girdi oluşturun, algoritmayı üzerinde çalıştırın ve doğruluğunu doğrulayın. Modern test çerçeveleri, bazı kısıtlamalarla algoritma imzası verildiğinde otomatik olarak girdiler oluşturabilir. Girişler sayılar, listeler veya dizeler ise, bu girişleri düz ileriye doğru üretir. Ağaçlar daha zordur, …

19 algorithms  graphs  randomness  software-testing 

Bir Biparite Grafiğinin Maksimum Bağımsız Kümesini bulmaya çalışıyorum. Bazı notlarda "13 Mayıs 1998 - Washington Üniversitesi - CSE 521 - Ağ akışının uygulamaları" bölümünde aşağıdakileri buldum : Sorun: Bir bipartit grafiktir verilen G=(U,V,E)G=(U,V,E)G = (U,V,E) , arayan bağımsız bir dizi burada, mümkün olduğu kadar büyük ve . Setin elemanları arasında …

19 algorithms  graph-theory  network-flow 

Tarafından çarpma algoritmalarında kullanılan kimlikler Karatsuba (tamsayı) Gauss (karmaşık sayılar) Strassen (matrisler) çok yakından ilişkili görünüyor. Ortak bir soyut çerçeve / genelleme var mı?

19 algorithms  matrices 

Aşağıdaki soruna bir yaklaşım bulmaya çalışıyorum: noktası ve yarıçapı seti göz önüne alındığında, dairenin kümeden maksimum nokta sayısını içereceği şekilde dairenin merkez noktasını bulun. Çalışma süresi .SSSrrrO(n2)Ö(n2)O(n^2) İlk başta, kolayca çözülebilen en küçük çevreleyen daire problemine benzer bir şey gibi görünüyordu . Fikir, keyfi bir merkez kurmak ve her noktasını …

19 algorithms  computational-geometry 

İki nokta kümesinin bir çizgi ile ayrılıp ayrılamayacağını belirlemenin bir yolu varsa? A ve B'yi , A'nın ve A'nın tüm noktaları çizginin bir tarafında ve B'nin tüm noktaları ve sadece B'nin diğer tarafında olacak şekilde ayıran bir çizgi varsa iki ve B noktası var .birbirABBBbirbirABBBbirbirAbirbirABBBBBB Geldiğim en saf algoritma ve …

19 algorithms  machine-learning  computational-geometry 

Bu yüzden (biraz temel olsa da) sorunun buraya ait olduğunu düşündüm: Diyelim ki 10x10 örüntüde dizilmiş 100 nod büyüklüğünde bir grafiğim var (satranç tahtası). Grafik yönlendirilmemiştir ve ağırlıksızdır. Grafikte hareket etmek için üç boşluk ileri ve bir boşluk sağa veya sola hareket ettirilir (bir satranç şövalyesinin tahtada nasıl hareket ettiğine …

19 algorithms  graphs  graph-theory  search-algorithms  shortest-path 

Ben düzenli olmadığını kanıtlamak için pompalama lemma kullanmaya çalışıyorum .L={(01)m2m∣m≥0}L={(01)m2m∣m≥0}L = \{(01)^m 2^m \mid m \ge0\} Şimdiye kadar sahip olduğum şey: nin düzenli olduğunu varsayalım ve p'nin pompalama uzunluğu olmasına izin verin , bu yüzden w = ( 01 ) p 2 p . Herhangi bir pompalama ayrışma düşünün w …

19 formal-languages  regular-languages  pumping-lemma