An Optimal Algorithm for Detecting Pseudo-squares
Résumé
We consider the problem of determining if a given word, which encodes the boundary of a discrete figure, tiles the plane by translation. These words have been characterized by the Beauquier-Nivat condition, for which we provide a linear time algorithm in the case of pseudo-square polyominoes, improving the previous quadratic algorithm of Gambini and Vuillon.