polyomino_monohedral_example_reid
16-May-2018 14:46:03

POLYOMINO_MONOHEDRAL_EXAMPLE_REID:
  MATLAB version
  Set up and solve the Reid polyomino tiling example.

  Region R:

 1 1 0
 1 1 1
 1 1 1

  Polyomino P:

 1 1

  System matrix A and right hand side B:

   1 0 0 0 0 1 0 0 0 0   1
   1 0 0 0 0 0 1 0 0 0   1
   0 1 0 0 0 1 0 1 0 0   1
   0 1 1 0 0 0 1 0 1 0   1
   0 0 1 0 0 0 0 0 0 1   1
   0 0 0 1 0 0 0 1 0 0   1
   0 0 0 1 1 0 0 0 1 0   1
   0 0 0 0 1 0 0 0 0 1   1
   1 1 1 1 1 1 1 1 1 1   4

  RREF has determinant -1

  Row-Reduced Echelon Form system matrix A and right hand side B:

   1 0 0 0 0 0 1 0 0 0   1
   0 1 0 0 0 0 1 0 1-1   0
   0 0 1 0 0 0 0 0 0 1   1
   0 0 0 1 0 0 0 0 1-1   0
   0 0 0 0 1 0 0 0 0 1   1
   0 0 0 0 0 1-1 0 0 0   0
   0 0 0 0 0 0 0 1-1 1   1
   0 0 0 0 0 0 0 0 0 0   0
   0 0 0 0 0 0 0 0 0 0   0

  Found 4 binary solution vectors x:

   1 1 1 0
   0 1 0 0
   1 0 0 0
   0 1 0 1
   1 0 0 0
   0 0 0 1
   0 0 0 1
   1 0 1 0
   0 0 1 0
   0 1 1 1

  Translate each correct solution into a tiling:

  Tiling based on solution 1

   1   1
   8   3   3
   8   5   5

  Tiling based on solution 2

   1   1
   2   2  10
   4   4  10

  Tiling based on solution 3

   1   1
   8   9  10
   8   9  10

  Tiling based on solution 4

   6   7
   6   7  10
   4   4  10

POLYOMINO_MONOHEDRAL_EXAMPLE_REID:
  Normal end of execution.

16-May-2018 14:46:03
exit