An integer linear programming model for tilings
Gennaro Auricchio, Luca Ferrarini, Greta Lanzarotto · Journal of Mathematics and Music · 2023
In this paper, we propose an integer linear programming model whose solutions are the aperiodic rhythms tiling with a given rhythm A. We show how it can be used to define an iterative algorithm that, given a period n, finds all the rhythms which tile with a given rhythm A and also to efficiently check the necessity of the Coven-Meyerowitz condition (T2). To conclude, we run several experiments to validate the time efficiency of the model.