Tilings on the Butterfly Lattice
Abstract
Let $F$ be a simply connected figure constituted of cells of the butterfly lattice. We show that there exists a linear algorithm which says whether $F$ is tilable by the three tiles described in the paper. Moreover, we point out some specific geometrical properties, especially on the notion of flip.