Abstract :
We consider the problem of tiling with dominoes pictures of the plane, in theoretical and algorithmic aspects. For generalities and other tiling problems, see for example Refs. Beauquier et al. (1995), Conway and Lagarias (1990), Kannan and Soroker (1992), Kenyon (1992), and Beauquier (1991). The pictures which are considered here may have holes, but uniquely balanced holes, that is every hole, if chessboard-like coloured, has an equal number of black squares and of white ones. We give an algorithmic characterization of tilable pictures and a canonical decomposition into ‘strongly’ tilable subpictures. The given algorithm is linear as far the considered pictures have a finite number of (balanced) holes. In the same hypothesis there is a good parallel algorithm (in class NC). Graphical extension of the used method (heightsʹ method) is applied to a class of bipartite planar graphs. The particular case of without holes pictures is developed in Fournier (1996).
As far as I know, the results in this paper are new, except the notions and the theorem in Section 2, which are substantially present in Thurston (1990).
