• Title of article

    Enumeration of (uni- or bicolored) plane trees according to their degree distribution Original Research Article

  • Author/Authors

    Gilbert Labelle، نويسنده , , Pierre Leroux، نويسنده ,

  • Issue Information
    روزنامه با شماره پیاپی سال 1996
  • Pages
    14
  • From page
    227
  • To page
    240
  • Abstract
    The main object of this paper is to give explicit formulas for the number of unlabelled bicolored (unrooted) plane trees with given degree distributions (1i12i2…; 1j12j2…). These trees are closely related to the Shabat polynomials, i.e., polynomials over C having at most two critical values (cf. Shabat and Zvonkin, 1994). In the case of planted trees (i.e., rooted at a leaf), this problem was solved by Tutte in 1964, using multivariate Lagrange inversion. Here the key to the solution is the dissymmetry theorem for enriched trees which takes a particularly simple form in the bicolored case and which allows one to get rid of the rooting. We also enumerate those trees in the labelled case, in the unicolored case, as well as when the automorphism group (necessarily cyclic) is of order h equal to (or a multiple of) a given integer k ⩾ 1. Résumé Lʹobjectif principal de ce texte est de donner des formules explicites pour le nombre de types dʹisomorphie dʹarbres plans bicolorés ayant une double distribution (1i12i2…;1j12j2…) de degrés donnés à lʹavance. Ces arbres sont en étroite relation avec les polynômes de Shabat, cʹest-à-dire les polynômes sur C ayant au plus deux valeurs critiques (cf. Shabat and Zvonkin, 1994). Dans le cas des arbres enracinés (pointés en une feuille), ce problème a été résolu par Tutte en 1964 à lʹaide de lʹinversion de Lagrange multivariée. Ici la clé de la solution réside dans le théorème de dissymétrie pour les arbres enrichis qui, dans le cas bicoloré, prend une forme particulièrement simple et qui permet de se défaire du pointage. Nous dénombrons également ces arbres dans le cas étiqueté, dans le cas unicoloré, ainsi que lorsque le groupe dʹautomorphismes, nécessairement cyclique, est dʹun ordre h égal à (ou multiple de) un entier k ⩾ 1 donné.
  • Journal title
    Discrete Mathematics
  • Serial Year
    1996
  • Journal title
    Discrete Mathematics
  • Record number

    943933