diff --git a/notations article meringer.md b/notations article meringer.md index 066d959c..3d30b0db 100644 --- a/notations article meringer.md +++ b/notations article meringer.md @@ -96,4 +96,15 @@ Chacune des propriétés définissant ces ensembles est invariante par isomorphi - = Si $\Gamma = \{ (1, 2), (1, 5), (4, 3) \}$ alors $P(\Gamma) = \{ \Gamma \cup \{ e \} | e > (4, 3) \} = \{ \Gamma \cup (4, 4), \Gamma \cup (4, 5), \Gamma \cup (5, 1), \Gamma \cup (5, 2), \Gamma \cup(5, 3), \Gamma \cup (5, 4), \Gamma \cup (5, 5) \}$ - I les graphes que l'on peut obtenir à partir de $\Gamma$ en ajoutant un arrête **plus grande que toutes les autres** dans l'ordre lexicographique - $P^{(n)}(\Gamma)$ : - - $P^{(1)}(\Gamma) = P(\Gamma)$ \ No newline at end of file + - $P^{(1)}(\Gamma) = P(\Gamma)$ + + +# Notes + +## Chaines des sims +Moyen récursif de passer en revue tous les éléments du [[groupe symétrique]]. +- $U_{i}= C_{U}(\{ 1,\dots,i \})$ permutations qui stabilisent $\{ 1, \dots, i \}$ dans $U$ ([[centralisateur d'une partie d'un groupe]]) +- $\displaystyle U_{i-1} = \bigsqcup _{j=1}^{l(i)} u_{i,j}U_{i}$ suite décroissante : $U_{i}, U_{i-1}, U_{i-2}$ +## code: +- `KAREK(tz)` où `tz` est la profondeur d'appel récursif +- \ No newline at end of file