Hard and Easy Instances of L-Tromino Tilings

We study tilings of regions in the square lattice with L-shaped trominoes. Deciding the existence of a tiling with L-trominoes for an arbitrary region in general is NP-complete, nonetheless, we identify restrictions to the problem where it either remains NP-complete or has a polynomial time algorithm. First, we characterize the possibility of when an Aztec rectangle and an Aztec diamond has an L-tromino tiling. Then, we study tilings of arbitrary regions where only $180^\circ$ rotations of L-trominoes are available. For this particular case we show that deciding the existence of a tiling remains NP-complete; yet, if a region does not contains certain so-called "forbidden polyominoes" as sub-regions, then there exists a polynomial time algorithm for deciding a tiling.Comment: Full extended version of LNCS 11355:82-95 (WALCOM 2019

Hard and easy instances of L-Tromino tilings

In this work we study tilings of regions in the square lattice with L-shaped trominoes. Deciding the existence of a tiling with L-trominoes for an arbitrary region in general is NP-complete, nonetheless, we identify restrictions to the problem where it either remains NP-complete or has a polynomial time algorithm. First, we characterize the possibility of when an Aztec rectangle has an L-tromino tiling, and hence also an Aztec diamond; if an Aztec rectangle has an unknown number of defects or holes, however, the problem of deciding a tiling is NP-complete. Then, we study tilings of arbitrary regions where only 180∘ rotations of L-trominoes are available. For this particular case we show that deciding the existence of a tiling remains NP-complete; yet, if a region does not contain so-called “forbidden polyominoes” as subregions, then there exists a polynomial time algorithm for deciding a tiling

Simulation in Algorithmic Self-assembly

Winfree introduced a model of self-assembling systems called the abstract Tile Assembly Model (aTAM) where square tiles with glues on their edges attach spontaneously via matching glues to form complex structures. A generalization of the aTAM called the 2HAM (two-handed aTAM) not only allows for single tiles to bind, but also for supertile assemblies consisting of any number of tiles to attach. We consider a variety of models based on either the aTAM or the 2HAM. The underlying commonality of the work presented here is simulation. We introduce the polyTAM, where a tile system consists of a collection of polyomino tiles, and show that for any polyomino P of size greater than or equal to 3 and any Turing machine M , there exists a temperature-1 polyTAM system containing only shape-P tiles that simulates M . We introduce the RTAM (Reflexive Tile Assembly Model) that works like the aTAM except that tiles can nondeterministically flip prior to binding. We show that the temperature-1 RTAM cannot simulate a Turing machine by showing the much stronger result that the RTAM can only self-assemble periodic patterns. We then define notions of simulation which serve as relations between two tile assembly systems (possibly belonging to different models). Using simulation as a basis of comparison, we first show that cellular automata and the class of all tile assembly systems in the aTAM are equivalent. Next, we introduce the Dupled aTAM (DaTAM) and show that the temperature-2 aTAM and the temperature-1 DaTAM are mutually exclusive by showing that there is an aTAM system that cannot be simulated by any DaTAM system, and vice versa. Third, we consider the restricted glues Tile Assembly Model (rgTAM) and show that there is an aTAM system that cannot be simulated by any rgTAM system. We introduce the Dupled restricted glues Tile Assembly Model (DrgTAM), and show that the DrgTAM is intrinsically universal for the aTAM. Finally, we consider a variation of the Signal-passing Tile Assembly Model (STAM) called the STAM+ and show that the STAM+ is intrinsically universal and that the 3-D 2HAM is intrinsically universal for the STAM+

Large bichromatic point sets admit empty monochromatic 4-gons

We consider a variation of a problem stated by Erd˝os and Szekeres in 1935 about the existence of a number fES(k) such that any set S of at least fES(k) points in general position in the plane has a subset of k points that are the vertices of a convex k-gon. In our setting the points of S are colored, and we say that a (not necessarily convex) spanned polygon is monochromatic if all its vertices have the same color. Moreover, a polygon is called empty if it does not contain any points of S in its interior. We show that any bichromatic set of n ≥ 5044 points in R2 in general position determines at least one empty, monochromatic quadrilateral (and thus linearly many).Postprint (published version

Fabricate 2020

Fabricate 2020 is the fourth title in the FABRICATE series on the theme of digital fabrication and published in conjunction with a triennial conference (London, April 2020). The book features cutting-edge built projects and work-in-progress from both academia and practice. It brings together pioneers in design and making from across the fields of architecture, construction, engineering, manufacturing, materials technology and computation. Fabricate 2020 includes 32 illustrated articles punctuated by four conversations between world-leading experts from design to engineering, discussing themes such as drawing-to-production, behavioural composites, robotic assembly, and digital craft