Notation used:
1) Each Document contains all saturated states for the dimension at hand.
2) The Saturated State is represents via numbers where each number (decimal) represents a
cell and indicates the corresponding occupancy
.9 – indicates vertical occupancy
.7 – indicated horizontal occupancy
.5 – occupied by both (Horizontal and Vertical)
2.0- Vacant & Full Reserved spot for horizontal
1.0 – Vacant
3) Net_Moves, F, H, f & h have the same notation as mentioned in the paper
4) (f,h)= {(tuple1),( tuple2),( tuple3)} + {( tuple4),( tuple5)} + {( tuple6)}
Note that in the paper we eliminate existence of multiple values of (f,h) for a saturated state
by means of simple elimination. To be on a safer side, we consider all combinations in our computer
code. The notation that we follow indicates that multiple values of (f,h) can be obtained by adding
any one of tuple1, tuple2 or tuple3, any one of tuple4 or tuple 5 and tuple 6.
All such combinations shall satisfy the required equations.
5) “(f,h)=” means to say f=0 and h=0