463
Comment:
|
1871
|
Deletions are marked like this. | Additions are marked like this. |
Line 1: | Line 1: |
Page de préparation des cours de combinatoire énumérative et de Sage a Lyon en janvier 2016. | Page de préparation des cours de combinatoire algébrique et énumérative et de Sage a Lyon en janvier 2016. |
Line 4: | Line 4: |
== Partie Combinatoire énumérative == | Programme des (autres) enseignements: * L3 http://www.ens-lyon.fr/DI/?page_id=18 * M1 http://www.ens-lyon.fr/DI/?page_id=4036&lang=en * M2 http://www.ens-lyon.fr/DI/?page_id=16 |
Line 6: | Line 9: |
Cours donné par Viviane en rapport : https://www.lri.fr/~pons/en/eaump.php | |
Line 7: | Line 11: |
== Partie Sage == | == Partie Combinatoire algébrique et énumérative == juste quelque idees en vrac == Structures arborescentes == * arbres numerotes (Joyal, Prüfer) * nombres de Catalan, arbres binaires, triangulations, mots de Dyck, arbres planaires * series generatrices et techniques de decompositions, éviter tant que possible l'analyse complexe * cartes, lien avec les arbres, asymptotique (rq: les graphes non plonges ont probablement ete deja bien vus a Lyon donc plutot hors sujet, voir par exemple http://www.ens-lyon.fr/DI/?p=87 et http://oc.inpg.fr/esperet/cours/cr17.html) * inversion de Lagrange, asymptotique, théorème de transfert (énoncé) * hauteur moyenne d'un arbre binaire aléatoire. * une application en analyse d'algorithmes ? * ? == Partie Combinatoire algébrique == * actions de groupes comme moyen de comprendre les symmetries et compter en fonction, Polya * partitions, fonctions symetriques * posets * carquois * ? == Partie Sage == |
Line 11: | Line 38: |
* Prise en main, trouver de l'aide * Coercion * Représentation des nombres * Methodes de résolution de problèmes difficiles |
* Prise en main, trouver de l'aide (ok) * Coercion (ok) * Représentation des nombres reels et complexes (en cours, Thierry) * formulation MILP de problemes combinatoires (ok) * Methodes de résolution de problèmes difficiles, illustres sur le probleme de la pavabilite des polyominos (en cours, Thierry) |
Line 21: | Line 49: |
* ? |
Page de préparation des cours de combinatoire algébrique et énumérative et de Sage a Lyon en janvier 2016.
Programme des (autres) enseignements:
Cours donné par Viviane en rapport : https://www.lri.fr/~pons/en/eaump.php
Partie Combinatoire algébrique et énumérative
juste quelque idees en vrac
Structures arborescentes
- arbres numerotes (Joyal, Prüfer)
- nombres de Catalan, arbres binaires, triangulations, mots de Dyck, arbres planaires
- series generatrices et techniques de decompositions, éviter tant que possible l'analyse complexe
cartes, lien avec les arbres, asymptotique (rq: les graphes non plonges ont probablement ete deja bien vus a Lyon donc plutot hors sujet, voir par exemple http://www.ens-lyon.fr/DI/?p=87 et http://oc.inpg.fr/esperet/cours/cr17.html)
- inversion de Lagrange, asymptotique, théorème de transfert (énoncé)
- hauteur moyenne d'un arbre binaire aléatoire.
- une application en analyse d'algorithmes ?
- ?
Partie Combinatoire algébrique
- actions de groupes comme moyen de comprendre les symmetries et compter en fonction, Polya
- partitions, fonctions symetriques
- posets
- carquois
- ?
Partie Sage
Propositions de thèmes à aborder
- Prise en main, trouver de l'aide (ok)
- Coercion (ok)
- Représentation des nombres reels et complexes (en cours, Thierry)
- formulation MILP de problemes combinatoires (ok)
- Methodes de résolution de problèmes difficiles, illustres sur le probleme de la pavabilite des polyominos (en cours, Thierry)
- brute force
- Backtracking, dancing links
- MILP
- Chaines de Markov
- what else ?
- Contribuer
- ?