Questions marquées «ho.history-overview»

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.

2
La réduction de l'algorithme de Shor a-t-elle été découverte à l'origine par Shor?
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 antérieure à Shor, ou s'agit-il simplement d'un "résultat folklorique"? …
14
Applications de la topologie à l'informatique
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. Existe-t-il des documents ou des notes décrivant la chronologie …
5
Les raisons historiques de l’adoption de la machine de Turing en tant que modèle de calcul principal.
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 (je comprends). que …
1
Est-ce que Rabin / Yao existe (au moins sous une forme qui peut être citée)?
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 à .NN_N000N−1N−1N-1O(loglogN)O(log⁡log⁡N)O(\log\log N) Andrew Chi-Chih Yao, Quelques questions …
8
Les contributions d'Alan Turing à l'informatique
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 ne se limitent pas à celles que j'ai énumérées. En …
2
Référence pour la dureté NP de 3 couleurs?
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: Réductibilité parmi …
En utilisant notre site, vous reconnaissez avoir lu et compris notre politique liée aux cookies et notre politique de confidentialité.
Licensed under cc by-sa 3.0 with attribution required.