Bilgisayar Bilimi

Önceki bir soruda Algoritma tam olarak nedir? , Ben önceden hesaplanmış değerleri bir dizi dayalı bir işlevin değerini döndüren bir "algoritma" sahip bir algoritma olup olmadığını sordu. Dikkatimi çeken cevaplardan biri şuydu: Faktöriyel örnek, düzgün olmayan hesaplama adı verilen farklı bir hesaplama modeline girer. Turing Makinesi, tek tip bir hesaplama …

9 turing-machines  computation-models 

Introsort'un uygulanmasını kapsayan bir ev ödevi kapsamında , mergesort (veya bu konudaki diğer algoritmaları yerine) heapsort'un neden kullanıldığı sorulmuştur . O(nlog(n))O(nlog⁡(n))O(n\log(n)) Introsort, hem hızlı ortalama performans hem de (asimptotik olarak) en kötü durum performansını sağlayan karma bir sıralama algoritmasıdır. Hızlı sıralama ile başlar ve yineleme derinliği sıralanan elemanların sayısına (logaritması) …

9 algorithms  algorithm-analysis  sorting 

Çoğu Smalltalk lehçesi şu anda naif bir hatalı yüzen modül (fmod / kalan) uygulamaktadır. Bunu, Squeak / Pharo ve sonunda standartlara diğer Smalltalk bağlılığını (IEEE 754, ISO / IEC 10967) iyileştirmek için değiştirdim, çünkü diğer son teknoloji kayan nokta işlemleri için yaptığım gibi. Bununla birlikte, bu değişikliklerin benimsenmesi için, standarda …

9 arithmetic  floating-point 

Bir alfabe üzerindeki resmi dil nın bir alt kümesidir , yani bu alfabe üzerindeki bir kelime kümesidir. Karşılık gelen kümeler altkümeleri olarak geniş ölçüde eşitse, iki biçimsel dil ve eşittir . Karmaşıklık teorisindeki dilleri bir "problem" kavramını resmileştirmek için kullanabiliriz . "Genel olarak" genişleme eşitliğinin kararsız olduğu şikayet edilebilir, ama …

9 complexity-theory  formal-languages  reference-request 

Saat sayfası değiştirme algoritmasını simüle ederken, zaten bellekte olan bir referans geldiğinde saat ibresi hala artar mı? İşte bir örnek: 4 yuvalı, saat sayfası değiştirme algoritmasını kullanma Referans listesi: 1 2 3 4 1 2 5 1 3 2 4 5 İlk liste şöyle görünür: -> [1][1] [2][1] [3][1] [4][1] …

9 algorithms  paging  virtual-memory 

Hava fotoğraflarından su yollarını tanımaya çalışıyorum (örneğin Google Haritalar'dan). Yerel yönetimler genellikle su yollarının (ve yollar, binalar vb.) Nerede olduğunu söyleyen CBS verilerine sahiptir, ancak bunların içindeki su verileri genellikle biraz yanlıştır ve hava görüntülerini kullanarak bunları iyileştirebiliriz. Bu nedenle, her zaman güvenilmeyecek bazı verilerimiz var. Veriler üzerinde bazı temel …

9 image-processing 

Ben tersine çevrilebilir bilgisayar hakkında okumaya yeni başlamış bir mezunum. Landauer prensibi nedeniyle geri dönüşü olmayan hesaplamaların ısıyı dağıttığını biliyorum (ve tersinir olanların yapmadığını). Bunu daha önce geri dönüşümlü bilgisayar kullanımını hiç duymamış olan profesörümle büyüttüm ve geri dönüşümlü bilgisayar teorisinin neden önemsiz olduğunu anlamakta zorlanıyordu. Onun amacı sadece girişi …

9 computability  reversible-computing 

Geliştirdiğim bir dil için bir tür çıkarım algoritması arıyorum, ancak genellikle ikisi de olduğundan, ihtiyaçlarıma uygun olanı bulamadım: à la Haskell, polimorfizm ile ancak geçici aşırı yüklenme yok à la C ++ (otomatik), aşırı yüklemeye sahipsiniz ancak işlevler monomorfiktir Özellikle benim tip sistem (basitleştiriyor) (Haskellish sözdizimi kullanıyorum ama bu dil …

9 type-theory  type-inference 

Heartbleed böceğiyle ilgili olarak, Bruce Schneier 15 Nisan Kripto Gramında şöyle yazdı: “Felaket” doğru kelimedir. 1 ila 10 ölçeğinde, bu 11'dir. ' Birkaç yıl önce, belirli bir işletim sisteminin çekirdeğinin modern bir program doğrulama sistemi ile titizlikle doğrulandığını okudum. Bu nedenle, Heartbleed türünün hatalarının bugün program doğrulama tekniklerinin uygulanmasıyla meydana …

9 cryptography  correctness-proof  security  software-verification  program-correctness 

Bir grafikteki basit yolların bir alt kümesine sahibim. Yolların uzunluğuddd. Seçili yollardan başka hiçbir yol temsil edilmeyecek şekilde yolları temsil edebileceğim en kompakt yol nedir (bellek açısından)? Bu temsili yolların bu alt kümesini tekrar tekrar yineleyecek bir algoritmada kullanmak ve oldukça hızlı olmak istiyorum, örneğin, herhangi bir standart sıkıştırma algoritmaları …

9 graphs  data-structures 

Yaptığımız birçok makine öğrenimi projesi için k En Yakın Komşu sınıflandırıcısıyla başlıyoruz. Bu, genellikle tüm mesafeleri hesaplamak için yeterli zamanımız olduğundan ve parametre sayısı sınırlı olduğundan (k, mesafe metriği ve ağırlıklandırma) ideal bir başlangıç ​​sınıflandırıcısıdır. Bununla birlikte, bu projede daha sonra başka bir sınıflandırıcıya geçmek için yer olmadığı için knn …

9 neural-networks  classification 

Her sembolün frekanslarını bilmek, Huffman algoritmasını uygulamadan ağacın maksimum yüksekliğini belirlemek mümkün müdür? Bu ağaç yüksekliğini veren bir formül var mı?

9 trees  coding-theory 

Belirli bir sistemi modellemek için genetik algoritma için uygun sayıda parametre nasıl seçilebilir? Örneğin, otomobil üretimini optimize etmek istediğinizi ve 1000 farklı çalışanın her biri için çeşitli görevlerde 1.000 saatlik saatlik verimliliğiniz olduğunu varsayalım. Yani 1.000.000 veri noktanız var. Bunların birçoğu, fabrikanızın genel verimliliği ile zayıf bir şekilde ilişkili olabilir, …

9 genetic-algorithms 

Ağırlıklı bir digraf ve bir ağırlık fonksiyonu olan verildiğinde, normalde en kısa yolu elde etmek için Dijkstra algoritmasını kullanabilir. İlgilendiğim şey, -shortest yolunu, -shortest, vb.G=V,EG=V,EG=V,Ed(u,v)d(u,v)d(u,v)2nd2nd2^{nd}3rd3rd3^{rd} Sorular: Ağırlıklı bir grafikteki iki düğüm arasındaki i-en kısa yolu elde etmek için etkili bir algoritma var mı? Ağırlıklı bir grafikteki iki düğüm arasındaki en …

9 algorithms  graphs  shortest-path  graph-traversal 

Set veri türünün uygulanmasını arıyorum. Yani, yapmalıyız dinamik bir alt kümesi muhafaza (büyüklüğü evrenin) U = \ {0, 1, 2, 3, \ noktalar, u - 1 \} boyutta u ileSSSnnnU={0,1,2,3,…,u–1}U={0,1,2,3,…,u–1}U = \{0, 1, 2, 3, \dots , u – 1\}uuu işlemleri insert(x)(bir eleman eklemek xiçin SSS ve) find(x)(eleman olmadığını kontrol …

9 data-structures  efficiency  space-complexity  sets  dictionaries