Bilgisayar Bilimi

HTML5 + CSS'nin Turing Complete olduğunu "kanıtladığını" iddia eden web siteleri gördüm. SQL "Turing Complete olduğunu kanıtlamak" iddia web siteleri gördüm. Turing Complete olmanın ne anlama geldiğini "açıklamayı" iddia eden bir grup web sitesi gördüm. Yeter! "Hesaplanabilirlik teorisinde bir uzman tarafından yazılmış) veya haklı bir makaleyi (saygın bir dergide) nerede" …

10 computability  turing-machines  automata  turing-completeness  church-turing-thesis 

Bir algoritmanın çalışma zamanı yineleme ilişkisi olduğunu varsayalım: T(n)={g(n)+T(n−1)+T(⌊δn⌋)f(n):n≥n0:n&lt;n0T(n)={g(n)+T(n−1)+T(⌊δn⌋):n≥n0f(n):n&lt;n0 T(n) = \left\{ \begin{array}{lr} g(n)+T(n-1) + T(\lfloor\delta n\rfloor ) & : n \ge n_0\\ f(n) & : n < n_0 \end{array} \right. bazı sabit . Varsayalım polinom olan , belki de ikinci dereceden. Büyük olasılıkla, üstel olacaktır .0&lt;δ&lt;10&lt;δ&lt;10 < \delta < …

10 asymptotics  recurrence-relation 

Fonksiyonlar veya hesaplamalar için aşağıdaki gibi terimlerimiz vardır: Deterministik - Determinizm Saf - Saflık Şimdi, yan etkisiz için doğru karşılık gelen isim nedir? "Yan etki freeness"? "Yan etki özgürlüğü" mü? "Non-yan etkili"?

10 terminology  programming-languages 

Bu sorun yazılım testlerinden kaynaklanmıştır. Sorunu açıklamak biraz zor. Önce bir örnek vereceğim, sonra sorunu genelleştirmeye çalışacağım. A'dan J'ye kadar test edilecek 10 öğe ve aynı anda 3 öğeyi test edebilen bir test aracı vardır. Test aracındaki öğelerin sırası önemli değildir. Tabii ki, kapsamlı testler için öğe kombinasyonuna ihtiyacımız var.10C310C3^{10}C_{3} …

10 algorithms  combinatorics  software-testing 

Ya da en azından bir NFA'nın kabul ettiği bir dizi dizi oluşturun, böylece onu diğer NFA'ya besleyebilirim. NFA'nın her yolunda arama yaparsam, bu işe yarar mı? Her ne kadar bu uzun zaman alacaktır.

10 algorithms  regular-languages  finite-automata 

Bir ikili dizi uzunluğu , sadece sıralı bir dizi olup böylece her birinin ya olup ya da . Tüm bu ikili dizileri oluşturmak için, bariz ikili ağaç yapısını şu şekilde kullanabilirsiniz: kök "boş" dur, ancak her sol çocuk , mevcut dizeye ve her bir sağ alt öğeyi ekler. . Şimdi, …

10 algorithms  graphs  binary-trees 

Pebbling, her tepe noktasının sıfır veya daha fazla çakıl taşı olduğu yönlendirilmemiş bir grafik oynanan bir solitaire oyunudur . Tek bir pebbling hareket bir köşe iki çakıl çıkarılması oluşur v ve isteğe bağlı bir komşu bir çakıl ilave v . (Açıkçası, v tepe noktasının hareketten önce en az iki çakıl …

10 algorithms  graph-theory  np-complete 

Arka planım zorunlu dillerden, özellikle C, C ++ ve Python'dan geldi. Birkaç yıl sonra Scala, Erlang ve biraz Haskell'i aldım ve o zamandan beri fonksiyonel programlama ve bunun arkasındaki formalizmlerle çok ilgilenmeye başladım. Aynı zamanda eşzamanlı ve dağıtılmış programlamaya da ilgi duyuyorum ve bunun arkasında, özellikle de en azından "gün …

10 distributed-systems  concurrency 

Verilen numaraları şekilde bir sayı atama olduğunu bir permütasyon olan bu şekildekkkA1≤A2≤...≤AkA1≤A2≤...≤AkA_1 \leq A_2 \leq ... \leq A_k∑i=1kAi=k(2k+1)∑i=1kAi=k(2k+1)\sum\limits_{i=1}^k A_i = k(2k + 1)i1,i2,...,i2ki1,i2,...,i2ki_1, i_2, ... , i_{2k}1,2,...,2k1,2,...,2k1, 2, ... , 2k i1+i2≤A1i3+i4≤A2...i2k−1+i2k≤Aki1+i2≤A1i3+i4≤A2...i2k−1+i2k≤Aki_1 + i_2 \leq A_1\\ i_3 + i_4 \leq A_2\\ .\\.\\.\\ i_{2k-1} + i_{2k} \leq A_k ? Etkili bir …

10 np-complete  decision-problem 

Önümüzdeki sonbaharda lisans bilgisayar bilimi dersine başlıyorum, ancak fonksiyonel programlama bağlamında λ-hesabını gerçekten anlayamıyorum. Bunu tamamen yanlış yorumlayabilirim, ancak Stanford Felsefe Ansiklopedisi'nin bu tanımına dayanarak, işlevler için sadece bir başka gösterim. O takdirde ise sadece, neden algoritma çalışma süresini hesaplamak için düzenli fonksiyon gösterimler aşırı kalkülüs λ kullanmak avantajlı olduğunu?

10 programming-languages  lambda-calculus 

Bir grafik , 4 veya daha fazla uzunluktaki uyarılmış döngülere sahip değilse komandır . G'nin bir klik ağacı ( T) , ağacın köşelerinin G'nin maksimum klikleri olduğu bir ağaçtır . T'deki bir kenar, minimum bir ayırıcıya karşılık gelir. Farklı klik ağaçlarının sayısı, bir korda grafiğindeki köşelerin sayısında üstel olabilir.G,G,G444TTTG,G,GG,G,GTTT Düşük …

10 algorithms  graph-theory  reference-request 

Başımı SR Mandalının nasıl çalıştığına dolamıyorum. Görünüşte, Eğer R, bir giriş hattı fiş ve bir S ve sonuç almak gerekiyordu ve Q ' .QQQQ′Q′Q' Ancak, hem R hem de S diğerinin çıkışından giriş gerektirir ve diğerinin çıkışı diğerinin çıkışından giriş gerektirir. Önce tavuk veya yumurta ne olur ?? Bu devreyi …

10 circuits  sequential-circuit 

(Shannon) matris entropi kısıtlı bir optimizasyon problemim var . Matris değerde toplamı olarak yazılabilir form 1 matrisler burada belirli bir normalize edilmiş vektördür. Rütbe bir matrisin katsayıları, optimize ettiğimiz bilinmeyenlerdir ve bunların sıfırdan büyük olması ve 1'e kadar toplamları gerekir.( S u m( e n t r ( e i …

10 optimization  entropy 

Arazinin adil bölünmesi için prosedürlerle ilgileniyorum (kıskançlık bölünmesi veya en azından orantılı bölünme). İyi incelenen kek bölünmesi sorununun aksine, arazi bölünmesi iki boyutludur, yani kullanıcıların tercihleri ​​hem yatay hem de dikey olarak değişebilir. Bu nedenle, algoritmayı paralel kesimlerle sınırlamak pratik değildir. Şimdiye kadar bulduğum tek referans Karthik Iyer ve Michael …

10 reference-request  game-theory 

Program analizine başlamak için kaynaklar arıyorum . Bu konuda bulduğum tek kitap Nielson &amp; Nielson kitabı. Bunun dışında, "program analizi" nin bir bölüm ya da bu satırlar boyunca bir şey olacağı sadece "derleyici" kitaplar var gibi görünüyor. İnsanlar başka kaynakları biliyorlar mı?

10 reference-request  compilers  semantics