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.
Je suis en train de lire sur le calcul lambda pour "apprendre à le connaître". Je le vois comme une forme alternative de calcul par opposition à la machine de Turing. C'est une manière intéressante de faire les choses avec des fonctions / réductions (en gros). Certaines questions continuent à me...
C’est une "question historique" plus qu’une question de recherche, mais la réduction classique à la recherche d’ordres dans l’algorithme de factorisation de Shor a-t-elle été découverte à l’origine par Peter Shor, ou était-elle connue auparavant? Existe-t-il un document décrivant la réduction...
J'aimerais écrire un sondage sur les applications de la topologie en informatique. Je compte couvrir l’histoire des idées topologiques en informatique et souligner quelques développements récents. Il serait extrêmement utile que quiconque puisse donner son avis sur l’une des questions ci-dessous....
Ma question aujourd'hui est (comme d'habitude) un peu bête; mais je vous demanderais de bien vouloir l'examiner. Je voulais connaître la genèse et / ou la motivation du concept de largeur d'arbre. Je comprends bien que cela soit utilisé dans les algorithmes FPT, mais je ne pense pas que ce soit la...
Je crois comprendre que le modèle de Turing est devenu le "standard" dans la description du calcul. Je voudrais savoir pourquoi. Si le modèle TM est devenu plus largement utilisé que d’autres modèles théoriquement équivalents (à ma connaissance), comme le μ-récursion de Kleene ou le calcul lambda...
Si vous pouviez renommer la programmation dynamique, comment
Dans son article classique de 1979, Andrew Chi-Chih Yao mentionne "MO Rabin et AC Yao, en préparation". Cela signifie que la complexité de la communication d'erreur corrigée de la fonction d'égalité EQ (que deux entiers compris entre et soient égaux) est égale à
Ce problème s’inspire de cette question du MO , que j’ai trouvée très intéressante. Quel est le problème ouvert le plus ancien dans TCS? Il est clair que cette question nécessite des éclaircissements. Tout d'abord, qu'est-ce que le TCS? Je pense que l'existence de nombres impairs parfaits n'est pas...
Alan Turing , l'un des pionniers de l'informatique (théorique), a apporté de nombreuses contributions scientifiques fondamentales à notre domaine, notamment la définition des machines de Turing, la thèse de Church-Turing, l'indécidabilité et le test de Turing. Cependant, ses importantes découvertes...
J'ai une question historique. J'essaie de déterminer la référence pour le fait que la possibilité de coloration sur 3 des graphes (ou colourability pour un ) est NP-difficile.k ≥ 3kkkk ≥ 3k≥3k\geq 3 La réponse tentante est «le papier original de Karp», mais c'est faux. Voici une analyse:...
Nous "savons" que porte le nom de Steve Cook et que porte le nom de Nick Pippenger. Si je ne me trompe pas, Steve Cook a été nommé NC en l'honneur de Nick Pippenger, et on m'a dit que l'inverse est également vrai. Cependant, je n'ai pu trouver aucune preuve de ce dernier fait ni dans l'article de...
Dans quelques questions récentes ( q1 q2 ), il y a eu une discussion entre "Théorie A" et "Théorie B", apparemment pour capturer le fossé entre l'étude de la logique et des langages de programmation et l'étude des algorithmes et de la complexité. Cette terminologie était nouvelle pour moi, et une...
Dans son livre, Boolean Function Complexity, Stasys Jukna mentionne (page 564) que Kolmogorov croyait que chaque langue en P avait des circuits de taille linéaire. Aucune référence n'est mentionnée et je n'ai rien trouvé en ligne. Quelqu'un en sait-il plus
Pourquoi les langages réguliers (et à partir de ces expressions régulières) sont-ils appelés "réguliers"? Il y a beaucoup de régularité également dans les langues sans contexte et d'autres types de langues. Je suppose que, au début, l'adjectif "régulier" a été utilisé pour différencier ce type de...
Grothendieck est décédé . Il a eu un impact massif sur les mathématiques du 20e siècle, se poursuivant jusqu'au 21e siècle. Cette question est posée quelque peu dans le style / l'esprit, par exemple, des contributions d' Alan Turing à l'informatique . Quelles sont les principales influences de...
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...
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 ( S, V- S)ré⋅ | S| ⋅ | V- S|ϕ(S):=Edges(S,V−S)d⋅|S|⋅|V−S|\phi(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 se fie aux chiffres de...
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,...
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