«terminology» etiketlenmiş sorular

Michael Sipser'in Hesaplama Teorisi'nin 270. sayfasında şunları yazıyor: P = üyeliğe hızlı bir şekilde karar verilebilen dil sınıfı. NP = üyeliğin hızlı bir şekilde doğrulanabildiği dil sınıfı. "Kararlı" ve "doğrulanmış" arasındaki fark nedir?

16 complexity-theory  terminology  decision-problem 

Wikipedia'ya göre : Gayri resmi olarak, algoritmik bilgi teorisi açısından, bir ipin bilgi içeriği, o ipin mümkün olan en kısa bağımsız temsilinin uzunluğuna eşittir. "Yararlı bilgiler" in benzer gayrı resmi titiz tanımı nedir? "Yararlı bilgi" neden daha doğal veya daha temel bir kavram olarak kabul edilmemektedir; safça tamamen rastgele bir …

16 information-theory  terminology  kolmogorov-complexity 

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 

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 

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 

İkisi arasında herhangi bir fark var mı? Gereğince Ullman kitabında , derleyiciler başka (genellikle düşük seviye) diline bir dili dönüştürmek ve böylece bir montajcı yapar. İkisi nasıl farklı?

15 terminology  compilers 

Bir algoritmanın karmaşıklığını ölçmek için zaman karmaşıklığı mı, yoksa hesaplama karmaşıklığı mı? Onların arasındaki fark ne? Algoritmada temel (en pahalı) işlemin maksimum (en kötü) sayısını hesaplardım.

14 complexity-theory  terminology  algorithm-analysis  time-complexity 

İki ve sayısı verildiğini ve l \ le i, \, j \ le r için bulmak istediğimizi varsayalım .lllrrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r Saf algoritma tüm olası çiftleri kontrol eder; örneğin yakutta: def max_xor(l, r) max = 0 (l..r).each do |i| (i..r).each do |j| if (i ^ j > max) max …

14 algorithms  algorithms  machine-learning  statistics  testing  terminology  asymptotics  landau-notation  reference-request  optimization  scheduling  complexity-theory  time-complexity  lower-bounds  communication-complexity  computational-geometry  computer-architecture  cpu-cache  cpu-pipelines  operating-systems  multi-tasking  algorithms  algorithm-analysis  education  correctness-proof  didactics  algorithms  data-structures  time-complexity  computational-geometry  algorithms  combinatorics  efficiency  partitions  complexity-theory  satisfiability  artificial-intelligence  operating-systems  performance  terminology  computer-architecture 

Gönderen Wikipedia randomize algoritmaları hakkında Beklenen çalışma süresini veya bellek kullanımını azaltmak için rasgele girişi kullanan algoritmalar arasında ayrım yapmak gerekir , ancak her zaman sınırlı bir süre içinde doğru bir sonuçla sonlanır ve rasgele girdiye bağlı olarak bir şansa sahip olasılıklı algoritmalar hatalı bir sonuç üretme (Monte Carlo algoritmaları) …

14 algorithms  terminology  randomized-algorithms  nondeterminism  machine-models 

Kendime bizon kullanımını öğretmeye çalışıyorum. Manpage bizonu (1) bizon hakkında şunları söylüyor: LALR (1), IELR (1) veya kanonik LR (1) ayrıştırıcı tablolarını kullanarak deterministik bir LR veya genelleştirilmiş LR (GLR) ayrıştırıcısı oluşturun. IELR ayrıştırıcı nedir? Dünya çapında web'de bulduğum tüm ilgili makaleler ödeme duvarı.

14 formal-languages  terminology  formal-grammars  parsers 

Göre Ara maddesi , L vasıtası "tarama için sağ-sol", ve "R" anlamına gelir "sağdaki türev". Bununla birlikte, Knuth'un gramerleriyle ilgili orijinal belgesinde , (sayfa 610) ' ile soldan sağa çevrilebilen bir dil olarak tanımlar .LR(k)LR(k)LR(k)LR(k)LR(k)LR(k)LR(k)LR(k)LR(k)kkk Bu yeni terminolojinin ayrışmasının "soldan sağa taraması, en soldaki türevi" tamamlaması için seçildiğini tahmin ediyorum …

14 formal-languages  reference-request  terminology  formal-grammars  parsers 

Bilgisayar anahtarında 'anahtarın' anlamının tam olarak ne olduğu konusunda biraz kafam karıştı. Anahtar / değer çiftlerini, birincil anahtarları vb. Anlıyorum ... Ama 'anahtar' teriminin kendi başına ne anlama geldiğini anlayamıyorum. Anlayabildiğim kadarıyla sadece bir veri parçası anlamına geliyor. CLRS'de, ağaç düğümleriyle ilişkili verilere 'anahtar' denir. Karma tabloyu aramak için kullanılan …

14 terminology 

Hala bir algoritma için asemptomatik üst sınırı analiz etmek ve tanımlamak için kullanıldığında "giriş uzunluğu" ve "giriş boyutu" terimleri ile biraz karışık Algoritma için giriş uzunluğunun, çok fazla veri türüne ve bahsettiğiniz algoritmaya bağlı olduğu anlaşılıyor. Bazı yazarlar, girdi uzunluğunu girdiyi temsil etmek için gereken karakter boyutuna atıfta bulunurlar, bu …

14 complexity-theory  terminology  algorithm-analysis  time-complexity  runtime-analysis 

İkinci kodu kata yaparken (her seferinde farklı bir yöntemle beş kez bir ikili arama algoritması uygulamanızı ister), aşağıdaki gibi çalışan biraz farklı bir çözüm buldum: Eğer uzunluk 100 sıralı bir dizi varsa ve onun başlangıç ​​alanı 200 sayısını içerir ve onun bitiş alanı 400 sayısını içerir, ben, bir insan okuyan …

14 algorithms  terminology  search-algorithms  binary-search 

Sanırım matematik ve programlama dili olarak adlandırılan şeyler hakkında oldukça kafam karıştı. Bir analizin, programların denkliği hakkında muhakeme için resmi bir sistem olduğunu düşünmeye eğilimliyim ve söylenmiş olabilirim. Programların, bir makine tarafından belirlenmiş, (bence?) Belirleyici olması gereken işlevsel bir semantiği vardır. Bu şekilde, dili için (doğru) bir hesap , program …

13 terminology  programming-languages  lambda-calculus  semantics  operational-semantics