Two linear-time algorithms for computing the minimum length polygon of a digital contour

AbstractThe Minimum Length Polygon (MLP) is an interesting first order approximation of a digital contour. For instance, the convexity of the MLP is characteristic of the digital convexity of the shape, its perimeter is a good estimate of the perimeter of the digitized shape. We present here two novel equivalent definitions of MLP, one arithmetic, one combinatorial, and both definitions lead to two different linear time algorithms to compute them. This paper extends the work presented in Provençal and Lachaud (2009) [26], by detailing the algorithms and providing full proofs. It includes also a comparative experimental evaluation of both algorithms showing that the combinatorial algorithm is about 5 times faster than the other. We also checked the multigrid convergence of the length estimator based on the MLP

Computational aspects of tomographic and neuroscientific problems

4siopenopenBrunetti, S.; Dulio, P.; Frosini, A.; Rozenberg, G.Brunetti, S.; Dulio, P.; Frosini, A.; Rozenberg, G

Well-formed scales, non-well-formed words and the Christoffel duality

Tesis inédita de la Universidad Complutense de Madrid, Facultad de Ciencias Matemáticas, leída el 02-02-2016La presente tesis analiza las escalas musicales generadas desde la perspectiva y las técnicas que ofrece la combinatoria algebraica de palabras. La noción de escala musical es una de las más primitivas: intuitivamente se puede reducir a un conjunto de notas ordenadas seg un la frecuencia de su fundamental (altura del sonido). Ya desde tiempos de la Escuela Pitagórica se vio que al pulsar una cuerda tensa, los sonidos que mejor suenan juntos, los más consonantes, están determinados por unas longitudes de cuerda cuyas proporciones son números fraccionarios sencillos. El más consonante de ellos, la octava, tiene una relación de longitudes 2:1. Este intervalo es tan consonante, que muchas veces los sonidos cuyas frecuencias están separadas en una octava suenan indistinguibles. Es por ello por lo que al estudiar las escalas se suelen identificar las notas cuya distancia es de una o varias octavas. Como resultado, suele entenderse por escala un conjunto de notas dentro de un rango de una octava, transportando dicha secuencia al resto de octavas en caso de necesidad. La definición formal de escala se llevar a a cabo en la sección 2.2, donde se mostrar a como cada octava puede representarse geométricamente mediante una circunferencia unitaria o, aritméticamente, como el conjunto cociente R=Z, es decir, como el intervalo (0,1]. De esta forma, una escala queda determinada por un conjunto de números ordenados entre el 0 y el 1 o bien, geométricamente, por un polígono inscrito en el círculo unidad...Fac. de Ciencias MatemáticasTRUEunpu

Lyndon Factorization of Grammar Compressed Texts Revisited

We revisit the problem of computing the Lyndon factorization of a string w of length N which is given as a straight line program (SLP) of size n. For this problem, we show a new algorithm which runs in O(P(n, N) + Q(n, N)n log log N) time and O(n log N + S(n, N)) space where P(n, N), S(n,N), Q(n,N) are respectively the pre-processing time, space, and query time of a data structure for longest common extensions (LCE) on SLPs. Our algorithm improves the algorithm proposed by I et al. (TCS \u2717), and can be more efficient than the O(N)-time solution by Duval (J. Algorithms \u2783) when w is highly compressible

On the Size of Lempel-Ziv and Lyndon Factorizations

Peer reviewe

Efficient computation of the outer hull of a discrete path

We present here a linear time and space algorithm for computing the outer hull of any discrete path encoded by its Freeman chain code. The basic data structure uses an enriched version of the data structure introduced by Brlek, Koskas and Provençal: using quadtrees for representing points in the discrete plane ℤ×ℤ with neighborhood links, deciding path intersection is achievable in linear time and space. By combining the well-known wall follower algorithm for traversing mazes, we obtain the desired result with two passes resulting in a global linear time and space algorithm. As a byproduct, the convex hull is obtained as well