«ho.history-overview» etiketlenmiş sorular

Ben sadece "onu tanımak" için lambda matematiğini okuyorum. Turing Makinesi yerine alternatif bir hesaplama biçimi olarak görüyorum. İşlevleri / azaltmaları olan şeyleri yapmanın ilginç bir yoludur (kabaca konuşma). Bazı sorular olsa da beni rahatsız ediyor: Lambda analizinin amacı nedir? Neden tüm bu işlevlerden / azaltmalardan geçtiniz? Amaç ne? Sonuç olarak …

85 soft-question  big-picture  lambda-calculus  ho.history-overview 

Bu, bir araştırma sorusundan daha fazla bir "tarihsel sorudur", ancak Shor'un başlangıçta Peter Shor tarafından keşfedilen faktörizasyon algoritmasında sıra bulgusunda klasik bir azalma mıydı, yoksa daha önce de biliniyor muydu? Shor öncesi tarihe geçen indirimi açıklayan bir makale var mı, yoksa sadece "halk sonucu" olarak adlandırılan bir şey mi var? …

79 quantum-computing  ho.history-overview  factoring 

Bugün benim sorum (her zamanki gibi) biraz saçma; ama nazik düşünmenizi rica ediyorum. Treewthth kavramının arkasındaki genesis ve / veya motivasyon hakkında bilmek istedim. FPT algoritmalarında kullanıldığından eminim ama bu kavramın tanımlanmasının nedeni bu olduğunu sanmıyorum. Bu konuda yazılan notları Prof Robin Thomas sınıfında yazdım . Sanırım bu kavramın bazı …

61 graph-theory  co.combinatorics  big-picture  ho.history-overview  treewidth 

Bilgisayar Bilimi alanındaki Topoloji uygulamaları hakkında bir anket yazmak istiyorum. Bilgisayar Bilimleri alanındaki topolojik fikirlerin tarihçesini ele almayı ve bazı güncel gelişmeleri vurgulamayı düşünüyorum. Aşağıdaki sorulardan herhangi biri hakkında bilgi verebilecek olmanız son derece yardımcı olacaktır. Bilgisayar Bilimlerinde topoloji kullanımının kronolojisini tanımlayan herhangi bir makale veya not var mı? Topolojideki …

61 reference-request  ho.history-overview  topology  survey 

Anladığım kadarıyla Turing'in modelinin hesaplamayı tarif ederken "standart" olduğu ortaya çıktı. Bunun neden böyle olduğunu bilmek ilgimi çekiyor - yani, TM modeli neden diğer teorik olarak eşdeğer (benim bilgime göre) modellerden daha yaygın bir şekilde kullanıldı, örneğin Kleene's Rec-Recursion veya Lambda Calculus (anlıyorum) eski olan daha sonra görünmüyordu ve ikincisi …

44 reference-request  soft-question  computability  turing-machines  ho.history-overview 

Dinamik programlamayı yeniden adlandırabilirseniz, buna ne derdiniz?

43 ds.algorithms  soft-question  terminology  ho.history-overview 

Andrew Chi-Chih Yao'nun klasik 1979 makalesinde "MO Rabin ve AC Yao, hazırlanırken" kaynak gösterir. Bu, EQ eşitlik fonksiyonunun sınırlı hata iletişim karmaşıklığının sonucudur ( - aralığında iki tamsayının eşit olup olmadığı ) .NN_N000N−1N−1N-1O(loglogN)O(log⁡log⁡N)O(\log\log N) Andrew Chi-Chih Yao, Dağıtık Hesaplama ile İlgili Bazı Karmaşıklık Soruları (Ön Rapor) , STOC 1979, s. …

40 ho.history-overview  communication-complexity 

Bu problem, çok ilginç olduğunu düşündüğüm MO sorusundan ilham alıyor . TCS'deki en eski açık sorun nedir? Açıkçası bu sorunun bazı açıklamalara ihtiyacı var. İlk olarak, TCS nedir? Garip mükemmel sayıların varlığının TCS olmadığını düşünüyorum. Hilbert'in onuncu probleminin TCS olduğunu söyleyebilirim . "X'i bir cetvel ve pusula ile kurabilir miyiz" …

36 soft-question  open-problem  ho.history-overview 

(Teorik) bilgisayar biliminin öncülerinden Alan Turing , Turing makineleri, Kilise-Turing tezi, kararsızlık ve Turing testinin tanımlanması da dahil olmak üzere alanımıza birçok bilimsel bilimsel katkı yaptı. Ancak, önemli keşifleri listelediklerimle sınırlı değil. 100. Doğum Günü onuruna, çalışmalarını daha iyi anlayabilmek için bilgisayar bilimine yaptığı önemli katkıların daha eksiksiz bir listesini …

34 soft-question  ho.history-overview 

Tarihi bir sorum var. Grafiklerin 3 renklendirilebilirliğinin (alternatif olarak, verilen için renklendirilebilirliğinin ) NP-sert olduğu gerçeğinin referansını belirlemeye çalışıyorum .kkkk ≥ 3k≥3k\geq 3 Baştan çıkarıcı cevap “Karp'ın orijinal makalesi” dir, ancak bu yanlış. İşte bir tarama: Kombinatoryal Problemler Arasında İndirgenebilirlik, Karp (1972) . Kromatik sayının (Giriş: bir grafik. Çıkış: ) …

33 np-hardness  ho.history-overview 

in Steve Cook için ve nin Nick Pippenger için adlandırıldığını "biliyoruz" . Yanılmıyorsam, Steve Cook, Nick Pippenger onuruna NC adını verdi ve tersinin de doğru olduğu söylendi. Bununla birlikte, bu son gerçeğin kanıtlarını Steve Cook'un DCFL'ler hakkındaki makalesinde veya Nisan'ın .N C R L ⊆ S CS CSC\mathsf{SC}N CNC\mathsf{NC}R L …

33 cc.complexity-theory  ho.history-overview 

Son birkaç soruda ( q1 q2 ), mantık ve programlama dilleri ile algoritmalar ve karmaşıklık çalışmaları arasındaki ayrımı yakalamak için "Teori B" ile "Teori A" ya karşı "Teori A" tartışıldı. Bu terminoloji benim için yeniydi ve hızlı bir web araştırması açıklayan herhangi bir açık referans ile gelmedi. Bu terminolojinin kökenini …

30 ho.history-overview  terminology 

Boolean Function Complexity adlı kitabında Stasys Jukna, Kolmogorov'un P'deki her dilin doğrusal büyüklükte devrelere sahip olduğuna inandığını söyler (sayfa 564). Referans belirtilmemiş ve çevrimiçi bir şey bulamadım. bu konuyla ilgili daha fazla bilgisi olan var mı?

28 cc.complexity-theory  reference-request  circuit-complexity  ho.history-overview 

Grothendieck vefat etti . 21. yüzyıla devam eden 20. yüzyıl matematiğine büyük etkisi oldu. Bu soru bir şekilde, örneğin Alan Turing'in Bilgisayar Bilimine Katkıları'nın tarzında / ruhunda sorulur . Nelerdir Grothendieck teorik bilgisayar bilimi üzerine 'nin başlıca etkiler?

27 big-picture  ct.category-theory  ho.history-overview 

Neden normal diller (ve bu normal ifadelerden) "normal" olarak adlandırılıyor? Bağlamsız dillerde, diğer dil türlerinde de çok fazla düzenlilik vardır . Sanırım, başlangıçta, "normal" sıfatının, bu tür dilleri "normal olmayan" veya bir şekilde anormal dillerden ayırt etmek için kullanıldığını farz ediyorum. Eğer öyleyse, bu diğer türlerin neresi ve düzensizlikleri neydi?

27 regular-expressions  regular-language  ho.history-overview