Bilgisayar Bilimi

Aşağıdaki çok basit bilgisayar programını düşünün: for i = 1 to n: y[i] = x[p[i]] Burada ve y , baytların n- elementli dizileridir ve p , n- elementli bir kelime dizisidir. Burada n büyüktür, örneğin, n = 2 31 (böylece verilerin sadece ihmal edilebilir bir kısmı herhangi bir önbellek türüne …

18 parallel-computing  cpu-cache  memory-hardware 

Kesme problemleri, belirli bir büyük nesnenin birkaç küçük nesneye kesilmesi gereken problemlerdir. Örneğin, genişliği ve L uzunluğu büyük ham cam levhalarla çalışan bir fabrikanız olduğunu düşünün . Her biri sınırsız sayıda küçük cam levha isteyen birkaç alıcı var. Alıcı i uzunluk l i ve genişlik w i yaprak istiyor . …

18 reference-request  computational-geometry  lower-bounds  packing 

Bir şekilde istisnaları olan bir düzine programlama diline aşinayım, ancak iki "patolojik" eğilime tanık oldum. Ortak bir kalıp veya istisnalar hiyerarşisi yok gibi görünüyor. Her dil temel olarak kendi sürümünü kullanır ve istisnalar standarda dönüştürürse, standartta bulunan istisna türleri oldukça keyfi olacaktır (çoğunlukla kaynak kodunu okumak gibi dil araçları oluştururken …

18 terminology  programming-languages  api-design 

Hafif bir fayans çeşidi ile ilgileniyorum, 'yapboz' bulmacası: (kare) karonun her kenarı den bir sembolle etiketlenmiştir ve iki karo bitişik olarak yerleştirilebilir Bir döşemenin karşılıklı kenarındaki sembol k ve diğer döşemenin karşılıklı kenarındaki sembol ˉ k ise , bazıları k ∈ { 1 … n } için . Daha sonra, …

18 complexity-theory  np-complete  tiling 

Zor bir sorunum varsa, standart bir yaklaşım bunu bir SAT örneği olarak ifade etmek ve üzerinde bir SAT çözücü çalıştırmayı denemektir. Başka bir standart yaklaşım, bunu bir kısıtlama memnuniyeti sorunu olarak ifade etmek ve bir CSP çözücüsü kullanmayı denemektir. İkisi, giriş formatlarında ne tür problemlerin doğal olarak ifade edilebileceği konusunda …

18 heuristics  sat-solvers  constraint-programming 

farklı öğeden oluşan bir diziniz var . Bir karşılaştırıcıya (a ve iki öğeyi ve gerçek iff döndüren bir kara kutu işlevi ) ve gerçekten rastgele bir bit kaynağına (bağımsız değişkene eşit olarak rastgele bir bit döndüren bir kara kutu işlevi) erişebilirsiniz . Aşağıdaki iki görevi göz önünde bulundurun:nnnaaabbba&lt;ba&lt;ba < b …

18 algorithms  algorithm-analysis  information-theory  permutations  entropy 

Bu forumda yeniyim ve sadece beynini formda tutmak için bunu yapan bir fizikçiyim, bu yüzden en zarif dili kullanmazsam lütfen zarafet gösterin. Ayrıca, diğer etiketlerin daha uygun olacağını düşünüyorsanız, lütfen bir yorum bırakın. Çözmem çalışıyorum , bu sorunu bir Hamilton döngü sayısını hesaplamak için gereken için C(n)C(n)C(n) de nnn inci …

18 graph-theory  combinatorics  check-my-proof 

Son zamanlarda Beklenti Maksimizasyonu üzerinde kendi kendime çalışıyorum ve bu süreçte kendime bazı basit örnekler aldım: Gönderen burada : üç sikke vardır c0c0c_0 , c1c1c_1 ve c2c2c_2 ile p0p0p_0 , p1p1p_1 ve p2p2p_2 attı Head iniş için ilgili olasılık. Toss c0c0c_0 . Sonuç Head ise, c1c1c_1 üç kez fırlatın, aksi …

18 probability-theory  statistics 

Bir matrisi . Ters matris olsun olmak (olduğunu, ). O bir elementi varsayalım değiştirilir (let diyelim için ). Amaç, bu değişiklikten sonra bulmaktır . Bu hedefi bulmak için ters matrisi sıfırdan hesaplamaktan daha verimli bir yöntem var mı?bir A bir - 1 bir A - 1 = I bir bir …

18 algorithms  numerical-analysis  online-algorithms 

Düzenli dil Verilen , o zaman orada sabit olduğunu kanıtlamak kolaydır N böyle olduğunu σ ∈ L ile, | σ | ≥ N α , β ve γ dizeleri vardır , öyle ki | α β | ≤ N ve | β | ≠ ϵ ve tüm k için α …

18 formal-languages  proof-techniques 

Onların kitabında Randomize Algoritmalar , Rasgele hızlı - - ikiye setini bölümleme için kullanılan mil, rastgele seçilir Motwani ve Raghavan onların RandQS işlevin açıklaması ile giriş açın. Bir süredir (kuşkusuz biraz güçsüz) beyinlerimi rafa tuttum, ancak bu algoritmanın her seferinde orta elementi (indeks olarak, boyutta değil) seçmeye göre ne avantajı …

18 algorithm-analysis  sorting  randomized-algorithms 

Wikipedia bunu Bir algoritmanın, çalışma süresi, algoritma için girdi boyutundaki bir polinom ifadesi ile üst sınırlandırılmışsa, yani bir miktar sabit k için olduğunda, bir polinom zamanı olduğu söylenir .T( n ) = O ( nk)T(n)=Ö(nk)T(n) = O(n^k) İçinde algoritma çalışır kuvvetle polinom zamanda eğer [8] aritmetik hesaplama modelindeki işlemlerin sayısı, …

18 complexity-theory 

Her yerdeki ders kitapları, Sınırlı Posta Yazışma Sorununun NP-tamamlanmış olduğunu varsayar ( tekrarlarla fazla indekse izin verilmez). Bununla birlikte, hiçbir yerde başka bir NP-tam probleminden basit bir (olduğu gibi, bir lisans öğrencisinin anlayabileceği bir şey) polinom zamanı azalması gösterilmemiştir.NNN Ancak aklıma gelen her azalma çalışma zamanında üsteldir ( veya serinin …

18 complexity-theory  np-complete  reductions 

Giderek daha fazla dil araştırma makalesi okumaya başladım. Genel olarak programlama hakkında daha fazla bilgi edinmek için çok ilginç ve iyi bir yol buluyorum. Ancak, genellikle hep (örnek parçanın üç için almak ile mücadele bir bölüm bulunmaktadır geliyor bu Tipi Kuralları: Ben bilgisayar bilimi teorik arka plan eksikliği beri). Bu …

18 logic  reference-request  terminology  type-theory 

Mı "parti katılım" sorunların tipi Prolog'da çözülebilir? Örneğin: Dulavratotu Muldoon ve Carlotta Pinkstone, Albus Dumbledore gelirse geleceklerini söylediler. Albus Dumbledore ve Daisy Dodderidge, Carlotta Pinkstone gelirse geleceklerini söylediler. Albus Dumbledore, Burdock Muldoon ve Carlotta Pinkstone Elfrida Clagg gelirse geleceklerini söylediler. Carlotta Pinkstone ve Daisy Dodderidge, Falco Aesalon gelirse geleceklerini söylediler. …

18 logic  constraint-programming  prolog  logic-programming