An integer linear programming model for tilings

DOI10.1080/17459737.2023.2180812arXiv2107.04108MaRDI QIDQ6137220FDOQ6137220

Gennaro Auricchio, Greta Lanzarotto, Luca Ferrarini

Publication date: 18 January 2024

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

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.

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)

Cites Work

• A Linear Programming Approach to the Cutting-Stock Problem
• An Automatic Method of Solving Discrete Programming Problems
• Title not available (Why is that?)
• Complex Hadamard matrices and the spectral set conjecture
• Tiling the integers with translates of one finite set
• Ein Beitrag zum Problem der Faktorisation von endlichen Abelschen Gruppen
• Title not available (Why is that?)
• Cutting planes in integer and mixed integer programming
• Rédei-matrices and applications
• Integer Programming
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the factorisation of finite abelian groups. III
• Title not available (Why is that?)
• Extended Vuza canons
• A SAT encoding to compute aperiodic tiling rhythmic canons
• Algorithms for translational tiling
• The Coven-Meyerowitz tiling conditions for 3 odd prime factors
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)

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)