graph spanners inizio