• Check if p and q have the same root ( id[i] = i)