An Integer Linear Programming Model for Tilings

In this paper, we propose an Integer Linear Model whose solutions are the aperiodic rhythms tiling with a given rhythm A. We show how this model can be used to efficiently check the necessity of the Coven-Meyerowitz's \((T2)\) condition and also to define an iterative algorithm that finds all t...

Full description

Saved in:
Bibliographic Details
Published inarXiv.org
Main Authors Auricchio, Gennaro, Ferrarini, Luca, Lanzarotto, Greta
Format Paper
LanguageEnglish
Published Ithaca Cornell University Library, arXiv.org 13.07.2021
Subjects
Online AccessGet full text

Cover

Loading…
More Information
Summary:In this paper, we propose an Integer Linear Model whose solutions are the aperiodic rhythms tiling with a given rhythm A. We show how this model can be used to efficiently check the necessity of the Coven-Meyerowitz's \((T2)\) condition and also to define an iterative algorithm that finds all the possible tilings of the rhythm A. To conclude, we run several experiments to validate the time efficiency of this model.
ISSN:2331-8422