« INFO003 C1 : Analyse d'algorithmes » : différence entre les versions
Aller à la navigation
Aller à la recherche
Aucun résumé des modifications |
Aucun résumé des modifications |
||
| (8 versions intermédiaires par le même utilisateur non affichées) | |||
| Ligne 7 : | Ligne 7 : | ||
<li> [https://www.lama.univ-savoie.fr/pagesmembres/tavenas/info704/S1Cours/CM1.pdf Introduction] |
<li> [https://www.lama.univ-savoie.fr/pagesmembres/tavenas/info704/S1Cours/CM1.pdf Introduction] |
||
<li> [https://www.lama.univ-savoie.fr/pagesmembres/tavenas/info704/S1Cours/grandO.pdf Grand-O de la notation de Landau] |
<li> [https://www.lama.univ-savoie.fr/pagesmembres/tavenas/info704/S1Cours/grandO.pdf Grand-O de la notation de Landau] |
||
<li> [https://www.lama.univ-savoie.fr/pagesmembres/tavenas/info704/S2TD/rappelsLog.pdf Fonctions mathématiques de base : polynômes, |
<li> [https://www.lama.univ-savoie.fr/pagesmembres/tavenas/info704/S2TD/rappelsLog.pdf Fonctions mathématiques de base : polynômes, exponentielles et logarithmes] |
||
</ul> |
</ul> |
||
| Ligne 27 : | Ligne 27 : | ||
<h3>Problème de livraison par drones :</h3> |
<h3>Problème de livraison par drones :</h3> |
||
[https://www.lama.univ-savoie.fr/pagesmembres/tavenas/Cours_M2/ |
[https://www.lama.univ-savoie.fr/pagesmembres/tavenas/Cours_M2/Courrier_par_drones/tp.pdf Ancien sujet de TP] <br> |
||
[https://www.lama.univ-savoie.fr/pagesmembres/tavenas/Cours_M2/ |
[https://www.lama.univ-savoie.fr/pagesmembres/tavenas/Cours_M2/Courrier_par_drones/solveTSP.py algorithmes] <br> |
||
Exemples d'entrées : |
Exemples d'entrées : |
||
[https://www.lama.univ-savoie.fr/pagesmembres/tavenas/Cours_M2/ |
[https://www.lama.univ-savoie.fr/pagesmembres/tavenas/Cours_M2/Courrier_par_drones/Cities10 Taille 10], |
||
[https://www.lama.univ-savoie.fr/pagesmembres/tavenas/Cours_M2/ |
[https://www.lama.univ-savoie.fr/pagesmembres/tavenas/Cours_M2/Courrier_par_drones/Cities15 Taille 15], |
||
[https://www.lama.univ-savoie.fr/pagesmembres/tavenas/Cours_M2/ |
[https://www.lama.univ-savoie.fr/pagesmembres/tavenas/Cours_M2/Courrier_par_drones/Cities20 Taille 20], |
||
[https://www.lama.univ-savoie.fr/pagesmembres/tavenas/Cours_M2/ |
[https://www.lama.univ-savoie.fr/pagesmembres/tavenas/Cours_M2/Courrier_par_drones/Cities100 Taille 100] |
||
<h3>Autour de la NP-complétude</h3> |
|||
[https://www.lama.univ-savoie.fr/pagesmembres/tavenas/Cours_M2/ClassesComplexite/ClassesComplexite.pdf Notes sur les classes P et NP]<br> |
|||
[https://www.lama.univ-savoie.fr/pagesmembres/tavenas/Cours_M2/ClassesComplexite/ExerciceNPcompletude.pdf Exercices sur la NP-complétude]<br> |
|||
[https://www.lama.univ-savoie.fr/pagesmembres/tavenas/Cours_M2/ClassesComplexite/examen2020.pdf Examen du cours donné en 2020] |
|||
| Ligne 63 : | Ligne 69 : | ||
[https://www.lama.univ-savoie.fr/pagesmembres/tavenas/Cours_M2/TP1/Pb3/partie_100 Exemple de taille 100] |
[https://www.lama.univ-savoie.fr/pagesmembres/tavenas/Cours_M2/TP1/Pb3/partie_100 Exemple de taille 100] |
||
</ul> |
</ul> |
||
<h3>TP2 : </h3> |
|||
[https://www.lama.univ-savoie.fr/pagesmembres/tavenas/Cours_M2/TP2/tp-part-1.pdf Énoncé partie 1] <br> |
|||
Un générateur d'entrées ainsi que des entrées toutes faites sont données : <br> |
|||
[https://www.lama.univ-savoie.fr/pagesmembres/tavenas/Cours_M2/TP2/generator.py generator.py], <br> |
|||
[https://www.lama.univ-savoie.fr/pagesmembres/tavenas/Cours_M2/TP2/3C_vrai.txt 3C_vrai.txt], |
|||
[https://www.lama.univ-savoie.fr/pagesmembres/tavenas/Cours_M2/TP2/3C_vrai20.txt 3C_vrai20.txt], |
|||
[https://www.lama.univ-savoie.fr/pagesmembres/tavenas/Cours_M2/TP2/3C_vrai25.txt 3C_vrai25.txt], |
|||
[https://www.lama.univ-savoie.fr/pagesmembres/tavenas/Cours_M2/TP2/3C_faux20.txt 3C_faux20.txt]. <br> |
|||
<br> |
|||
[https://www.lama.univ-savoie.fr/pagesmembres/tavenas/Cours_M2/TP2/tp-part-2.pdf Énoncé partie 2] <br> |
|||
Des templates pour l'utilisation des SAT-solvers <b>Picosat</b> et <b>Pycosat</b> sont donnés: <br> |
|||
[https://www.lama.univ-savoie.fr/pagesmembres/tavenas/Cours_M2/TP2/solveClique.cpp Template pour c++], |
|||
[https://www.lama.univ-savoie.fr/pagesmembres/tavenas/Cours_M2/TP2/solveClique.py Template pour Python] |
|||
Dernière version du 16 novembre 2022 à 09:58
Responsable 2022 : Sébastien Tavenas
Adresse courriel : sebastien.tavenas@univ-smb.fr
Quelques ressources introductives :
- Introduction
- Grand-O de la notation de Landau
- Fonctions mathématiques de base : polynômes, exponentielles et logarithmes
Des ressources sur la complexité d'un algorithme récursif :
- Théorème général
- Exercices sur la complexité des fonctions récursives
- Correction de l'exercice 4
- distance minimale
Programmation dynamique :
- Programme de découpe de barres
- Levenshtein (vous pouvez utiliser le fichier animaux comme dictionnaire)
Problème de livraison par drones :
Ancien sujet de TP
algorithmes
Exemples d'entrées :
Taille 10,
Taille 15,
Taille 20,
Taille 100
Autour de la NP-complétude
Notes sur les classes P et NP
Exercices sur la NP-complétude
Examen du cours donné en 2020
TP1 :
Énoncé
Vous pouvez (conseillé) utiliser les outils suivants :
graphChronoGenerator.py et parametresGraphChronoGenerator.json
Les fichiers précédents permettent de de ne pas mesurer le temps de génération des entrées et seulement le temps de calcul, mais en cas de soucis, vous pouvez utiliser ces (petites) variations :
graphChrono.py et parametresGraphChrono.json
Fichiers pour le problème 1
- Trame (en fonction de votre langage) : c++, python, java, c#
- Générateur d'entrées
Fichiers pour le problème 2
- Générateur d'entrées : Générateur d'entrées
- Exemple d'entrée : Exemple de taille 25
Fichiers pour le problème 3
- Générateur d'entrées : Générateur d'entrées
- Exemple d'entrée : Exemple de taille 10, Exemple de taille 23, Exemple de taille 100
TP2 :
Énoncé partie 1
Un générateur d'entrées ainsi que des entrées toutes faites sont données :
generator.py,
3C_vrai.txt,
3C_vrai20.txt,
3C_vrai25.txt,
3C_faux20.txt.
Énoncé partie 2
Des templates pour l'utilisation des SAT-solvers Picosat et Pycosat sont donnés:
Template pour c++,
Template pour Python