Concept
Complexité descriptive
Séances de cours associées (28)
MHD Stabilité de l'équilibre
Explore l'équilibre et la stabilité Magnetohydrodynamique, les solutions MHD idéales, le théorème « boule poilue » et les conditions limites.
Programmation linéaire: Optimisation et contraintes
Explore l'optimisation de la programmation linéaire avec des contraintes, l'algorithme de Dijkstra et les formulations LP pour trouver des solutions réalisables.
Recherche d'algorithmes: Recherche de dichotomie
Explore les algorithmes de recherche de dichotomie, en analysant la complexité et les détails de mise en œuvre pour une recherche efficace dans les listes triées.
Étapes d'élimination des quantificateurs pour Presburger Arithmetic
Explore les étapes d'élimination des quantificateurs pour Presbourger Arithmetic, en mettant l'accent sur les techniques permettant de simplifier et d'éliminer efficacement les quantificateurs.
Algorithmes de recherche: linéaire vs logarithmique
Illustre l'efficacité des algorithmes de recherche logarithmique par rapport aux algorithmes linéaires, en soulignant l'importance de la modélisation des données et le compromis entre le tri et les coûts de recherche.
Récupération d'information: Indexation et récupération
Couvre les techniques d'indexation, les algorithmes de récupération distribués et les défis dans l'indexation web à grande échelle.
Systèmes complexes : phénomènes critiques
Explore les phénomènes critiques dans les systèmes complexes, y compris les objets stochastiques, la percolation et l'optimisation combinatoire.
L'algorithme de Dijkstra: Tous les services
Couvre l'algorithme de Dijkstra et son application au problème de chemin le plus court de toutes les paires.
Récupération d'informations distribuées
Explore la récupération d'informations centralisées et distribuées, y compris l'algorithme de Fagin pour une identification efficace des documents.
Rétrosynthèse : Déconnexions C-C aux groupes fonctionnels
Couvre les principes de la rétrosynthèse, les couplages croisés et les déconnexions de groupes fonctionnels.