Bilgisayar Bilimi

Profesörden in-situ algoritma tanımım var, ama anlamıyorum. Yerinde algoritmalar Θ (1) bellekle çalışan algoritmaları ifade eder. Bu ne anlama geliyor?

13 algorithms  terminology  landau-notation 

Yapay bir sinir ağının çok katmanlı bir Perceptron olduğunu ne zaman söyleyebiliriz ? Ve ne zaman yapay bir sinir ağının çok katmanlı olduğunu söyleyebiliriz ? Algılayıcı terimi , ağırlıkları güncellemek için öğrenme kuralıyla ilişkili midir? Yoksa nöron birimleriyle mi ilgili?

13 neural-networks  perceptron 

Bu cümleyi Garey and Johnson'un "Bilgisayarlar ve Sürdürülebilirlik" sayfa 6'sında buldum. Zaman karmaşıklığı işlevi bu şekilde sınırlanamayan herhangi bir algoritmaya üstel zaman algoritması denir (bu tanımın normalde üstel fonksiyonlar olarak kabul edilmeyen gibi polinom olmayan zaman karmaşıklığı fonksiyonlarını içerdiği belirtilmelidir ).ngünlüknnlog⁡nn^{\log n} Sorum şu şekilde, Eğer polinom ne de üstel …

13 algorithms  terminology  polynomial-time 

Bununla birlikte, pek çok "ünlü" kararlaştırılamaz sorun en azından yarı yarıya kesilebilir ve tamamlayıcıları kararsızdır. Her şeyden önce bir örnek durdurma sorunu ve bunun tamamlayıcısı olabilir. Ancak, birisi bana hem sorunun hem de tamamlayıcısının kararsız olduğu ve yarı kararsız olmadığı bir örnek verebilir mi? Köşegenleştirme dili Ld'yi düşündüm, ancak bana …

13 formal-languages  computability  turing-machines  undecidability  semi-decidability 

Stackoverflow bu yazıdan gördüm ki, bu aralıkta bir başbakan olup olmadığını görmek için bir sayı aralığı elemek için nispeten hızlı algoritmalar vardır. Bununla birlikte, bu, genel karar sorununun şu anlama geldiği anlamına mı geliyor: (Bir aralıkta asal var mı?) P'de. yinelenen veya gereksiz). Bir yandan, aralık yeterince büyükse (örneğin ) …

13 complexity-theory  np  polynomial-time  primes 

Ana sayma fonksiyonu , indirgenen , daha az bir asal sayıların sayısı olarak tanımlanır veya eşit olan , x .π(x)π(x)\pi(x)xxx Bir karar problemini 'den aşağıdaki gibi tanımlayabiliriz:π(x)π(x)\pi(x) İkili olarak yazılmış iki ve n sayısı verildiğinde π ( x ) = n olup olmadığına karar verin .xxxnnnπ(x)=nπ(x)=n\pi(x) = n Bir arkadaşım …

13 complexity-theory  primes 

Sorunun karar verilebilirliğinin karar verilebilir bir sorun olup olmadığını merak ediyorum. Tahmin etmiyorum, ancak ilk aramalardan sonra bu sorunla ilgili herhangi bir literatür bulamıyorum.

13 computability  undecidability  decision-problem 

Bilgisayar bilimi konusunda bir kitap okuyorum ama bazı önkoşullardan yoksuyorum. Normalde terimlerle karşılaştığımda anlamadım sadece onları ararım, ancak Evrensel Arama için istatistik / bilgisayar bilimlerinde arka planı olmayan bir okuyucu için uygun bir açıklama bulamadım. Bu konuyu kapsadığı anlaşılan Scholarpedia'dan Evrensel Arama ile ilgili bu makaleyi okudum . Evrensel Arama'nın …

13 algorithms  terminology  search-algorithms 

Tanınmayan dillerin varlığını anlamaya çalışıyorum. Bunu elde etmek için bir Turing makinesinin neden birden fazla dili değil, yalnızca bir dili tanıdığını bilmem gerekir. Bu neden?

13 turing-machines  computation-models 

1962 olarak, bir hediye kazanma şansı $ (yaklaşık 10 000 $ size 33 şehirde üzerinde tanımlı bir Öklid seyyar satıcı sorununa çözüm bulursa bugünün parası 80 000). http://www.math.uwaterloo.ca/tsp/history/pictorial/car54.html Resme baktığımızda sorun oldukça kolay görünüyor. Ancak sorunla ilgili daha ayrıntılı kaynaklar bulamadım. Kesin mesafeler ve en uygun çözüm gibi daha fazla …

13 optimization  traveling-salesman 

Arka fon \newcommand\ms[1]{\mathsf #1}\def\msD{\ms D}\def\msS{\ms S}\def\mfS{\mathfrak S}\newcommand\mfm[1]{#1}\def\po{\color{#f63}{\mfm{1}}}\def\pc{\color{#6c0}{\mfm{c}}}\def\pt{\color{#08d}{\mfm{2}}}\def\pth{\color{#6c0}{\mfm{3}}}\def\pf{4}\def\pv{\color{#999}5}\def\gr{\color{#ccc}}\let\ss\grFarzedelim ki iki özdeş nnn mermer grubu var. Her mermer c ≤ n olan ccc renklerinden biri olabilir . Let , n ı renk mermer sayısını göstermek i her partide.c≤nc≤nc≤nninin_iiii SS\msS çoklu küme olsun {1,…,1n1,2,…,2n2,…,1c,…,cnc}{1,…,1⏞n1,2,…,2⏞n2,…,1c,…,c⏞nc}\small\{\overbrace{\po,…,\po}^{n_1},\;\overbrace{\pt,…,\pt}^{n_2},\;…,\;\overbrace{\vphantom 1\pc,…,\pc}^{n_c}\}bir grubu temsil eder. Olarakfrekans gösterimi,SS\msSaynı zamanda şu şekilde …

13 algorithms  combinatorics  probability-theory  permutations  sampling 

Wikipedia'nın grafik izomorfizmi sorun sayfası, hayır, çözülmediğini gösteriyor gibi görünüyor. Ancak, bir arkadaşım Grafik İzomorfizmi için Bir Polinom Zaman Algoritması'na dikkat çekti . Makaledeki muhakemeyi takip edecek kadar sofistike değilim. Kanıt gibi bir şey olmadan bir polinom zaman algoritmasında çok sert bir girişimim var , ancak devam etmeden önce bu …

13 complexity-theory  reference-request  time-complexity  graph-isomorphism 

Geçen gün bu web sitesinde dalga geçiyordum: http://regexcrossword.com/ ve bunu çözmenin en iyi yolunun ne olduğunu merak ettim. Aşağıdaki problemi polinom zamanında çözebilir misiniz veya NP zor mu? Sütunlar için N düzenli ifadeler ve satırlar için M içeren bir NxM ızgarası verildiğinde, tüm normal ifadelerin karşılanması için ızgaraya herhangi bir …

13 complexity-theory  np-hard  regular-expressions 

Bazı hipervizörler, balon adı verilen bir yöntem kullanarak bellek kullanımını optimize eder (en azından KVM bunu çağırır), bu yöntem VM'ler arasındaki belleği tekilleştirir ve yazma sırasında kopyalamayla ortak sayfaları salt okunur olarak ayarlar. Bu bir çatal çağrısının tersidir. İşlemler için bir işletim sistemi düzeyinde uygulamak mümkün mü (esas olarak aynı …

13 operating-systems  memory-management  virtual-memory 

Çarpma algoritmalarındaki wikipedia sayfası Donald Knuth tarafından ilginç bir sayfadan bahsediyor . Temel olarak, fourier dönüşümü çarpımının önceden hesaplanmış bir logaritmik boyutlu çarpım tablosu ile birleştirilmesini içerir. Doğrusal zamanda çalışır. Makale bu algoritma gibi davranıyor bir şekilde "gerçek" çarpma algoritması sayılmaz. Daha da önemlisi, çarpmanın eşit O(n lg n)zamanda yapıp …

13 algorithms  runtime-analysis  multiplication