Rang
|
Page
|
Vues totales
|
Vues par jour
|
Évol. rang
|
1
|
Alan Turing
|
28 938
|
933
|
|
2
|
Jeu de la vie
|
13 400
|
432
|
|
3
|
Réseau de neurones artificiels
|
10 374
|
335
|
3
|
4
|
Yann Le Cun
|
9 838
|
317
|
7
|
5
|
Apprentissage automatique
|
9 744
|
314
|
2
|
6
|
Algorithme de Dijkstra
|
9 059
|
292
|
2
|
7
|
Algorithme
|
8 632
|
278
|
4
|
8
|
Système binaire
|
8 346
|
269
|
1
|
9
|
Ordinateur quantique
|
7 827
|
252
|
4
|
10
|
Machine de Turing
|
7 212
|
233
|
2
|
11
|
Théorie des graphes
|
6 471
|
209
|
1
|
12
|
Dilemme du prisonnier
|
5 984
|
193
|
2
|
13
|
Théorèmes d'incomplétude de Gödel
|
5 823
|
188
|
1
|
14
|
Google Gemini
|
5 340
|
172
|
3
|
15
|
Réseau neuronal convolutif
|
5 229
|
169
|
6
|
16
|
Apprentissage profond
|
5 197
|
168
|
3
|
17
|
Expression régulière
|
4 773
|
154
|
4
|
18
|
Produit matriciel
|
4 773
|
154
|
3
|
19
|
John von Neumann
|
4 451
|
144
|
3
|
20
|
Problème P ≟ NP
|
4 312
|
139
|
2
|
21
|
Logique
|
4 153
|
134
|
1
|
22
|
Fonction de hachage
|
3 938
|
127
|
|
23
|
Entropie de Shannon
|
3 900
|
126
|
3
|
24
|
Algorithme de tri
|
3 644
|
118
|
|
25
|
Algorithmique
|
3 613
|
117
|
2
|
26
|
Théorie de l'information
|
3 512
|
113
|
8
|
27
|
Stable Diffusion
|
3 502
|
113
|
1
|
28
|
Algorithme du gradient
|
3 262
|
105
|
10
|
29
|
Algorithme A*
|
3 184
|
103
|
3
|
30
|
Tri par insertion
|
3 157
|
102
|
3
|
31
|
Transformeur
|
3 156
|
102
|
2
|
32
|
Informatique quantique
|
3 097
|
100
|
2
|
33
|
Charles Babbage
|
3 061
|
99
|
2
|
34
|
Problème du voyageur de commerce
|
3 054
|
99
|
5
|
35
|
Machine à vecteurs de support
|
2 882
|
93
|
7
|
36
|
Algorithme génétique
|
2 857
|
92
|
16
|
37
|
Qubit
|
2 759
|
89
|
6
|
38
|
Tri à bulles
|
2 726
|
88
|
9
|
39
|
John McCarthy
|
2 633
|
85
|
34
|
40
|
Algorithme d'Euclide
|
2 622
|
85
|
5
|
41
|
Applications de l'intelligence artificielle
|
2 599
|
84
|
24
|
42
|
Recherche dichotomique
|
2 580
|
83
|
9
|
43
|
Codage de Huffman
|
2 551
|
82
|
3
|
44
|
Tri rapide
|
2 524
|
81
|
9
|
45
|
Algorithme de parcours en largeur
|
2 505
|
81
|
4
|
46
|
Élimination de Gauss-Jordan
|
2 501
|
81
|
5
|
47
|
Méthode des k plus proches voisins
|
2 490
|
80
|
8
|
48
|
Combinatoire
|
2 448
|
79
|
1
|
49
|
Tri par sélection
|
2 426
|
78
|
1
|
50
|
Algorithme de parcours en profondeur
|
2 415
|
78
|
6
|
51
|
Transformation de Fourier rapide
|
2 379
|
77
|
1
|
52
|
Problème NP-complet
|
2 367
|
76
|
8
|
53
|
K-moyennes
|
2 354
|
76
|
5
|
54
|
Tri fusion
|
2 331
|
75
|
18
|
55
|
Apprentissage par renforcement
|
2 250
|
73
|
4
|
56
|
Code (information)
|
2 230
|
72
|
19
|
57
|
Décomposition en produit de facteurs premiers
|
2 221
|
72
|
11
|
58
|
Turing-complet
|
2 212
|
71
|
33
|
59
|
Algorithme glouton
|
2 200
|
71
|
15
|
60
|
Réseaux antagonistes génératifs
|
2 192
|
71
|
11
|
61
|
Algorithme minimax
|
2 167
|
70
|
6
|
62
|
Analyse de la complexité des algorithmes
|
2 150
|
69
|
9
|
63
|
Graphe eulérien
|
2 136
|
69
|
21
|
64
|
Problème du sac à dos
|
2 127
|
69
|
2
|
65
|
Calcul des prédicats
|
2 109
|
68
|
3
|
66
|
Perceptron
|
2 077
|
67
|
10
|
67
|
Générateur de nombres pseudo-aléatoires
|
2 032
|
66
|
23
|
68
|
Claude Shannon
|
2 031
|
66
|
7
|
69
|
Rétropropagation du gradient
|
2 031
|
66
|
12
|
70
|
Arbre binaire
|
2 023
|
65
|
13
|
71
|
Crible d'Ératosthène
|
2 019
|
65
|
2
|
72
|
Code binaire
|
1 992
|
64
|
|
73
|
Graphe connexe
|
1 963
|
63
|
9
|
74
|
Logique floue
|
1 961
|
63
|
22
|
75
|
Problème de plus court chemin
|
1 926
|
62
|
34
|
76
|
Programmation dynamique
|
1 883
|
61
|
6
|
77
|
Algorithme de Bellman-Ford
|
1 882
|
61
|
10
|
78
|
Programmation fonctionnelle
|
1 882
|
61
|
15
|
79
|
Distance de Levenshtein
|
1 880
|
61
|
11
|
80
|
PageRank
|
1 874
|
60
|
5
|
81
|
Réseau de neurones récurrents
|
1 872
|
60
|
10
|
82
|
Problème du cavalier
|
1 829
|
59
|
20
|
83
|
Nombre de Strahler
|
1 772
|
57
|
8
|
84
|
Ontologie (informatique)
|
1 762
|
57
|
6
|
85
|
Google DeepMind
|
1 758
|
57
|
22
|
86
|
Heuristique (mathématiques)
|
1 744
|
56
|
27
|
87
|
Table de Karnaugh
|
1 660
|
54
|
11
|
88
|
Lambda-calcul
|
1 645
|
53
|
5
|
89
|
Optimisation linéaire
|
1 623
|
52
|
6
|
90
|
Perceptron multicouche
|
1 610
|
52
|
15
|
91
|
Algorithme du simplexe
|
1 601
|
52
|
5
|
92
|
Geoffrey Hinton
|
1 568
|
51
|
44
|
93
|
Arbre binaire de recherche
|
1 549
|
50
|
11
|
94
|
Automate cellulaire
|
1 540
|
50
|
17
|
95
|
Algorithme de Shor
|
1 534
|
49
|
6
|
96
|
Simulation informatique
|
1 521
|
49
|
21
|
97
|
Diagramme de Voronoï
|
1 519
|
49
|
18
|
98
|
Téléportation quantique
|
1 513
|
49
|
6
|
99
|
Graphe hamiltonien
|
1 499
|
48
|
19
|
100
|
Coloration de graphe
|
1 447
|
47
|
|
101
|
Vacuité
|
1 417
|
46
|
3
|
102
|
Table de hachage
|
1 401
|
45
|
3
|
103
|
John Horton Conway
|
1 396
|
45
|
49
|
104
|
Théorie de la complexité (informatique théorique)
|
1 396
|
45
|
3
|
105
|
Fonction d'activation
|
1 384
|
45
|
19
|
106
|
Marvin Minsky
|
1 384
|
45
|
9
|
107
|
Élagage alpha-bêta
|
1 384
|
45
|
3
|
108
|
Edsger Dijkstra
|
1 370
|
44
|
12
|
109
|
Bruit de Perlin
|
1 357
|
44
|
31
|
110
|
Calcul des propositions
|
1 340
|
43
|
5
|
111
|
Système expert
|
1 335
|
43
|
|
112
|
Automate fini
|
1 324
|
43
|
24
|
113
|
Round-robin (informatique)
|
1 294
|
42
|
10
|
114
|
Algorithme de Kruskal
|
1 283
|
41
|
6
|
115
|
Recuit simulé
|
1 282
|
41
|
3
|
116
|
Pasqal
|
1 259
|
41
|
129
|
117
|
Algorithme de Karatsuba
|
1 241
|
40
|
145
|
118
|
AlphaFold
|
1 241
|
40
|
104
|
119
|
Métaheuristique
|
1 238
|
40
|
41
|
120
|
Somme de contrôle
|
1 202
|
39
|
26
|
121
|
Triangulation de Delaunay
|
1 193
|
38
|
18
|
122
|
Algorithme de colonies de fourmis
|
1 172
|
38
|
4
|
123
|
Problème de l'arrêt
|
1 171
|
38
|
2
|
124
|
Alice & Bob
|
1 168
|
38
|
57
|
125
|
Code correcteur
|
1 164
|
38
|
9
|
126
|
Matrice d'adjacence
|
1 156
|
37
|
3
|
127
|
Arbre de décision (apprentissage)
|
1 149
|
37
|
22
|
128
|
Langage formel
|
1 137
|
37
|
3
|
129
|
Conférence de Dartmouth
|
1 133
|
37
|
25
|
130
|
Théorème de Kruskal
|
1 103
|
36
|
32
|
131
|
Donald Knuth
|
1 102
|
36
|
4
|
132
|
Algorithmes optimaux de résolution du Rubik's Cube
|
1 082
|
35
|
20
|
133
|
Complexité en temps
|
1 082
|
35
|
13
|
134
|
Code de Gray
|
1 072
|
35
|
15
|
135
|
Partitionnement de données
|
1 071
|
35
|
3
|
136
|
Parallélisme (informatique)
|
1 061
|
34
|
8
|
137
|
Réseau bayésien
|
1 053
|
34
|
6
|
138
|
Validation croisée
|
1 050
|
34
|
24
|
139
|
Algorithme de Floyd-Warshall
|
1 041
|
34
|
4
|
140
|
Théorie de la calculabilité
|
1 038
|
33
|
2
|
141
|
Protocole informatique
|
1 019
|
33
|
|
142
|
Problème SAT
|
1 016
|
33
|
12
|
143
|
Recherche arborescente Monte-Carlo
|
1 007
|
32
|
68
|
144
|
Portrait d'Edmond de Belamy
|
1 001
|
32
|
58
|
145
|
Plongement lexical
|
997
|
32
|
8
|
146
|
Fonction récursive
|
996
|
32
|
2
|
147
|
Réseau de Petri
|
981
|
32
|
15
|
148
|
Code de Hamming
|
980
|
32
|
34
|
149
|
Distance de Hamming
|
977
|
32
|
2
|
150
|
Système bibi-binaire
|
974
|
31
|
57
|
151
|
Algorithme de Boyer-Moore
|
973
|
31
|
18
|
152
|
Logarithme discret
|
973
|
31
|
19
|
153
|
Mathématiques discrètes
|
973
|
31
|
31
|
154
|
Algorithme d'Euclide étendu
|
972
|
31
|
31
|
155
|
Tas (informatique)
|
972
|
31
|
27
|
156
|
Algorithme de Prim
|
963
|
31
|
6
|
157
|
Neurone formel
|
958
|
31
|
56
|
158
|
Algorithme du gradient stochastique
|
946
|
31
|
2
|
159
|
Algorithme récursif
|
924
|
30
|
41
|
160
|
NP (complexité)
|
910
|
29
|
15
|
161
|
Théorie des réseaux
|
903
|
29
|
16
|
162
|
Pseudo-code
|
875
|
28
|
4
|
163
|
Informatique théorique
|
865
|
28
|
2
|
164
|
Liste chaînée
|
853
|
28
|
39
|
165
|
Itération
|
848
|
27
|
|
166
|
Filtre de Bloom
|
845
|
27
|
171
|
167
|
Code de Reed-Solomon
|
844
|
27
|
1
|
168
|
Graphe planaire
|
827
|
27
|
35
|
169
|
Arborescence
|
818
|
26
|
6
|
170
|
Auto-encodeur
|
817
|
26
|
22
|
171
|
Arbre B
|
816
|
26
|
25
|
172
|
Tri par tas
|
813
|
26
|
41
|
173
|
Résolution de labyrinthe
|
809
|
26
|
20
|
174
|
Word2vec
|
808
|
26
|
27
|
175
|
Décidabilité
|
780
|
25
|
3
|
176
|
Arbre (théorie des graphes)
|
779
|
25
|
10
|
177
|
Arbre couvrant de poids minimal
|
774
|
25
|
22
|
178
|
Automate fini déterministe
|
772
|
25
|
16
|
179
|
Preuve de travail
|
770
|
25
|
17
|
180
|
Processus de décision markovien
|
769
|
25
|
21
|
181
|
Algorithme LLL
|
766
|
25
|
55
|
182
|
Mersenne Twister
|
764
|
25
|
44
|
183
|
Problèmes de passage de rivière
|
762
|
25
|
10
|
184
|
Algorithme de Metropolis-Hastings
|
760
|
25
|
25
|
185
|
Méthode de Ruffini-Horner
|
756
|
24
|
28
|
186
|
Master theorem
|
737
|
24
|
6
|
187
|
Distance de Wasserstein
|
733
|
24
|
12
|
188
|
Extraction de racine carrée
|
731
|
24
|
45
|
189
|
Modèle de fondation
|
721
|
23
|
10
|
190
|
Modélisation mathématique d'un labyrinthe
|
720
|
23
|
17
|
191
|
Algorithme de Ford-Fulkerson
|
712
|
23
|
2
|
192
|
Algorithme espérance-maximisation
|
711
|
23
|
5
|
193
|
Base de données MNIST
|
710
|
23
|
8
|
194
|
Canon (automate cellulaire)
|
708
|
23
|
78
|
195
|
Graphe orienté acyclique
|
707
|
23
|
31
|
196
|
Graphe complet
|
702
|
23
|
13
|
197
|
Graphe orienté
|
696
|
22
|
22
|
198
|
Problème du rendu de monnaie
|
695
|
22
|
33
|
199
|
Auto-encodeur variationnel
|
694
|
22
|
32
|
200
|
Maurice Nivat
|
688
|
22
|
15
|
201
|
Thèse de Church
|
683
|
22
|
35
|
202
|
Modèle de Markov caché
|
682
|
22
|
11
|
203
|
Arbre AVL
|
654
|
21
|
4
|
204
|
Algorithme de Gale et Shapley
|
651
|
21
|
6
|
205
|
Aide à la décision
|
649
|
21
|
19
|
206
|
Optimisation linéaire en nombres entiers
|
643
|
21
|
3
|
207
|
Méthode formelle (informatique)
|
635
|
20
|
3
|
208
|
Grammaire formelle
|
632
|
20
|
24
|
209
|
Tri topologique
|
632
|
20
|
41
|
210
|
Glossaire de la théorie des graphes
|
630
|
20
|
20
|
211
|
Règle de Hebb
|
630
|
20
|
1
|
212
|
Paradoxe de Moravec
|
628
|
20
|
93
|
213
|
Algorithme hongrois
|
624
|
20
|
4
|
214
|
Algorithme de Monte-Carlo
|
620
|
20
|
40
|
215
|
Hiérarchie de Chomsky
|
617
|
20
|
39
|
216
|
Optimisation par essaims particulaires
|
611
|
20
|
27
|
217
|
Composante fortement connexe
|
610
|
20
|
22
|
218
|
Fonction d'Ackermann
|
608
|
20
|
30
|
219
|
Liste d'adjacence
|
604
|
19
|
46
|
220
|
Code de Hamming (7,4)
|
594
|
19
|
38
|
221
|
Graphe biparti
|
591
|
19
|
24
|
222
|
Optimisation combinatoire
|
589
|
19
|
14
|
223
|
Algorithme de Grover
|
588
|
19
|
17
|
224
|
Oméga de Chaitin
|
587
|
19
|
52
|
225
|
NP-difficile
|
584
|
19
|
34
|
226
|
Surapprentissage
|
583
|
19
|
9
|
227
|
Tri stupide
|
583
|
19
|
102
|
228
|
Retour sur trace
|
581
|
19
|
11
|
229
|
Bernard Chazelle
|
580
|
19
|
11
|
230
|
Diviser pour régner (informatique)
|
579
|
19
|
16
|
231
|
Test de primalité
|
579
|
19
|
11
|
232
|
Centralité
|
560
|
18
|
98
|
233
|
Arbre de la syntaxe abstraite
|
558
|
18
|
10
|
234
|
Méthode itérative
|
555
|
18
|
18
|
235
|
Arbre de Merkle
|
553
|
18
|
10
|
236
|
Lemme de l'étoile
|
550
|
18
|
46
|
237
|
Connecteur logique
|
548
|
18
|
32
|
238
|
Théorie des automates
|
548
|
18
|
10
|
239
|
Union-find
|
545
|
18
|
10
|
240
|
L-Système
|
541
|
17
|
36
|
241
|
Problème des mariages stables
|
540
|
17
|
13
|
242
|
Basic Local Alignment Search Tool
|
533
|
17
|
5
|
243
|
Algorithme évolutionniste
|
531
|
17
|
40
|
244
|
Théorème CAP
|
529
|
17
|
6
|
245
|
Exponentiation rapide
|
528
|
17
|
25
|
246
|
Intelligence artificielle symbolique
|
528
|
17
|
14
|
247
|
Algorithme de Levenberg-Marquardt
|
525
|
17
|
8
|
248
|
Exponentiation modulaire
|
525
|
17
|
21
|
249
|
Algorithme de tracé de segment de Bresenham
|
523
|
17
|
26
|
250
|
Apprentissage fédéré
|
523
|
17
|
7
|
251
|
P (complexité)
|
522
|
17
|
14
|
252
|
Cycle (théorie des graphes)
|
521
|
17
|
18
|
253
|
Mathusalem (automate cellulaire)
|
519
|
17
|
147
|
254
|
Réduction de la dimensionnalité
|
517
|
17
|
90
|
255
|
Analyse prédictive
|
516
|
17
|
32
|
256
|
Automate fini non déterministe
|
516
|
17
|
10
|
257
|
Problème de tournées de véhicules
|
516
|
17
|
100
|
258
|
Computing Machinery and Intelligence
|
509
|
16
|
26
|
259
|
Théorie de l'ordonnancement
|
503
|
16
|
11
|
260
|
Couplage (théorie des graphes)
|
501
|
16
|
20
|
261
|
Méthode mathématique d'analyse multicritère
|
496
|
16
|
35
|
262
|
Clique (théorie des graphes)
|
495
|
16
|
12
|
263
|
Grammaire non contextuelle
|
492
|
16
|
11
|
264
|
Arbre bicolore
|
489
|
16
|
43
|
265
|
Computationnalisme
|
487
|
16
|
14
|
266
|
Programmation par contraintes
|
487
|
16
|
11
|
267
|
Table de correspondance
|
486
|
16
|
23
|
268
|
Reconnaissance de formes
|
481
|
16
|
4
|
269
|
Automate à pile
|
475
|
15
|
26
|
270
|
Test de primalité de Miller-Rabin
|
472
|
15
|
81
|
271
|
Théorie des types
|
467
|
15
|
10
|
272
|
Réseau de neurones à action directe
|
466
|
15
|
10
|
273
|
Jean-Paul Delahaye
|
465
|
15
|
59
|
274
|
Théorème de Ramsey
|
463
|
15
|
33
|
275
|
Racine carrée inverse rapide
|
460
|
15
|
34
|
276
|
Codage de l'information
|
459
|
15
|
3
|
277
|
Last in, first out
|
449
|
14
|
15
|
278
|
Théorème d'approximation universelle
|
449
|
14
|
74
|
279
|
Oscillateur (automate cellulaire)
|
442
|
14
|
63
|
280
|
Algorithme probabiliste
|
441
|
14
|
171
|
281
|
Jean-Gabriel Ganascia
|
441
|
14
|
54
|
282
|
Langage rationnel
|
440
|
14
|
53
|
283
|
Parcours de graphe
|
440
|
14
|
20
|
284
|
ImageNet
|
439
|
14
|
4
|
285
|
Méthode de Louvain
|
439
|
14
|
50
|
286
|
Problème d'affectation
|
433
|
14
|
42
|
287
|
Recherche de chemin
|
432
|
14
|
4
|
288
|
Algorithme de mise en cache
|
425
|
14
|
46
|
289
|
Carte autoadaptative
|
424
|
14
|
41
|
290
|
Méthode de la fausse position
|
424
|
14
|
9
|
291
|
Extraction de racine carrée par la méthode du goutte à goutte
|
419
|
14
|
19
|
292
|
Pseudo-aléatoire
|
418
|
13
|
28
|
293
|
Canal de communication (théorie de l'information)
|
417
|
13
|
7
|
294
|
Code linéaire
|
415
|
13
|
178
|
295
|
Sémantique des langages de programmation
|
415
|
13
|
100
|
296
|
Distance de Damerau-Levenshtein
|
405
|
13
|
59
|
297
|
AlexNet
|
401
|
13
|
50
|
298
|
Fléau de la dimension
|
401
|
13
|
20
|
299
|
Problème de la décision
|
401
|
13
|
4
|
300
|
Graphe simple
|
400
|
13
|
32
|
301
|
Arbre enraciné
|
398
|
13
|
6
|
302
|
Erdal Arıkan
|
397
|
13
|
897
|
303
|
Jardin d'Éden (automate cellulaire)
|
394
|
13
|
119
|
304
|
Problème de flot maximum
|
392
|
13
|
18
|
305
|
Méthode de la puissance itérée
|
390
|
13
|
69
|
306
|
Trie (informatique)
|
385
|
12
|
9
|
307
|
Astuce du noyau
|
383
|
12
|
17
|
308
|
Porte de Toffoli
|
383
|
12
|
17
|
309
|
Codage entropique
|
381
|
12
|
54
|
310
|
Séparation et évaluation
|
381
|
12
|
4
|
311
|
Algorithme de Viterbi
|
380
|
12
|
10
|
312
|
Classe de complexité
|
379
|
12
|
41
|
313
|
Classement automatique
|
379
|
12
|
2
|
314
|
Formule propositionnelle
|
379
|
12
|
9
|
315
|
Technique de la multiplication par jalousies
|
375
|
12
|
42
|
316
|
Algorithme de Gauss-Newton
|
373
|
12
|
45
|
317
|
Problème du secrétaire
|
373
|
12
|
28
|
318
|
LZ77 et LZ78
|
372
|
12
|
8
|
319
|
Tableau associatif
|
372
|
12
|
18
|
320
|
Machine de Turing universelle
|
371
|
12
|
21
|
321
|
Arbre kd
|
367
|
12
|
33
|
322
|
Chemin critique
|
364
|
12
|
21
|
323
|
Ordonnancement d'atelier
|
363
|
12
|
37
|
324
|
Stratégie du bras de fer
|
363
|
12
|
22
|
325
|
Mathématiques tropicales
|
362
|
12
|
9
|
326
|
Alonzo Church
|
361
|
12
|
7
|
327
|
Logique d'ordre supérieur
|
360
|
12
|
23
|
328
|
Complexité de Kolmogorov
|
359
|
12
|
20
|
329
|
Occlusion ambiante
|
359
|
12
|
68
|
330
|
Problème de bin packing
|
357
|
12
|
41
|
331
|
Quadtree
|
355
|
11
|
14
|
332
|
Information quantique
|
353
|
11
|
20
|
333
|
Apprentissage par renforcement profond
|
351
|
11
|
15
|
334
|
Recherche tabou
|
349
|
11
|
19
|
335
|
Pensée computationnelle
|
348
|
11
|
24
|
336
|
Matrice génératrice
|
343
|
11
|
96
|
337
|
Complexité de la multiplication de matrices
|
341
|
11
|
59
|
338
|
Théorie de la décision dans l'incertain
|
339
|
11
|
60
|
339
|
Distance de Jaro-Winkler
|
337
|
11
|
54
|
340
|
AdaBoost
|
331
|
11
|
8
|
341
|
Timsort
|
326
|
11
|
40
|
342
|
Problème du postier chinois
|
324
|
10
|
311
|
343
|
Algorithme de Strassen
|
322
|
10
|
101
|
344
|
Graphe non orienté
|
321
|
10
|
2
|
345
|
Recherche exhaustive
|
321
|
10
|
90
|
346
|
Leslie Lamport
|
320
|
10
|
4
|
347
|
Méthodes de points intérieurs
|
319
|
10
|
38
|
348
|
Problème de la clique
|
316
|
10
|
9
|
349
|
Tri de crêpes
|
313
|
10
|
84
|
350
|
Liste des algorithmes de la théorie des graphes
|
312
|
10
|
9
|
351
|
Chemin (théorie des graphes)
|
311
|
10
|
14
|
352
|
Tri par base
|
311
|
10
|
26
|
353
|
Type abstrait
|
311
|
10
|
140
|
354
|
Interpolation bicubique
|
310
|
10
|
50
|
355
|
Séparation des préoccupations
|
310
|
10
|
37
|
356
|
Arbre syntaxique
|
309
|
10
|
51
|
357
|
Optimisation non linéaire
|
309
|
10
|
35
|
358
|
Règle d'inférence
|
308
|
10
|
13
|
359
|
Shafi Goldwasser
|
308
|
10
|
135
|
360
|
Conteneur (informatique)
|
307
|
10
|
46
|
361
|
Machine de Moore
|
307
|
10
|
9
|
362
|
Recherche des plus proches voisins
|
307
|
10
|
24
|
363
|
Tri comptage
|
306
|
10
|
41
|
364
|
Algorithme de recherche
|
304
|
10
|
42
|
365
|
Arbre équilibré
|
300
|
10
|
12
|
366
|
Fourmi de Langton
|
299
|
10
|
73
|
367
|
Seymour Papert
|
299
|
10
|
56
|
368
|
Optimisation convexe
|
298
|
10
|
49
|
369
|
Déformation temporelle dynamique
|
295
|
10
|
18
|
370
|
Xavier Leroy
|
295
|
10
|
51
|
371
|
Graphe aléatoire
|
294
|
9
|
1
|
372
|
Méthode hill-climbing
|
294
|
9
|
233
|
373
|
Tri de Shell
|
294
|
9
|
57
|
374
|
Théorème de Rice
|
293
|
9
|
50
|
375
|
Algorithme de recherche de sous-chaîne
|
292
|
9
|
107
|
376
|
Correspondance de Curry-Howard
|
291
|
9
|
25
|
377
|
Pavage pentagonal
|
291
|
9
|
179
|
378
|
Algorithme de recherche de valeur propre
|
290
|
9
|
2
|
379
|
Liste de problèmes NP-complets
|
290
|
9
|
21
|
380
|
Mesure de similarité
|
290
|
9
|
10
|
381
|
Okapi BM25
|
290
|
9
|
10
|
382
|
Problème du consensus
|
290
|
9
|
12
|
383
|
Typage fort
|
290
|
9
|
29
|
384
|
Dimension de Vapnik-Chervonenkis
|
287
|
9
|
2
|
385
|
Multiplieur
|
285
|
9
|
79
|
386
|
Problème de décision
|
284
|
9
|
24
|
387
|
File M/M/1
|
283
|
9
|
71
|
388
|
Unité récurrente fermée
|
281
|
9
|
51
|
389
|
Aide à la décision multicritère
|
279
|
9
|
81
|
390
|
Avi Wigderson
|
279
|
9
|
220
|
391
|
Algorithme de Boyer-Moore-Horspool
|
278
|
9
|
58
|
392
|
Test de primalité de Fermat
|
278
|
9
|
4
|
393
|
Assistant de preuve
|
276
|
9
|
4
|
394
|
Théorie des mécanismes d'incitation
|
274
|
9
|
58
|
395
|
21 problèmes NP-complets de Karp
|
273
|
9
|
26
|
396
|
Algorithme de Douglas-Peucker
|
273
|
9
|
38
|
397
|
HighLife (automate cellulaire)
|
272
|
9
|
141
|
398
|
Mélange de Fisher-Yates
|
271
|
9
|
30
|
399
|
Tas de Fibonacci
|
271
|
9
|
69
|
400
|
Théorie des jeux combinatoires
|
271
|
9
|
34
|
401
|
Apprentissage par transfert
|
270
|
9
|
37
|
402
|
Hiérarchie de croissance rapide
|
270
|
9
|
108
|
403
|
Kate Crawford
|
269
|
9
|
301
|
404
|
Sommet (théorie des graphes)
|
268
|
9
|
83
|
405
|
Matrice de contrôle
|
267
|
9
|
198
|
406
|
Arithmétique d'intervalles
|
265
|
9
|
114
|
407
|
Arête (théorie des graphes)
|
265
|
9
|
38
|
408
|
Invariant de boucle
|
265
|
9
|
3
|
409
|
Théorème de Cox-Jaynes
|
265
|
9
|
15
|
410
|
Programmation réactive
|
264
|
9
|
54
|
411
|
Réseau de flot
|
264
|
9
|
98
|
412
|
Étoile de Kleene
|
264
|
9
|
4
|
413
|
Fonction récursive primitive
|
262
|
8
|
60
|
414
|
Problème de satisfaction de contraintes
|
262
|
8
|
72
|
415
|
Algorithme de Casteljau
|
259
|
8
|
54
|
416
|
Problème 3-SAT
|
259
|
8
|
41
|
417
|
Algorithme NEAT
|
258
|
8
|
193
|
418
|
Claude Berge
|
258
|
8
|
108
|
419
|
ELECTRE
|
257
|
8
|
65
|
420
|
Algorithme du jour du Jugement dernier
|
254
|
8
|
102
|
421
|
Minimisation d'un automate fini déterministe
|
254
|
8
|
54
|
422
|
Réduction polynomiale
|
254
|
8
|
39
|
423
|
Circuit (théorie des graphes)
|
253
|
8
|
30
|
424
|
Dendrogramme
|
253
|
8
|
93
|
425
|
Boosting
|
252
|
8
|
14
|
426
|
Stable (théorie des graphes)
|
252
|
8
|
46
|
427
|
Lemme des poignées de main
|
250
|
8
|
78
|
428
|
Jean-Louis Krivine
|
246
|
8
|
18
|
429
|
Algorithme de Kosaraju
|
245
|
8
|
176
|
430
|
Base de Gröbner
|
245
|
8
|
12
|
431
|
Méthode de Quine-Mc Cluskey
|
244
|
8
|
89
|
432
|
Algorithme de Rabin-Karp
|
243
|
8
|
22
|
433
|
Fenêtre de contexte
|
243
|
8
|
33
|
434
|
Octree
|
243
|
8
|
21
|
435
|
Algorithme de Tarjan
|
241
|
8
|
137
|
436
|
Stratégie (théorie des jeux)
|
241
|
8
|
64
|
437
|
Algorithme de Las Vegas
|
240
|
8
|
124
|
438
|
Compression par ondelettes
|
240
|
8
|
22
|
439
|
Problème de couverture par sommets
|
240
|
8
|
13
|
440
|
Algorithme de Knuth-Morris-Pratt
|
239
|
8
|
41
|
441
|
Algorithme TCP
|
236
|
8
|
57
|
442
|
Bijection de Joyal
|
235
|
8
|
301
|
443
|
Bootstrap aggregating
|
235
|
8
|
43
|
444
|
Calcul de l'enveloppe convexe
|
235
|
8
|
21
|
445
|
Machine autoréplicative
|
235
|
8
|
14
|
446
|
Récursivement énumérable
|
235
|
8
|
27
|
447
|
Fonction booléenne
|
234
|
8
|
10
|
448
|
Apprentissage actif
|
231
|
7
|
20
|
449
|
Recherche locale (optimisation)
|
231
|
7
|
20
|
450
|
Explosion combinatoire
|
230
|
7
|
121
|
451
|
Hypercube (graphe)
|
230
|
7
|
1
|
452
|
Machine de Turing non déterministe
|
230
|
7
|
16
|
453
|
Chaîne (théorie des graphes)
|
229
|
7
|
40
|
454
|
Algorithme d'approximation
|
228
|
7
|
72
|
455
|
Algorithme de Deutsch-Jozsa
|
228
|
7
|
44
|
456
|
Algorithme de remplissage par diffusion
|
228
|
7
|
63
|
457
|
Algorithme de Lanczos
|
227
|
7
|
46
|
458
|
Suprématie quantique
|
226
|
7
|
141
|
459
|
Machine de Boltzmann restreinte
|
225
|
7
|
58
|
460
|
William Lowell Putnam Mathematical Competition
|
225
|
7
|
120
|
461
|
Coefficient de clustering
|
224
|
7
|
57
|
462
|
Langage algébrique
|
224
|
7
|
14
|
463
|
Logique de Hoare
|
224
|
7
|
28
|
464
|
Algorithme d'optimisation
|
222
|
7
|
21
|
465
|
Triangulation d'un polygone
|
220
|
7
|
37
|
466
|
Machine de Mealy
|
219
|
7
|
88
|
467
|
Tri à peigne
|
219
|
7
|
5
|
468
|
Construction de Glushkov
|
218
|
7
|
127
|
469
|
Prix Gödel
|
216
|
7
|
67
|
470
|
Suite de de Bruijn
|
216
|
7
|
83
|
471
|
K-médoïdes
|
215
|
7
|
10
|
472
|
Théorie de l'apprentissage statistique
|
215
|
7
|
39
|
473
|
Problème de l'arbre de Steiner
|
214
|
7
|
70
|
474
|
Algorithme d'Aho-Corasick
|
213
|
7
|
96
|
475
|
Jean-Yves Girard
|
213
|
7
|
|
476
|
Warren Weaver
|
212
|
7
|
59
|
477
|
Algorithme Diamant-Carré
|
211
|
7
|
165
|
478
|
Algorithme de décomposition en produit de facteurs premiers
|
211
|
7
|
47
|
479
|
Code parfait et code MDS
|
210
|
7
|
190
|
480
|
Constructeur universel
|
210
|
7
|
153
|
481
|
Lotfi Zadeh
|
210
|
7
|
78
|
482
|
Planification (intelligence artificielle)
|
210
|
7
|
44
|
483
|
Rotation d'un arbre binaire de recherche
|
210
|
7
|
123
|
484
|
Sharp-P
|
210
|
7
|
75
|
485
|
Complexité en espace
|
209
|
7
|
116
|
486
|
Méthode de surrelaxation successive
|
208
|
7
|
55
|
487
|
Coupe minimum
|
207
|
7
|
8
|
488
|
Marcel-Paul Schützenberger
|
207
|
7
|
4
|
489
|
Théorème de Hall
|
206
|
7
|
16
|
490
|
Test de primalité AKS
|
205
|
7
|
39
|
491
|
Convergence quadratique
|
202
|
7
|
207
|
492
|
Jay Wright Forrester
|
202
|
7
|
129
|
493
|
Charles Antony Richard Hoare
|
201
|
6
|
51
|
494
|
Intelligence artificielle digne de confiance
|
201
|
6
|
27
|
495
|
Maillage polygonal
|
201
|
6
|
36
|
496
|
Théorème flot-max/coupe-min
|
201
|
6
|
49
|
497
|
Turbo code
|
201
|
6
|
10
|
498
|
Architecture de l'information
|
200
|
6
|
8
|
499
|
Fonction à sens unique
|
199
|
6
|
74
|
500
|
Lemme d'Arden
|
199
|
6
|
47
|