«ho.history-overview» etiketlenmiş sorular

Düzenleme: 06 Aralık 2012 itibariyle en yüksek puana sahip cevabı seçiyorum. Bu yumuşak bir soru. (Deterministik) algoritmalar kavramı M.Ö. Olasılık algoritmaları ne olacak? Olarak bu sayfasını ziyaret , hesaplama geometride yakın çift sorunu için Rabin'in algoritma, ilk önce, randomize algoritması olarak verildi (yıl ???). Rasgele algoritmalar Modern çağın başlangıç olarak …

27 ds.algorithms  reference-request  big-list  randomized-algorithms  ho.history-overview 

Eğer bir yönsüz bir d -Ücretli grafiği ve S cardinality köşe bir alt kümesidir ≤ | V | / 2 , çağrı kenar genişleme bölgesinin S miktarıG = ( V, E)G=(V,E)G=(V,E)dddSSS≤ | V| / 2≤|V|/2\leq |V|/2SSS ϕ ( S) : = Edge s ( S, V- S)d⋅ | S| ⋅ …

27 ds.algorithms  graph-theory  ho.history-overview  expanders  spectral-graph-theory 

Wikipedia'daki diğer yazarlar , Rabin-Karp isminin daha sık kullanılmasına bağlı olarak, Rabin-Karp algoritması hakkındaki Wikipedia makalesini, çağrılması gereken düşünceye, Karp-Rabin algoritması olarak taşıma isteğimi reddetti. yanlış ise, Google alimlerinin rakamlarına göre) veya yüksek sesle daha iyi ses çıkarırsa (gerçekten?). Asıl yayın adı sırası, genellikle teorik yazılar için olduğu gibi alfabetik …

26 ho.history-overview  string-matching 

Eminim ki , 18. yüzyıldaki Buffon'un iğne deneyini biliyordur , bu hesaplanacak ilk olasılık algoritmalarından biridir .ππ\pi Algoritmanın bilgisayarlarda uygulanması genellikle kesikli bir seri olarak uygulanmış olsalar bile, bu türden hedefleri aşan veya trigonometrik bir fonksiyonun kullanılmasını gerektirir.ππ\pi Bu sorunu aşmak için, bilinen reddetme yöntemi algoritması var: birim kareye koordinatlar …

26 ds.algorithms  reference-request  randomized-algorithms  ho.history-overview  monte-carlo 

Son zamanlarda genişleticilere ders verdim ve Ramanujan grafikleri kavramını tanıttım. Michael Forbes neden bu şekilde çağırıldıklarını sordu ve bilmediğimi itiraf etmeliydim. Kimse?

25 graph-theory  soft-question  ho.history-overview  expanders 

Başlangıçta Kilise'nin , “yoğun bir okuma olan ” Mantık Makale Notlarının bir parçası olarak calculus'u önerdiğini okudum. Ancak Kleene, "sistem" inin tutarsız olduğunu kanıtladı, sonra Kilise, "etkili hesaplanabilirlik" konusundaki çalışmaları için ilgili şeyleri çıkardı ve önceki mantık konusundaki çalışmasını bıraktı.λλ\lambda Anladığım kadarıyla, ve gösterimleri , mantıkla ilgili bir şeyin parçası …

22 lo.logic  big-picture  lambda-calculus  ho.history-overview 

Karatsuba'nın hızlı çarpma algoritması ilk olarak A. Karatsuba ve Yu'da yayınlandı. Ofman (1962), "Çok Sayısal Sayıların Otomatik Bilgisayarla Çarpımı ", SSCB Bilimler Akademisi'nin Bildirileri 145: 293-294. Karatsuba'ya göre (1995, "Hesaplamaların karmaşıklığı", Proc. Steklov Matematik Enstitüsü 211: 169-183) , bu makale aslında Karatsuba'nın bilgisi dışında Kolmogorov (ve muhtemelen Ofman) tarafından yazılmıştır. …

21 ho.history-overview 

İki tarihsel sorum var: Belirsiz hesaplamayı ilk kim açıkladı? Cook'un NP-tam problemlerini tanımladığını ve Edmonds'un P algoritmalarının "verimli" veya "iyi" algoritmalar olduğunu önerdiğini biliyorum. Bu Wikipedia makalesini araştırdım ve "Algoritmaların Hesaplama Karmaşıklığı Üzerine" ifadesini kullandım, ancak belirsiz hesaplamanın ilk ne zaman tartışıldığı konusunda herhangi bir referans bulamadım. NP sınıfına ilk …

20 reference-request  soft-question  ho.history-overview  nondeterminism 

(Doğrulanmamış) tarihsel hesaba göre, Kolmogorov içindeki her dilin doğrusal devre karmaşıklığına sahip olduğunu düşündü . ( Kolmogorov'un doğrusal boyutlu devreleri olduğu yönündeki önceki sorusuna bakın .) anlamına geldiğine dikkat edin .P P ≠ K PPP\mathsf{P}PPPP ≠ N PP≠N-P\mathsf{P}\neq \mathsf{NP} Ancak Kolmogorov'un varsayımının başarısız olacağı düşünülüyor. Örneğin, Ryan Williams yeni bir …

19 cc.complexity-theory  circuit-complexity  ho.history-overview 

Kısa bir süre önce Turing Makineleri hakkında "Turing Makinesi otomatlardan mı geliyor, yoksa tam tersi mi?" Cevabını bilmiyordum tabii, ama merak ediyorum. Turing Makinesi temel olarak Push-Down Automata'nın biraz daha sofistike bir versiyonudur. Bundan Turing Makinesi'nin otomatadan türetildiğini varsayıyorum, ancak kesin bir kanıtım veya açıklamam yok. Ben sadece yanlış olabilirim …

19 fl.formal-languages  computability  automata-theory  turing-machines  ho.history-overview 

İktisatçıları karmaşıklık teorisinin baskıdaki önemi konusunda ikna etmeye çalışırken, atıfta bulunmak için standart bir referans var mı? Ben aşinayım Noam Nisan adlı üyenin blog post , Tim Roughgarden'in anket ait ve bölüm 11 Scott Aaronson adlı makalesinde . Bu görevlere bilgisayar bilimcileri tarafından erişilebilir, ancak iktisatçıların dilini kullanmazlar ve genellikle …

17 cc.complexity-theory  reference-request  application-of-theory  ho.history-overview  ce.computational-finance 

Bugün alt sınırlarını öğrettim ve öğrencilerden biri A C isminin nedenini sordu . Resmi açıklama "A" nın "Alternatif" anlamına gelmesidir.A C0birC0AC^0A CbirCAC Yıllar önce Nick Pippenger Steve Cook'un Nick Pippenger'dan (Nick'in sınıfı) sonra ve daha sonra Nick'in Steve'den (Steve'in sınıfı) S C olarak adlandırıldığı söyleniyor .N-CN-CNCSCSCSC hikayenin bir parçası içinde, …

17 cc.complexity-theory  reference-request  ho.history-overview 

Kanıtlanmış sınırlarla yayınlanmış ilginç algoritma örnekleri var mı ve daha sonra daha iyi sınırlar daha sonra yayınlandı mı? Daha iyi sınırlarla daha iyi algoritmalar değil - açıkçası bu oldu! Ancak mevcut bir algoritmaya daha iyi bağlanma sağlayan daha iyi analiz Matris çarpımının bunun bir örneği olduğunu düşündüm, ama Coppersmith-Winograd ve …

16 ho.history-overview  analysis-of-algorithms 

AFAIK, Yüksek mertebeden fonksiyonlar kullanmanın ilk kanıtı Schönfinkel'in 1924 tarihli makalesine geri dönüyor: "Matematiksel Mantıkın Yapı Taşlarında" - birisinin işlevleri diğer işlevlere argüman olarak geçirmesine izin verdi. İlginç görünüyor. Ancak, çalışmaları hakkında okuduğum her şey (ve Curry'nin uzantısıyla) bir şekilde veya başka bir şeyle ilgili gibi görünüyor: [üst düzey fonksiyonlar] …

15 lo.logic  soft-question  ho.history-overview  intuition  function 

Genel amaçlı uzay-zaman ödünleşimleri hakkında yayınlanan sonuçların erken tarihiyle ilgileniyorum. Özellikle, veri akışı grafiğinin derinliği (genişlik değil) ile orantılı boşluk kullanarak derece O (1) ile rasgele bir veri akışı grafiğine sahip bir hesaplamayı değerlendirmek için aşağıdaki algoritma türünü kimin ilk açıkladığını bilmek istiyorum. Grafiğin basit bir derinlik-ilk değerlendirmesini yaparak. Daha …

14 cc.complexity-theory  ho.history-overview  space-time-tradeoff