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

De Wiki du LAMA (UMR 5127)
Aller à la navigation Aller à la recherche
mAucun résumé des modifications
Aucun résumé des modifications
Ligne 9 : Ligne 9 :
== Complexité ==
== Complexité ==


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 <b>l'efficacité des fonctions</b>. La complexité dépend de différents critères tel que par exemple :


* 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.
* 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.
Ligne 19 : Ligne 19 :
* ainsi que beaucoup d'autre paramètre...
* ainsi que beaucoup d'autre paramètre...



Pour montrer cela nous allons utilisée un exemple, deux fonction identiter
== Langages utilisés ==
== Langages utilisés ==



Version du 25 avril 2025 à 13:58

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


Pour montrer cela nous allons utilisée un exemple, deux fonction identiter

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