Abstract
We consider the problem of tiling a segment {0, ..., n} of the discrete line. More precisely, we ought to characterize the structure of the patterns that tile a segment and their number. A pattern is a subset of ℕ. A tiling pattern or tile for {0, ..., n} is a subset \(A \in {{\mathcal P}({\mathbb{N}})}\) such that there exists \(B \in {{\mathcal P}({\mathbb{N}})}\) and such that the direct sum of A and B equals {0, ..., n}. This problem is related to the difficult question of the decomposition in direct sums of the torus ℤ/nℤ (proposed by Minkowski). Using combinatorial and algebraic techniques, we give a new elementary proof of Krasner factorizations. We combinatorially prove that the tiles are direct sums of some arithmetic sequences of specific lengths. Besides, we show there are as many tiles whose smallest tilable segment is {0, ..., n} as tiles whose smallest tilable segment is {0, ..., d}, for all strict divisors d of n. This enables us to exhibit an optimal linear time algorithm to compute for a given pattern the smallest segment that it tiles if any, as well as a recurrence formula for counting the tiles of a segment.
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Beauquier, D., Nivat, M.: Tiling the plane with one tile. In: Proc. 6th Annual Symposium on Computational Geometry (SGC 1990), Berkeley, CA, pp. 128–138. ACM Press, New York (1990)
Beauquier, D., Nivat, M., Remila, E., Robson, J.M.: Tiling figures of the plane with two bars. Computational Geometry: Theory and Applications 5 (1996)
Berger, R.: The undecidability of the domino problem. Mem. Amer. Math. Soc. 66, 1–72 (1966)
Coven, E.M., Meyerowitz, A.D.: Tiling the integers with translates of one finite set. Journal of Algebra 212, 161–174 (1999)
Culik II, K., Kari, J.: On Aperiodic Sets of Wang Tiles. In: Freksa, C., Jantzen, M., Valk, R. (eds.) Foundations of Computer Science. LNCS, vol. 1337, pp. 153–162. Springer, Heidelberg (1997)
de Bruijn, N.G.: On bases for the set of intergers. Publ. Math. Debrecen 1, 232–242 (1950)
De Felice, C.: An application of Hajós factorizations to variable-length codes. Theoretical Computer Science 164(1–2), 223–252 (1996)
Fuchs, L.: Abelian Groups. Oxford Univ. Press, Oxford (1960)
Hajós, G.: Sur la factorisation des groupes abéliens. Cas. Mat. Fys. 74(3), 157–162 (1950)
Hajós, G.: Sur le problème de factorisation des groupes cycliques. Acta Math. Acad. Sci. Hung. 1, 189–195 (1950)
Krasner, M., Ranulak, B.: Sur une propriété des polynômes de la division du cercle. Comptes rendus de l’Académie des Sciences Paris 240, 397–399 (1937)
Lagarias, J.C., Wang, Y.: Tiling the line with translates of one tile. Inventiones Mathematicae 124(1-3), 341–365 (1996)
Lam, N.H.: Hajós factorizations and completion of codes. Theoretical Computer Science 182(1–2), 245–256 (1997)
Lang, S.: Algebraic Number Theory, 2nd edn. Graduate Texts in Mathematics, vol. 110. Addison-Wesley Publishing Company, Reading (2000)
Penrose, R.: Pentaplexy. Bulletin of the Institute of Mathematics and its Applications 10, 266–271 (1974)
Sloane, N.J.A.: The On-Line Encyclopedia of Integer Sequences (2004), available at: http://www.research.att.com/~njas/sequences/
Stein, S.K., Szabo, S.: Algebra and Tiling: Homomorphisms in the Service of Geometry. Carus Mathematical Monograph, vol. 25, MAA (1994)
Szabo, S.: Topics in factorization of abelian groups. Birkhauser, Basel (2004)
Thiant, N.: An O(n logn)-algorithm for finding a domino tiling of a plane picture whose number of holes is bounded. Theorical Computer Sciences 303(2-3), 353–374 (2003)
Thurston, W.P.: Conway’s tiling groups. Am. Math. Monthly, 757–773 (October 1990)
Tijdeman, R.: Decomposition of the integers as a direct sum of two subsets. In: David, S. (ed.) Number Theory, pp. 261–276. Oxford Univ. Press, Oxford (1995)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bodini, O., Rivals, E. (2006). Tiling an Interval of the Discrete Line. In: Lewenstein, M., Valiente, G. (eds) Combinatorial Pattern Matching. CPM 2006. Lecture Notes in Computer Science, vol 4009. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11780441_12
Download citation
DOI: https://doi.org/10.1007/11780441_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-35455-0
Online ISBN: 978-3-540-35461-1
eBook Packages: Computer ScienceComputer Science (R0)