English
Related papers

Related papers: Algorithms for translational tiling

200 papers

Let $X=X_1\sqcup X_2\sqcup\ldots\sqcup X_k$ be a partitioned set of variables such that the variables in each part $X_i$ are noncommuting but for any $i\neq j$, the variables $x\in X_i$ commute with the variables $x'\in X_j$. Given as input…

Computational Complexity · Computer Science 2024-04-12 V. Arvind , Abhranil Chatterjee , Partha Mukhopadhyay

Recently Taylor and Socolar introduced an aperiodic mono-tile. The associated tiling can be viewed as a substitution tiling. We use the substitution rule for this tiling and apply the algorithm of \cite{AL} to check overlap coincidence. It…

Metric Geometry · Mathematics 2012-12-19 Shigeki Akiyama , Jeong-Yup Lee

We show how to determine if a given simple rectilinear polygon can be tiled with rectangles, each having an integer side.

Combinatorics · Mathematics 2009-09-25 Richard Kenyon

A tromino tiling problem is a packing puzzle where we are given a region of connected lattice squares and we want to decide whether there exists a tiling of the region using trominoes with the shape of an L. In this work we study a slight…

Data Structures and Algorithms · Computer Science 2021-03-16 Javier T. Akagi , Eduardo A. Canale , Marcos Villagra

The complexity of several logics, such as Presburger arithmetic, dependence logics and ambient logics, can only be characterised in terms of alternating Turing machines. Despite quite natural, the presence of alternation can sometimes cause…

Logic in Computer Science · Computer Science 2021-10-13 Alessio Mansutti

We study the problem of covering R^d by overlapping translates of a convex body P, such that almost every point of R^d is covered exactly k times. Such a covering of Euclidean space by translations is called a k-tiling. The investigation of…

Combinatorics · Mathematics 2011-03-17 Nick Gravin , Sinai Robins , Dmitry Shiryaev

The problem of counting tilings of a plane region using specified tiles can often be recast as the problem of counting (perfect) matchings of some subgraph of an Aztec diamond graph A_n, or more generally calculating the sum of the weights…

Combinatorics · Mathematics 2007-05-23 James Propp

We study tilings of the plane composed of two repeating tiles of different assigned areas relative to an arbitrary periodic lattice. We classify isoperimetric configurations (i.e., configurations with minimal length of the interfaces) both…

Metric Geometry · Mathematics 2025-08-26 Francesco Nobili , Matteo Novaga , Emanuele Paolini

Boltzmann samplers and the recursive method are prominent algorithmic frameworks for the approximate-size and exact-size random generation of large combinatorial structures, such as maps, tilings, RNA sequences or various tree-like…

Combinatorics · Mathematics 2017-10-31 Maciej Bendkowski , Olivier Bodini , Sergey Dovgal

Two-dimensional random tilings of rhombi can be seen as projections of two-dimensional membranes embedded in hypercubic lattices of higher dimensional spaces. Here, we consider tilings projected from a $D$-dimensional space. We study the…

Statistical Mechanics · Physics 2016-08-31 N. Destainville , M. Widom , R. Mosseri , F. Bailly

In this document, we collected the most important complexity results of tilings. We also propose a definition of a so-called deterministic set of tile types, in order to capture deterministic classes without the notion of games. We also…

Computational Complexity · Computer Science 2019-08-22 François Schwarzentruber

The present article studies combinatorial tilings of Euclidean or spherical spaces by polytopes, serving two main purposes: first, to survey some of the main developments in combinatorial space tiling; and second, to highlight some new and…

Metric Geometry · Mathematics 2010-05-24 Egon Schulte

We consider weighted tiling systems to represent functions from graphs to a commutative semiring such as the Natural semiring or the Tropical semiring. The system labels the nodes of a graph by its states, and checks if the neighbourhood of…

Formal Languages and Automata Theory · Computer Science 2020-10-01 C. Aiswarya , Paul Gastin

It is well-known that the question of whether a given finite region can be tiled with a given set of tiles is NP-complete. We show that the same is true for the right tromino and square tetromino on the square lattice, or for the right…

Combinatorics · Mathematics 2007-05-23 Cristopher Moore , John Michael Robson

In this paper, we study two kinds of combinatorial objects, generalized integer partitions and tilings of two dimensional zonotopes, using dynamical systems and order theory. We show that the sets of partitions ordered with a simple…

Combinatorics · Mathematics 2025-10-20 M. Latapy

Altenbernd, Thomas and W\"ohrle have considered acceptance of languages of infinite two-dimensional words (infinite pictures) by finite tiling systems, with usual acceptance conditions, such as the B\"uchi and Muller ones [1]. It was proved…

Computational Complexity · Computer Science 2009-08-04 Olivier Finkel

We present a construction of a family of non-periodic tilings using elementary tools such as modular arithmetic and vector geometry. These tilings exhibit a distinct type of structural regularity, which we term modulo-staggered rotational…

Combinatorics · Mathematics 2025-06-10 Miki Imura

We prove algorithmic versions of the polynomial Freiman-Ruzsa theorem of Gowers, Green, Manners, and Tao (Annals of Mathematics, 2025) in additive combinatorics. In particular, we give classical and quantum polynomial-time algorithms that,…

Combinatorics · Mathematics 2025-09-03 Srinivasan Arunachalam , Davi Castro-Silva , Arkopal Dutt , Tom Gur

The problem of rectangle tiling binary arrays is defined as follows. Given an $n \times n$ array $A$ of zeros and ones and a natural number $p$, our task is to partition $A$ into at most $p$ rectangular tiles, so that the maximal weight of…

Computational Geometry · Computer Science 2024-07-17 Pratik Ghosal , Syed Mohammad Meesum , Katarzyna Paluch

This paper is based on the study of random lozenge tilings of non-convex polygonal regions with interacting non-convexities (cuts) and the corresponding asymptotic kernel as in [3] and [4] (discrete tacnode kernel). Here this kernel is used…

Mathematical Physics · Physics 2018-10-17 Mark Adler , Pierre van Moerbeke