Bilgisayar Bilimi

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 

Düzlemsel 3SAT NP-tamamlanmıştır. Düzlemsel 3SAT örneği, aşağıdaki kurallar kullanılarak oluşturulan grafiğin düzlemsel olduğu bir 3SAT örneğidir: her ve için köşe noktası ekleyin¯ x ixixix_ixben¯xi¯\bar{x_i} her yan tümce için köşe noktası ekleCjCjC_j her çifti için kenar ekleyin( xben, xben¯)(xi,xi¯)(x_i,\bar{x_i}) köşesinden (veya ) köşeyi, onu içeren bir cümleyi temsil eden her köşeye …

14 np-complete  reductions  satisfiability  3-sat 

setimiz olduğunu ve nin her üyesinin bir veri ve anahtar çifti olduğunu varsayın . Aşağıdaki işlemleri destekleyecek bir veri yapısı istiyoruz:DDDDDD Ekleme içine ,(d,k)(d,k)(d,k)DDD Sil üye , (gerek bulmak için arama , örneğin bir üyesine noktaları ),eeeeeeeeeDDD Üye döndüren MostFrequent, öyle ki içinde en sık anahtarlarından biridir (en sık anahtar …

14 algorithms  data-structures  abstract-data-types 

Bu iki konuyla ilgili birkaç sorum var. İlk olarak, çoğu karmaşıklığı metinleri yalnızca sınıf geçiştirmeye . Araştırmayı daha derinlemesine kapsayan iyi bir kaynak var mı? Örneğin, aşağıdaki tüm sorularımı tartışan bir şey. Ayrıca, N C'nin paralelleşme bağlantısı nedeniyle hala oldukça fazla araştırma gördüğünü varsayıyorum , ancak yanlış olabilirim. Karmaşık hayvanat …

14 complexity-theory  reference-request  parallel-computing  complexity-classes 

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 

Böl ve fethetmenin klasik bir uygulaması, aşağıdaki sorunu çözmektir: Bir diziye , farklı, karşılaştırılabilir öğelerden oluşan verildiğinde, dizideki ters çevirme çiftlerinin sayısını sayın: çiftler , ve .a[1…n]a[1…n]a[1\dots n](i,j)(i,j)(i,j)a[i]>a[j]a[i]>a[j]a[i] \gt a[j]i<ji<ji \lt j Buna bir yaklaşım Bir Birleştirme Sıralaması yapmak, ancak aynı zamanda alt problemlerdeki ters çevirme çiftlerinin sayısını saymaktır. Birleştirme …

14 algorithms  reference-request  arrays 

Üzeri de inversiyon sayma hakkında bu soruya , ben bir kağıt buldum bir alt kanıtlayan bütün (tam) için uzay karmaşıklığına bağlı akış algoritmaları . Bu bağın tüm doğrusal zaman algoritmalarına yayıldığını iddia ettim. Bu, genel olarak olduğu gibi biraz cesurdur, doğrusal bir algoritma, bir akış algoritmasının yapamayacağı (rastgele erişim) etrafında …

14 algorithms  streaming-algorithm  simulation  lower-bounds 

Çözmeye çalıştığım eski bir sınavdan bu sorularım var. Her sorun için, giriş bazı Turing makinesi bir kodlamasıdır .MMM C> 1 tamsayısı c>1c>1c>1ve aşağıdaki üç sorun için: Her giriş için doğru mu olduğunu xxx , M geçmez |x|+c|x|+c|x|+c çalışırken konumunu xxx ? Her giriş için olduğu doğru mudur xxx , M …

14 computability  turing-machines  undecidability 

Aşağıdaki dil olduğunu gelip nasıl acaba RR\mathrm R . LM1={⟨M2⟩∣∣M2 is a TM, and L(M1)=L(M2), and |⟨M1⟩|>|⟨M2⟩|}LM1={⟨M2⟩|M2 is a TM, and L(M1)=L(M2), and |⟨M1⟩|>|⟨M2⟩|}L_{M_1}=\Bigl\{\langle M_2\rangle \;\Big|\;\; M_2 \text{ is a TM, and } L(M_1)=L(M_2), \text{ and } |\langle M_1\rangle| > | \langle M_2 \rangle| \Bigr\} ( Bu çoktan seçmeli soruya …

14 computability  undecidability 

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 

tamsayılarından oluşan dizisi verildiğinde, dizideki her öğe, bazı olasılıklar , olan sabit bir sayı ile arttırılabilir . Kabarcık sıralaması kullanarak diziyi sıralamak için gerçekleşecek takas beklenen sayısını bulmak zorunda .AAANNNbbbp[i]p[i]p[i]0≤i&lt;n0≤i&lt;n0 \leq i < n Aşağıdakileri denedim: Bir öğe için olasılık için verilen olasılıklar kolayca hesaplanabilir.A[i]&gt;A[j]A[i]&gt;A[j]A[i] > A[j]i&lt;ji&lt;ji < j Yukarıdakileri …

14 algorithms  algorithm-analysis  sorting  average-case 

Bir grafiktir Eğer bağlı olan ve daha büyük bir uzunluğa sahip bir yolu vardır , her iki yol kanıtlamak uzunluğu ortak en az bir tepeye sahiptir. GGGkkkGGGkkk Bu ortak tepe noktasının her iki yolun ortasında olması gerektiğini düşünüyorum. Çünkü durum böyle değilse, uzunluğuna sahip olabiliriz . Haklı mıyım?&gt;k&gt;k>k

14 graph-theory  graphs  combinatorics 

İşte iyi bilinen bir sorun. Pozitif tamsayıların dizisi verildiğinde, dizide A[1…n]A[1…n]A[1\dots n]olmayan en küçük pozitif tamsayıyı çıktılar. Sorun O(n)O(n)O(n) uzayda ve zamanda çözülebilir : diziyi okuyun, 1 , 2 , … , n + 1'in meydana gelip gelmediğini O(n)O(n)O(n) uzayda takip edin, en küçük elemanı tarayın.1,2,…,n+11,2,…,n+11,2,\dots,n+1 Zaman için yer ticareti …

14 complexity-theory  time-complexity  space-complexity 

Lambda Calculus ile ilgili öğreticilerin çoğu, Pozitif Tamsayıların ve Boole'ların İşlevlerle temsil edilebileceği bir örnek sağlar. -1 ve i ne olacak?

14 data-structures  lambda-calculus  integers  real-numbers 

Aşağıdaki kapsama sorununu çözmeye çalışıyorum. Orada 1km ve kapsama alanı ile vericiler n alıcıları. O ( n log n ) içinde tüm alıcıların herhangi bir verici tarafından kapsanmasına karar verin . Tüm reveiver'lar ve vericiler x ve y koordinatları ile temsil edilir .nnnnnnO(nlogn)O(nlog⁡n)O(n\log n)xxxyyy Gelebileceğim en gelişmiş çözüm . Her …

14 algorithms  computational-geometry  search-problem