Projet:Informatique théorique/Pages populaires

Cette page est mise à jour chaque début de mois par un bot.

Son contenu est donc peu susceptible d'avoir besoin d'édition manuelle. Veuillez ne pas tenter de la modifier à moins d'être certain de bien comprendre sa conception. En cas de doute, merci de contacter le propriétaire du bot.

Si vous souhaitez suivre les modifications récentes de cette page, vérifiez que l'option « Masquer les modifications faites par les bots dans la liste de suivi » ne soit pas activée dans vos paramètres de suivi.

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).

Liste

Période : novembre 2024

Rang	Page	Vues totales	Vues par jour	Évol. rang
1	Alan Turing	23 092	770
2	Jeu de la vie	8 359	279	4
3	Système binaire	8 196	273	1
4	Algorithme	7 992	266	5
5	Ordinateur quantique	7 517	251	5
6	Réseau de neurones artificiels	7 144	238	1
7	Apprentissage automatique	6 902	230	4
8	Algorithme de Dijkstra	6 159	205	5
9	Machine de Turing	5 829	194	2
10	John von Neumann	5 810	194	2
11	Dilemme du prisonnier	5 125	171	1
12	Yann Le Cun	4 982	166	7
13	Apprentissage profond	4 853	162	4
14	Théorèmes d'incomplétude de Gödel	4 704	157	2
15	Expression régulière	4 591	153	1
16	Produit matriciel	4 442	148	1
17	Problème P ≟ NP	4 424	147	9
18	Théorie des graphes	4 272	142
19	Logique	4 115	137	1
20	Tri à bulles	3 955	132	2
21	Geoffrey Hinton	3 898	130	19
22	Charles Babbage	3 752	125	3
23	Algorithme de tri	3 664	122	7
24	Tri par insertion	3 481	116	1
25	Tri fusion	3 404	113	17
26	Fonction de hachage	3 373	112	7
27	Google Gemini	3 254	108	2
28	Tri rapide	3 253	108	3
29	Crible d'Ératosthène	3 236	108	8
30	Algorithmique	3 218	107	3
31	Décomposition en produit de facteurs premiers	3 198	107	3
32	Algorithme d'Euclide	3 146	105	8
33	Entropie de Shannon	3 025	101	1
34	Informatique quantique	2 771	92	10
35	Tri par sélection	2 732	91	13
36	Théorie de l'information	2 710	90	1
37	Algorithme A*	2 660	89	12
38	Recherche dichotomique	2 657	89	2
39	Algorithme du gradient	2 654	88	2
40	Élimination de Gauss-Jordan	2 580	86	2
41	Codage de Huffman	2 402	80	35
42	Claude Shannon	2 344	78	3
43	Qubit	2 330	78	2
44	Problème du voyageur de commerce	2 267	76	2
45	Table de Karnaugh	2 256	75	4
46	Algorithme du simplexe	2 152	72	23
47	Machine à vecteurs de support	2 145	72
48	Distance de Levenshtein	2 140	71	17
49	Transformation de Fourier rapide	2 118	71	3
50	Stable Diffusion	2 108	70	4
51	Algorithme minimax	2 044	68	12
52	Calcul des prédicats	2 040	68	3
53	Algorithme de parcours en largeur	2 034	68	4
54	Code binaire	2 029	68	4
55	Combinatoire	1 954	65	4
56	Apprentissage par renforcement	1 944	65	9
57	Problème du sac à dos	1 944	65	5
58	John McCarthy	1 890	63	16
59	Algorithme de parcours en profondeur	1 878	63	8
60	Programmation fonctionnelle	1 849	62	1
61	Arbre binaire	1 828	61	3
62	Problème NP-complet	1 823	61	9
63	Analyse de la complexité des algorithmes	1 784	59	7
64	K-moyennes	1 782	59	7
65	Ontologie (informatique)	1 750	58	14
66	Méthode des k plus proches voisins	1 742	58	4
67	Programmation dynamique	1 734	58	10
68	Turing-complet	1 733	58
69	Algorithme de Bellman-Ford	1 694	56	28
70	Bruit de Perlin	1 662	55	84
71	Vacuité	1 593	53	15
72	Algorithme génétique	1 546	52	9
73	Lambda-calcul	1 504	50	7
74	Algorithme d'Euclide étendu	1 489	50	21
75	Google DeepMind	1 484	49	35
76	Algorithme de Shor	1 448	48	3
77	Logique floue	1 445	48	12
78	Diagramme de Voronoï	1 444	48	9
79	Rétropropagation du gradient	1 419	47	18
80	PageRank	1 415	47	2
81	Code de Gray	1 412	47	7
82	Automate fini	1 403	47	3
83	Optimisation linéaire	1 400	47	1
84	Algorithme glouton	1 384	46	6
85	Calcul des propositions	1 384	46	10
86	Nombre de Strahler	1 378	46	20
87	Racine carrée inverse rapide	1 369	46	27
88	Téléportation quantique	1 334	44	3
89	Graphe eulérien	1 313	44	3
90	Théorie de la complexité (informatique théorique)	1 302	43	3
91	Réseau de neurones récurrents	1 300	43	8
92	Code (information)	1 289	43	20
93	Graphe hamiltonien	1 224	41	9
94	Mathématiques discrètes	1 223	41	4
95	Recuit simulé	1 209	40	10
96	Arborescence	1 192	40	5
97	Marvin Minsky	1 184	39	19
98	Réseau de Petri	1 177	39	16
99	Somme de contrôle	1 156	39	3
100	Table de hachage	1 156	39	16
101	Donald Knuth	1 148	38	8
102	Élagage alpha-bêta	1 142	38	41
103	Round-robin (informatique)	1 141	38	17
104	John Horton Conway	1 129	38	28
105	Générateur de nombres pseudo-aléatoires	1 114	37	13
106	Problème de plus court chemin	1 095	37	25
107	Système expert	1 089	36	27
108	Graphe connexe	1 087	36	4
109	Méthode de Ruffini-Horner	1 085	36	3
110	Algorithme de Kruskal	1 082	36	25
111	Protocole informatique	1 082	36	11
112	Automate cellulaire	1 080	36	4
113	Alice & Bob	1 064	35	14
114	Heuristique (mathématiques)	1 052	35	8
115	Problème de l'arrêt	1 052	35	23
116	Langage formel	1 051	35	6
117	AlphaFold	1 045	35	74
118	Problème du cavalier	1 038	35	1
119	Triangulation de Delaunay	1 028	34	16
120	Conférence de Dartmouth	1 018	34	10
121	Preuve de travail	1 012	34	52
122	Problème SAT	995	33	7
123	Graphe (mathématiques discrètes)	991	33	21
124	Tas (informatique)	988	33	4
125	Edsger Dijkstra	985	33	2
126	Perceptron multicouche	962	32	1
127	Algorithme de Prim	945	32	30
128	Extraction de racine carrée	934	31	4
129	Coloration de graphe	932	31	4
130	Arbre binaire de recherche	920	31	9
131	Pseudo-code	919	31	32
132	Algorithme de Floyd-Warshall	906	30	19
133	Tri par tas	906	30	15
134	Système bibi-binaire	901	30	12
135	Validation croisée	901	30	16
136	Arbre de décision (apprentissage)	898	30	9
137	Fonction d'activation	897	30	9
138	Informatique théorique	886	30	2
139	Fonction récursive	883	29	10
140	Code correcteur	876	29
141	Distance de Hamming	861	29	47
142	Intelligence artificielle symbolique	853	28	36
143	Itération	851	28	1
144	Théorie de la calculabilité	842	28	9
145	Code de Reed-Solomon	841	28	17
146	Parallélisme (informatique)	838	28	20
147	Simulation informatique	831	28	12
148	Algorithme de colonies de fourmis	826	28	20
149	Logarithme discret	824	27	72
150	Distance de Wasserstein	823	27	22
151	Master theorem	823	27	2
152	Code de Hamming	817	27	13
153	Algorithmes optimaux de résolution du Rubik's Cube	815	27	46
154	Fonction d'Ackermann	811	27	1
155	Arbre (théorie des graphes)	792	26	41
156	Arbre B	792	26	2
157	Pasqal	789	26	10
158	Algorithme de Ford-Fulkerson	780	26	18
159	Graphe orienté acyclique	752	25	12
160	Algorithme de Monte-Carlo	748	25	15
161	Tri topologique	744	25	42
162	Graphe planaire	743	25	26
163	NP (complexité)	738	25
164	Algorithme du gradient stochastique	737	25	4
165	Algorithme récursif	736	25	1
166	Métaheuristique	735	25	14
167	Matrice d'adjacence	713	24
168	Maurice Nivat	696	23	85
169	Théorème de Kruskal	695	23
170	Modèle de Markov caché	694	23	14
171	Exponentiation rapide	693	23	34
172	Auto-encodeur	692	23	23
173	Algorithme hongrois	690	23	18
174	Partitionnement de données	690	23	18
175	Automate fini déterministe	687	23	34
176	Jean-Gabriel Ganascia	687	23	25
177	Complexité en temps	684	23	13
178	Arbre AVL	681	23	58
179	Algorithme de Grover	668	22	3
180	Arbre couvrant de poids minimal	661	22	18
181	Graphe biparti	660	22	7
182	Lemme de l'étoile	660	22	7
183	Algorithme espérance-maximisation	653	22	4
184	Connecteur logique	646	22	14
185	Algorithme de Metropolis-Hastings	643	21	8
186	Théorème CAP	633	21	11
187	Paradoxe de Moravec	627	21	69
188	Auto-encodeur variationnel	618	21	8
189	Décidabilité	617	21	28
190	Méthode formelle (informatique)	610	20	5
191	Grammaire formelle	606	20	35
192	Diviser pour régner (informatique)	605	20	14
193	Test de primalité de Miller-Rabin	599	20	12
194	Arbre bicolore	598	20	24
195	Clique (théorie des graphes)	583	19	14
196	Liste chaînée	582	19	19
197	Recherche arborescente Monte-Carlo	573	19	7
198	Hiérarchie de Chomsky	572	19	27
199	Problèmes de passage de rivière	571	19	13
200	Règle de Hebb	570	19	13
201	Théorie des réseaux	569	19	13
202	Théorie des automates	562	19	9
203	Plongement lexical	561	19	1
204	Base de données MNIST	546	18	10
205	Tri comptage	541	18	50
206	Optimisation linéaire en nombres entiers	535	18	26
207	Langage rationnel	534	18
208	Extraction de racine carrée par la méthode du goutte à goutte	527	18	9
209	Test de primalité	526	18	59
210	Bernard Chazelle	523	17	54
211	Optimisation combinatoire	522	17	1
212	Arbre de Merkle	521	17	29
213	Composante fortement connexe	518	17	15
214	Thèse de Church	518	17	23
215	Algorithme LLL	514	17	7
216	Algorithme de Karatsuba	513	17	43
217	Couplage (théorie des graphes)	509	17	18
218	Problème du plus grand cercle vide	504	17	290
219	Résolution de labyrinthe	504	17	9
220	Union-find	504	17	24
221	Trie (informatique)	500	17	58
222	Graphe complet	496	17	27
223	Processus de décision markovien	496	17	7
224	Jean-Paul Delahaye	495	17	7
225	Arbre de la syntaxe abstraite	491	16	21
226	NP-difficile	485	16	32
227	Exponentiation modulaire	484	16	23
228	Aide à la décision	483	16	6
229	Mersenne Twister	482	16	2
230	Mathématiques tropicales	481	16	109
231	Grammaire non contextuelle	480	16	39
232	Programmation par contraintes	477	16	40
233	Technique de la multiplication par jalousies	476	16	18
234	Séparation et évaluation	473	16	64
235	Distance de Jaro-Winkler	467	16	43
236	ImageNet	467	16	25
237	Table de correspondance	465	16	22
238	Méthode itérative	461	15	9
239	Analyse prédictive	458	15	1
240	Théorie des types	454	15	2
241	Codage de l'information	449	15	58
242	Retour sur trace	448	15	18
243	Graphe orienté	441	15	11
244	Algorithme de Levenberg-Marquardt	440	15	3
245	Automate à pile	440	15	103
246	Oméga de Chaitin	440	15	2
247	Reconnaissance de formes	439	15	14
248	Tri stupide	439	15	29
249	Optimisation par essaims particulaires	438	15	22
250	Computationnalisme	437	15	34
251	Neurone formel	437	15	20
252	Pensée computationnelle	436	15	7
253	Apprentissage fédéré	430	14	10
254	Modélisation mathématique d'un labyrinthe	430	14	31
255	Last in, first out	428	14	3
256	Arbre enraciné	427	14	18
257	Cycle (théorie des graphes)	425	14	23
258	Tri par base	419	14	48
259	Surapprentissage	418	14	17
260	Algorithme de Viterbi	409	14	44
261	Canon (automate cellulaire)	409	14	22
262	Tableau associatif	409	14	11
263	Seymour Papert	407	14	50
264	Méthode mathématique d'analyse multicritère	405	14	21
265	Automate fini non déterministe	403	13	45
266	Réseau de Hopfield	400	13	234
267	Algorithme de tracé de segment de Bresenham	396	13	10
268	Problème de flot maximum	396	13	31
269	Fléau de la dimension	392	13	12
270	Stratégie du bras de fer	390	13	70
271	Problème des mariages stables	388	13	42
272	Théorème de Ramsey	386	13	3
273	Matroïde	382	13	73
274	Glossaire de la théorie des graphes	380	13	26
275	Réseau neuronal résiduel	379	13	41
276	Théorie de l'ordonnancement	375	13	11
277	Logique d'ordre supérieur	372	12	9
278	Tri cocktail	372	12	102
279	Canal de communication (théorie de l'information)	371	12	38
280	Okapi BM25	371	12	13
281	Algorithme de Gale et Shapley	369	12	9
282	LZ77 et LZ78	367	12	60
283	Arbre kd	365	12	21
284	Recherche tabou	365	12	68
285	Réseau de neurones à action directe	364	12	1
286	Algorithme de Strassen	357	12	40
287	Carte autoadaptative	356	12	10
288	Complexité de Kolmogorov	353	12	28
289	Théorème de Rice	353	12	84
290	Problème de bin packing	352	12	13
291	Tri de Shell	352	12	27
292	Conteneur (informatique)	351	12	4
293	Information quantique	345	12	12
294	Machine de Moore	345	12	13
295	Recherche de chemin	345	12	27
296	Computing Machinery and Intelligence	343	11	23
297	Code de Hamming (7,4)	342	11	10
298	Machine de Boltzmann restreinte	342	11	185
299	Machine de Turing universelle	342	11	38
300	Logique de Hoare	341	11	50
301	P (complexité)	340	11	19
302	Tri à peigne	339	11	54
303	Problème du rendu de monnaie	338	11	9
304	Règle d'inférence	338	11	11
305	Xavier Leroy	337	11	9
306	Filtre de Bloom	336	11	4
307	L-Système	333	11	23
308	Liste d'adjacence	333	11	17
309	Algorithme de Kosaraju	332	11	75
310	Classement automatique	332	11	52
311	Algorithme de Gauss-Newton	331	11	55
312	Algorithme de mise en cache	331	11	47
313	Algorithme de Knuth-Morris-Pratt	330	11	74
314	Problème de tournées de véhicules	330	11	2
315	Algorithme évolutionniste	329	11	49
316	AdaBoost	328	11	5
317	Oscillateur (automate cellulaire)	327	11	47
318	Problème du secrétaire	327	11	260
319	Complexité de la multiplication de matrices	324	11	17
320	Méthode de Louvain	320	11	7
321	Astuce du noyau	319	11	54
322	Leslie Lamport	319	11	33
323	Réduction de la dimensionnalité	318	11
324	Degré (théorie des graphes)	317	11	3
325	Quadtree	317	11	29
326	Mathusalem (automate cellulaire)	316	11
327	Tri de crêpes	315	11	64
328	Méthode de la fausse position	314	10	2
329	Invariant de boucle	313	10
330	Algorithme de Boyer-Moore	312	10	2
331	Alonzo Church	311	10	23
332	Optimisation convexe	311	10	4
333	Formule propositionnelle	310	10	58
334	Parcours de graphe	308	10	42
335	Timsort	308	10	34
336	Algorithme de Johnson	306	10	134
337	Problème de la clique	306	10	32
338	Théorème d'approximation universelle	306	10	30
339	Stable (théorie des graphes)	301	10	14
340	Assistant de preuve	299	10	12
341	Correspondance de Curry-Howard	296	10	46
342	Fourmi de Langton	296	10	39
343	Problème de couverture par sommets	295	10	25
344	Tas de Fibonacci	291	10	56
345	Basic Local Alignment Search Tool	288	10	6
346	Chemin critique	284	9	5
347	Jean-Louis Krivine	284	9	14
348	Problème d'affectation	284	9	17
349	Lemme d'Arden	281	9
350	Centralité	279	9	34
351	Machine autoréplicative	275	9	42
352	Problème 3-SAT	275	9	30
353	Arbre équilibré	273	9	130
354	Classe de complexité	272	9	57
355	Minimisation d'un automate fini déterministe	272	9	115
356	Apprentissage actif	270	9	49
357	Théorie de la décision dans l'incertain	270	9	18
358	Théorie des mécanismes d'incitation	268	9	13
359	Test de primalité de Fermat	267	9	55
360	Codage entropique	266	9	16
361	Algorithme de Thompson	261	9	41
362	Machine de Mealy	258	9	19
363	Mélange de Fisher-Yates	258	9
364	Construction de Glushkov	256	9	33
365	Problème de la décision	256	9	25
366	Recherche exhaustive	254	8	28
367	Algorithme CART	253	8	73
368	Boosting	253	8	28
369	Petit modèle de langage	253	8	9
370	Fonction à sens unique	251	8	77
371	Étoile de Kleene	251	8	37
372	Déformation temporelle dynamique	250	8	43
373	Arbre syntaxique	249	8	28
374	Sémantique des langages de programmation	249	8	39
375	21 problèmes NP-complets de Karp	247	8	31
376	Liste de problèmes NP-complets	247	8	57
377	Marcel-Paul Schützenberger	247	8	14
378	Test de primalité AKS	245	8	116
379	Algorithme de recherche de sous-chaîne	244	8	54
380	Recherche des plus proches voisins	243	8	40
381	Distance de Damerau-Levenshtein	239	8	50
382	Fonction booléenne	239	8	17
383	Programmation réactive	239	8	15
384	Vérification de modèles	239	8	29
385	Fenêtre de contexte	238	8	133
386	Méthode de la puissance itérée	238	8	12
387	Dendrogramme	236	8	15
388	Kate Crawford	235	8	184
389	IA neuro-symbolique	234	8	49
390	Warren Weaver	234	8	13
391	Liste des algorithmes de la théorie des graphes	231	8	45
392	Algorithme de Douglas-Peucker	230	8	73
393	Algorithme de Lanczos	230	8	92
394	Smoothsort	230	8	118
395	Réduction polynomiale	229	8	36
396	Séparation des préoccupations	229	8	8
397	Occlusion ambiante	228	8	27
398	Algorithme Shunting-yard	227	8	287
399	Jardin d'Éden (automate cellulaire)	227	8	6
400	Théorème de Cox-Jaynes	227	8	13
401	Typage fort	227	8	77
402	Algorithme de multiplication d'entiers	226	8	2
403	Bootstrap aggregating	226	8	32
404	Chemin (théorie des graphes)	226	8	19
405	File M/M/1	224	7	74
406	Algorithme ID3	223	7	129
407	Langage algébrique	223	7	36
408	Méthodes de points intérieurs	222	7
409	Planification (intelligence artificielle)	222	7	53
410	Compression par ondelettes	221	7	68
411	Théorème de Cook	221	7	18
412	Récursivement énumérable	220	7	65
413	Algorithme de Floyd-Steinberg	219	7	252
414	Problème de décision	219	7	16
415	Dimension de Vapnik-Chervonenkis	217	7	42
416	Algorithme du jour du Jugement dernier	216	7	82
417	Densité d'un graphe	216	7	189
418	Nombre réel calculable	216	7	16
419	Réseau de flot	216	7	24
420	Type abstrait	216	7	1
421	Algorithme d'Edmonds-Karp	215	7	74
422	Algorithme de recherche de valeur propre	214	7	105
423	Stuart Russell	214	7	31
424	Algorithme probabiliste	213	7	44
425	Problème de satisfaction de contraintes	213	7	59
426	Recherche séquentielle	213	7	69
427	Code linéaire	212	7	40
428	Fonction récursive primitive	212	7	7
429	Machine de Turing non déterministe	210	7	35
430	Ordonnancement d'atelier	210	7	44
431	Pseudo-aléatoire	210	7	93
432	Interpolation bicubique	209	7	9
433	Double metaphone	208	7	210
434	Mesure de similarité	208	7	17
435	Optimisation non linéaire	208	7	56
436	Algorithme de Tarjan	205	7	78
437	Charles Antony Richard Hoare	205	7	3
438	Méthode hill-climbing	205	7	93
439	Sous-graphe	205	7	41
440	Mamba (apprentissage profond)	204	7	62
441	Octree	203	7	25
442	Algorithme de remplissage par diffusion	202	7	72
443	Graphe simple	201	7	54
444	Algorithme de décomposition en produit de facteurs premiers	200	7	37
445	Algorithme de Deutsch-Jozsa	199	7	4
446	Chaîne (théorie des graphes)	198	7	20
447	Théorème flot-max/coupe-min	198	7	28
448	Arête (théorie des graphes)	196	7	10
449	Base de Gröbner	196	7	43
450	Rotation d'un arbre binaire de recherche	196	7	178
451	Gilles Dowek	195	7	100
452	Graphe non orienté	195	7	13
453	Lemme des poignées de main	194	6	63
454	Algorithme de Las Vegas	193	6	27
455	Partitionnement spectral	193	6	68
456	Théorème de Kleene	193	6	3
457	Correction d'un algorithme	192	6	134
458	Jean-Yves Girard	192	6	107
459	Logique temporelle	192	6	33
460	Méthode de Quine-Mc Cluskey	192	6	78
461	Problème du consensus	191	6	43
462	Algorithme du lièvre et de la tortue	188	6	66
463	Forme normale de Chomsky	186	6	39
464	Apprentissage par renforcement profond	185	6	16
465	Problème algorithmique	185	6	80
466	Recherche approximative	185	6	20
467	Weight decay	185	6	34
468	Graphe de Cayley	184	6	153
469	Multiplieur	184	6	102
470	Algorithme TCP	183	6	106
471	Algorithme d'approximation	183	6	79
472	Algorithme de recherche	183	6	40
473	Graphe aléatoire	183	6	104
474	Shafi Goldwasser	183	6	66
475	Apprentissage par transfert	182	6	9
476	Problème de l'arbre de Steiner	182	6	14
477	Complexité en espace	181	6	31
478	Algorithme d'optimisation	180	6	69
479	Bit de signe	180	6	111
480	Locality sensitive hashing	179	6	145
481	Sommet (théorie des graphes)	179	6	32
482	Unité récurrente fermée	179	6	37
483	ELECTRE	178	6	28
484	John Tukey	176	6	33
485	Arbre radix	175	6	19
486	Epsilon transition	175	6	21
487	Claude Berge	174	6
488	Architecture de l'information	173	6	34
489	Constructeur universel	173	6	14
490	Aide à la décision multicritère	172	6	36
491	Gérard Huet	172	6	2
492	Jacques Stern (cryptologue)	172	6	68
493	Arithmétique d'intervalles	171	6	51
494	Hypercube (graphe)	171	6	11
495	Code BCH	170	6	31
496	Pavage pentagonal	170	6	52
497	Problème du diamant	170	6	34
498	Marching cubes	168	6	44
499	Problème du flot de coût minimum	168	6	190
500	Système F	168	6	114

Vues totales pour les 2114 articles du projet : 534 470 (−2,5 % de vues par jour par rapport au mois précédent).