« Introduction à la complexité et sa formalisation » : différence entre les versions
Aller à la navigation
Aller à la recherche
Aucun résumé des modifications |
Aucun résumé des modifications |
||
| Ligne 7 : | Ligne 7 : | ||
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é. |
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é == |
|||
== Qu'est ce que la complexité ? == |
|||
== |
== Langages utilisés == |
||
=== OCaml === |
=== OCaml === |
||
| Ligne 15 : | Ligne 15 : | ||
=== Agda (Calf) === |
=== Agda (Calf) === |
||
== |
== Tri en OCaml == |
||
=== |
=== Trie par insertion en OCaml === |
||
=== Trie par fusion en OCaml === |
|||
== Complexité en Agda/Calf == |
|||
=== Tri fusion === |
|||
==== Tri fusion en OCaml ==== |
|||
==== Tri fusion en Agda (Calf) ==== |
|||
=== Deux fonctions « identité » === |
|||
== Conclusion == |
== Conclusion == |
||
Version du 25 avril 2025 à 12:51
É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é.