Bilgisayar Bilimi

On Sıralama Algoritmaları web aşağıdaki iddia yapılır: İdeal sıralama algoritması aşağıdaki özelliklere sahip olacaktır: Kararlı: Eşit anahtarlar yeniden sıralanmaz. fazladan alan gerektiren, yerinde çalışır .0 ( 1 )O(1)O(1) En kötü durumda anahtar karşılaştırmaları.O ( n ⋅ lg( n ) )O(n⋅lg⁡(n))O(n\cdot\lg(n)) En kötü durumda değişiyor.O ( n )O(n)O(n) Uyarlanabilir: Veriler neredeyse …

22 algorithms  sorting 

Kodlama görüşmesi için hazırlanıyorum ve bu sorunu çözmenin en etkili yolunu bulamıyorum. Diyelim ki sıralanmamış numaralardan oluşan iki dizimiz var. Dizi 2, Dizi 1'de bulunmayan bir sayı içerir. Her iki dizi de, aynı sırada veya aynı endekslerde olması gerekmez, rastgele yerleştirilmiş numaralara sahiptir. Örneğin: Dizi 1 [78,11, 143, 84, 77, …

22 algorithms  search-algorithms  arrays  efficiency 

Zorunlu programlama dillerinde, bir süre bitim döngüsünün dili Turing'in tamamlaması için bir kontrol akışı kurgusu olarak yeterli olduğunu biliyorum (kontrol akışı devam ettiği sürece - tabii ki sınırsız belleğe ve bazı operatörlere de ihtiyacımız var ...) . Benim sorumun özü şudur: bir süre-süresi döngüsü, bir süre-süresi döngüsü ile aynı hesaplama …

22 programming-languages  turing-completeness  loops  imperative-programming 

Beş öğeyi sıralamak (sıralamak) için gerekli olan en az karşılaştırma sayısını bulun ve bu öğeleri bu karşılaştırmaları kullanarak sıralayan bir algoritma geliştirin. Çözüm : 5 tane var! = 120 olası sonuçlar. Bu nedenle, sıralama prosedürü için bir ikili ağaç en az 7 seviyeye sahip olacaktır. Gerçekten, ≥ 120 sa ≥ …

22 algorithms  sorting  lower-bounds 

Geçenlerde aşağıdaki ilginç yazı tökezledi rastgele veri setlerini, verilerin türüne ve biçimine bakılmaksızın her zaman% 50'den daha verimli bir şekilde sıkıştırdığını iddia . Temel olarak, asal sayıları, her sayının kendine has bir asal ürün olduğu düşünüldüğünde, kolayca çözülmesi kolay olan 4-bayt veri topaklarının bir gösterimini oluşturmak için kullanır. Bu dizileri …

22 information-theory  data-compression  primes 

Ağırlıklandırılmış, yönlendirilmemiş bir grafik verildiğinde G: G için birden çok minimum yayılan ağaç olması için hangi koşullar geçerli olmalıdır ? Tüm ağırlıklar farklı olduğunda MST'nin benzersiz olduğunu biliyorum, ancak bu ifadeyi geri alamazsınız. Grafikte aynı ağırlığa sahip çok kenarlı kenarlar varsa , birden fazla MST olabilir , ancak yalnızca bir …

22 graphs  graph-theory  weighted-graphs  spanning-trees  minimum-spanning-tree 

Hindley-Milner tipindeki çıkarımın ( polimorfizmi olan basitçe yazılan calculus) tanımlanabilir tipteki çıkarımı olduğu iyi bilinmektedir : herhangi bir ek açıklama olmadan herhangi bir program için ilke türlerini yeniden oluşturabilirsiniz.λλ\lambda Haskell tarzı yazı sınıfları eklemek, bu kararsızlığı koruyor gibi görünmektedir, ancak ek eklemeler ek açıklamalar olmadan çıkarılamaz (yazım aileleri, GADT'ler, bağımlı …

22 undecidability  type-theory  type-inference  dependent-types 

Aşağıdaki algoritmik görevi göz önünde bulundurun: Girdi: pozitif bir tam sayı nnn , onun ana çarpanlara birlikte Bul: pozitif tamsayı x,y,zx,y,zx,y,z en aza indirmek xy+yz+xzxy+yz+xzxy+yz+xz , kısıtlamaya tabi xyz=nxyz=nxyz=n Bu sorunun karmaşıklığı nedir? Polinom-zaman algoritması var mı? NP-zor mu? Bu problem temel olarak şunları soruyor: hacmi nnn , boyutları ise …

22 algorithms  optimization  integers 

Bu soru edildi göç o Bilgisayar Bilimleri Stack Exchange'de yanıtlanabilir çünkü yığın taşması gelen. 5 yıl önce göç etti . Hala işlevsel programlama öğreniyorum (f # ile) ve yakın zamanda hesaplama ifadeleri hakkında okumaya başladım. Konsepti hala tam olarak anlamıyorum ve monadlarla ilgili tüm makaleleri okurken (birçoğu Haskell'a dayanıyor), beni …

22 functional-programming 

Yapmak istediğim, sahip olduğum bir matematik problemini bir boole tatmin edici problemine (SAT) çevirmek ve sonra bir SAT Çözücü kullanarak çözmektir. Birinin bir el kitabı, rehber veya sorunumu SAT örneğine dönüştürmeme yardımcı olacak herhangi bir şey biliyor mu olduğunu merak ediyorum. Ayrıca, bunu üstel bir zamandan daha iyi bir zamanda …

22 algorithms  reductions  satisfiability 

Algoritma tasarımına gelince, çoğu zaman aşağıdaki teknikler kullanılır: Dinamik program Açgözlü Strateji Bölmek ve fethetmek İlk iki yöntem için, iyi bilinen teorik temeller, yani Bellman Optimallik İlkesi ve matroid (özellikle greedoid) teorisi varken, D&C'ye dayalı algoritmalar için böyle genel bir çerçeve bulamadım. Öncelikle, birleştirici bağlamında ortaya çıkan, "algoritmik iskelet" olarak …

22 algorithms  reference-request  divide-and-conquer 

Soruya, programcı olduğumu söyleyerek başlamak istiyorum ve karmaşıklık teorisinde çok fazla geçmişim yok. Fark ettiğim bir şey, birçok sorunun NP-tamam olmasına rağmen, optimizasyon problemlerine genişlediğinde, bazılarının diğerlerinden yaklaşık olarak daha zor olması. İyi bir örnek TSP'dir. Her türlü TSP NP-komple olmasına rağmen, karşılık gelen optimizasyon problemleri ardışık sadeleştirmelerle hesaplanması daha …

22 complexity-theory  optimization  np  approximation 

Okuma olarak Uday Reddy cevabı için SML functors ve Kategori teorisi arasındaki ilişki nedir? Uday devletleri Kategori teorisi, daha üst düzey fonksiyonlarla nasıl başa çıkılacağını henüz bilmiyor. Bir gün olacak. Kategori teorisinin matematiğin temelini oluşturabildiğini düşündüğüm için, tüm matematik ve daha üst düzey fonksiyonların türetilmesi mümkün olmalıdır. Peki, Kategori teorisi …

22 functional-programming  category-theory 

Soru: Matris yoğun ve yalnızca sıfırlarla dolu olduğunda bir matris-vektör çarpımını etkin şekilde uygulayan kod üretmek için prosedür veya teori var mı? İdeal olarak, optimize edilmiş kod, çoğaltılmış işi azaltmak için önceden hesaplanmış bilgilerin sistematik bir şekilde kullanılmasını sağlar. Başka bir deyişle, bir matrisine sahibim ve daha sonra vektörünü aldığımda …

22 linear-algebra  matrices  program-optimization 

Belki de konuyla ilgili sınırlı bir anlayışım yanlıştır, ancak şu ana kadar anladığım şey bu: İşlevsel programlama, Alonzo Church tarafından formüle edilen Lambda Calculus'a dayanmaktadır. Zorunlu programlama, Church'un öğrencisi Alan Turing tarafından yapılan Turing makine modeline dayanmaktadır. Lambda hesabı, Turing Makinası gibi güçlü ve muktedir olduğunu onlar hesaplama kapasitesiyle eşdeğerdir …

22 computability  turing-machines  programming-languages  lambda-calculus  turing-completeness