Bilgisayar Bilimi

Sen uzunluğu bir dizi verilir . Dizinin her elemanı K sınıflarından birine aittir . Sen böylece takas işlemlerinin az sayıda kullanarak diziyi yeniden düzenlemek gerekiyordu tüm unsurları gelen aynı sınıfta bir bitişik SubArray oluştururlar her zaman gruplanmış. Örneğin: nnnKKK Diğer üç geçerli düzenleme kalmıştır.[ 2 , 1 , 3 , …

10 terminology  reference-request  sorting  arrays 

Benim durumum Geliştirdiğim bir yazılım modülünü sunan bir makale yazıyorum ve çalışma zamanını aynı görev için diğer modüllerle karşılaştırmak istiyorum. Çalışma zamanı deneylerinin dezavantajlarının farkındayım , ancak benim durumumda bunun hiçbir yolu olmadığını varsayalım. (Bazı özellikleri teorik olarak çıkarabilirim ve yapabilirim, ancak her şey için yeterli değildir.) Kıyaslama için kullanmak …

10 algorithm-analysis  reference-request  runtime-analysis  experimental-analysis 

Temel kaygım, genetik programlamanın pratikte umut verici bazı uygulamalarla aktif bir araştırma alanı olup olmadığıdır. Makine öğrenimi alanında olduğu gibi, sinir ağları ana akım sözcüktür, bugün ana akım haberlerde bahsedilmektedir, ancak benzer genetik programlama "başarı hikayesini" hiç duymadım.

10 machine-learning  evolutionary-computing 

Turing'in "Bilişim makineleri ve istihbarat" belgesini ( https://www.csee.umbc.edu/courses/471/papers/turing.pdf ) okuyorum ve şöyle bir parçası buldum: Manchester bilgisayarında sadece 1.000 birim depolama alanı kullanan küçük bir program hazırladım, bu sayede on altı rakamlı bir sayı verilen makine iki saniye içinde diğerine yanıt veriyor. Ben hiç kimse denenmemiş değerlere herhangi bir cevap …

10 algorithms  history 

Bu terimi çeşitli CS eğitim materyallerinde defalarca karşılaştım: L2 CS162 (UC Berkeley): Bellek eşlemeli G / Ç L4 CS162 (UC Berkeley): Bellek eşlemeli dosyalar L24 CS61 (UC Berkeley): “Bellek eşlemeli G / Ç”: CPU adres alanına eşlenmiş cihaz kontrolü / veri kayıtları "Haritalama" yı kullandıktan sonra bile Map_ (yüksek dereceli_fonksiyon) …

10 data-structures  operating-systems  memory-management 

İşlemciler bir seferde yalnızca bir şeyi yürütebilirlerse, nasıl olur da sürekli müzik çalabilirim ve yine de başka görevleri yürütebilirim? Kesme sistemini anlıyorum, ancak CPU'nun titrek / laggy ses çıkarmaması için sürekli ses işlemesi gerekmez mi? Temel uygulama hakkında soruyorum, bu soru çoklu iş parçacığı ile ilgili mi? 1 çekirdekli, 1 …

10 cpu  multi-tasking 

Her biri diğeri için evrensel bir simülatörü kodlayabilirse, iki bilgi işlem modelinin birlikte tamamlandığı gösterilebilir. Eğer her birinin çıkarım kurallarının (ve eğer varsa aksiyomların) bir kodlamasının diğerinin teoremleri olduğu gösteriliyorsa, iki mantığın birlikte tamamlandığı gösterilebilir. Hesaplanabilirlik açısından bu, Turing bütünlüğü ve Kilise Turing Tezi hakkında doğal bir fikre yol açmıştır. …

10 computability  logic  turing-completeness 

Aşağıdaki sorun bildirimini göz önünde bulundurun: İlk sayı verildiğinde, siz ve arkadaşınız mükemmel bir kareyi çıkarmak için sırayla ilerlersiniz. Sıfıra ilk giren kazanır. Örneğin: Başlangıç ​​Durumu: 37 Oyuncu1 çıkartma 16. Durum: 21 Oyuncu2 çıkartma 8. Durum: 13 Oyuncu1 çıkartma 4. Durum: 9 Oyuncu2 çıkartma 9. Durum: 0 Oyuncu2 kazandı! Başlangıç …

10 complexity-theory  time-complexity  np-complete  dynamic-programming  pseudo-polynomial 

Tip teorisi ve bağımlı programlama konusunda nispeten yeniyim. İnşaat hesabı (CoC) ve diğer saf tip sistemleri inceliyorum. Özellikle bir derleyici sistemi için kanıt koruyucu bir ara gösterim olarak kullanmakla ilgileniyorum. Anlıyorum özyinelemeli türleri Temsil olan (co-) , hesaplama kullanarak, tek tip yapıcı olarak. Bununla birlikte, indüksiyonla kanıt oluşturmak için kullanılamayacaklarını …

10 type-theory  dependent-types  coq 

Muhtemelen yanlış pozitifleri olan grafik izomorfizme bir yaklaşımı tarif ediyorum ve işe yaramadığını gösteren literatür olup olmadığını merak ediyorum. Verilen iki bitişiklik matrisler , izomorfik denetlenmesine yönelik bir kuşkusuz naif yöntem, her satır için kontrol etmektir u arasında G , bir sıra vardır hacim arasında G sırasının bir permütasyon olan …

10 reference-request  graph-isomorphism 

Kabaca, yönlendirilmemiş bir grafik, her kenar (v, w) için her zaman bir kenar (w, v) olduğu yönlendirilmiş bir grafiğe çok benzer. Bu, yönlendirilmemiş grafikleri yönlendirilmiş grafiklerin bir alt kümesi olarak görüntülemenin kabul edilebilir olabileceğini düşündürmektedir (belki de kenarları eklemenin / silmenin yalnızca eşleşen çiftlerde yapılabileceği ek bir kısıtlamayla). Ancak, ders …

10 graphs  terminology 

İşte sorun: Birkaç kişiyi temsil eden düğümlere sahip bağlı grafik var. Her düğüm / kişinin bir konu hakkında bir fikri vardır, örneğin trump vs clinton, paper books vs kindle, vb. Amaç, bir grafikteki her düğümü, belirli bir sıradaki belirli bir düğüm alt kümesini seçerek aynı görüşü paylaşmaktır. Bir kişinin A …

10 graphs  graph-theory  social-networks 

Bir C ++ geçmişinden geliyor Neden bir birinci sınıf vatandaş olarak türleri / tip ifadeleri ihtiyacı anlamıyorum? Bu özelliği destekleyen tek dil Aldor. Birinci sınıf vatandaş olarak tiplerle ilgili literatürü olan veya faydalı olmasının bazı nedenlerini bilen var mı?

10 programming-languages  language-design  types 

Sonlu durum makinesini her zamanki gibi düşünün, ancak her geçişte, bir sayı ekleyerek veya çıkararak bir tam sayı sayacını da güncelleyebilir. Diyelim ki, formunun bir geçiş fonksiyonu yeni p durumuna geçer ve sayaca k ekleyin , burada k ∈ Z (böylece k pozitif, negatif veya sıfır olabilir) .δ(q,a)=(p,k)δ(q,a)=(p,k)\delta(q,a) = (p,k)pppkkkk∈Zk∈Zk …

10 finite-automata 

Bir grup insanımız var. Grup içinde kimin için hediye alması gerektiğine dair bir liste verilir. Her kişinin herhangi bir sayıda hediye alması / alması gerekebilir, ya da muhtemelen hiç hediye almaması gerekebilir. Bir alışveriş gezisinde, insanların bir alt kümesi aynı mağazaya birlikte seyahat eder ve mağazada olmayan herkes için hediyeler …

10 algorithms  graph-theory  set-cover