Projet:Informatique théorique/Pages populaires

Le tableau ci-dessous présente une liste des pages les plus populaires du projet Informatique théorique, triée par nombre de vues (plus d'informations).

Période : mars 2024

Rang Page Vues totales Vues par jour Évol. rang
1 Alan Turing 27 647 892  
2 Algorithme 9 628 311 1  
3 Réseau de neurones artificiels 9 266 299 2  
4 Apprentissage automatique 9 014 291 2  
5 Système binaire 8 641 279 1  
6 John von Neumann 8 037 259 12  
7 Algorithme de Dijkstra 7 811 252 2  
8 Google Gemini 7 707 249 6  
9 Ordinateur quantique 7 255 234 2  
10 Théorèmes d'incomplétude de Gödel 6 577 212 6  
11 Machine de Turing 6 513 210 3  
12 Dilemme du prisonnier 6 186 200 1  
13 Théorie des graphes 6 010 194 1  
14 Expression régulière 6 009 194 4  
15 Jeu de la vie 5 806 187 8  
16 Produit matriciel 5 767 186 4  
17 Yann Le Cun 5 270 170  
18 Logique 4 927 159 3  
19 Problème P ≟ NP 4 751 153 9  
20 Algorithmique 4 719 152 1  
21 Apprentissage profond 4 444 143 4  
22 Fonction de hachage 4 426 143 1  
23 Réseau neuronal convolutif 4 274 138 3  
24 Tri par insertion 3 998 129 8  
25 Applications de l'intelligence artificielle 3 988 129 19  
26 Stable Diffusion 3 974 128 6  
27 Charles Babbage 3 962 128 5  
28 Entropie de Shannon 3 948 127 2  
29 Algorithme de tri 3 829 124 5  
30 Tri rapide 3 570 115 3  
31 Tri à bulles 3 490 113 4  
32 Théorie de l'information 3 488 113 3  
33 Code (information) 3 338 108 12  
34 Algorithme d'Euclide 3 307 107 3  
35 Algorithme du gradient 3 296 106  
36 Recherche dichotomique 3 253 105 1  
37 Algorithme A* 3 139 101 2  
38 Problème du voyageur de commerce 3 116 101 5  
39 Codage de Huffman 3 090 100 5  
40 Transformeur 3 069 99  
41 Tri fusion 2 981 96 3  
42 Machine à vecteurs de support 2 885 93 7  
43 Décomposition en produit de facteurs premiers 2 820 91 1  
44 Tri par sélection 2 791 90 2  
45 Informatique quantique 2 611 84 11  
46 K-moyennes 2 601 84 7  
47 Élimination de Gauss-Jordan 2 551 82 11  
48 Qubit 2 540 82 9  
49 Algorithme de parcours en largeur 2 530 82 5  
50 Analyse de la complexité des algorithmes 2 489 80  
51 Transformation de Fourier rapide 2 489 80 1  
52 Crible d'Ératosthène 2 460 79 11  
53 Apprentissage par renforcement 2 437 79 7  
54 Claude Shannon 2 395 77 3  
55 Combinatoire 2 367 76 10  
56 Arbre binaire 2 309 74 14  
57 Algorithme de parcours en profondeur 2 292 74 8  
58 Algorithme génétique 2 245 72 6  
59 Programmation fonctionnelle 2 210 71 11  
60 John McCarthy 2 174 70 5  
61 Graphe connexe 2 170 70 10  
62 Algorithme minimax 2 139 69 5  
63 Bernard Chazelle 2 135 69 86  
64 Problème du sac à dos 2 135 69 5  
65 Graphe eulérien 2 130 69 16  
66 Table de Karnaugh 2 086 67 19  
67 Code binaire 2 072 67 9  
68 PageRank 2 071 67 5  
69 Programmation dynamique 2 070 67 3  
70 Méthode des k plus proches voisins 2 064 67 2  
71 Calcul des prédicats 2 062 67 9  
72 Distance de Levenshtein 2 011 65 11  
73 Perceptron 2 008 65 15  
74 Problème NP-complet 1 938 63 5  
75 Algorithme glouton 1 923 62 10  
76 Ontologie (informatique) 1 900 61 2  
77 Réseaux antagonistes génératifs 1 843 59 4  
78 Algorithme de Bellman-Ford 1 828 59 8  
79 Lambda-calcul 1 822 59 13  
80 Google DeepMind 1 808 58  
81 Nombre de Strahler 1 753 57 3  
82 Rétropropagation du gradient 1 748 56 3  
83 Maurice Nivat 1 732 56 111  
84 Réseau de neurones récurrents 1 658 53 9  
85 Arbre binaire de recherche 1 657 53 28  
86 Coloration de graphe 1 631 53 18  
87 Logique floue 1 615 52 5  
88 Algorithme de Shor 1 608 52 11  
89 Automate fini 1 600 52 6  
90 Optimisation linéaire 1 587 51 1  
91 Algorithme du simplexe 1 556 50 14  
92 Problème de plus court chemin 1 556 50 25  
93 Somme de contrôle 1 551 50 2  
94 Perceptron multicouche 1 542 50 2  
95 Diagramme de Voronoï 1 537 50 5  
96 Heuristique (mathématiques) 1 495 48 10  
97 Graphe hamiltonien 1 480 48 13  
98 Calcul des propositions 1 466 47  
99 Téléportation quantique 1 452 47 8  
100 Théorie de la complexité (informatique théorique) 1 437 46 9  
101 Générateur de nombres pseudo-aléatoires 1 425 46 14  
102 Système expert 1 408 45 12  
103 Marvin Minsky 1 386 45 19  
104 Table de hachage 1 380 45 11  
105 Round-robin (informatique) 1 355 44 4  
106 Vacuité 1 346 43 2  
107 Recuit simulé 1 333 43 4  
108 Élagage alpha-bêta 1 312 42 26  
109 Algorithme d'Euclide étendu 1 307 42 15  
110 Problème du cavalier 1 306 42 5  
111 Turing-complet 1 297 42 15  
112 Automate cellulaire 1 283 41 24  
113 Edsger Dijkstra 1 274 41 6  
114 Simulation informatique 1 269 41 3  
115 Parallélisme (informatique) 1 258 41 13  
116 Code de Gray 1 252 40 29  
117 Complexité en temps 1 245 40 12  
118 Langage formel 1 232 40 21  
119 Fonction récursive 1 220 39 5  
120 Arbre de décision (apprentissage) 1 204 39 18  
121 Problème de l'arrêt 1 187 38 3  
122 Méthode de Ruffini-Horner 1 184 38 1  
123 Donald Knuth 1 168 38 7  
124 Métaheuristique 1 166 38 2  
125 Pseudo-code 1 166 38 5  
126 Fonction d'activation 1 150 37 1  
127 Réseau de Petri 1 149 37 6  
128 Code correcteur 1 136 37 11  
129 Algorithme de Kruskal 1 118 36 2  
130 Algorithme LLL 1 094 35 5  
131 Mathématiques discrètes 1 090 35 19  
132 Partitionnement de données 1 084 35 4  
133 Tas (informatique) 1 077 35 27  
134 Validation croisée 1 071 35 6  
135 Code de Hamming 1 062 34 42  
136 Réseau bayésien 1 060 34 4  
137 Preuve de travail 1 058 34 8  
138 Matrice d'adjacence 1 049 34 1  
139 Master theorem 1 039 34 23  
140 Système bibi-binaire 1 037 33 21  
141 Algorithme du gradient stochastique 1 017 33 8  
142 Informatique théorique 1 006 32 1  
143 Problème SAT 1 001 32 7  
144 Algorithme de Prim 998 32 7  
145 Distance de Hamming 980 32 7  
146 Arborescence 972 31 28  
147 Protocole informatique 972 31 25  
148 Geoffrey Hinton 971 31 8  
149 Algorithme de colonies de fourmis 957 31 20  
150 Logarithme discret 955 31 76  
151 Graphe planaire 953 31 47  
152 Triangulation de Delaunay 945 30 22  
153 Plongement lexical 931 30 11  
154 Auto-encodeur variationnel 918 30 7  
155 Bruit de Perlin 915 30 11  
156 Arbre (théorie des graphes) 909 29 22  
157 Résolution de labyrinthe 907 29 15  
158 Tri par tas 896 29 18  
159 John Horton Conway 883 28 34  
160 NP (complexité) 882 28 22  
161 Algorithme de Metropolis-Hastings 871 28 27  
162 Conférence de Dartmouth 865 28 4  
163 Décidabilité 865 28  
164 Modèle de Markov caché 858 28 3  
165 Théorie de la calculabilité 856 28 24  
166 Distance de Wasserstein 851 27 7  
167 Théorie des réseaux 851 27 19  
168 Itération 850 27 13  
169 Word2vec 849 27 16  
170 Algorithme récursif 848 27 24  
171 Auto-encodeur 846 27 12  
172 Liste chaînée 841 27 30  
173 Base de données MNIST 838 27 3  
174 AlphaFold 830 27 31  
175 Portrait d'Edmond de Belamy 827 27 15  
176 Algorithme de Boyer-Moore 820 26 51  
177 Exponentiation rapide 820 26 20  
178 Automate fini déterministe 800 26 1  
179 Arbre B 783 25 35  
180 Modèle de fondation 783 25 24  
181 Fonction d'Ackermann 782 25 14  
182 Graphe orienté acyclique 774 25 1  
183 Modélisation mathématique d'un labyrinthe 774 25 69  
184 Problèmes de passage de rivière 774 25 25  
185 Code de Reed-Solomon 772 25 1  
186 Algorithme espérance-maximisation 766 25 12  
187 Arbre couvrant de poids minimal 766 25 16  
188 Algorithme de Floyd-Warshall 757 24 8  
189 Graphe orienté 744 24 24  
190 Glossaire de la théorie des graphes 738 24 11  
191 Aide à la décision 735 24 6  
192 Arbre bicolore 730 24 26  
193 Graphe complet 727 23 9  
194 Algorithmes optimaux de résolution du Rubik's Cube 716 23 7  
195 Processus de décision markovien 716 23  
196 Extraction de racine carrée 714 23 28  
197 Arbre AVL 699 23 24  
198 Méthode formelle (informatique) 697 22 27  
199 Recherche arborescente Monte-Carlo 697 22 1  
200 Cycle (théorie des graphes) 677 22 31  
201 Théorème CAP 671 22 12  
202 Composante fortement connexe 663 21 20  
203 Diviser pour régner (informatique) 656 21 4  
204 Graphe biparti 656 21 2  
205 Alice & Bob 653 21 77  
206 Jean-Paul Delahaye 648 21 52  
207 Lemme de l'étoile 647 21 4  
208 Hiérarchie de Chomsky 646 21 30  
209 Neurone formel 642 21 7  
210 Théorie des automates 639 21 13  
211 Algorithme hongrois 637 21 17  
212 Algorithme de Grover 635 20 1  
213 Algorithme de Ford-Fulkerson 618 20 22  
214 Algorithme de Monte-Carlo 616 20 3  
215 Arbre de la syntaxe abstraite 614 20 14  
216 Jean-Gabriel Ganascia 614 20 41  
217 Test de primalité 612 20 13  
218 Clique (théorie des graphes) 610 20 29  
219 Retour sur trace 610 20 5  
220 Règle de Hebb 607 20 13  
221 Thèse de Church 602 19 12  
222 Exponentiation modulaire 598 19 52  
223 Programmation par contraintes 596 19 7  
224 Algorithme de tracé de segment de Bresenham 595 19 28  
225 Canal de communication (théorie de l'information) 595 19 46  
226 Optimisation combinatoire 593 19 11  
227 Problème du rendu de monnaie 593 19 12  
228 Arbre de Merkle 590 19 35  
229 Surapprentissage 575 19 5  
230 Tri topologique 573 18 12  
231 Computationnalisme 571 18 17  
232 Algorithme de Gale et Shapley 567 18 13  
233 Optimisation linéaire en nombres entiers 566 18 24  
234 Test de primalité de Miller-Rabin 563 18 24  
235 Grammaire formelle 562 18 3  
236 Théorème de Kruskal 560 18 11  
237 Mersenne Twister 558 18 14  
238 Langage rationnel 557 18 18  
239 Analyse prédictive 552 18 3  
240 Table de correspondance 551 18 28  
241 Oméga de Chaitin 547 18 8  
242 Fourmi de Langton 545 18 16  
243 Automate fini non déterministe 544 18 17  
244 Algorithme de Karatsuba 541 17 13  
245 Apprentissage fédéré 536 17 11  
246 Parcours de graphe 536 17 54  
247 Pasqal 533 17 110  
248 Codage de l'information 529 17 2  
249 Union-find 527 17 6  
250 Méthode itérative 518 17 42  
251 Optimisation par essaims particulaires 517 17 3  
252 ImageNet 512 17 1  
253 Grammaire non contextuelle 503 16 16  
254 Théorie des types 500 16 4  
255 Théorie de l'ordonnancement 499 16 11  
256 Reconnaissance de formes 494 16 17  
257 Intelligence artificielle symbolique 493 16 46  
258 Graphe simple 492 16 16  
259 NP-difficile 489 16  
260 P (complexité) 486 16 26  
261 Algorithme de Levenberg-Marquardt 484 16 10  
262 Problème de bin packing 482 16 28  
263 Trie (informatique) 482 16 18  
264 Liste d'adjacence 481 16 71  
265 Paradoxe de Moravec 481 16 11  
266 Problème des mariages stables 479 15  
267 Recherche de chemin 476 15 18  
268 Stratégie du bras de fer 472 15 23  
269 Basic Local Alignment Search Tool 471 15 22  
270 Extraction de racine carrée par la méthode du goutte à goutte 465 15 35  
271 Technique de la multiplication par jalousies 464 15 17  
272 Connecteur logique 460 15 80  
273 Filtre de Bloom 460 15 14  
274 Tri comptage 459 15 33  
275 Algorithme de Viterbi 456 15 3  
276 Algorithme évolutionniste 453 15 12  
277 Last in, first out 452 15 34  
278 Théorème de Ramsey 452 15 1  
279 Méthode mathématique d'analyse multicritère 451 15 39  
280 Complexité de Kolmogorov 448 14 21  
281 Problème de tournées de véhicules 446 14 3  
282 Réseau de neurones à action directe 442 14 50  
283 L-Système 440 14 4  
284 Tri stupide 438 14 16  
285 Automate à pile 437 14 90  
286 Séparation et évaluation 433 14 12  
287 Carte autoadaptative 432 14 7  
288 Tableau associatif 432 14 21  
289 Couplage (théorie des graphes) 429 14 28  
290 Codage entropique 423 14 21  
291 Quadtree 423 14 2  
292 Tri par base 423 14 35  
293 Typage fort 421 14 3  
294 Algorithme de Strassen 417 13 60  
295 Arbre enraciné 416 13  
296 Tri de Shell 414 13 30  
297 Computing Machinery and Intelligence 413 13 14  
298 Racine carrée inverse rapide 412 13 33  
299 Théorème de Rice 412 13 57  
300 Algorithme de recherche de valeur propre 410 13 3  
301 Astuce du noyau 407 13 12  
302 Invariant de boucle 406 13 27  
303 Classement automatique 404 13 21  
304 LZ77 et LZ78 403 13 2  
305 Sharp-P 403 13 1  
306 Formule propositionnelle 399 13 36  
307 Algorithme probabiliste 398 13 9  
308 Ordonnancement d'atelier 395 13 14  
309 Chemin (théorie des graphes) 393 13 50  
310 Information quantique 393 13 1  
311 Conteneur (informatique) 392 13 36  
312 Code de Hamming (7,4) 389 13 62  
313 Distance de Jaro-Winkler 388 13 14  
314 Problème de flot maximum 388 13 7  
315 Correspondance de Curry-Howard 384 12 3  
316 Optimisation convexe 384 12 2  
317 Machine de Turing universelle 382 12 35  
318 Séparation des préoccupations 380 12 24  
319 Algorithme de Kosaraju 379 12 85  
320 Fléau de la dimension 378 12 15  
321 Méthode de la fausse position 377 12 6  
322 Théorème d'approximation universelle 375 12 44  
323 Mélange de Fisher-Yates 373 12 73  
324 Algorithme de mise en cache 370 12 52  
325 Arbre kd 367 12 33  
326 Apprentissage par renforcement profond 366 12 21  
327 Méthode de la puissance itérée 366 12 34  
328 Mathématiques tropicales 363 12 8  
329 Leslie Lamport 362 12 21  
330 AdaBoost 361 12 32  
331 Arbre syntaxique 357 12 12  
332 Complexité de la multiplication de matrices 357 12 7  
333 Méthode de Louvain 354 11 70  
334 Problème de la décision 352 11 6  
335 Minimisation d'un automate fini déterministe 351 11 32  
336 Pensée computationnelle 351 11 14  
337 Logique d'ordre supérieur 347 11 11  
338 Xavier Leroy 343 11 28  
339 Règle d'inférence 341 11 33  
340 Bootstrap aggregating 339 11 113  
341 Chemin critique 338 11 22  
342 Machine de Moore 338 11 28  
343 Machine de Boltzmann restreinte 336 11 45  
344 Alonzo Church 330 11 32  
345 Problème de la clique 330 11 70  
346 Tas de Fibonacci 329 11 98  
347 Stable (théorie des graphes) 328 11 103  
348 Optimisation non linéaire 327 11 15  
349 Claire Mathieu 324 10 65  
350 Problème d'affectation 324 10 16  
351 Algorithme de Gauss-Newton 323 10 21  
352 Classe de complexité 322 10 88  
353 Graphe non orienté 322 10 55  
354 Transducteur fini 322 10 470  
355 Dendrogramme 321 10 15  
356 Recherche exhaustive 321 10 2  
357 Algorithme de recherche 319 10 40  
358 Algorithme du jour du Jugement dernier 319 10 22  
359 Seymour Papert 319 10 22  
360 Déformation temporelle dynamique 318 10 24  
361 Jean-Louis Krivine 316 10 65  
362 Liste de problèmes NP-complets 314 10 65  
363 Multiplieur 312 10 108  
364 Occlusion ambiante 309 10 28  
365 Tri de crêpes 309 10 42  
366 Problème du cercle minimum 307 10 148  
367 Réduction de la dimensionnalité 307 10 12  
368 Algorithme de recherche de sous-chaîne 306 10 43  
369 Centralité 305 10 100  
370 Recherche locale (optimisation) 305 10 167  
371 Lemme des poignées de main 303 10 38  
372 Mesure de similarité 303 10 12  
373 Algorithme d'optimisation 302 10 20  
374 Whitfield Diffie 302 10 221  
375 Interpolation bicubique 301 10 30  
376 Logique de Hoare 301 10 45  
377 Fonction à sens unique 300 10 131  
378 Turbo code 299 10 53  
379 Matroïde 298 10 22  
380 Algorithme de Casteljau 297 10 138  
381 Algorithme de Knuth-Morris-Pratt 297 10 17  
382 Algorithme de décomposition en produit de facteurs premiers 297 10 3  
383 Théorème de Robertson-Seymour 297 10 201  
384 Graphe aléatoire 295 10 99  
385 Recherche tabou 295 10 7  
386 Théorie des mécanismes d'incitation 294 9 41  
387 Problème de couverture par sommets 293 9 50  
388 Boosting 292 9 31  
389 Gary L. Miller 291 9 338  
390 Arbre équilibré 290 9 68  
391 Machine autoréplicative 288 9 37  
392 Unité récurrente fermée 287 9 5  
393 Compression par ondelettes 285 9 20  
394 Pseudo-aléatoire 285 9 4  
395 Timsort 283 9 30  
396 Chaîne (théorie des graphes) 281 9 29  
397 Arête (théorie des graphes) 280 9 67  
398 Assistant de preuve 280 9 77  
399 Algorithme de remplissage par diffusion 279 9 45  
400 Tri cocktail 279 9 10  
401 Sémantique des langages de programmation 278 9 33  
402 Problème du consensus 277 9 21  
403 Recherche séquentielle 276 9 59  
404 Machine de Mealy 274 9 61  
405 Circuit (théorie des graphes) 273 9 25  
406 Okapi BM25 272 9 62  
407 21 problèmes NP-complets de Karp 270 9 36  
408 Théorème de Cox-Jaynes 270 9 26  
409 Base de Gröbner 269 9 18  
410 Programmation réactive 268 9 69  
411 Théorie des jeux combinatoires 268 9 62  
412 Algorithme de Peterson 267 9 79  
413 Apprentissage par transfert 267 9 74  
414 Étoile de Kleene 266 9 101  
415 Algorithme de Thompson 265 9 124  
416 Théorie algorithmique de l'information 262 8 32  
417 Problème de décision 259 8 45  
418 Test de primalité de Fermat 259 8 156  
419 Fonction booléenne 258 8 33  
420 Réseau de flot 258 8 31  
421 Problème du secrétaire 257 8 65  
422 Algorithme de Tarjan 253 8 33  
423 Dimension de Vapnik-Chervonenkis 252 8 9  
424 Sommet (théorie des graphes) 251 8 60  
425 Tri à peigne 251 8 55  
426 Sous-graphe 250 8 30  
427 Type abstrait 249 8 85  
428 AlexNet 247 8
429 Recherche des plus proches voisins 247 8 28  
430 Algorithme CART 246 8 35  
431 Octree 246 8 11  
432 Algorithme TCP 242 8 22  
433 Nombre réel calculable 242 8 48  
434 Algorithme de Las Vegas 241 8 119  
435 Théorie de la décision dans l'incertain 241 8 66  
436 Distance de Damerau-Levenshtein 240 8 53  
437 Suite de Prouhet-Thue-Morse 240 8 83  
438 Problème 3-SAT 239 8 34  
439 Algorithme de Douglas-Peucker 238 8 6  
440 Algorithme d'approximation 237 8 36  
441 Langage algébrique 236 8 103  
442 Récursivement énumérable 235 8 4  
443 Liste des algorithmes de la théorie des graphes 234 8 43  
444 Vérification de modèles 234 8 71  
445 Réseau de neurones de Hopfield 233 8 2  
446 Graphe de Cayley 232 7 124  
447 Matrice génératrice 232 7 5  
448 Aide à la décision multicritère 231 7 26  
449 K-médoïdes 230 7 10  
450 Planification (intelligence artificielle) 228 7 72  
451 Calcul de l'enveloppe convexe 227 7 58  
452 Construction de Glushkov 227 7 23  
453 Fonction récursive primitive 226 7 6  
454 ELECTRE 225 7 47  
455 Jean-Yves Girard 225 7 1  
456 Simulation à événements discrets 225 7 113  
457 Théorème flot-max/coupe-min 225 7 41  
458 Soundex 223 7 71  
459 Constructeur universel 222 7 37  
460 Stratégie (théorie des jeux) 221 7 15  
461 Unification 221 7 214  
462 Weight decay 221 7 11  
463 Algorithme de Deutsch-Jozsa 219 7 67  
464 Charles Antony Richard Hoare 218 7 15  
465 Falcon 180B 218 7 119  
466 Machine de Turing non déterministe 218 7 49  
467 Matrice de similarité 218 7 32  
468 Problème algorithmique 217 7 21  
469 SARSA 217 7 66  
470 Théorie de l'apprentissage statistique 217 7 52  
471 Francis Bach 216 7 24  
472 Jacques Stern (cryptologue) 215 7 24  
473 William Lowell Putnam Mathematical Competition 215 7 27  
474 Algorithme de Rabin-Karp 214 7 14  
475 Complexité en espace 214 7 81  
476 László Lovász 214 7 370  
477 Correction d'un algorithme 212 7 48  
478 Prix Gödel 212 7 2  
479 Problème de couverture par ensembles 212 7 86  
480 Apprentissage actif 211 7 27  
481 Algorithmique répartie 210 7 117  
482 Arbre radix 210 7 114  
483 Architecture de l'information 210 7 77  
484 Canon (automate cellulaire) 210 7 97  
485 Arithmétique d'intervalles 209 7 33  
486 Marcel-Paul Schützenberger 209 7 92  
487 File M/M/1 208 7 24  
488 Réseau neuronal siamois 207 7 59  
489 Marching cubes 206 7 12  
490 Méthode de Quine-Mc Cluskey 205 7 29  
491 Parcours de Graham 204 7 35  
492 Code linéaire 203 7 71  
493 Diamètre (théorie des graphes) 203 7 116  
494 Réduction polynomiale 203 7 4  
495 Shafi Goldwasser 201 6 61  
496 Coefficient de clustering 200 6 90  
497 Avi Wigderson 199 6 530  
498 Pavage pentagonal 199 6 19  
499 Théorème de Cook 199 6 39  
500 Algorithme de tracé d'arc de cercle de Bresenham 198 6 184  
Vues totales pour les 2098 articles du projet : 632 524 (+3 articles, +3,1 % de vues par jour par rapport au mois précédent).