An Efficient representation for sparse graphs

The design of efficient graph algorithms usually precludes the test of edge existence, because an efficient support of that operation already requires time (n^2) for the initialization of an adjacency-matrix representation. We describe an alternative representation of static directed graphs taking (...

Descripción completa

Detalles Bibliográficos
Autor: Valiente Feruglio, Gabriel Alejandro|||0000-0001-9194-2703
Tipo de recurso: informe técnico
Fecha de publicación:2002
País:España
Institución:Universitat Politècnica de Catalunya (UPC)
Repositorio:UPCommons. Portal del coneixement obert de la UPC
Idioma:inglés
OAI Identifier:oai:upcommons.upc.edu:2117/97556
Acceso en línea:https://hdl.handle.net/2117/97556
Access Level:acceso abierto
Palabra clave:Graph algorithms
Static directed graphs
Representation
Sparse graphs
Àrees temàtiques de la UPC::Informàtica
Descripción
Sumario:The design of efficient graph algorithms usually precludes the test of edge existence, because an efficient support of that operation already requires time (n^2) for the initialization of an adjacency-matrix representation. We describe an alternative representation of static directed graphs taking (n+m) initialization time and using (n^2) space, which supports the efficient implementation of all usual operations on static graphs. The sparse graph representation allows the design of efficient graph algorithms using both iteration over all vertices adjacent with a given vertex and edge-existence operations, although at the expense of additional (uninitialized) space which may, nevertheless, be used for other purposes. To the best of our knowledge, the representation leads to the first graph algorithms with the disconcerting property that the time complexity is better than the space complexity.