Change the design of parent_graph, vertex_to_parent_vertex, etc. using a type like OrderedCollections.OrderedSet, AcceleratedArrays.jl, or OrdinalIndexing.jl. A better name for parent_graph would be ordinal_graph (indicating the vertices are ordered integers), and ordinal_vertices/ordinal_vertex could refer to the integer vertices of the ordinal_graph. vertices could be an ordered AbstractVector of the named vertices with fast lookup of the vertex positions in the ordinal_graph.
Change the design of
parent_graph,vertex_to_parent_vertex, etc. using a type like OrderedCollections.OrderedSet, AcceleratedArrays.jl, or OrdinalIndexing.jl. A better name forparent_graphwould beordinal_graph(indicating the vertices are ordered integers), andordinal_vertices/ordinal_vertexcould refer to the integer vertices of theordinal_graph.verticescould be an orderedAbstractVectorof the named vertices with fast lookup of the vertex positions in theordinal_graph.Name change summary:
parent_graph->ordinal_graphvertex_to_parent_vertex->ordinal_vertex,ordinal_verticesparent_vertex_to_vertex->to_vertex,ordered_vertices