J'ai lu qu'au départ, Church proposait le -calculus dans le cadre de ses postulats de logiqueλλ\lambda (qui est une lecture dense). Mais Kleene a prouvé son "système" incohérent après quoi, Church a extrait des éléments pertinents pour son travail sur la "calculabilité effective" et a abandonné ses...
L'algorithme de Karatsuba pour la multiplication rapide a été publié pour la première fois dans A. Karatsuba et Yu. Ofman (1962), «Multiplication of Many-Digital Numbers by Automatic Computers», Actes de l'Académie des sciences de l'URSS 145: 293-294. Selon Karatsuba (1995, "La complexité des...
J'ai deux questions historiques: Qui a décrit en premier le calcul non déterministe? Je sais que Cook a décrit des problèmes NP-complets et qu'Edmonds a proposé que les algorithmes P soient des algorithmes "efficaces" ou "bons". J'ai cherché dans cet article Wikipedia et j'ai survolé "Sur la...
Selon un récit historique (non vérifié), Kolmogorov pensait que chaque langue dans a une complexité de circuit linéaire. (Voir la question précédente de la conjecture de Kolmogorov selon laquelle a des circuits de taille linéaire .) Notez que cela implique .PP\mathsf{P}PPPP≠NPP≠NP\mathsf{P}\neq...
Je venais tout juste d'avoir une discussion sur les machines de Turing quand on m'a demandé: "La machine de Turing dérive-t-elle d'automates, ou est-ce l'inverse"? Je ne connaissais pas la réponse bien sûr, mais je suis curieux de le savoir. La machine de Turing est fondamentalement une version...
J'ai enseigné bornes inférieures aujourd'hui, et l'un des étudiants a demandé la raison du nom . L'explication officielle est que le "A" signifie "Alternance".AC0AC0AC^0ACACAC Je me souviens vaguement, il y a de nombreuses années, que Nick Pippenger Steve Cook a nommé après Nick Pippenger (la...
Lorsqu'on essaie de convaincre les économistes de la pertinence de la théorie de la complexité dans la presse écrite, existe-t-il une référence standard à citer? Je connais le billet de blog de Noam Nisan , l'enquête de Tim Roughgarden et le chapitre 11 de l'essai de Scott Aaronson . Ces articles...
Existe-t-il des exemples intéressants d'algorithmes qui ont été publiés avec des limites prouvées et où des limites strictement meilleures ont été publiées par la suite? Pas de meilleurs algorithmes avec de meilleures limites - c'est évidemment ce qui est arrivé! Mais une meilleure analyse...
Je m'intéresse à la première histoire des résultats publiés sur les compromis spatio-temporels à usage général. En particulier, je veux savoir qui a décrit en premier le type d'algorithme suivant pour évaluer un calcul ayant un graphique de flux de données arbitraire avec en degré O (1) en...
Qui a introduit l'idée de récursivité ? Quelqu'un peut-il expliquer d'où il vient et comment cela a eu un impact sur
Robin Milner a défini les bigraphs comme un type de structure graphique avec une structure de type graphique mais où les nœuds peuvent être imbriqués. Ils généralisent des calculs de processus comme CCS et le -calculus, mais Milner semble avoir voulu qu'ils soient utilisés de manière beaucoup plus...
En enseignant comment implémenter les FSM à l'aide de circuits logiques synchrones, j'ai remarqué une coïncidence intrigante: dans le monde théorique CS et dans le monde de l'électrotechnique, "état" est généralement noté (et l'espace d'état ). J'ai d'abord posé une question sur EE.sx , mais en...
Pour célébrer le 100e anniversaire d'Alan Turing, je veux regarder un documentaire sur sa vie. Cependant, il existe plusieurs documentaires parmi lesquels choisir. Quel documentaire sur Alan Turing est votre préféré? Veuillez inclure un seul documentaire par
Je voudrais connaître l'histoire de ces deux termes: " efficace ", " faisable ". Qui les a utilisés pour le calcul / les algorithmes la première fois? (au sens moderne de ces termes, c'est-à-dire du 20e siècle). Comment sont-ils devenus courants? Comment ces deux termes ont-ils commencé à être...
Je cherche: Michael O. Rabin, "Degré de difficulté de calcul d'une fonction et ordre partiel d'ensembles récursifs", Université hébraïque, Jérusalem, 1960 Sommaire: «Nous essayons de mesurer la quantité de travail inhérente à la tâche de calculer une fonction calculable (récursive) donnée. Une...
Les langages Dyck sont définis par la grammaire suivante S → S SDyck(k)Dyck(k)\mathsf{Dyck}(k) sur l'ensemble des symboles { ( 1 , … , ( k , ) 1 , … , ) k } . Langues Intuitivement Dyck sont les langues de parenthèses équilibré de k genre différent. Par exemple,
J'ai essayé d'enrouler ma tête autour du quoi, pourquoi et comment du -calculus mais je ne suis pas parvenu à comprendre "pourquoi ça marche"?λλ\lambda «Intuitivement», j'obtiens le modèle de calculabilité de Turing Machines (TM). Mais cette -abstraction me laisse juste perplexe.λλ\lambda Supposons...
Tous les musées et expositions liés à l'informatique que je connais semblent couvrir uniquement l'histoire des machines informatiques, mais rien sur les sujets de l'informatique. Vous participez à la création d'un nouveau musée de l'informatique, agréé pour éduquer, divertir et inspirer le grand...
Il est bien connu que la machine analytique de Charles Babbage avait une architecture ressemblant fortement à l'architecture moderne de Von Neumann. Il est également à noter que les tableaux de représentation d'un programme pour la machine analytique de Babbage (
(Toutes mes excuses si cela est déplacé ou trop large. Je suis ouvert aux suggestions sur la façon de le reformuler.) Je suis intéressé à retracer l'histoire "ancienne" des algorithmes max-flow et des algorithmes d'optimisation discrets en général. Ford-Fulkerson est mon homme de paille d'un point...