Christine Garcia, Jean-Marc Fedou I3S (Nice, Sophia-Antipolis)

Présentation au sujet: "Christine Garcia, Jean-Marc Fedou I3S (Nice, Sophia-Antipolis)"— Transcription de la présentation:

1 Christine Garcia, Jean-Marc Fedou I3S (Nice, Sophia-Antipolis)
ECO Systèmes Christine Garcia, Jean-Marc Fedou I3S (Nice, Sophia-Antipolis)

2 PLAN Permutations à motif exclu ECO systèmes et règles de succession
Systèmes algébriques Règles de succession signées

3 Permutation Let be the set of permutations on For example

4 Arbre de génération 1234 1243 1423 4123 1324 1342 1432 4132 3124 3142 3412 4312 2134 2143 2413 4213 2314 2341 2431 4231 123 12 132 312 1 213 21 231 312

5 Pattern For a permutation  of k positive integers, the pattern of  is defined as a permutation on Sk obtained from  by substituting the minimum element by 1, the second minimum element by 2, ..., and the maximum element by k .

6 Restricted Permutation
For a permutation and a permutation , we say that is -avoiding if and only if there is no subsequence whose pattern is We write for the set of -avoiding permutations of

7 For example avoids 321 pattern. But contains 3412 pattern, since ; ;

8 For example

9 Stack Sorting Problem (Knuth, 1960’s)
312-avoiding 8 7 6 5 4 3 2 1

10 Arbre de génération 1234 1243 1423 4123 1324 1342 1432 4132 3124 3142 3412 4312 2134 2143 2413 4213 2314 2341 2431 4231 3214 3241 3421 4321 123 12 132 312 1 213 21 231 321

11 1 132 21 213 231 12 312 123 2341 1234 1342 3142 1324 1243 2143 2314 2413 2134 3412 3124 1423 4123

12 Question (Herbert Wilf, 1990’s)
How many permutations of length do avoid a given subsequence of length k ?

13 For k=3 In 1972, Hammersley gave the first explicit enumeration for
In 1973, Knuth first proved that is enumerated by Catalan numbers.

14 For k=4 J. West (1990), Z. Stankova (1990’s) classified
the permutations with forbidden patterns of length 4, i.e. 1234, 1243, 2143, 1432 1342, 2413 1324

15 For k=4 1234, 1243, 2143, 1432 In 1990, Ira M. Gessel gave the generating function by using symmetric functions. 1342, 2413 In 1997, M. Bόna gave the exactly formula. 1324 D. Marinov & R. Radoicic (2003) gave the first few numbers.

16 Open Problems

17 Conjecture ( Stanley and Wilf, 1990’s)
For each pattern , there is an absolute constant so that holds.

18 2 (3n)! /(n+1)!/(2n+1)! Cartes planaires pointées non séparables Tutte (1963) Permutations triables par deux piles et Sn(2341,35241) Zeilberger West Dulucq, Gire, Guibert, West

19 Cartes planaires pointées non séparables

20

21

22 PLAN Permutations à motif exclu ECO systèmes et règles de succession
Systèmes algébriques Règles de succession signées

23 ECO Systèmes Enumerating Combinatorial Object E. Barcucci, A. Del Lungo, E. Pergola, R. Pinzani (1997) Construction récursive Séries génératrices Bijections Génération aléatoire uniforme

24 Méthode ECO Pinzani, Barcucci (1997) On={objets de taille n}
Opérateurs T : On On+1 Pour chaque Q de On+1, il existe un P de On tel que Q est dans T(P). Si P1 et P2 sont deux objets distincts de On , alors T(P1) T(P2) = Ø U

25 Arbres binaires complets
Définition récursive classique ECO système

26 2 1 7 3 5 6 4 Sites actifs 7 5 6

27

28 ECO système (2) (k) … … k Sites actifs

29 ECO système … k Sites actifs (k) (k+1)

30 Arbres binaires complets
… … k Sites actifs (k) (2) (3)…(k+1)

31 2 3 4 5 (2) (k)  (2)(3)…(k)(k+1)

32 Règle de succession Axiome : un entier a
Règle : une fonction successeur de N dans P(N) On s’intéresse à l’ensemble des mots de N* qui commencent par l’axiome où chaque lettre appartient au successeur de la précédente

33 ECO systèmes et Bijections

34 1 132 21 213 231 12 312 123 2341 1234 1342 3142 1324 1243 2143 2314 2413 2134 3412 3124 1423 4123

35 1 132 21 213 231 12 312 123 2341 1234 1342 3142 1324 1243 2143 2314 2413 2134 3412 3124 1423 4123

36 Règles de succession et Séries génératrices

37 Séries génératrices Si an désigne le nombre d’objets de « taille » n, la série génératrice des objets selon le paramètre « taille » est la fonction f(x) = n≥0 an xn Pour deux paramètres f(x,s) = n≥0, k≥0 an,k sk xn

38 ECO et séries génératrices
An,k nombre d’arbres à n sommets internes k sites actifs å = k n s x A F , ) ( x ns k x n+1 s 2+ x n+1 s 3+…+ x n+1 s k+1 x n+1 s 2 1-s (1-s k) F ( x , s ) = xs + 2 1 -

39 x1s2 x2(s2 +s3) x3(2s2 +2s3 +s4)

40 Catalan x1 2x2 5x3 14x3

41 ? Problème (R.Pinzani) Quels sont les systèmes ECO qui donnent :
Séries génératrices Rationnelles Séries génératrices Algébriques Séries génératrices Transcendantes On Generating Functions of Generating Trees C.Banderier, M.Bousquet-Mélou, A. Denise, P. Flajolet, D.Gardy, D.Gouyou-Beauchamps (1999) ?

42 Séries génératrices Rationnelles
Les séries génératrices pour les règles ECO finies sont rationnelles Exemple : (1)(2), (2)(1)(2) Fibonacci

43 Séries génératrices Algébriques
Transformations finies de (k)  (2)(3)…(k)(k+1) (2), (k)(2)(3)…(k)(k+1) Catalan (1), (k)(1)(2)…(k-1)(k+1) Motzkin (3), (k)(3)(4)…(k)(k+1)2 Schröder (3), (k)(3)(4)…(k)(k+1)(k+2) Arbres ternaires

44 Séries génératrices exponentielles
(2), (k)(k-1) k-1 (k+1) Involutions (2), (k)(k)(k+1) k-1 Arrangements (2), (k)(k+1)k Permutations Séries génératrices exponentielles pour les ECO systèmes signés Sylvie Corteel (2000)

45 Règles de succession et Génération aléatoire uniforme

46 ECO et Génération aléatoire
1 2 2 3 4 5 (k) (2) (3)…(k+1) (2) , 1 2 2 5 1 3 1 3 1 3 3 5 5 14 1 2 1 2 2 9 1 3 9 3 9 1 3 14 1 3 4 9 1 4 1 4 1 4 1 4

47 Problèmes ouverts Equivalence de règles de succession Forme normale