[Numeric] combinatorics of battleship game