« Introduction à la complexité et sa formalisation » : différence entre les versions

De Wiki du LAMA (UMR 5127)
Aller à la navigation Aller à la recherche
Aucun résumé des modifications
Aucun résumé des modifications
Ligne 11 : Ligne 11 :
La complexité permet de mesurer l'efficacité des fonctions. La complexité dépend de différents critères tel que par exemple :
La complexité permet de mesurer l'efficacité des fonctions. La complexité dépend de différents critères tel que par exemple :


* <b>le temps de calcul séquentiel</b> , c'est a dire le temps qui es mis pour exécuter toute les instructions une par une.
* le temps de </b>calcul séquentiel</b> , c'est a dire le temps qui es mis pour exécuter toute les instructions une par une.


* <b>le temps de calcul parallèle</b> , c'est a dire le temps qui es mis pour exécuter toute les instructions avec plusieurs processeur donc avec des opération exécuté en simultané.
* le temps de <b>calcul parallèle</b> , c'est a dire le temps qui es mis pour exécuter toute les instructions avec plusieurs processeur donc avec des opération exécuté en simultané.


* <b>l'esapace disque nécessaire</b> a ces opération qui peut donc ralonger le temps d'execution d'une opérations.
* l'<b>esapace disque</b> nécessaire a ces opération qui peut donc ralonger le temps d'execution d'une opérations.


* ainsi que beaucoup d'autre paramètre...
* ainsi que beaucoup d'autre paramètre...

Version du 25 avril 2025 à 13:54

Étudiant : ALBRECHT Maël

Tuteur : HIRSCHOWITZ Tom

Introduction

Lorsque nous créons de grands programmes, l'optimisation de ceux-ci est importante pour diminuer le temps d'exécution et la longueur de ceux-ci. Pour cela, nous allons donc nous intéresser au principe de complexité.

Complexité

La complexité permet de mesurer l'efficacité des fonctions. La complexité dépend de différents critères tel que par exemple :

  • le temps de calcul séquentiel , c'est a dire le temps qui es mis pour exécuter toute les instructions une par une.
  • le temps de calcul parallèle , c'est a dire le temps qui es mis pour exécuter toute les instructions avec plusieurs processeur donc avec des opération exécuté en simultané.
  • l'esapace disque nécessaire a ces opération qui peut donc ralonger le temps d'execution d'une opérations.
  • ainsi que beaucoup d'autre paramètre...

Langages utilisés

OCaml

Agda (Calf)

Tri en OCaml

Trie par insertion en OCaml

Trie par fusion en OCaml

Complexité en Agda/Calf

Deux fonctions « identité »

Conclusion