Graph (abstract data type) explained

In computer science, a graph is an abstract data type that is meant to implement the undirected graph and directed graph concepts from the field of graph theory within mathematics.

A graph data structure consists of a finite (and possibly mutable) set of vertices (also called nodes or points), together with a set of unordered pairs of these vertices for an undirected graph or a set of ordered pairs for a directed graph. These pairs are known as edges (also called links or lines), and for a directed graph are also known as edges but also sometimes arrows or arcs. The vertices may be part of the graph structure, or may be external entities represented by integer indices or references.

A graph data structure may also associate to each edge some edge value, such as a symbolic label or a numeric attribute (cost, capacity, length, etc.).

Operations

The basic operations provided by a graph data structure G usually include:^[1]

: tests whether there is an edge from the vertex x to the vertex y;
: lists all vertices y such that there is an edge from the vertex x to the vertex y;
: adds the vertex x, if it is not there;
: removes the vertex x, if it is there;
: adds the edge z from the vertex x to the vertex y, if it is not there;
: removes the edge from the vertex x to the vertex y, if it is there;
: returns the value associated with the vertex x;
: sets the value associated with the vertex x to v.

Structures that associate values to the edges usually also provide:^[1]

: returns the value associated with the edge (x, y);
: sets the value associated with the edge (x, y) to v.

Common data structures for graph representation

Adjacency list^[2]

Vertices are stored as records or objects, and every vertex stores a list of adjacent vertices. This data structure allows the storage of additional data on the vertices. Additional data can be stored if edges are also stored as objects, in which case each vertex stores its incident edges and each edge stores its incident vertices.

Adjacency matrix^[3]

A two-dimensional matrix, in which the rows represent source vertices and columns represent destination vertices. Data on edges and vertices must be stored externally. Only the cost for one edge can be stored between each pair of vertices.

Incidence matrix^[4]

A two-dimensional matrix, in which the rows represent the vertices and columns represent the edges. The entries indicate the incidence relation between the vertex at a row and edge at a column.

The following table gives the time complexity cost of performing various operations on graphs, for each of these representations, with |V| the number of vertices and |E| the number of edges. In the matrix representations, the entries encode the cost of following an edge. The cost of edges that are not present are assumed to be ∞.

	Adjacency list	Adjacency matrix	Incidence matrix
Store graph	O(	V	+	E	)	O(	V	^2)	O(	V	\cdot	E	)
Add vertex	O(1)	O(	V	^2)	O(	V	\cdot	E	)
Add edge	O(1)	O(1)	O(	V	\cdot	E	)
Remove vertex	O(	E	)	O(	V	^2)	O(	V	\cdot	E	)
Remove edge	O(	V	)	O(1)	O(	V	\cdot	E	)
Are vertices x and y adjacent (assuming that their storage positions are known)?	O(	V	)	O(1)	O(	E	)
Remarks	Slow to remove vertices and edges, because it needs to find all vertices or edges	Slow to add or remove vertices, because matrix must be resized/copied	Slow to add or remove vertices and edges, because matrix must be resized/copied

Adjacency lists are generally preferred for the representation of sparse graphs, while an adjacency matrix is preferred if the graph is dense; that is, the number of edges

|E|

is close to the number of vertices squared,

|V|²

, or if one must be able to quickly look up if there is an edge connecting two vertices.^[5] ^[6]

More efficient representation of adjacency sets

The time complexity of operations in the adjacency list representation can be improved by storing the sets of adjacent vertices in more efficient data structures, such as hash tables or balanced binary search trees (the latter representation requires that vertices are identified by elements of a linearly ordered set, such as integers or character strings). A representation of adjacent vertices via hash tables leads to an amortized average time complexity of

O(1)

to test adjacency of two given vertices and to remove an edge and an amortized average time complexity^[7] of

O(\deg(x))

to remove a given vertex of degree

\deg(x)

. The time complexity of the other operations and the asymptotic space requirement do not change.

Parallel representations

The parallelization of graph problems faces significant challenges: Data-driven computations, unstructured problems, poor locality and high data access to computation ratio.^[8] ^[9] The graph representation used for parallel architectures plays a significant role in facing those challenges. Poorly chosen representations may unnecessarily drive up the communication cost of the algorithm, which will decrease its scalability. In the following, shared and distributed memory architectures are considered.

Shared memory

In the case of a shared memory model, the graph representations used for parallel processing are the same as in the sequential case,^[10] since parallel read-only access to the graph representation (e.g. an adjacency list) is efficient in shared memory.

Distributed memory

In the distributed memory model, the usual approach is to partition the vertex set

of the graph into

sets

V_0,...,V_p-1

. Here,

is the amount of available processing elements (PE). The vertex set partitions are then distributed to the PEs with matching index, additionally to the corresponding edges. Every PE has its own subgraph representation, where edges with an endpoint in another partition require special attention. For standard communication interfaces like MPI, the ID of the PE owning the other endpoint has to be identifiable. During computation in a distributed graph algorithms, passing information along these edges implies communication.^[10]

Partitioning the graph needs to be done carefully - there is a trade-off between low communication and even size partitioning^[11] But partitioning a graph is a NP-hard problem, so it is not feasible to calculate them. Instead, the following heuristics are used.

1D partitioning: Every processor gets

n/p

vertices and the corresponding outgoing edges. This can be understood as a row-wise or column-wise decomposition of the adjacency matrix. For algorithms operating on this representation, this requires an All-to-All communication step as well as

l{O}(m)

message buffer sizes, as each PE potentially has outgoing edges to every other PE.^[12]

2D partitioning: Every processor gets a submatrix of the adjacency matrix. Assume the processors are aligned in a rectangle

p=p_r x p_c

, where

p_r

and

p_c

are the amount of processing elements in each row and column, respectively. Then each processor gets a submatrix of the adjacency matrix of dimension

(n/p_{r) x (n/p}_c)

. This can be visualized as a checkerboard pattern in a matrix.^[12] Therefore, each processing unit can only have outgoing edges to PEs in the same row and column. This bounds the amount of communication partners for each PE to

p_r+p_c-1

out of

p=p_r x p_c

possible ones.

Compressed representations

Graphs with trillions of edges occur in machine learning, social network analysis, and other areas. Compressed graph representations have been developed to reduce I/O and memory requirements. General techniques such as Huffman coding are applicable, but the adjacency list or adjacency matrix can be processed in specific ways to increase efficiency.^[13]

Graph traversal

Breadth first search and depth first search

Breadth-first search (BFS) and depth-first search (DFS) are two closely-related approaches that are used for exploring all of the nodes in a given connected component. Both start with an arbitrary node, the "root".^[14]

External links

Boost Graph Library: a powerful C++ graph library s.a. Boost (C++ libraries)
Networkx: a Python graph library
GraphMatcher a java program to align directed/undirected graphs.
GraphBLAS A specification for a library interface for operations on graphs, with a particular focus on sparse graphs.

Notes and References

See, e.g., Section 13.1.2: Operations on graphs, p. 360. For a more detailed set of operations, see Book: Mehlhorn . K. . Kurt Mehlhorn . Näher . S. . 1999 . LEDA: A platform for combinatorial and geometric computing . Chapter 6: Graphs and their data structures . Cambridge University Press . 240–282 .
, pp. 528–529;, pp. 361-362.
, pp. 529–530;, p. 363.
, Exercise 22.1-7, p. 531.
Book: Cormen. Thomas H. . Thomas H. Cormen . Leiserson . Charles E. . Charles E. Leiserson . Rivest . Ronald L. . Ronald L. Rivest . Stein . Clifford . Clifford Stein . 2001 . . Second . Section 22.1: Representations of graphs . MIT Press and McGraw-Hill . 0-262-03293-7 . 527–531.
Book: Goodrich . Michael T. . Michael T. Goodrich . Tamassia . Roberto . Roberto Tamassia . 2015 . Algorithm Design and Applications . Section 13.1: Graph terminology and representations . Wiley . 978-1-118-33591-8 . 355–364.
Book: Cormen . Thomas H. . Thomas H. Cormen . Leiserson . Charles E. . Charles E. Leiserson . Rivest . Ronald L. . Ronald L. Rivest . Stein . Clifford . Clifford Stein . Introduction to Algorithms . 3rd . Massachusetts Institute of Technology . 2009 . 978-0-262-03384-8 . 253–280 . Introduction to Algorithms .
Book: Bader . David . Meyerhenke . Henning . Sanders . Peter . Wagner . Dorothea . January 2013 . Graph Partitioning and Graph Clustering . Contemporary Mathematics . American Mathematical Society . 588 . 978-0-8218-9038-7 . 10.1090/conm/588/11709 .
Lumsdaine . Andrew . Gregor . Douglas . Hendrickson . Bruce . Berry . Jonathan . March 2007 . Challenges in Parallel Graph Processing . Parallel Processing Letters . 0129-6264 . 10.1142/s0129626407002843 . 17 . 1 . 5–20.
Book: Sanders . Peter . Mehlhorn . Kurt . Dietzfelbinger . Martin . Dementiev . Roman . 2019 . Sequential and Parallel Algorithms and Data Structures: The Basic Toolbox . Springer International Publishing . 978-3-030-25208-3 .
Web site: Parallel Processing of Graphs . 2020-03-09 . 2021-08-25 . https://web.archive.org/web/20210825121127/https://www.graphengine.io/downloads/papers/ParallelProcessingOfGraphs.pdf . dead .
Buluç . A. . Madduri . Kamesh . 2011 . Parallel breadth-first search on distributed memory systems . 2011 International Conference for High Performance Computing, Networking, Storage and Analysis . Applications . 10.1145/2063384.2063471 . 6540738 . 65 . 978-1-4503-0771-0. 10.1.1.767.5248 .
Besta . Maciej . Hoefler . Torsten . 27 April 2019 . Survey and Taxonomy of Lossless Graph Compression and Space-Efficient Graph Representations . cs.DS . 1806.01799.
Purti . July–September 2018 . Graph Traversals and its Applications . International Journal of Research and Analytical Reviews . 5 . 3 . 2 .