Multiplex and Graph construction

You must create a dictionary that does the mapping:

   vertices = dict((name[v], v) for v in g.vertices())

The reason why this is not built-in is because the property map values are
not in general unique.