diff --git a/README.md b/README.md index 8aaef4d..f853b87 100644 --- a/README.md +++ b/README.md @@ -72,11 +72,24 @@ Les fichiers `.ipynb` peuvent ĂȘtre ouverts avec : - 📖 [Glossaire](GLOSSAIRE.md) (lexique des termes techniques) - 📂 [Ressources complĂ©mentaires](ressources/) (vidĂ©os, PDF, liens utiles) -## Licence - -Ce cours est sous licence [Creative Commons BY-NC-SA 4.0](LICENCE.md). -Vous pouvez le rĂ©utiliser et le modifier librement en citant l'auteur, pour un usage non commercial. - --- -*Florian Mathieu - LycĂ©e Charlotte Perriand* +**Auteur** : Florian Mathieu +**Licence** : CC BY-NC-SA 4.0 + + + Licence Creative Commons + + +Ce cours est mis Ă  disposition selon les termes de la [Licence Creative Commons Attribution - Pas d'Utilisation Commerciale - Partage dans les MĂȘmes Conditions 4.0 International](http://creativecommons.org/licenses/by-nc-sa/4.0/). + +## Vous ĂȘtes autorisĂ© Ă  : + +- **Partager** — copier, distribuer et communiquer le matĂ©riel par tous moyens et sous tous formats +- **Adapter** — remixer, transformer et crĂ©er Ă  partir du matĂ©riel + +## Selon les conditions suivantes : + +- **Attribution** — Vous devez crĂ©diter l'auteur, intĂ©grer un lien vers la licence et indiquer si des modifications ont Ă©tĂ© effectuĂ©es +- **Pas d'Utilisation Commerciale** — Vous n'ĂȘtes pas autorisĂ© Ă  faire un usage commercial de ce matĂ©riel +- **Partage dans les MĂȘmes Conditions** — Si vous remixez ou transformez le matĂ©riel, vous devez diffuser vos contributions sous la mĂȘme licence diff --git a/algorithmes/TRIS.md b/algorithmes/TRIS.md index ecb7c58..a6ba36f 100644 --- a/algorithmes/TRIS.md +++ b/algorithmes/TRIS.md @@ -101,11 +101,11 @@ Le tri par insertion est *naturel* dans l'esprit : on parcourt le tableau de la Une preuve de correction de l'algorithme est la propriĂ©tĂ© *p(i)* : "le tableau est triĂ© jusqu'Ă  la case n°i" : cette propriĂ©tĂ© est vraie **avant** et **aprĂšs** chaque tour de boucle : c'est ce qu'on appelle ***Invariant de boucle*** -À l'inverse, le **variant** de boucle est une expression dans la valeur varie Ă  chaque tour de boucle et qui doit justement permettre de mettre fin Ă  la-dite boucle : le variant d'un algorithme de tri sera alors la taille de la liste restante Ă  trier. +À l'inverse, le **variant** de boucle est une expression dont la valeur varie Ă  chaque tour de boucle et qui doit justement permettre de mettre fin Ă  la-dite boucle : le variant d'un algorithme de tri sera alors la taille de la liste restante Ă  trier. ### ComplexitĂ© -Dans le pire des cas (Ă©lĂ©ments classĂ©s par ordre dĂ©croissant), la boucle while effectue 2n opĂ©rations : chaque tour de boucle for compte pour 2n + 3, rĂ©pĂ©rĂ©es n - 1 fois. On a donc (n - 1) (2n + 3). +Dans le pire des cas (Ă©lĂ©ments classĂ©s par ordre dĂ©croissant), la boucle while effectue 2n opĂ©rations : chaque tour de boucle for compte pour 2n + 3, rĂ©pĂ©tĂ©es n - 1 fois. On a donc (n - 1) (2n + 3). L'ordre de grandeur est donc de n2 : on aura donc un coĂ»t **quadratique** dans le pire des cas.