An integer linear programming model for tilings

DOI10.1080/17459737.2023.2180812MaRDI QIDQ6137220zbMATH OpenFDO

Authors Gennaro Auricchio, Luca Ferrarini, Greta Lanzarotto

Publication date 18 January 2024

Published in Journal of Mathematics and Music (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2107.04108

zbMATH Keywords

integer linear programmingtiling problemsVuza canonsmathematics and music(T2) conjecture

Mathematics Subject Classification ID

Linear programming (90C05) Tilings in (2) dimensions (aspects of discrete geometry) (52C20) Mathematics and music (00A65)

Abstract: 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.

Recommendations

• Algorithms for translational tiling
• A SAT encoding to compute aperiodic tiling rhythmic canons
• Tiling the integers with aperiodic tiles
• Combinatorial and harmonic-analytic methods for integer tilings

Cites work

• scientific article; zbMATH DE number 5127224 (Why is no real title available?)
• scientific article; zbMATH DE number 1312984 (Why is no real title available?)
• scientific article; zbMATH DE number 2202929 (Why is no real title available?)
• scientific article; zbMATH DE number 2202930 (Why is no real title available?)
• scientific article; zbMATH DE number 3058897 (Why is no real title available?)
• scientific article; zbMATH DE number 3079616 (Why is no real title available?)
• scientific article; zbMATH DE number 3081728 (Why is no real title available?)
• A Linear Programming Approach to the Cutting-Stock Problem
• A SAT encoding to compute aperiodic tiling rhythmic canons
• Algorithms for translational tiling
• An Automatic Method of Solving Discrete Programming Problems
• Complex Hadamard matrices and the spectral set conjecture
• Cutting planes in integer and mixed integer programming
• Ein Beitrag zum Problem der Faktorisation von endlichen Abelschen Gruppen
• Extended Vuza canons
• Integer Programming
• On the factorisation of finite abelian groups. III
• Rhythmic canons and Galois theory
• Rédei-matrices and applications
• The Coven-Meyerowitz tiling conditions for 3 odd prime factors
• Tiling the integers with translates of one finite set

Cited in

(1)

• Renaissance canons with asymmetric schemes

This page was built for publication: An integer linear programming model for tilings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6137220)