« 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 4 : Ligne 4 :


== Introduction ==
== 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é.


== Qu'est ce que la complexité ? ==
== Qu'est ce que la complexité ? ==

Version du 24 avril 2025 à 16:29

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

Qu'est ce que la complexité ?

Langage utilisé

OCaml

Agda (Calf)

Fonction choisie et complexité

Tri par insertion

Tri par insertion en OCaml

Tri par insertion en Agda (Calf)

Tri fusion

Tri fusion en OCaml

Tri fusion en Agda (Calf)

Conclusion