add current robot as 1 in the nbh cases matrixes
add hashmap to tell symetrics cases
add the backup of robots if they were disconnected
use set() instead of [] to store robots in Space
add global quescient state verification
add generation of random connex space using dfs