Projet:Informatique théorique/Évaluation/Index

Informatique théoriqueÉvaluation
statistiques(haut)historique

Dernière mise à jour : 14 septembre 2026 par OrlodrimBot.


Article
Date
Autres
Commentaires
Algorithme22/04/23MaximumB
Algorithme de tri26/04/25MaximumB
Edsger Dijkstra22/04/23MaximumB
P-complet09/06/26MaximumB
Analyse de la complexité des algorithmes26/04/25MaximumBon début
Théorie de la complexité (informatique théorique)26/04/25MaximumBon début
Théorie du calcul16/12/25MaximumBon début
Apprentissage automatique07/05/24ÉlevéeA
Apprentissage profond07/08/26ÉlevéeA
Langage formel09/06/26ÉlevéeA
Algorithme d'Euclide11/05/24ÉlevéeB
Algorithme d'Euclide étendu22/04/23ÉlevéeB
Apprentissage par classement05/03/25ÉlevéeB
Automate à pile22/04/23ÉlevéeB
Automate fini16/05/25ÉlevéeB
Décidabilité13/05/25ÉlevéeB
Ingénierie quantique19/06/25ÉlevéeB
  • Votre aide est la bienvenue pour corriger les numéros ISBN incorrects (quelques explications), présents dans l'article :
    • ISBN 978-1032014022  : Le calcul de la somme de contrôle donne 9 et non 2 -- 26 juin 2025 à 07:23 (CEST)
Machine de Turing07/05/24ÉlevéeB
Transformation de Fourier rapide18/05/25ÉlevéeB
  • Votre aide est la bienvenue pour corriger les arguments inconnus dans les appels de modèle, présents dans l'article :
    • Modèle {{ Article }} : l'argument «  p.s=563-578  » ne fait pas partie des arguments gérés par le modèle {{ Article }} (dans «  Problèmes numériques et approximations  ») -- 10 novembre 2021 à 10:31 (CET)
Algorithme d'approximation22/04/23ÉlevéeBon début
Algorithme de Dijkstra22/04/23ÉlevéeBon début

L'algorithme présenté dans la section "Fonction principale" me semble faux. Au départ on assigne a Q tous les nœuds du graphe, puis on applique l'algorithme en considérant les voisins du nœud de départ, puis les voisins de ces voisins, etc... La condition d'arrêt c'est que l'ensemble Q de nœud pas encore visités soit nul. Or, dans le cas d'un graphe orienté, en partant d'un nœud donné, on ne parcourt pas forcément tous les nœuds du graphe. Il se peut qu'il y ait des nœud "parents" au nœud de départ qui ne seront pas visités. (A moins que l'on considère comme "voisin" un nœud que l'on peut atteindre en parcourant les arêtes dans le sens inverse de leur orientation. Mais dans ce cas on perd toute l'information de l'orientation). En fait, cet article comporte de nombreuses incohérences. Dans le paragraphe "Principe sur un exemple" on précise que le graphe de départ est orienté, mais les schémas montrent un graphe non orienté.

Algorithme récursif22/04/23ÉlevéeBon début
Langage rationnel16/05/25ÉlevéeBon début
  • Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie Singleton Quelques explications pour effectuer ces corrections. -- 29 mars 2022 à 09:10 (CEST)
Problème de la hauteur d'étoile09/02/26ÉlevéeBon début
Programmation dynamique13/05/25ÉlevéeBon début
Réduction (complexité)26/04/25ÉlevéeBon début
Théorème de Cook25/06/24ÉlevéeBon début
Théorème de Cover10/10/24ÉlevéeBon début
Théorie des graphes20/06/25ÉlevéeBon début
  • Ne pas oublier que les ponts de Königsberg ne sont pas un problème de math mais un simple amusement.
  • Ce qui diffère un graphe d'une relation binaire c'est avant tout les arêtes. C'est-à-dire que l'on s'intéresse aussi aux arêtes et plus uniquement aux relations. Donc même si les graphes simples modélisent les réseaux, il ne faut pas en oublier la définition d'un graphe (qui leur permet d'avoir des arêtes multiples, à savoir un triplet comme expliqué dans la version précédente).
  • Les résultats important en théorie des graphes sont celui des quatres couleurs et celui des graphes parfait. Il faut les mettre en avant et surtout ne pas faire l'impasse sur le théorème des graphes parfaits , de même que les théorèmes classiques mentionnés dans l'historique qui traite des objets de base de la théorie: les objet classiques du packing/covering, la connectivité, etc.
  • Il y a d'autres aspect aussi en graphe, la rigidité, les plongements...
  • Quelle est donc la réponse que ce digne Euler fît à propos du problème des 7 ponts ? Et comment y arrive-t-on ? Factoriser des graphes ? Quelle drôle d'idée, pour quoi faire ? Si on veut aller plus loin dans le pinaillage, on pourrait remarquer que la référence The arab role in the development of Chess est peu documentée, est-ce l'oeuvre d'un spécialiste (et je n'ai rien à dire) où est-ce l'œuvre d'un illuminé qui présente une nouvelle version très personnelle de l'histoire (un petit mot sur le CV de l'auteur serait le bienvenu). Enfin, des petites bricoles de mises en page rendent la lecture de certaines lignes un chouilla plus difficile qu'elle devrait. Enfin, cet article doit être la tête de pont de sa catégorie, il ne traite pas, par exemple les arbres de Steiner.

Transformation de Tseitin14/05/25ÉlevéeBon début
21 problèmes NP-complets de Karp25/06/24ÉlevéeÉbauche
Géométrie algorithmique25/05/25ÉlevéeÉbauche
Retour sur trace16/05/25ÉlevéeÉbauche
Robert Tarjan25/05/25ÉlevéeÉbauche
Stratégie (théorie des jeux)18/10/24ÉlevéeÉbauche
Trie (informatique)25/05/25ÉlevéeÉbauche
Algorithme de colonies de fourmis22/04/23MoyenneAdQ AdQ
Autostabilisation10/10/25MoyenneAdQ AdQ
Automate cellulaire09/05/24MoyenneB
  • Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie Base , Pavage Quelques explications pour effectuer ces corrections. -- 27 juin 2026 à 00:23 (CEST)
Combinatoire analytique16/02/26MoyenneB
Complétion de Knuth-Bendix04/05/23MoyenneB
Expression régulière16/05/25MoyenneB
  • expliquer les différences entre "simple" et "étendue"
Ordinateur quantique07/05/24MoyenneB
Réseau de neurones artificiels07/05/24MoyenneB
Tri cocktail10/09/26MoyenneB
Tri rapide10/09/26MoyenneB
Yann Le Cun20/06/25MoyenneB
Algorithme de Levenberg-Marquardt29/05/25MoyenneBon début
Apprentissage PAC22/04/23MoyenneBon début
Apprentissage par renforcement hors ligne26/04/25MoyenneBon début
Arbre binaire de recherche10/09/26MoyenneBon début
Complexité en moyenne des algorithmes13/09/26MoyenneBon début
Hypothèse de la variété10/10/24MoyenneBon début
Jeu de la vie07/05/24MoyenneBon début
Marvin Minsky14/03/25MoyenneBon début
Optimisation bayésienne05/03/25MoyenneBon début
  • Votre aide est la bienvenue pour corriger les arguments inconnus dans les appels de modèle, présents dans l'article :
    • Modèle {{ Ouvrage }} : l'argument «  chapter-url=https://dl.acm.org/doi/10.1145/3583131.3590486  » ne fait pas partie des arguments gérés par le modèle {{ Ouvrage }} (dans «  Applications  ») -- 21 mars 2025 à 22:52 (CET)
Programming Computable Functions07/06/25MoyenneBon début
Quickselect10/09/26MoyenneBon début
Smoothsort10/09/26MoyenneBon début
Tri à bulles10/09/26MoyenneBon début
Tri comptage10/09/26MoyenneBon début
Tri de Shell10/09/26MoyenneBon début
  • Votre aide est la bienvenue pour corriger les arguments inconnus dans les appels de modèle, présents dans l'article :
    • Modèle {{ Ouvrage }} : l'argument «  chapter-url=http://sun.aei.polsl.pl/~mciura/publikacje/shellsort.pdf↵  » ne fait pas partie des arguments gérés par le modèle {{ Ouvrage }} (dans «  Analyse de la complexité  ») -- 23 mai 2025 à 22:40 (CEST)
Tri fusion10/09/26MoyenneBon début
Tri par insertion10/09/26MoyenneBon début
Tri par sélection10/09/26MoyenneBon début
Tri par tas10/09/26MoyenneBon début
Algorithme de Boyer-Moore-Horspool10/09/26MoyenneÉbauche
Algorithme de recherche de sous-chaîne28/10/24MoyenneÉbauche
Algorithme de tri externe10/09/26MoyenneÉbauche
Algorithme galactique01/07/25MoyenneÉbauche
Apprentissage par transfert22/04/23MoyenneÉbauche
Complexité d'un algorithme30/11/25MoyenneÉbauche
  • Votre aide est la bienvenue pour corriger les arguments inconnus dans les appels de modèle, présents dans l'article :
    • Modèle {{ Ouvrage }} : l'argument «  editor1-last=van Leeuwen↵  » ne fait pas partie des arguments gérés par le modèle {{ Ouvrage }} (dans «  Références  »)
    • Modèle {{ Ouvrage }} : l'argument «  editor1-first=Jan↵  » ne fait pas partie des arguments gérés par le modèle {{ Ouvrage }} (dans «  Références  »)
    • Modèle {{ Ouvrage }} : l'argument «  editor1-link = Jan van Leeuwen↵  » ne fait pas partie des arguments gérés par le modèle {{ Ouvrage }} (dans «  Références  ») -- 2 août 2026 à 13:50 (CEST)
Complexité en espace10/09/26MoyenneÉbauche
Complexité en temps10/09/26MoyenneÉbauche
Introsort10/09/26MoyenneÉbauche
Timsort10/09/26MoyenneÉbauche
Tri à peigne10/09/26MoyenneÉbauche
Tri arborescent10/09/26MoyenneÉbauche
Tri pair-impair10/09/26MoyenneÉbauche
Tri par base10/09/26MoyenneÉbauche
Tri par paquets10/09/26MoyenneÉbauche
Liste des principales conférences d'informatique théorique10/11/24FaibleB
  • Votre aide est la bienvenue pour corriger les arguments inconnus dans les appels de modèle, présents dans l'article :
    • Modèle {{ Ouvrage }} : l'argument «  titre ouvrage =Algorithms and Theory of Computation Handbook↵  » ne fait pas partie des arguments gérés par le modèle {{ Ouvrage }} (dans «  Bibliographie  »)
    • Modèle {{ Ouvrage }} : l'argument «  auteur ouvrage = Mikhail Atallah (éditeur)↵  » ne fait pas partie des arguments gérés par le modèle {{ Ouvrage }} (dans «  Bibliographie  ») -- 15 novembre 2024 à 21:55 (CET)
Système binaire09/06/26FaibleB
Tri stupide09/06/26FaibleB
Aldo de Luca21/03/25FaibleBon début
Algèbre de Kleene22/04/23FaibleBon début
Algorithme d'Aho-Corasick22/04/23FaibleBon début
Algorithme de Boyer-Moore22/04/23FaibleBon début
Algorithme de Shamos et Hoey29/05/25FaibleBon début
Arto Salomaa29/01/25FaibleBon début
Canal de communication (théorie de l'information)22/04/23FaibleBon début
Computational Complexity Conference10/11/24FaibleBon début
Computer Aided Verification10/11/24FaibleBon début
Conférences WADS et SWAT10/11/24FaibleBon début
Corrado Böhm09/10/25FaibleBon début
Degré (théorie des graphes)11/04/26FaibleBon début
Gérard Biau29/01/25FaibleBon début
  • Votre aide est la bienvenue pour corriger les numéros ISBN incorrects (quelques explications), présents dans l'article :
    • ISBN (EAN13 : 9782759808984) -- 30 janvier 2025 à 06:49 (CET)
Intelligence artificielle digne de confiance19/05/25FaibleBon début
International Computing and Combinatorics Conference10/11/24FaibleBon début
John Horton Conway13/07/26FaibleBon début
Mélange de Fisher-Yates10/09/26FaibleBon début
Oscar H. Ibarra08/11/25FaibleBon début
Plus longue sous-séquence commune13/05/25FaibleBon début
Problème du cavalier20/06/25FaibleBon début
Seymour Papert31/01/26FaibleBon début
Symposium on Combinatorial Pattern Matching10/11/24FaibleBon début
Alfred Aho22/04/23FaibleÉbauche
Algorithme Carvalho et Roucairol25/05/25FaibleÉbauche
Algorithme de Buchberger25/05/25FaibleÉbauche
Algorithme de Cannon20/05/25FaibleÉbauche
Algorithme de Cocke-Younger-Kasami22/04/23FaibleÉbauche
Algorithme de Ricart et Agrawala25/05/25FaibleÉbauche
Algorithme du British Museum20/05/25FaibleÉbauche
Automate à pile visible22/04/23FaibleÉbauche
Bloc (jeu de la vie)22/04/23FaibleÉbauche
Chaînage arrière22/04/23FaibleÉbauche
  • Votre aide est la bienvenue pour corriger les liens, présents dans l'article, vers les pages d'homonymie Inférence Quelques explications pour effectuer ces corrections. -- 29 mars 2022 à 09:15 (CEST)
Chaînage avant22/04/23FaibleÉbauche
Codage parcimonieux24/11/25FaibleÉbauche
Complexité dans le meilleur des cas10/09/26FaibleÉbauche
Complexité dans le pire des cas10/09/26FaibleÉbauche
Conference on Implementation and Application of Automata10/11/24FaibleÉbauche
FRACTRAN27/05/25FaibleÉbauche
Geometrical analysis for interactive aid20/05/25FaibleÉbauche
Hiérarchie booléenne31/10/24FaibleÉbauche
Jack Edmonds02/08/26FaibleÉbauche
Moni Naor05/07/25FaibleÉbauche
Voisinage de Moore05/04/25FaibleÉbauche
Voisinage de von Neumann05/04/25FaibleÉbauche
Algorithme à estimation de distribution22/04/23À évaluerB
Algorithme A*22/04/23À évaluerB
Algorithme de Grover09/11/24À évaluerB
Algorithme génétique25/12/24À évaluerB
Bases mutuellement impartiales12/03/26À évaluerB
Dilemme du prisonnier22/04/23À évaluerB
Graphe à distance héréditaire30/06/26À évaluerB
  • Votre aide est la bienvenue pour corriger les arguments inconnus dans les appels de modèle, présents dans l'article :
    • Modèle {{ Article }} : l'argument «  editor1-last = Healy  » ne fait pas partie des arguments gérés par le modèle {{ Article }} (dans «  Bibliographie  »)
    • Modèle {{ Article }} : l'argument «  editor1-first = Patrick↵  » ne fait pas partie des arguments gérés par le modèle {{ Article }} (dans «  Bibliographie  »)
    • Modèle {{ Article }} : l'argument «  editor2-last = Nikolov  » ne fait pas partie des arguments gérés par le modèle {{ Article }} (dans «  Bibliographie  »)
    • Modèle {{ Article }} : l'argument «  editor2-first = Nikola S.↵  » ne fait pas partie des arguments gérés par le modèle {{ Article }} (dans «  Bibliographie  »)
    • Modèle {{ Article }} : l'argument «  editor-last = Pach  » ne fait pas partie des arguments gérés par le modèle {{ Article }} (dans «  Bibliographie  »)
    • Modèle {{ Article }} : l'argument «  editor-first = János  » ne fait pas partie des arguments gérés par le modèle {{ Article }} (dans «  Bibliographie  »)
    • Modèle {{ Article }} : l'argument «  editor-link = János Pach↵  » ne fait pas partie des arguments gérés par le modèle {{ Article }} (dans «  Bibliographie  ») -- 12 juillet 2026 à 19:45 (CEST)
John von Neumann20/06/25À évaluerB
  • Sourcer l'article
Lambda-calcul simplement typé11/10/24À évaluerB
Téléportation quantique25/04/24À évaluerB
Théorèmes d'incomplétude de Gödel20/06/25À évaluerB