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 | ||
|---|---|---|---|---|---|
| Algorithme | 22/04/23 | Maximum | B | ||
| Algorithme de tri | 26/04/25 | Maximum | B | ||
| Edsger Dijkstra | 22/04/23 | Maximum | B | ||
| P-complet | 09/06/26 | Maximum | B | ||
| Analyse de la complexité des algorithmes | 26/04/25 | Maximum | Bon début | ||
| Théorie de la complexité (informatique théorique) | 26/04/25 | Maximum | Bon début | ||
| Théorie du calcul | 16/12/25 | Maximum | Bon début | ||
| Apprentissage automatique | 07/05/24 | Élevée | A | ||
| Apprentissage profond | 07/08/26 | Élevée | A | ||
| Langage formel | 09/06/26 | Élevée | A | ||
| Algorithme d'Euclide | 11/05/24 | Élevée | B | ||
| Algorithme d'Euclide étendu | 22/04/23 | Élevée | B | ||
| Apprentissage par classement | 05/03/25 | Élevée | B | ||
| Automate à pile | 22/04/23 | Élevée | B | ||
| Automate fini | 16/05/25 | Élevée | B | ||
| Décidabilité | 13/05/25 | Élevée | B | ||
| Ingénierie quantique | 19/06/25 | Élevée | B |
| |
| Machine de Turing | 07/05/24 | Élevée | B | ||
| Transformation de Fourier rapide | 18/05/25 | Élevée | B |
| |
| Algorithme d'approximation | 22/04/23 | Élevée | Bon début | ||
| Algorithme de Dijkstra | 22/04/23 | Élevée | Bon 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écursif | 22/04/23 | Élevée | Bon début | ||
| Langage rationnel | 16/05/25 | Élevée | Bon début |
| |
| Problème de la hauteur d'étoile | 09/02/26 | Élevée | Bon début | ||
| Programmation dynamique | 13/05/25 | Élevée | Bon début | ||
| Réduction (complexité) | 26/04/25 | Élevée | Bon début | ||
| Théorème de Cook | 25/06/24 | Élevée | Bon début | ||
| Théorème de Cover | 10/10/24 | Élevée | Bon début | ||
| Théorie des graphes | 20/06/25 | Élevée | Bon début |
| |
| Transformation de Tseitin | 14/05/25 | Élevée | Bon début | ||
| 21 problèmes NP-complets de Karp | 25/06/24 | Élevée | Ébauche | ||
| Géométrie algorithmique | 25/05/25 | Élevée | Ébauche | ||
| Retour sur trace | 16/05/25 | Élevée | Ébauche | ||
| Robert Tarjan | 25/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 fourmis | 22/04/23 | Moyenne | |||
| Autostabilisation | 10/10/25 | Moyenne | |||
| Automate cellulaire | 09/05/24 | Moyenne | B |
| |
| Combinatoire analytique | 16/02/26 | Moyenne | B | ||
| Complétion de Knuth-Bendix | 04/05/23 | Moyenne | B | ||
| Expression régulière | 16/05/25 | Moyenne | B |
| |
| Ordinateur quantique | 07/05/24 | Moyenne | B | ||
| Réseau de neurones artificiels | 07/05/24 | Moyenne | B |
| |
| Tri cocktail | 10/09/26 | Moyenne | B | ||
| Tri rapide | 10/09/26 | Moyenne | B | ||
| Yann Le Cun | 20/06/25 | Moyenne | B | ||
| Algorithme de Levenberg-Marquardt | 29/05/25 | Moyenne | Bon début | ||
| Apprentissage PAC | 22/04/23 | Moyenne | Bon début | ||
| Apprentissage par renforcement hors ligne | 26/04/25 | Moyenne | Bon début | ||
| Arbre binaire de recherche | 10/09/26 | Moyenne | Bon début | ||
| Complexité en moyenne des algorithmes | 13/09/26 | Moyenne | Bon début | ||
| Hypothèse de la variété | 10/10/24 | Moyenne | Bon début | ||
| Jeu de la vie | 07/05/24 | Moyenne | Bon début | ||
| Marvin Minsky | 14/03/25 | Moyenne | Bon début | ||
| Optimisation bayésienne | 05/03/25 | Moyenne | Bon début |
| |
| Programming Computable Functions | 07/06/25 | Moyenne | Bon début | ||
| Quickselect | 10/09/26 | Moyenne | Bon début | ||
| Smoothsort | 10/09/26 | Moyenne | Bon début | ||
| Tri à bulles | 10/09/26 | Moyenne | Bon début | ||
| Tri comptage | 10/09/26 | Moyenne | Bon début | ||
| Tri de Shell | 10/09/26 | Moyenne | Bon début |
| |
| Tri fusion | 10/09/26 | Moyenne | Bon début | ||
| Tri par insertion | 10/09/26 | Moyenne | Bon début | ||
| Tri par sélection | 10/09/26 | Moyenne | Bon début | ||
| Tri par tas | 10/09/26 | Moyenne | Bon début | ||
| Algorithme de Boyer-Moore-Horspool | 10/09/26 | Moyenne | Ébauche | ||
| Algorithme de recherche de sous-chaîne | 28/10/24 | Moyenne | Ébauche | ||
| Algorithme de tri externe | 10/09/26 | Moyenne | Ébauche | ||
| Algorithme galactique | 01/07/25 | Moyenne | Ébauche | ||
| Apprentissage par transfert | 22/04/23 | Moyenne | Ébauche | ||
| Complexité d'un algorithme | 30/11/25 | Moyenne | Ébauche |
| |
| Complexité en espace | 10/09/26 | Moyenne | Ébauche | ||
| Complexité en temps | 10/09/26 | Moyenne | Ébauche | ||
| Introsort | 10/09/26 | Moyenne | Ébauche | ||
| Timsort | 10/09/26 | Moyenne | Ébauche | ||
| Tri à peigne | 10/09/26 | Moyenne | Ébauche | ||
| Tri arborescent | 10/09/26 | Moyenne | Ébauche | ||
| Tri pair-impair | 10/09/26 | Moyenne | Ébauche | ||
| Tri par base | 10/09/26 | Moyenne | Ébauche | ||
| Tri par paquets | 10/09/26 | Moyenne | Ébauche | ||
| Liste des principales conférences d'informatique théorique | 10/11/24 | Faible | B |
| |
| Système binaire | 09/06/26 | Faible | B | ||
| Tri stupide | 09/06/26 | Faible | B | ||
| Aldo de Luca | 21/03/25 | Faible | Bon début | ||
| Algèbre de Kleene | 22/04/23 | Faible | Bon début | ||
| Algorithme d'Aho-Corasick | 22/04/23 | Faible | Bon début | ||
| Algorithme de Boyer-Moore | 22/04/23 | Faible | Bon début | ||
| Algorithme de Shamos et Hoey | 29/05/25 | Faible | Bon début | ||
| Arto Salomaa | 29/01/25 | Faible | Bon début | ||
| Canal de communication (théorie de l'information) | 22/04/23 | Faible | Bon début | ||
| Computational Complexity Conference | 10/11/24 | Faible | Bon début | ||
| Computer Aided Verification | 10/11/24 | Faible | Bon début | ||
| Conférences WADS et SWAT | 10/11/24 | Faible | Bon début | ||
| Corrado Böhm | 09/10/25 | Faible | Bon début | ||
| Degré (théorie des graphes) | 11/04/26 | Faible | Bon début | ||
| Gérard Biau | 29/01/25 | Faible | Bon début |
| |
| Intelligence artificielle digne de confiance | 19/05/25 | Faible | Bon début | ||
| International Computing and Combinatorics Conference | 10/11/24 | Faible | Bon début | ||
| John Horton Conway | 13/07/26 | Faible | Bon début | ||
| Mélange de Fisher-Yates | 10/09/26 | Faible | Bon début | ||
| Oscar H. Ibarra | 08/11/25 | Faible | Bon début | ||
| Plus longue sous-séquence commune | 13/05/25 | Faible | Bon début | ||
| Problème du cavalier | 20/06/25 | Faible | Bon début | ||
| Seymour Papert | 31/01/26 | Faible | Bon début | ||
| Symposium on Combinatorial Pattern Matching | 10/11/24 | Faible | Bon début | ||
| Alfred Aho | 22/04/23 | Faible | Ébauche | ||
| Algorithme Carvalho et Roucairol | 25/05/25 | Faible | Ébauche | ||
| Algorithme de Buchberger | 25/05/25 | Faible | Ébauche | ||
| Algorithme de Cannon | 20/05/25 | Faible | Ébauche | ||
| Algorithme de Cocke-Younger-Kasami | 22/04/23 | Faible | Ébauche | ||
| Algorithme de Ricart et Agrawala | 25/05/25 | Faible | Ébauche | ||
| Algorithme du British Museum | 20/05/25 | Faible | Ébauche | ||
| Automate à pile visible | 22/04/23 | Faible | Ébauche | ||
| Bloc (jeu de la vie) | 22/04/23 | Faible | Ébauche | ||
| Chaînage arrière | 22/04/23 | Faible | Ébauche |
| |
| Chaînage avant | 22/04/23 | Faible | Ébauche | ||
| Codage parcimonieux | 24/11/25 | Faible | Ébauche | ||
| Complexité dans le meilleur des cas | 10/09/26 | Faible | Ébauche | ||
| Complexité dans le pire des cas | 10/09/26 | Faible | Ébauche | ||
| Conference on Implementation and Application of Automata | 10/11/24 | Faible | Ébauche | ||
| FRACTRAN | 27/05/25 | Faible | Ébauche | ||
| Geometrical analysis for interactive aid | 20/05/25 | Faible | Ébauche | ||
| Hiérarchie booléenne | 31/10/24 | Faible | Ébauche | ||
| Jack Edmonds | 02/08/26 | Faible | Ébauche | ||
| Moni Naor | 05/07/25 | Faible | Ébauche | ||
| Voisinage de Moore | 05/04/25 | Faible | Ébauche | ||
| Voisinage de von Neumann | 05/04/25 | Faible | Ébauche | ||
| Algorithme à estimation de distribution | 22/04/23 | À évaluer | B | ||
| Algorithme A* | 22/04/23 | À évaluer | B | ||
| Algorithme de Grover | 09/11/24 | À évaluer | B | ||
| Algorithme génétique | 25/12/24 | À évaluer | B | ||
| Bases mutuellement impartiales | 12/03/26 | À évaluer | B | ||
| Dilemme du prisonnier | 22/04/23 | À évaluer | B | ||
| Graphe à distance héréditaire | 30/06/26 | À évaluer | B |
| |
| John von Neumann | 20/06/25 | À évaluer | B |
| |
| Lambda-calcul simplement typé | 11/10/24 | À évaluer | B | ||
| Téléportation quantique | 25/04/24 | À évaluer | B | ||
| Théorèmes d'incomplétude de Gödel | 20/06/25 | À évaluer | B |