Geodesic
Culminating paths
Discrete mathematics & theoretical computer science, Tome 10 (2007-2008) no. 2.

Voir la notice de l'article provenant de la source Episciences

Let a and b be two positive integers. A culminating path is a path of Z^2 that starts from (0,0), consists of steps (1,a) and (1,-b), stays above the x-axis and ends at the highest ordinate it ever reaches. These paths were first encountered in bioinformatics, in the analysis of similarity search algorithms. They are also related to certain models of Lorentzian gravity in theoretical physics. We first show that the language on a two letter alphabet that naturally encodes culminating paths is not context-free. Then, we focus on the enumeration of culminating paths. A step by step approach, combined with the kernel method, provides a closed form expression for the generating fucntion of culminating paths ending at a (generic) height k. In the case a=b, we derive from this expression the asymptotic behaviour of the number of culminating paths of length n. When a>b, we obtain the asymptotic behaviour by a simpler argument. When a= b, with no precomputation stage nor non-linear storage required. The choice of the best algorithm is not as clear when a 
@article{DMTCS_2007_10_2_a3,
     author = {Bousquet-M\'elou, Mireille and Ponty, Yann},
     title = {Culminating paths},
     journal = {Discrete mathematics & theoretical computer science},
     publisher = {mathdoc},
     volume = {10},
     number = {2},
     year = {2007-2008},
     doi = {10.46298/dmtcs.438},
     language = {en},
     url = {http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.438/}
}
TY  - JOUR
AU  - Bousquet-Mélou, Mireille
AU  - Ponty, Yann
TI  - Culminating paths
JO  - Discrete mathematics & theoretical computer science
PY  - 2007-2008
VL  - 10
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.438/
DO  - 10.46298/dmtcs.438
LA  - en
ID  - DMTCS_2007_10_2_a3
ER  - 
%0 Journal Article
%A Bousquet-Mélou, Mireille
%A Ponty, Yann
%T Culminating paths
%J Discrete mathematics & theoretical computer science
%D 2007-2008
%V 10
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.438/
%R 10.46298/dmtcs.438
%G en
%F DMTCS_2007_10_2_a3
Bousquet-Mélou, Mireille; Ponty, Yann. Culminating paths. Discrete mathematics & theoretical computer science, Tome 10 (2007-2008) no. 2. doi : 10.46298/dmtcs.438. http://geodesic.mathdoc.fr/articles/10.46298/dmtcs.438/

Cité par Sources :