Bilgisayar Bilimi

Bağlamdan bağımsız bir dil L'nin normal bir M dili ile kesişiminin her zaman bağlamsız olduğu söylenir. Ürünler arası yapı kanıtını anladım, ancak neden bağlamdan bağımsız olduğunu, ancak düzenli olmadığını anlamıyorum. Böyle bir kavşak tarafından üretilen dili PDA hem kabul edilir dizeleri vardır ve bir DFA. Bir DFA tarafından kabul edildiğinden, …

16 regular-languages  context-free  finite-automata  formal-grammars 

Grafik işleme biriminin bellek birleştirme olarak adlandırılan bir şeyi olduğunu öğrendim. Üzerine okuduğumda konuyla ilgili net değildim. Bellek Düzeyi Paralelliğiyle ilgili herhangi bir yol var mı? Google'da arama yaptım ancak tatmin edici bir cevap alamadım. Birisi daha kapsamlı, anlaşılması kolay bir açıklama yaparsa yararlı olur.

16 terminology  reference-request  computer-architecture  memory-management 

Son zamanlarda (fonksiyonel) programlama dillerinin yönlerini anlamak ve kanıtlamakla son derece ilgilenmeye başladım. Ancak daha derinlere daldığım zaman, hesabı, kategori teorisi ve anlamsal anlambilim gibi şeyleri doğru bir açıklama yapmadan yapmak biraz zor.λλ\lambda SICP'yi (oldukça aydınlatıcı bir kitap) okudum ama fonksiyonel programlama teorisinin derinliklerine dalmak istiyorum. Fonksiyonel programlama dillerinin teorisini …

16 reference-request  lambda-calculus  functional-programming  books 

Üçünü inceledim ve çıkarımlarımı aşağıda belirtiyorum. Birisi bana bunları yeterince doğru anlayıp anlamadığımı söyleyebilir mi? Teşekkür ederim. Dijkstra algoritması yalnızca tek bir kaynağınız olduğunda ve bir düğümden diğerine en küçük yolu bilmek istediğinizde kullanılır, ancak bu gibi durumlarda başarısız olur . Floyd-Warshall algoritması , tüm düğümlerden herhangi biri kaynak olabiliyorsa …

16 algorithms  graph-theory 

Brzozowski'nin DFA minimizasyon algoritması, DFA için asgari bir DFA oluşturur GGG: Tüm kenarları geri GGG , başlangıç durumunu alma bir durum kabul etmek ve NFA elde etmek için, başlangıç durumları kabul N′N′N' ters dil için, almak için Powerset inşaat kullanarak G′G′G' ters dil için, kenarlarını tersine (ve takas ilk olarak …

16 algorithms  finite-automata  runtime-analysis 

Bu kitaptan aşağıdaki sorun üzerinde çalışıyorum . Belirli bir dize işleme dili, bir dizeyi iki parçaya ayıran ilkel bir işlem sunar. Bu işlem orijinal dizginin kopyalanmasını içerdiğinden, kesimin konumuna bakılmaksızın, n uzunluğundaki bir dizginin n birimini alır. Şimdi, bir ipi birçok parçaya bölmek istediğinizi varsayalım. Molaların yapılma sırası toplam çalışma …

16 algorithms  combinatorics  strings  dynamic-programming 

Geçen yıl, “Anaokulu İçin Kuantum Mekaniği” üzerine harika bir makale okuyordum . Kolay bir kağıt değildi. Şimdi, çabuk çabayı mümkün olan en basit kelimelerle nasıl açıklayacağımı merak ediyorum. Bir anaokulu sınıfına ortalama karmaşıklığın olduğunu ve en iyi ve en kötü durumların neler olduğunu nasıl kanıtlayabilirim (veya en azından el dalgalarını) …

16 algorithms  education  algorithm-analysis  didactics  sorting 

Neden ikili (bilgisayarlar için) veya ondalık (insanlar için) olmayan diğer üsleri kullanıyoruz? Bilgisayarlar onları ikili olarak temsil ederler ve insanlar ondalık temsillerini almayı şiddetle tercih ederler. Neden bu iki üsse bağlı kalmıyorsunuz?

16 numeral-representations 

Büyük olasılıkla, bu soru daha önce sorulmuştur. CLRS (2. Baskı) probleminden 6.5-8 - K sıralı listeyi tek bir sıralı listede birleştirmek için zaman algoritması verin ; burada n , tüm giriş listelerindeki toplam öğe sayısıdır. (İpucu: K -yolu birleştirme için bir min-yığın kullanın .)O(nlgk)O(nlg⁡k)O(n \lg k)kkknnnkkk Bulunmadığından listeleri sıralaması ve …

16 algorithms  algorithm-analysis  heaps  priority-queues 

Bilgisayar teorisinde "sonsuz" veya "sonlu" dil ifadelerinin kullanımı konusunda net değilim. Ben bu sorun kök benzeri bir dil olduğunu düşünüyorum olan sonsuz o sonsuz (ama sayılabilen) dizeleri sayısını üretebilir anlamda. Bununla birlikte, yine de sonlu bir durum otomatı tarafından tanınabilir .L = { a b }*L={ab}∗L=\{ab\}^* Ayrıca Sipser kitabının bu …

16 formal-languages  terminology  regular-languages 

DFS'yi "olduğu gibi" kullanmanın, ağırlıksız bir grafikte en kısa yolu bulamayacağını anlıyorum. Ama neden DFS, ağırlıksız grafiklerde en kısa yolları bulmasına izin vermek için bu kadar umutsuz bir olasılık? Konuyla ilgili tüm metinler bunun yapılamayacağını belirtir. İkna olmadım (kendim denemeden). DFS'nin ağırlıksız grafiklerde en kısa yolları bulmasına izin verecek herhangi …

16 algorithms  graph-theory  shortest-path 

Neden ilk etapta çekirdeği 2D evrişimde çevirmemiz gerekiyor? Bunun yararı ne? Peki, neden çevirmeden bırakamıyoruz? http://www.songho.ca/dsp/convolution/convolution2d_example.html giriş çekirdek çıktı "İlk olarak, gölgeli kutu olan çekirdeği hem yatay hem de dikey yönde çevirin"

16 image-processing 

Sonlu bir gözlemcinin geçmişinde sonsuz süreli bir dünya çizgisinin yer aldığı göreceli uzay zamanları vardır (örneğin MH uzay zamanları; bkz. Hogarth 1994). Bu, normal bir gözlemcinin sonsuz sayıda hesaplama adımına erişebileceği anlamına gelir. Bir bilgisayarın sonsuz bir süre boyunca mükemmel bir şekilde çalışmasının mümkün olduğunu varsayarsak (ve bunun büyük bir …

15 turing-machines  halting-problem  church-turing-thesis  hypercomputation 

Gerçek bir dünya problemini çözmek için bir algoritmayla karşılaştım ve ödev problemi için bazıları için çok benzer bir şey yaptığım bir sınıfı hatırlıyorum. Temelde bir nokta grafiğidir ve çizgiler iki nokta arasında eşit uzaklıkta olacak şekilde çizilir. Noktanın etrafındaki çizgilerin o noktaya en yakın alanın şeklini oluşturduğu mükemmel bir bölüm …

15 algorithms  data-structures  terminology  computational-geometry 

Ben sonsuz sayıda giriş boyutları her NP-tam problemi için, bu izlenimi var , boyut mümkün olan tüm girdiler üzerinde evet-örneklerinin sayısı , olduğu (en azından) içinde üstel .nnnnnnnnn Bu doğru mu? Kanıtlanabilir mi (muhtemelen sadece varsayımı altında )? Ya da, belki yapay, bütün (yeterince büyük) için bir sorun bulabilirsiniz n …

15 complexity-theory  np-complete  np-intermediate