Bilgisayar Bilimi

Aşağıdaki sorunu düşünün: Giriş: uzunluğunda iki ve dizisi , burada sıralanmış düzendedir.B n BAAABBBnnnBBB Sorgu: do ve (kendi çokluğu ile) aynı öğeleri içerir?BAAABBB Bu sorun için en hızlı deterministik algoritma nedir ? Bunları sıralamaktan daha hızlı çözülebilir mi? Bu problem deterministik lineer zamanda çözülebilir mi?

19 algorithms  reference-request  sorting 

Hesapsal karmaşıklığı inceliyorum ve NP-Complete (NPC) problemlerinin neden önemli bir sınıf olduğunu merak ediyordum. Belirli bir NP sorununun neden NP zor olduğunu göstermekle ilgilendiğimizi açık bir şekilde görüyorum. NPC'nin tanımını da anlıyorum ve belirli bir karar problemini göstermenin NP zor olduğunu, NP'de olduğunu bilmenin tam olarak NPC anlamına geldiğini anlıyorum. …

19 complexity-theory  np-complete 

Bir araştırma yazısı yazıyorum ve temel olarak bir mikrodenetleyicinin diğer bir mikroişlemciden daha yavaş olduğunu söylemeliyim. Ancak, sadece 'daha yavaş' demenin bir araştırma makalesinde uygun olmayacağından endişeleniyorum. Haklı mıyım? Bir işlemcinin 'daha yavaş' olduğunu söylemek doğru mudur yoksa başka bir şey söylemem gerekir mi? Başka ne söyleyebilirim? Geldiğim en iyi …

19 terminology  computer-architecture 

"Makine öğrenimi" terimini kimin kazandığını anlamaya çalışıyorum. Yardımcı bir soru, Arthur Samuel'in 1959'da “makine öğrenimi” alanını şu şekilde tanımladığı yönündedir: bilgisayarlara açıkça programlanmadan öğrenme imkanı veren çalışma alanı ? İnternette bu tanıma çok, çok sayıda referans bulabilirsiniz, ancak kaynağı takip edemedim. Bazıları bunu damada 1959 tarihli bir kağıt olarak veriyor …

19 terminology  reference-request  machine-learning  history 

İkili kodlamada mmm ( bit kullanarak bir sayı aldığınızı varsayın .O(logm)O(log⁡m)O(\log m) Ne kadar hızlı bulabilirsin (ya da böyle olmadığını tespit edebilirsin) ?n,k∈N,1&lt;k≤n2:(nk)=mn,k∈N,1&lt;k≤n2:(nk)=mn,k\in \mathbb N, 1<k\leq\frac{n}{2}:{n \choose k}=m Örneğin, m = 8436285 girişi düşünüldüğündem=8436285m=8436285m=8436285 , n = 27, k = 10 verilebilir n = 27 , k = 10n=27,k=10n=27, k=10. …

19 algorithms  combinatorics 

Tatil sezonu yaklaşırken biraz tarçınlı yıldız yapmaya karar verdim . Bu eğlenceliydi (ve sonuç lezzetliydi), ama içteki nerd yıldızların ilk tepsisini kutuya koyduğumda saçtı ve tek bir katmana sığmadı: Neredeyse! Uyum sağlayabilecekleri bir yol var mı? Zaten yıldızları ne kadar iyi döşeyebiliriz? Bunların altı köşeli düzenli yıldızlar olduğu göz önüne …

19 algorithms  optimization  computational-geometry  tiling 

Ben giriş için ) alt sınırı olan sorun örnekleri arıyorum .Ω ( | x |2Ω(|x|2\Omega(|x|^2xxx Sorunun aşağıdaki özelliklere sahip olması gerekir: Ω ( n2)Ω(n2)\Omega(n^2) herhangi bir algoritma için çalışma zamanı kanıtı - ilk öncelik, mümkün olduğunca alt sınır bağımsız değişkenine sahip olmaktır. O ( n2)Ö(n2)O(n^2) algoritması, mümkünse, basit olanı da. …

19 complexity-theory  turing-machines  time-complexity  lower-bounds 

Kilitler genellikle test ve ayar ve makine düzeyinde talimatlar aracılığıyla uygulanır. Bunları kullanmayan başka uygulamalar var mı? Ayrıca, kritik bölüm sorununa yönelik tüm donanım seviyesi çözümlerinin yalnızca devre dışı bırakma, test etme ve ayarlama ve takas olarak üç kategoriye ayrılabileceğini söyleyebilir miyiz?

19 concurrency  synchronization  mutual-exclusion 

Ramer-Douglas-Peucker algoritması hattı basitleştirilmesi için en kötü durum vardır çalışma zamanı. Uygun şekilde dağıtılmış rasgele girdiler için O ( n log n ) çalışma zamanı karmaşıklığı beklemiştir . 2D'de, Ramer-Douglas-Peucker algoritmasıyla tam olarak aynı sonucu hesaplayan en kötü durum O ( n log n ) çalışma zamanı karmaşıklığına sahip başka …

19 reference-request  computational-geometry  randomized-algorithms 

Linux'ta, dosyalar /dev/randomve/dev/urandom dosyalar sahte rasgele baytların sırasıyla engelleme ve engellememe (sırasıyla) kaynaklarıdır. Normal dosyalar olarak okunabilirler: $ hexdump /dev/random 0000000 28eb d9e7 44bb 1ac9 d06f b943 f904 8ffa 0000010 5652 1f08 ccb8 9ee2 d85c 7c6b ddb2 bcbe 0000020 f841 bd90 9e7c 5be2 eecc e395 5971 ab7f 0000030 864f d402 …

19 operating-systems  cryptography  randomness  security  entropy 

Jim Weirich'in ' Fonksiyonel Programlamada Maceralar ' başlıklı dersini izliyordum . Bu derste, esas olarak yüksek dereceli fonksiyonlar için sabit noktayı bulan Y-birleştiriciler kavramını tanıtır. Motivasyonlarından biri, söylediği gibi, lambda hesabı kullanarak özyinelemeli fonksiyonları ifade edebilmektir, böylece Kilise tarafından teori (etkili bir şekilde hesaplanabilir olan her şey lambda hesabı kullanılarak …

19 lambda-calculus  functional-programming 

Bazı (tarihi) makalelerde satranç yapay zekanın drosophila'sı olarak adlandırılmıştır. Mevcut araştırmada, sadece bir arama algoritmasının en iyi gelişmiş bilgisayar bilimi uygulaması olduğunu düşünürken, AI-tekniklerini uygulayabileceği (ve uygulayabileceği) alanların hala mevcut olduğuna inanıyorum. Basit bir örnek , programın belirli pozisyon türlerine uygun olmadığı için, programa açılışta belirli hareketlerin kullanılıp kullanılmayacağını veya …

19 artificial-intelligence  board-games 

Kalıcı veri yapıları değişmez veri yapılarıdır. İşlemler, veri yapısının yeni bir "kopyasını" döndürür, ancak işlem tarafından değiştirilir; eski veri yapısı değişmeden kalır. Verimlilik genellikle temeldeki verilerin bir kısmını paylaşarak ve veri yapısının tam kopyalanmasını önleyerek elde edilir. Sorular: Kalıcı olarak yapılabilecek veri yapıları sınıfları hakkında sonuçlar var mı (aynı veya …

19 reference-request  data-structures  functional-programming  persistent-data-structure 

Bir çalışma zamanı ortamının sonsuz döngüleri algılaması ve daha sonra ilgili işlemi durdurması mümkün olur muydu veya böyle bir mantığın uygulanması, durdurma sorununun çözümü ile eşdeğer midir? Bu sorunun amacı için, yürütüldüğünde, işlemi tam olarak önceki durumuna (veriler dahil) döndüren bir dizi talimat ve ilişkili başlangıç ​​yığını / yığın verisi …

19 halting-problem 

Ramírez-Alfonsín'in Frobenius Probleminin Karmaşıklığı makalesinde , Turing redüksiyonları kullanılarak bir sorunun NP-tamamlanmış olduğu kanıtlanmıştır. Mümkün mü? Tam olarak nasıl? Bunun sadece bir polinom zamanla mümkün olduğunu düşündüm. Bununla ilgili referanslar var mı? İki farklı NP sertliği kavramı, hatta NP tamlığı var mı? Ama sonra kafam karıştı, çünkü pratik bir bakış …

19 complexity-theory  time-complexity  np-complete  reductions