For notational simplicity, let us define s −1 (s +1 ) to be a matrix corresponding to the spatial locations of the objects, where an entry is 1 if the corresponding object has the goal letter (digit) and 0 otherwise.
s j also represents the set of goal-consistent objects given the private knowledge of that player.