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

Liste

Période : décembre 2024

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

Vues totales pour les 2115 articles du projet : 518 291 (+1 article, −6,2 % de vues par jour par rapport au mois précédent).