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 : octobre 2024

Rang	Page	Vues totales	Vues par jour	Évol. rang
1	Alan Turing	21 299	687
2	Geoffrey Hinton	16 906	545	92
3	Apprentissage automatique	9 650	311	3
4	Système binaire	9 167	296	2
5	Yann Le Cun	8 819	284	12
6	Jeu de la vie	8 582	277	1
7	Réseau de neurones artificiels	8 400	271	2
8	John von Neumann	7 797	252
9	Algorithme	7 700	248	5
10	Ordinateur quantique	7 445	240	7
11	Machine de Turing	5 829	188	6
12	Dilemme du prisonnier	5 163	167	1
13	Algorithme de Dijkstra	5 086	164	8
14	Expression régulière	5 049	163	4
15	Produit matriciel	4 683	151	3
16	Théorèmes d'incomplétude de Gödel	4 512	146	1
17	Apprentissage profond	4 335	140	9
18	Théorie des graphes	4 317	139	4
19	Charles Babbage	4 052	131	1
20	Logique	3 971	128	3
21	Crible d'Ératosthène	3 870	125	5
22	Tri à bulles	3 814	123	8
23	Tri par insertion	3 755	121	11
24	Algorithme d'Euclide	3 734	120	6
25	Tri rapide	3 591	116	14
26	Problème P ≟ NP	3 523	114	1
27	Algorithmique	3 382	109	3
28	Décomposition en produit de facteurs premiers	3 358	108	9
29	Google Gemini	3 280	106	15
30	Algorithme de tri	3 226	104	3
31	Distance de Levenshtein	3 201	103	17
32	Réseau de Hopfield	3 161	102
33	Fonction de hachage	3 135	101	4
34	Entropie de Shannon	2 875	93	3
35	Théorie de l'information	2 834	91	8
36	Recherche dichotomique	2 796	90	2
37	Algorithme du gradient	2 736	88	6
38	Élimination de Gauss-Jordan	2 620	85	10
39	Claude Shannon	2 601	84	3
40	Google DeepMind	2 580	83	57
41	Table de Karnaugh	2 550	82	10
42	Tri fusion	2 538	82	5
43	AlphaFold	2 516	81	130
44	Informatique quantique	2 506	81	9
45	Qubit	2 418	78	13
46	Problème du voyageur de commerce	2 320	75	4
47	Machine à vecteurs de support	2 294	74	6
48	Tri par sélection	2 222	72	6
49	Algorithme A*	2 136	69	3
50	Code binaire	2 094	68	8
51	Combinatoire	2 057	66	6
52	Transformation de Fourier rapide	2 031	66
53	Problème NP-complet	2 018	65	4
54	Stable Diffusion	1 974	64	17
55	Calcul des prédicats	1 963	63	15
56	Analyse de la complexité des algorithmes	1 931	62	8
57	Algorithme de parcours en largeur	1 927	62	12
58	Problème du secrétaire	1 893	61	295
59	Programmation fonctionnelle	1 851	60	18
60	Racine carrée inverse rapide	1 838	59	49
61	Rétropropagation du gradient	1 835	59	30
62	Problème du sac à dos	1 819	59	14
63	Algorithme minimax	1 796	58	3
64	Arbre binaire	1 777	57	26
65	Apprentissage par renforcement	1 774	57	4
66	Nombre de Strahler	1 760	57	6
67	Algorithme de parcours en profondeur	1 745	56	17
68	Turing-complet	1 740	56	13
69	Algorithme du simplexe	1 736	56	4
70	Méthode des k plus proches voisins	1 733	56	4
71	K-moyennes	1 718	55	12
72	Code (information)	1 653	53	16
73	Algorithme de Shor	1 606	52	5
74	John McCarthy	1 584	51	11
75	Calcul des propositions	1 573	51	31
76	Codage de Huffman	1 558	50	5
77	Programmation dynamique	1 518	49	8
78	Marvin Minsky	1 488	48	5
79	Ontologie (informatique)	1 471	47	17
80	Lambda-calcul	1 456	47	10
81	Algorithme génétique	1 451	47	8
82	PageRank	1 439	46
83	Réseau de neurones récurrents	1 420	46	17
84	Optimisation linéaire	1 404	45	3
85	Automate fini	1 391	45	18
86	Vacuité	1 385	45	28
87	Diagramme de Voronoï	1 366	44	7
88	Code de Gray	1 362	44	15
89	Logique floue	1 358	44	12
90	Algorithme glouton	1 338	43	16
91	Téléportation quantique	1 325	43	16
92	Graphe eulérien	1 315	42	19
93	Théorie de la complexité (informatique théorique)	1 297	42	2
94	Distance de Hamming	1 292	42	28
95	Algorithme d'Euclide étendu	1 275	41	17
96	Somme de contrôle	1 267	41	13
97	Algorithme de Bellman-Ford	1 265	41	40
98	Mathématiques discrètes	1 244	40	49
99	Pseudo-code	1 220	39	11
100	Protocole informatique	1 172	38	29
101	Arborescence	1 166	38	29
102	Graphe hamiltonien	1 155	37	33
103	Triangulation de Delaunay	1 153	37	24
104	Graphe connexe	1 152	37	14
105	Recuit simulé	1 135	37	8
106	Heuristique (mathématiques)	1 126	36	7
107	Algorithmes optimaux de résolution du Rubik's Cube	1 115	36	6
108	Automate cellulaire	1 099	35	4
109	Donald Knuth	1 097	35	13
110	Langage formel	1 085	35	24
111	Algorithme Shunting-yard	1 081	35	251
112	Méthode de Ruffini-Horner	1 077	35	8
113	Machine de Boltzmann restreinte	1 073	35	209
114	Réseau de Petri	1 071	35	7
115	Problème SAT	1 062	34	14
116	Table de hachage	1 054	34	7
117	Problème du cavalier	1 039	34	12
118	Générateur de nombres pseudo-aléatoires	1 035	33	39
119	Validation croisée	1 032	33	3
120	Round-robin (informatique)	1 028	33	27
121	Word2vec	1 022	33	22
122	Mathématiques tropicales	1 020	33	132
123	Système bibi-binaire	1 008	33	31
124	Edsger Dijkstra	992	32	9
125	Extraction de racine carrée	985	32	23
126	Perceptron multicouche	984	32	10
127	Parallélisme (informatique)	977	32	6
128	Alice & Bob	975	31	2
129	Tas (informatique)	974	31	36
130	Fonction récursive	958	31	22
131	Conférence de Dartmouth	957	31	2
132	Problème de plus court chemin	943	30	12
133	John Horton Conway	940	30	34
134	Coloration de graphe	938	30	14
135	Système expert	931	30	37
136	Algorithme de Kruskal	925	30	100
137	Informatique théorique	925	30	18
138	Exponentiation rapide	924	30	15
139	Problème de l'arrêt	913	29	29
140	Arbre binaire de recherche	905	29	51
141	Code correcteur	896	29	24
142	Automate fini déterministe	895	29	45
143	Itération	893	29	11
144	Élagage alpha-bêta	884	29	18
145	Graphe (mathématiques discrètes)	879	28	19
146	Arbre de décision (apprentissage)	871	28	18
147	Fonction d'activation	867	28	1
148	Pasqal	867	28	70
149	Tri par tas	858	28	14
150	Master theorem	855	28	33
151	Test de primalité	855	28
152	Algorithme de Floyd-Warshall	835	27	67
153	Métaheuristique	835	27	3
154	Théorie de la calculabilité	832	27	15
155	Bruit de Perlin	823	27	15
156	Fonction d'Ackermann	822	27	32
157	Partitionnement de données	812	26	32
158	Algorithme de Prim	802	26	86
159	Arbre B	802	26	18
160	Simulation informatique	791	26	29
161	Algorithme du gradient stochastique	780	25	7
162	Décidabilité	767	25	4
163	Code de Reed-Solomon	760	25	2
164	NP (complexité)	756	24	7
165	Complexité en temps	751	24	20
166	Code de Hamming	732	24	10
167	Algorithme récursif	728	23	29
168	Matrice d'adjacence	717	23	9
169	Algorithme de colonies de fourmis	704	23	16
170	Théorème de Kruskal	695	22	21
171	Connecteur logique	694	22	19
172	Graphe orienté acyclique	694	22	1
173	Distance de Wasserstein	692	22	17
174	Preuve de travail	680	22	5
175	Graphe biparti	677	22	53
176	Algorithme de Monte-Carlo	675	22	16
177	Algorithme de Ford-Fulkerson	673	22	74
178	Liste chaînée	673	22	42
179	Intelligence artificielle symbolique	672	22	10
180	Algorithme espérance-maximisation	671	22	20
181	Auto-encodeur variationnel	671	22	5
182	Test de primalité de Miller-Rabin	669	22	81
183	Algorithme de Grover	667	22	12
184	Codage de l'information	666	21	4
185	Modèle de Markov caché	663	21	30
186	Méthode formelle (informatique)	659	21	2
187	Problèmes de passage de rivière	658	21	40
188	Règle de Hebb	644	21	43
189	Graphe planaire	641	21	4
190	Lemme de l'étoile	639	21	70
191	Recherche arborescente Monte-Carlo	636	21	31
192	Algorithme hongrois	635	20	2
193	Programmation par contraintes	635	20	4
194	Algorithme de Metropolis-Hastings	633	20	5
195	Base de données MNIST	632	20	12
196	Auto-encodeur	626	20	22
197	Arbre (théorie des graphes)	617	20	15
198	Théorème CAP	612	20	23
199	Arbre couvrant de poids minimal	609	20	76
200	Extraction de racine carrée par la méthode du goutte à goutte	608	20	59
201	Stratégie du bras de fer	605	20	71
202	Jean-Gabriel Ganascia	601	19	68
203	Plongement lexical	601	19	33
204	Tri topologique	601	19	29
205	Arbre de la syntaxe abstraite	595	19	6
206	Théorème de Rice	593	19	92
207	Diviser pour régner (informatique)	583	19	6
208	Langage rationnel	574	19	40
209	Algorithme LLL	572	18	81
210	Clique (théorie des graphes)	572	18	39
211	Résolution de labyrinthe	567	18	69
212	Théorie des automates	554	18	28
213	Optimisation combinatoire	553	18	23
214	Seymour Papert	549	18	55
215	AlexNet	542	17	47
216	Théorie des réseaux	541	17	50
217	Table de correspondance	537	17	1
218	Computationnalisme	535	17	8
219	Jean-Paul Delahaye	532	17	13
220	Arbre bicolore	531	17	15
221	Tri stupide	529	17	74
222	Automate fini non déterministe	528	17	52
223	Logarithme discret	522	17	21
224	Aide à la décision	521	17	16
225	Modélisation mathématique d'un labyrinthe	521	17	33
226	Retour sur trace	508	16	47
227	Hiérarchie de Chomsky	504	16	5
228	Grammaire formelle	503	16	32
229	Mersenne Twister	502	16	47
230	Composante fortement connexe	498	16	48
231	Méthode itérative	496	16	6
232	Processus de décision markovien	495	16	28
233	Neurone formel	493	16	19
234	Optimisation linéaire en nombres entiers	483	16	8
235	Reconnaissance de formes	481	16	17
236	Algorithme de Kosaraju	476	15	66
237	Couplage (théorie des graphes)	475	15	91
238	Arbre AVL	473	15	42
239	Thèse de Church	468	15	61
240	Analyse prédictive	466	15	25
241	Algorithme de Knuth-Morris-Pratt	464	15	24
242	Minimisation d'un automate fini déterministe	464	15	173
243	Arbre de Merkle	463	15	30
244	Théorie des types	463	15	6
245	Apprentissage fédéré	461	15	28
246	Union-find	460	15	16
247	Pensée computationnelle	459	15	133
248	Algorithme de Strassen	457	15	8
249	Algorithme de Levenberg-Marquardt	456	15	33
250	Oméga de Chaitin	456	15	47
251	Graphe complet	454	15	13
252	Exponentiation modulaire	450	15	13
253	Technique de la multiplication par jalousies	449	14	17
254	Last in, first out	441	14	25
255	Maurice Nivat	441	14	50
256	Graphe orienté	440	14	35
257	Tri comptage	437	14	87
258	Paradoxe de Moravec	435	14	15
259	Algorithme de tracé de segment de Bresenham	434	14	17
260	NP-difficile	428	14	3
261	Algorithme de Karatsuba	427	14	52
262	Complexité de Kolmogorov	423	14	25
263	ImageNet	423	14	40
264	Arbre kd	422	14	79
265	Tri de crêpes	420	14	35
266	Bernard Chazelle	412	13	21
267	Théorie de l'ordonnancement	412	13	46
268	Algorithme évolutionniste	411	13	14
269	Astuce du noyau	410	13	52
270	Logique d'ordre supérieur	403	13	9
271	Théorème de Ramsey	403	13	18
272	Grammaire non contextuelle	402	13	12
273	Optimisation par essaims particulaires	402	13	7
274	Algorithme de Gale et Shapley	401	13	102
275	Tableau associatif	401	13	29
276	Arbre enraciné	397	13	33
277	Formule propositionnelle	395	13	96
278	Surapprentissage	395	13	51
279	Carte autoadaptative	388	13	4
280	Distance de Jaro-Winkler	387	12	56
281	Trie (informatique)	385	12	13
282	Cycle (théorie des graphes)	381	12	41
283	Fléau de la dimension	381	12	51
284	P (complexité)	381	12	5
285	Canon (automate cellulaire)	377	12	25
286	L-Système	377	12	10
287	Méthode mathématique d'analyse multicritère	374	12	20
288	Réseau de neurones à action directe	372	12	51
289	Code de Hamming (7,4)	370	12	107
290	Conteneur (informatique)	370	12	35
291	Leslie Lamport	369	12	3
292	Allen Emerson	366	12	1403
293	Liste d'adjacence	359	12	25
294	Parcours de graphe	359	12	41
295	Okapi BM25	358	12	29
296	Problème du rendu de monnaie	356	11	23
297	Correspondance de Curry-Howard	355	11	10
298	Quadtree	355	11	5
299	Classe de complexité	354	11	96
300	Séparation et évaluation	352	11	45
301	Problème de flot maximum	351	11	50
302	Glossaire de la théorie des graphes	350	11	14
303	Timsort	349	11	39
304	Complexité de la multiplication de matrices	344	11	57
305	Problème de bin packing	344	11	20
306	Algorithme de Viterbi	342	11	25
307	Information quantique	342	11	59
308	Tri par base	339	11	19
309	Machine de Moore	338	11	28
310	Théorème d'approximation universelle	338	11	54
311	Machine autoréplicative	337	11	7
312	Filtre de Bloom	336	11	21
313	AdaBoost	334	11	80
314	Problème de tournées de véhicules	331	11	97
315	Problème des mariages stables	331	11	76
316	Xavier Leroy	331	11	17
317	Règle d'inférence	330	11	46
318	Réseau neuronal résiduel	328	11	4
319	Canal de communication (théorie de l'information)	326	11	14
320	Tri de Shell	326	11	13
321	Computing Machinery and Intelligence	324	10	123
322	Algorithme de Thompson	320	10	29
323	Degré (théorie des graphes)	320	10	33
324	Recherche de chemin	317	10	47
325	Réduction de la dimensionnalité	317	10	13
326	Typage fort	317	10	92
327	Algorithme de recherche de sous-chaîne	316	10	167
328	Mathusalem (automate cellulaire)	314	10	53
329	Méthode de Louvain	313	10	6
330	Assistant de preuve	311	10	15
331	Invariant de boucle	311	10	32
332	Méthode de la fausse position	309	10	9
333	Distance de Damerau-Levenshtein	307	10	16
334	Algorithme de Boyer-Moore	305	10	67
335	Jean-Louis Krivine	305	10	24
336	Étoile de Kleene	303	10	77
337	Sémantique des langages de programmation	301	10	36
338	Optimisation convexe	300	10	41
339	Machine de Turing universelle	296	10	75
340	Recherche exhaustive	291	9	16
341	Basic Local Alignment Search Tool	287	9	16
342	Problème de la décision	287	9	50
343	Chemin critique	286	9	3
344	LZ77 et LZ78	286	9	48
345	Machine de Mealy	283	9	19
346	21 problèmes NP-complets de Karp	282	9	15
347	Théorie des mécanismes d'incitation	282	9	19
348	Matroïde	281	9	19
349	Algorithme DPLL	279	9	121
350	Automate à pile	279	9	82
351	Lemme d'Arden	279	9	45
352	Logique de Hoare	279	9	31
353	Jean-Yves Girard	278	9	119
354	Recherche tabou	278	9	49
355	Stable (théorie des graphes)	277	9	128
356	Alonzo Church	275	9	70
357	Christos Papadimitriou	271	9	453
358	Tri à peigne	269	9	15
359	Recherche séquentielle	267	9	109
360	Algorithme de Tarjan	266	9	10
361	Algorithme de mise en cache	266	9	53
362	Petit modèle de langage	264	9	51
363	Avi Wigderson	263	8	76
364	Classement automatique	261	8	30
365	Mélange de Fisher-Yates	261	8	6
366	Oscillateur (automate cellulaire)	260	8	84
367	Problème d'affectation	260	8
368	Algorithme de Gauss-Newton	258	8	42
369	Multiplieur	258	8	37
370	Problème de couverture par sommets	258	8	82
371	Problème de la clique	258	8	117
372	Occlusion ambiante	255	8	56
373	Bootstrap aggregating	254	8	51
374	Dendrogramme	254	8	3
375	Dimension de Vapnik-Chervonenkis	254	8	6
376	Méthode de la puissance itérée	250	8	9
377	Théorie de la décision dans l'incertain	250	8	12
378	Codage entropique	249	8	32
379	Warren Weaver	249	8	54
380	Mamba (apprentissage profond)	247	8	30
381	Optimisation non linéaire	247	8	29
382	Tri cocktail	246	8	84
383	Fourmi de Langton	245	8	9
384	Problème 3-SAT	245	8	25
385	Transformée de Hadamard	245	8	34
386	Centralité	244	8	31
387	Chemin (théorie des graphes)	244	8	59
388	Système F	243	8	98
389	Théorème de Cox-Jaynes	243	8	27
390	Séparation des préoccupations	242	8	101
391	Graphe simple	240	8	33
392	Lemme des poignées de main	239	8	17
393	Marcel-Paul Schützenberger	238	8	33
394	Stuart Russell	238	8	54
395	Jardin d'Éden (automate cellulaire)	237	8	108
396	Machine de Turing non déterministe	237	8	58
397	Réseau de flot	236	8	149
398	Boosting	235	8	24
399	Construction de Glushkov	235	8	13
400	Programmation réactive	231	7	52
401	Fonction booléenne	230	7	65
402	Tas de Fibonacci	229	7	29
403	Arbre syntaxique	225	7	13
404	Nombre réel calculable	225	7	2
405	Transformée de Burrows-Wheeler	225	7	74
406	Algorithme de multiplication d'entiers	223	7	1
407	Apprentissage actif	223	7	19
408	Base de Gröbner	223	7	88
409	Algorithme de décomposition en produit de facteurs premiers	222	7	57
410	Méthodes de points intérieurs	221	7	39
411	Algorithme d'optimisation	220	7	22
412	Algorithme de Moore de minimisation d'un automate fini	220	7	297
413	Lotfi Zadeh	220	7	5
414	Prix Gödel	220	7	22
415	Vérification de modèles	220	7	72
416	Test de primalité de Fermat	219	7	25
417	Déformation temporelle dynamique	218	7	79
418	Octree	218	7	31
419	Mesure de similarité	217	7	25
420	Problème du consensus	217	7	31
421	Théorème flot-max/coupe-min	217	7	119
422	Recherche des plus proches voisins	215	7	73
423	Type abstrait	215	7	74
424	Hiérarchie de croissance rapide	214	7	16
425	Interpolation bicubique	214	7	94
426	Jacques Stern (cryptologue)	212	7	28
427	Théorie des jeux combinatoires	212	7	18
428	Chaîne (théorie des graphes)	211	7	29
429	Michael Jordan (informaticien)	211	7	186
430	Méthode de Brzozowski et McCluskey	211	7	371
431	Théorème de Cook	210	7	97
432	Problème de décision	208	7	33
433	Réduction polynomiale	207	7	97
434	Algorithme de recherche	206	7	58
435	Liste de problèmes NP-complets	206	7	56
436	Charles Antony Richard Hoare	202	7	52
437	Fonction récursive primitive	202	7	14
438	Liste des algorithmes de la théorie des graphes	202	7	56
439	Mort informationnelle	201	6	165
440	IA neuro-symbolique	200	6	19
441	Graphe non orienté	198	6	98
442	Algorithme CART	197	6	48
443	Algorithme de Deutsch-Jozsa	197	6	37
444	Arithmétique d'intervalles	196	6	56
445	Langage algébrique	196	6	24
446	Lemme de Johnson-Lindenstrauss	196	6	1
447	Unité récurrente fermée	196	6	22
448	Complexité en espace	195	6	73
449	Fonction à sens unique	195	6	41
450	Apprentissage par renforcement profond	194	6	53
451	Circuit (théorie des graphes)	194	6	53
452	Francis Bach	194	6	64
453	John Tukey	194	6	45
454	Théorie algorithmique de l'information	194	6	30
455	Théorème de Kleene	194	6	32
456	Marching cubes	193	6	2
457	Réseau neuronal siamois	192	6	52
458	Stephen Cole Kleene	192	6	79
459	Tri pair-impair	192	6	292
460	Arête (théorie des graphes)	190	6	46
461	Scott Aaronson	190	6	112
462	Combinaison convexe	188	6	100
463	Coupe minimum	188	6	183
464	Planification (intelligence artificielle)	188	6	65
465	Problème du diamant	188	6	28
466	Code BCH	187	6	24
467	Algorithme de Douglas-Peucker	186	6	50
468	Apprentissage par transfert	186	6	12
469	Code linéaire	186	6	45
470	Algorithme probabiliste	185	6	6
471	Théorie de l'apprentissage statistique	185	6	85
472	Algorithme de Johnson	182	6	222
473	Ensemble dominant	181	6	177
474	Théorème de Hall	181	6	79
475	Gary L. Miller	180	6	47
476	Ordonnancement d'atelier	180	6	41
477	Constructeur universel	179	6	55
478	Explosion combinatoire	179	6	51
479	Récursivement énumérable	179	6	88
480	Compression par ondelettes	178	6	79
481	File M/M/1	177	6	106
482	Sous-graphe	177	6	45
483	Algorithme de Las Vegas	176	6	49
484	Soundex	176	6	35
485	Arbre équilibré	175	6	44
486	Problème de satisfaction de contraintes	175	6	25
487	Algorithme de Lanczos	174	6	82
488	Recherche approximative	174	6	28
489	Claude Berge	173	6	69
490	Gregory Chaitin	173	6	29
491	Gérard Huet	173	6	11
492	Problème de l'arbre de Steiner	173	6	166
493	Algorithme de Casteljau	172	6	42
494	Logique temporelle	172	6	82
495	Parcours d'arbre	172	6	82
496	Test de primalité AKS	172	6	21
497	Algorithme d'Edmonds-Karp	171	6	34
498	Whitfield Diffie	171	6	69
499	Algorithme de Smith-Waterman	170	5	171
500	Algorithme du jour du Jugement dernier	169	5	13

Vues totales pour les 2114 articles du projet : 566 662 (+1 article, +18 % de vues par jour par rapport au mois précédent).