Bilgisayar Bilimi

Bugün algoritma analizinin hesaplama modeline göre değiştiğini öğrendim . Hiç düşünmediğim ya da duymadığım bir şey. User @chi tarafından daha fazla örnek veren bana verilen bir örnek : Örneğin şu görevi göz önünde bulundurun: verilen x i döndürür . RAM'de, dizi erişimi sabit zaman olduğundan bu O ( 1 ) …

10 complexity-theory  algorithm-analysis  computability  computation-models  lambda-calculus 

Kendime kuantum hesaplamayı öğretmeye çalışıyorum ve doğrusal cebir hakkında iyi bir anlayışım var. Çok kötü olmayan NOT geçidinden geçtim, ama sonra Hadamard geçidine geldim. Ve takıldım. Temel olarak manipülasyonları "anladığım" halde, gerçekten ne yaptıklarını veya neden yapmak istediğinizi anlamıyorum. Örneğin, Hadamard kapısı devreye girdiğinde verir | 0 ⟩ + | …

10 logic  quantum-computing 

Bu soruyu sormak için doğru terminolojiyi bilmiyorum, bu yüzden bunu birçok kelimeyle anlatacağım, yanımda taşıyacağım. Arka plan , sadece aynı sayfadayız: Programlar genellikle önbellek içerir - bir zaman / bellek dengesi. Yaygın bir programcının hatası, yukarı akış kaynaklarından / emsallerinden birini değiştirdikten sonra önbelleğe alınan bir değeri güncellemeyi unutmaktır. Ancak …

10 terminology  reference-request  functional-programming  programming-paradigms 

Tezimin bir parçası olarak yazdığım bir Haskell programının bölümlerine kanıt sağlamak istiyorum. Ancak şimdiye kadar iyi bir referans çalışması bulamadım. Graham Hutton'un Haskell'i öğrenirken okuduğum Haskell'deki Programlama ( Google Kitaplar ) tanıtım kitabı gibi programlar hakkında muhakeme yapmak için birkaç tekniğe değiniyor eşit muhakeme çakışan olmayan desenler kullanma liste indüksiyonu …

10 reference-request  proof-techniques  functional-programming  books  software-verification 

Bu kanıt, tümevarımın kanıtıdır ve aşağıdaki gibi devam eder: P (n) "Quicksort, n uzunluğundaki her girdi dizisini doğru bir şekilde sıralar." Temel durum: 1 uzunluktaki her giriş dizisi zaten sıralanmıştır (P (1) tutar) Endüktif adım: n => 2'yi düzeltin. N uzunluğunda bir girdi dizisini düzeltin. Gösterilmesi gereken: P (k) tüm …

10 correctness-proof  induction  quicksort 

Bu referanstan: Sıkı pozitiflik Katı pozitiflik koşulu, data Bad : Set where bad : (Bad → Bad) → Bad A B C -- A is in a negative position, B and C are OK A neden negatif? Ayrıca B'ye neden izin verilir? C'ye neden izin verildiğini anlıyorum.

10 type-theory  inductive-datatypes 

Laplacian düzgünleştirme ile metin kategorizasyonu için bir Naive Bayes algoritması kullanıyorum. Yaşadığım sorun, sıfıra yaklaşıyor, çünkü birçok küçük kesri çoğaltıyorum. Bu nedenle, olasılık sonunda sıfır verir. Bunun nedeni, belgelerde ve eğitim setlerinde birkaç kelime bulunmasıdır. Bu nedenle, metinleri kategorize edemiyorum. Bu sorunun üstesinden gelmenin bir yolu var mı? Uygulamamda yanlış …

10 machine-learning  natural-language-processing  floating-point  numerical-algorithms 

Bu Python kodu yazmış ve bazen merak basitçe değil sonlandırmak (biz sonsuz bellek / zaman ve hiçbir yineleme derinliği sınırı vardı varsayarak). Sezgisel olarak sona erdiğini düşünürsünüz, çünkü bir noktada şanslı olmalısınız ve eğer sona ermezse şanslı olmak için sonsuz zamanınız vardır. Öte yandan, özyineleme derinliği arttıkça katlanarak daha şanslı …

10 trees  probability-theory  termination 

Durma probleminin 3 sembollü tek boyutlu hücresel otomata için karar verilip verilmediğini anlamaya çalışıyorum. Tanım Let zaman adımında sisteminin konfigürasyonunu belirtmek i . Daha resmi olarak f : A ∗ × N → A ∗ , burada A alfabedir.f(w,i)f(w,i)f(w,i)iiif:A∗×N→A∗f:A∗×N→A∗f:A^*\times \mathbb{N} \to A^*AAA Tanım. konfigürasyonunda bir hücresel otomat durdu , eğer …

10 computability  decision-problem  halting-problem  cellular-automata 

Feragatname: Burada ve Stackoverflow'da benzer sesli sorular olduğunu biliyorum. Ama hepsi çarpışmalarla ilgili, istediğim bu değil. Sorum şu: neden Çarpışması edilir az arama O(1)ilk etapta? Diyelim ki bu hashtable var: Hash Content ------------- ghdjg Data1 hgdzs Data2 eruit Data3 xcnvb Data4 mkwer Data5 rtzww Data6 Şimdi khash fonksiyonunun h(k)verdiği anahtarı …

10 complexity-theory  hash  hash-tables  performance 

NFA'ları DFA'lara nasıl dönüştüreceğimizi öğreniyorum ve doğru yaptığımdan emin olmak istiyorum. Açıkçası, diğer yöne dönmek bir şey değil. Herkes bir DFA'nın bir NFA ile eşdeğer olduğunu kontrol etmek için bir algoritma biliyor mu?

10 automata  finite-automata  proof-techniques  nondeterminism 

Benlik Türleri, dilin Scott Şifreleme yoluyla kodlanan cebirsel veri tiplerini ifade etmesine olanak tanıyan Yapı Analizinin [1] bir uzantısıdır. Scott Encoding, O(1)CC'ye endüktif tanımların dahil edilmesi için ana motivasyonlardan biri olan desen eşleştirme yeteneği sağlar . Yine de, Benlik Türleri çok daha basit ve zarif bir temel teori oluştururlar ve …

10 lambda-calculus  type-theory  functional-programming  inductive-datatypes 

Eğer , daha sonra ? Bu soruyu soruyorum çünkü diğer deterministik olmayan sınıflar için her zaman onların deterministik karşılıklarına eşit olduklarını ortaya koyuyor.P=NPP=NP\mathbf{P} = \mathbf{NP}L=NLL=NL\mathbf{L} = \mathbf{NL}P=NPP=NP\mathbf{P} = \mathbf{NP}

10 complexity-theory  p-vs-np 

bir dizi ve bir yarıçap . Hangi daha küçük bir mesafede nokta sayısının daha fazla nokta bulma karmaşıklığı r . Örneğin, \ sum_ {i = 1} ^ n \ mathbb {1} _ {\ | x - x_i \ | \ leq r} ?x1,…,xn∈R2x1,…,xn∈R2x_1, \ldots, x_n \in \mathbb{R}^2rrrrrr∑ni=11∥x−xi∥≤r∑i=1n1‖x−xi‖≤r\sum_{i=1}^n \mathbb{1}_{\|x - x_i\| …

10 algorithms  complexity-theory  computational-geometry 

Kısa süre önce Google Research Blog'dan sinir ağı hakkında konuşurken gerçekten ilginç bir blog girişi okudum. Temel olarak bu sinir ağlarını görüntü tanıma gibi çeşitli problemleri çözmek için kullanırlar. Aksonların ağırlıklarını "geliştirmek" için genetik algoritmalar kullanırlar. Temel olarak benim fikrim şudur. Numaraları tanıyan bir program yazmam gerekiyorsa, nasıl başlayacağımı bilemezdim …

10 machine-learning  np  neural-networks  p-vs-np  genetic-algorithms