P     O     L .. Y A
A ... O   M        I  
     N     O      E       S
         

 
A plane topological disk (i.e. a plane region without "holes"), consisting of n edge-to-edge adjacent squares is called a polyomino. Instead squares we could use n equilateral triangles or n regular hexagons, and to obtain, respectively, polyiamonds or polyhexes. We will restrict our discussion to polyominoes (with polyiamonds and polyhexes the situation is absolutely the same). For every polyomino we could distinguish it's shape and orientation ("left" and "right" form). For polyominoes not having a reflective symmetry, we may differ (or not) their "left" and "right" form. According to this we have two possible equality criteria:
  • regarding only the shape (without differing "left" or "right" form );
  • regarding both, the shape and orientation.
  • Till now, there is no formula for calculating the number of different polyominoes, but only some results (for smaller values of n), obtained by empirical derivation.


    POLYOMINO SHAPE DESCRIPTION

    In every border square cell of a polyomino we could introduce two-sided mirrors perpendicular to the internal edges in their mid-points. After series of reflections, the ray of light will "describe" the shape: a closed Dragon curve. If we denote a reflection in a border mirror by 0, and a reflection in an internal mirror by 1, we have 0-1 words (or symbols) for polyominoes, where these words are cyclicaly-equivalent (this means, could be readed starting from any sign 0 or 1 and ending in it):

             
    (4Kb) 0000 for polyomino 1.1


                  
    00010001 for polyomino 2.1


                       
    000101000101 for polyomino 3.1; and

                  
                  
    000100100011 for 3.2




                            
    0001010100010101 for 4.1;

                       
                       

    0001010001100011 for 4.2;



                  
                  
    001001001001 for 4.3;



                       
                       
    0001001100010011 for 4.4;



                       
                       
    0001001010001011 for 4.5, etc.



    From their symbols we could directly make conclusions about the symmetry: every reversible word denotes polyominoes with a sense-reversing symmetry (they don't have "left" and "right" form); irreversible symbols correspond to the polyominos appearing in the "left" and "right" form (e.g. 4.4 and 4.5).

    That symbols (or binary numbers) we could translate into hexidecimal numbers and to every polyomino asign exactly one such number. For example, this could be the minimum of all such cyclic-equivalent symbols (e.g. to the polyomino 2.1 correspond cyclicaly-equivalent symbols 00010001, 00100010, 01000100, 10001000 and the minimum of them is 00010001 = 11 in hexidecimal system. Hence, we have the notation for polyominoes where to every polyomino corresponds exactly one such number, and vice versa. (Opened question: find the general algebraic form of number determinimg a polyomino? Namely, some numbers will determine "opened polyominoes", "holow polyominoes" or "overlaping polyominoes", that are not included in our definition, and other will determine "real" polyominoes.)


    POLYOMINO GROWING

    Every (n+1)-omino we derive from some n-omino by adding to it a single square. Certainly, the addition operation is positional one, this means, the result depends from the position where we add the new square.

    Here we have the following addition rules:

                       
                       

  • a0+0000=a10001 (1-edge contact);

  •                    
                       

  • a0110+0000=a1001 (2-edge contact);
  •                    
                       

  • a0110110+0000=a1010 (3-edge contact);
  • aaaaa where a never ends with 1.

    This "algebra" could be successfuly used for the computer enumeration of polyominoes. In each step we need to derive (n+1)-minoes from n-minoes by adding a square, to test the equality of the (large number) of polyominoes obtained and to make a complete list of the different (n+1)-minoes obtained.



    (4Kb)

    CURVILINEAR SHAPES

    Every curvilinear shape (equivalent to a topological disk), placed in a regular plane tiling (44) (i.e. in a regular square grid) is enclosed between a maximal polyomino contained in it and minimal polyomino containing it. It could be approximated by this maximal and minimal polyomino. The precision of this approximation depends from the choice of the grid, and could be
    always rafined.


    LUNDA POLYOMINOES

                           
                           
                           
                           
                           
                           
                           
                           
                           

    Polyominoes (either black or white) appearing in Lunda designs will be called Lunda polyominoes. The possible shape of Lunda polyominoes is conditioned by the local equilibrium condition for Lunda designs. Therefore, some polyominoes are inadmissible (e.g. 4.3, or the following 10-minoes) as Lunda polyominoes.
               
                 
                 
                 

    On the other hand, in Lunda polyominoes are included also "holow" polyominoes.

    By introducing the concept of Lunda animals, P.Gerdes in his book "Lunda geometry: Designs, Polyominoes, Patterns, Symmetries" obtained the first approximation for the total number of different Lunda n-ominoes.