Bilgisayar Bilimi

Turing-tamamlamanın ne olduğunun çoğu tanımının bir dereceye kadar totolojik olduğunu görüyorum. Örneğin, Google’ın "Turing tam olmak ne anlama geliyor" anlamına gelirse, şunları elde edersiniz: Bir Turing makinesinin yapabileceği herhangi bir sorunu çözebiliyorsa, bilgisayar Turing'i tamamlar ... Farklı sistemlerin Turing'in eksiksiz olup olmadığı çok iyi tanımlanmış olsa da, Turing'in eksiksiz olmasının …

34 turing-machines  turing-completeness 

Bir dizinin "sıralama" sının standart bir yolu olup olmadığını merak ediyorum. Ortanca muhtemel ters çevrme sayısına sahip olan bir dizi, en fazla sıralanmamış olarak kabul edilir mi? Demek istediğim, temelde olabildiğince sıralı veya ters sıralı olmaktır.

34 algorithms  algorithm-analysis  sorting  arrays 

NPNP\mathsf{NP} ( PP\mathsf{P} değil) Complete değil, bilinen herhangi bir sorun var mı? Benim anladığım şu ki, durumun olduğu yerde şu anda bilinen bir sorun yok, ancak bir olasılık olarak göz ardı edilmedi. NPNP\mathsf{NP} Bir sorun varsa NPNP\mathsf{NP} (ve PP\mathsf{P} ), ancak NP-completeNP-complete\mathsf{NP\text{-}complete} , bu durum sorun örnekleri arasında mevcut bir …

34 complexity-theory  np-complete  p-vs-np 

Dijkstra, makalesinde , bilgisayar bilimlerini öğretmenin zulmü üzerine , bir giriş programlama kursu için aşağıdaki öneride bulundu: Bir yandan, belirleyici hesabın neye benzediğini öğretiyoruz, ancak bunu filozoflardan çok farklı yapıyoruz. Acemi programcıyı yorumlanmamış formüllerin manipülasyonunda eğitmek için, öğrenciye mantıksal bağlaçların tüm cebirsel özelliklerini tanıyarak, boolean cebiri olarak öğretiyoruz. Sezgiye olan …

33 reference-request  programming-languages  education  didactics 

EDIT: Şimdi kategoriler ve kümeler arasındaki fark hakkında benzer bir soru sordum . Her ne zaman tip teorisini okuduğumda (şüphesiz gayri resmidir), küme teorisinden somut olarak nasıl farklılaştığını gerçekten anlayamıyorum . "X bir X kümesine aittir" ile "x X türünde" demek arasında kavramsal bir fark olduğunu anlıyorum, çünkü sezgisel olarak, …

33 type-theory  sets 

Birkaç kaynak okuduktan sonra, kullanıcı ve çekirdek seviyesindeki iş parçacıkları hakkında hala kafam karışık. Özellikle: Konular hem kullanıcı düzeyinde hem de çekirdek düzeyinde olabilir. Kullanıcı seviyesi ile çekirdek seviyesi arasındaki fark nedir?

33 operating-systems  terminology  concurrency  os-kernel 

1987 tarihli final makalesinde Dana Angluin, bir DFA'yı üyelik sorgularından ve teori sorgularından (önerilen bir DFA'ya karşı örneklere) öğrenmek için polinom zaman algoritması sunar. Eğer durumlu en az bir DFA öğrenmeye çalışıyorsanız ve en büyük sayım numaranızın uzunluğu , üyelik sorgusu ve en fazla teori sorgusu yapmanız gerektiğini gösterir .nnnmmmO(mn2)O(mn2)O(mn^2)n−1n−1n …

33 algorithms  learning-theory  machine-learning 

Her öğeyi rastgele seçilen bir tane ile değiştirerek bir diziyi karıştırmak için kullanılan bu 'naif' algoritmanın doğru çalışmadığı bilinmektedir: for (i=0..n-1) swap(A[i], A[random(n)]); Her başlangıcı Spesifik olarak, n,nn yineleme, bir n-nn seçenek (düzgün bir olasılık ile) yapılır, orada , n , nnnn^n bir hesaplama ile mümkün 'yolları'; çünkü olası permütasyon …

33 algorithms  algorithm-analysis  asymptotics  probability-theory  randomness 

Vardır kutuları ve topları türü. inci bin Etiketlerin sahip için , o tipi topları beklenen numarası .nnnmmmiiiai,jai,ja_{i,j}1≤j≤m1≤j≤m1\leq j\leq mjjj J tipi bjbjb_j topları ile başlar . Tipi Her top j ağırlığı vardır w_j ve bidonları içine öyle ki bin topları koymak istiyorum ben kilo vardır c_i . Önceki durumun tutabileceği …

33 complexity-theory  np-hard  integer-programming 

Yukarıdan aşağıya ve aşağıdan yukarıya dinamik programlama arasında temel bir fark var mı? Özellikle aşağıdan yukarıya doğru çözülebilen ancak yukarıdan aşağıya doğru çözülmeyen bir sorun var mı? Yoksa aşağıdan yukarıya yaklaşımı, yukarıdan aşağıya yaklaşımda sadece nüksün çözülmesini mi sağlar?

33 algorithms  dynamic-programming 

Bu soru aptalca geliyorsa şimdiden özür dilerim ... Bildiğim kadarıyla dinamik programlama kullanarak bir algoritma oluşturmak şu şekilde çalışır: sorunu tekrarlama ilişkisi olarak ifade eder; Yinelenme ilişkisini notlandırma yoluyla veya aşağıdan yukarıya bir yaklaşımla gerçekleştirin. Bildiğim kadarıyla dinamik programlama ile ilgili her şeyi söyledim. Demek istediğim: Dinamik programlama tekrarlama ilişkilerini …

33 algorithms  dynamic-programming  algorithm-design 

Bugün, derste ikili arama kullanarak sıralanmış bir dizide bir eleman bulmak için çok basit bir algoritma tartıştık . Bir nnn element dizisi için asimptotik karmaşıklığını belirlememiz istendi . Benim fikrim, daha açık bir şekilde O ( logn )O(log⁡n)O(\log n) , veya olmasıydı, O ( log2n )O(log2⁡n)O(\log_2 n)çünkü günlük2nlog2⁡n\log_2 n , …

33 algorithm-analysis  asymptotics  landau-notation  reference-question 

Ben bir CS öğrencisi bile değilim, bu yüzden aptalca bir soru olabilir, ama lütfen yanımda ol ... Bilgisayar öncesi çağda, yalnızca bir dizi çekmeceye benzer bir şeyle bir dizi veri yapısını uygulayabiliriz. Biri değeri çıkarmadan önce çekmeceyi karşılık gelen indeks ile konumlandırması gerektiğinden, dizi aramasının zaman karmaşıklığı , ikili arama …

32 algorithms  algorithm-analysis  data-structures  runtime-analysis 

Sınıfımda bir öğrenci, sonlu tüm otomataların kenarları geçmeden çizilip çizilemeyeceğini sordu (tüm örneklerin yaptığı gibi görünüyor). Elbette cevap olumsuz, dil için bariz otomatizasyon {x∈{a,b}∗∣#a(x)+2#b(x)≡0mod5}{x∈{a,b}∗∣#a(x)+2#b(x)≡0mod5}\{\; x\in\{a,b\}^* \mid \#_a(x)+2\#_b(x) \equiv 0 \mod 5 \;\}K5K5K_5 Sorum şu: Bu dil için her sonlu durum otomatının düzlemsel olmadığını nasıl gösterebiliriz ? Myhill-Nerode benzeri karakterizasyonlarla, dilin …

32 regular-languages  finite-automata  planar-graphs 

Iota ve Jot hakkında okuyordum ve bu bölümü kafa karıştırıcı buldum: Bir dizgenin sözdizimsel ağacının sola veya sağa dallayabildiği İota'nın aksine, Jot sözdizimi eşit biçimde sol dallanmadır. Sonuç olarak, Iota kesinlikle bağlam içermez, ancak Jot normal bir dildir. Anladığım kadarıyla hem Iota hem de Jot Turing'in eksiksiz olduğu. Fakat görünüşe …

32 regular-languages  programming-languages  turing-completeness