«reference-request» etiketlenmiş sorular

Ya kanıtlama girişimleri çok var veya ve doğal olarak birçok kişi ya yönünü kanıtlayan için fikir sahibi olmak, soru düşünün.P ≠ N PP=NPP=NP\mathsf{P} = \mathsf{NP} P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} İşe yaramadığı kanıtlanmış yaklaşımlar olduğunu ve başarısızlık geçmişi olan muhtemelen daha fazlası olduğunu biliyorum. Ayrıca birçok kanıt araştırmasının üstesinden gelemediği engeller de …

96 complexity-theory  reference-request  history  p-vs-np  reference-question 

Genel özyineleme kavramını biliyorum. Bataklık algoritması çalışırken kuyruk özyinelemesi kavramına rastladım . Bu hızlı sıralama algoritmasının MIT'den 18: 30 saniyede videoda profesör, bunun bir özyinelemeli özyinelemeli algoritma olduğunu söylüyor. Bana kuyruk özyinelemenin gerçekte ne anlama geldiği açık değil. Birisi kavramı uygun bir örnekle açıklayabilir mi? Burada SO topluluğu tarafından verilen …

52 algorithms  reference-request  recursion 

Bir programcı olduğumu ve onu çözmek için ihtiyacım olan NP-tamam bir sorunum olduğunu varsayalım. NPC problemleriyle başa çıkmak için hangi yöntemler mevcut? Bu konuda bir anket ya da benzeri bir şey var mı?

43 algorithms  reference-request  np-complete  efficiency  reference-question 

Twitter gibi bir şirket neden gruplar, monoidler ve halkalar gibi cebirsel kavramlarla ilgilensin? Github'deki havuzlarını görün : twitter / algebird . Tek bulabildiğim: Monoidlerin Bloom filtresi , HyperLogLog ve CountMinSketch gibi ilginç yaklaşım algoritmaları için uygulamaları . Bunlar sayılarınız gibi bu karmaşık işlemleri düşünmenize ve güçlü istatistikler ve analizler oluşturmak …

38 reference-request  discrete-mathematics  database-theory  applied-theory  group-theory 

Yerinde kararlı sıralama algoritması en kötü durumda veren iyi kaynakları bulmakta sorun yaşıyorum . Herhangi bir iyi kaynak bilen var mı?O ( n, lnn )O(nln⁡n)O(n \ln n) Sadece bir hatırlatıcı, yerinde iletilen diziyi kullandığı ve sıralama algoritmasına yalnızca sabit fazladan boşluk kullanabileceği anlamına gelir. Kararlı, aynı tuşa sahip öğelerin, orijinal …

35 algorithms  reference-request  sorting  in-place 

Klasik olarak, hesaplama hakkında düşünmenin 3 popüler yolu vardır: Turing makinesi, devreler ve lambda-calculus (Bunu, en işlevsel görünümler için bir seçenek olarak kullanıyorum). Her 3 farklı tip problemler hakkında düşünmenin verimli yolları olmuştur ve bu nedenle farklı alanlar farklı formülasyonlar kullanmaktadır. Ancak kuantum hesaplama ile çalışırken, sadece devre modelini düşünüyorum. …

35 lambda-calculus  quantum-computing  reference-request  computation-models 

Dijkstra, makalesinde , bilgisayar bilimlerini öğretmenin zulmü üzerine , bir giriş programlama kursu için aşağıdaki öneride bulundu: Bir yandan, belirleyici hesabın neye benzediğini öğretiyoruz, ancak bunu filozoflardan çok farklı yapıyoruz. Acemi programcıyı yorumlanmamış formüllerin manipülasyonunda eğitmek için, öğrenciye mantıksal bağlaçların tüm cebirsel özelliklerini tanıyarak, boolean cebiri olarak öğretiyoruz. Sezgiye olan …

33 reference-request  programming-languages  education  didactics 

Şu anda zaman serisi tahminleri ile oynuyorum (özellikle Forex için). Forex tahminine uygulanan eko devlet ağları hakkında bazı bilimsel makaleler gördüm. Bu amaç için başka iyi makine öğrenme algoritmaları var mı? Zaman serisinden "karlı" kalıpları çıkarmak da ilginç olurdu.

28 reference-request  machine-learning  artificial-intelligence 

Sık sık 'gerçek eşzamanlılık semantiği' ve 'gerçek eşzamanlılık denklikleri' gibi ifadeler referans olmadan duyuyorum. Bu terimler ne anlama geliyor ve neden önemlidir? Bazı gerçek eşzamanlılık denkliği örnekleri nelerdir ve bunlara ihtiyaç duyulan nedir? Örneğin, hangi durumlarda daha fazla standart denklikten daha uygundurlar (bisimülasyon, iz denkliği, vb.)?

28 terminology  reference-request  concurrency 

Düzenli bir dili için , , uzunluğu sözcük sayısı olsun . (Bazı DFA Açıklama içermeyen geçiş matrisine uygulanabilir Ürdün kanonik formu ), bir o kadar büyük için gösterilebilir , nerede karmaşık polinomları ve vardır kompleksi "özdeğerler" dir. (Küçük için n , formu ek şartları olabilir C_k [n = k] , …

28 formal-languages  reference-request  regular-languages  asymptotics  combinatorics 

Birçoğumuz birleştirici mantık ve lambda matematiği arasındaki yazışmaları biliyoruz . Ancak, basitçe yazılan lamda matematiğine tekabül eden "yazılan birleştiricilerin" eşdeğerini hiç görmedim (belki de yeterince derin görmedim). Böyle bir şey var mı? Kişi bu konuda nereden bilgi bulabilir?

26 reference-request  logic  lambda-calculus  type-theory  combinatory-logic 

Bir Bloom filtresi , işleme sırasında çeşitli değerlerle karşılaşılmış olup olmadığını etkin bir şekilde takip etmeyi sağlar. Çok sayıda veri öğesi olduğunda, bir Bloom filtresi bir karma tablo üzerinde önemli bir hafıza tasarrufuna neden olabilir. Bir hash tablosuyla paylaştığı bir Bloom filtresinin temel özelliği, bir öğe yeni değilse her zaman …

25 reference-request  data-structures  hash  bloom-filters  dictionaries 

normal AND, OR ve NOT işleçlerinden ve bazı değişkenlerden oluşan bir boolean formülü olsun . B için tatmin edici atamaların sayısını saymak istiyorum . Olduğunu, ben değişkenlere gerçeği değerlerinin farklı atamaları sayısını bulmak istediğiniz B kendisi için B gerçek değerini varsayar. Örneğin, a ∨ b formülü üç tatmin edici atamaya …

24 complexity-theory  reference-request  satisfiability 

Herkesin dağıtılmış sistem teorisine, kitaplara veya referanslara iyi bir giriş yapabilmek için yapabileceği en iyi yol nedir ve ilk önce bu konular ve öğrenmeye başlamak için gerekenler ele alınmalıdır.

24 reference-request  education  distributed-systems 

Bu terminolojiler beni şaşırtıyor. Anladığım kadarıyla SAT çözücü: teklif mantığının karşılanabilirliğine karar verin (DPLL veya Yerel Arama kullanarak). Karar prosedürü, belirli bir karar verilebilir birinci dereceden teorisinin karşılanabilirliğine karar verme prosedürüdür. SMT çözücü bir SAT çözücü + karar prosedürüdür. Teorem prover Dinamik Mantık gibi bir şey gösterir, örneğin KeY aracı …

24 algorithms  terminology  reference-request  decision-problem