L'histoire derrière les sujets: d'où vient leur nom, qui les a découverts, quand ils ont été prouvés pour la première fois, comment ils ont évolué au fil des années.
Edit: J'ai choisi la réponse avec le score le plus élevé avant le 06 décembre 2012. C'est une question douce. Le concept d'algorithmes (déterministes) remonte à la Colombie-Britannique. Qu'en est-il des algorithmes probabilistes? Dans cette entrée wiki , l'algorithme de Rabin pour le problème de paire la plus proche en …
Si est un graphe irrégulier d non orienté et S est un sous-ensemble des sommets de cardinalité ≤ | V | / 2 , appelez l' expansion de bord de S la quantitéG = ( V, E)G=(V,E)G=(V,E)réddSSS≤ | V| / 2≤|V|/2\leq |V|/2SSS ϕ ( S) : = Erége s ( …
Les autres éditeurs avisés de Wikipédia ont refusé ma demande de déplacer l'article de Wikipédia sur l' algorithme Rabin – Karp vers ce que je pense qu'il devrait être appelé, l'algorithme Karp – Rabin, au motif que le nom Rabin – Karp est utilisé plus souvent ( faux, si l'on …
Je suis sûr que tout le monde connaît l' expérience de Buffon sur l'aiguille au XVIIIe siècle, qui est l'un des premiers algorithmes probabilistes à calculer .ππ\pi L'implémentation de l'algorithme dans les ordinateurs nécessite généralement l'utilisation de , ou d'une fonction trigonométrique, qui, même si elles sont implémentées sous forme …
J'ai récemment enseigné aux expanseurs et introduit la notion de graphes Ramanujan. Michael Forbes a demandé pourquoi on les appelait ainsi, et j'ai dû admettre que je ne sais pas. N'importe qui?
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 travaux antérieurs sur …
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 calculs", Proc. Steklov Institute of Mathematics 211: …
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 complexité des algorithmes", …
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 \mathsf{NP} La conjecture de Kolmogorov, cependant, est susceptible d'échouer. …
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 légèrement plus …
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 …
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 classe de Nick), et plus …
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 conduisant à une meilleure limite sur …
AFAIK, La première preuve de l'utilisation de fonctions d'ordre supérieur remonte à l'article de Schönfinkel de 1924: "Sur les blocs de construction de la logique mathématique" - où il permettait à quelqu'un de passer des fonctions comme arguments à d'autres fonctions. Cela semble intéressant. Cependant, tout ce que j'ai lu …
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 utilisant un …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.