let vertex_name v =
    let n = V.label v in (string_of_int (VL.hash n))