Class SuccinctDirectedGraph

All Implemented Interfaces:
Serializable, Graph<Integer,it.unimi.dsi.fastutil.ints.IntIntPair>

public class SuccinctDirectedGraph extends AbstractSuccinctDirectedGraph<it.unimi.dsi.fastutil.ints.IntIntPair> implements Serializable
An immutable directed graph with IntIntPair edges represented using quasi-succinct data structures.

The graph representation of this implementation uses the Elias–Fano representation of monotone sequences to represent the positions of ones in the (linearized) adjacency matrix of the graph. Edges are represented by instances of IntIntPair. Instances are serializable and thread safe.

If the vertex set is compact (i.e., vertices are numbered from 0 consecutively), space usage will be close to twice the information-theoretical lower bound (typically, a few times smaller than a SparseIntDirectedGraph). If you drop support for incoming edges the space will close to the information-theoretical lower bound .

All accessors are very fast. Adjacency tests are very fast and happen in almost constant time.

SuccinctIntDirectedGraph is a much slower implementation with a similar footprint using Integer as edge type. Please read the class documentation for more information.

For convenience, and as a compromise with the approach of SuccinctIntDirectedGraph, this class provides methods getEdgeFromIndex() and getIndexFromEdge() that map bijectively the edge set into a contiguous set of longs.

Author:
Sebastiano Vigna
See Also:
  • Constructor Details

    • SuccinctDirectedGraph

      public SuccinctDirectedGraph(Graph<Integer,E> graph, boolean incomingEdgesSupport)
      Creates a new immutable succinct directed graph from a given directed graph, choosing whether to support incoming edges.
      Type Parameters:
      E - the graph edge type
      Parameters:
      graph - a directed graph: for good results, vertices should be numbered consecutively starting from 0.
      incomingEdgesSupport - whether to support incoming edges or not.
    • SuccinctDirectedGraph

      public SuccinctDirectedGraph(Graph<Integer,E> graph)
      Creates a new immutable succinct directed graph from a given directed graph, supporting both outgoing and incoming edges.
      Type Parameters:
      E - the graph edge type
      Parameters:
      graph - a directed graph: for good results, vertices should be numbered consecutively starting from 0.
    • SuccinctDirectedGraph

      public SuccinctDirectedGraph(int numVertices, List<Pair<Integer,Integer>> edges, boolean incomingEdgesSupport)
      Creates a new immutable succinct directed graph from an edge list, choosing whether to support incoming edges.

      This constructor just builds a SparseIntDirectedGraph and delegates to the main constructor.

      Parameters:
      numVertices - the number of vertices.
      edges - the edge list.
      incomingEdgesSupport - whether to support incoming edges or not.
      See Also:
    • SuccinctDirectedGraph

      public SuccinctDirectedGraph(int numVertices, List<Pair<Integer,Integer>> edges)
      Creates a new immutable succinct directed graph from an edge list, supporting both outgoing and incoming edges.

      This constructor just builds a SparseIntDirectedGraph and delegates to the main constructor.

      Parameters:
      numVertices - the number of vertices.
      edges - the edge list.
      See Also:
    • SuccinctDirectedGraph

      public SuccinctDirectedGraph(int numVertices, int numEdges, Supplier<Stream<Pair<Integer,Integer>>> edges, boolean incomingEdgesSupport)
      Creates a new immutable succinct directed graph from a supplier of streams of edges, choosing whether to support incoming edges.

      This constructor just builds a SparseIntDirectedGraph and delegates to the main constructor.

      Parameters:
      numVertices - the number of vertices.
      numEdges - the number of edges.
      edges - a supplier of streams of edges.
      incomingEdgesSupport - whether to support incoming edges or not.
      See Also:
    • SuccinctDirectedGraph

      public SuccinctDirectedGraph(int numVertices, int numEdges, Supplier<Stream<Pair<Integer,Integer>>> edges)
      Creates a new immutable succinct directed graph from a supplier of streams of edges, supporting both outgoing and incoming edges.

      This constructor just builds a SparseIntDirectedGraph and delegates to the main constructor.

      Parameters:
      numVertices - the number of vertices.
      numEdges - the number of edges.
      edges - a supplier of streams of edges.
      See Also:
  • Method Details

    • containsEdge

      public boolean containsEdge(it.unimi.dsi.fastutil.ints.IntIntPair e)
      Description copied from interface: Graph
      Returns true if this graph contains the specified edge. More formally, returns true if and only if this graph contains an edge e2 such that e.equals(e2). If the specified edge is null returns false.
      Specified by:
      containsEdge in interface Graph<Integer,it.unimi.dsi.fastutil.ints.IntIntPair>
      Parameters:
      e - edge whose presence in this graph is to be tested.
      Returns:
      true if this graph contains the specified edge.
    • edgeSet

      public Set<it.unimi.dsi.fastutil.ints.IntIntPair> edgeSet()
      Description copied from interface: Graph
      Returns a set of the edges contained in this graph. The set is backed by the graph, so changes to the graph are reflected in the set. If the graph is modified while an iteration over the set is in progress, the results of the iteration are undefined.

      The graph implementation may maintain a particular set ordering (e.g. via LinkedHashSet) for deterministic iteration, but this is not required. It is the responsibility of callers who rely on this behavior to only use graph implementations which support it.

      Specified by:
      edgeSet in interface Graph<Integer,it.unimi.dsi.fastutil.ints.IntIntPair>
      Returns:
      a set of the edges contained in this graph.
    • edgesOf

      public Set<it.unimi.dsi.fastutil.ints.IntIntPair> edgesOf(Integer vertex)
      Description copied from interface: Graph
      Returns a set of all edges touching the specified vertex. If no edges are touching the specified vertex returns an empty set.
      Specified by:
      edgesOf in interface Graph<Integer,it.unimi.dsi.fastutil.ints.IntIntPair>
      Parameters:
      vertex - the vertex for which a set of touching edges is to be returned.
      Returns:
      a set of all edges touching the specified vertex.
    • inDegreeOf

      public int inDegreeOf(Integer vertex)
      Description copied from interface: Graph
      Returns the "in degree" of the specified vertex.

      The "in degree" of a vertex in a directed graph is the number of inward directed edges from that vertex. See http://mathworld.wolfram.com/Indegree.html.

      In the case of undirected graphs this method returns the number of edges touching the vertex. Edges with same source and target vertices (self-loops) are counted twice.

      Specified by:
      inDegreeOf in interface Graph<Integer,it.unimi.dsi.fastutil.ints.IntIntPair>
      Parameters:
      vertex - vertex whose degree is to be calculated.
      Returns:
      the degree of the specified vertex.
    • incomingEdgesOf

      public Set<it.unimi.dsi.fastutil.ints.IntIntPair> incomingEdgesOf(Integer target)
      Description copied from interface: Graph
      Returns a set of all edges incoming into the specified vertex.

      In the case of undirected graphs this method returns all edges touching the vertex, thus, some of the returned edges may have their source and target vertices in the opposite order.

      Specified by:
      incomingEdgesOf in interface Graph<Integer,it.unimi.dsi.fastutil.ints.IntIntPair>
      Parameters:
      target - the vertex for which the list of incoming edges to be returned.
      Returns:
      a set of all edges incoming into the specified vertex.
    • outDegreeOf

      public int outDegreeOf(Integer vertex)
      Description copied from interface: Graph
      Returns the "out degree" of the specified vertex.

      The "out degree" of a vertex in a directed graph is the number of outward directed edges from that vertex. See http://mathworld.wolfram.com/Outdegree.html.

      In the case of undirected graphs this method returns the number of edges touching the vertex. Edges with same source and target vertices (self-loops) are counted twice.

      Specified by:
      outDegreeOf in interface Graph<Integer,it.unimi.dsi.fastutil.ints.IntIntPair>
      Parameters:
      vertex - vertex whose degree is to be calculated.
      Returns:
      the degree of the specified vertex.
    • outgoingEdgesOf

      public Set<it.unimi.dsi.fastutil.ints.IntIntPair> outgoingEdgesOf(Integer vertex)
      Description copied from interface: Graph
      Returns a set of all edges outgoing from the specified vertex.

      In the case of undirected graphs this method returns all edges touching the vertex, thus, some of the returned edges may have their source and target vertices in the opposite order.

      Specified by:
      outgoingEdgesOf in interface Graph<Integer,it.unimi.dsi.fastutil.ints.IntIntPair>
      Parameters:
      vertex - the vertex for which the list of outgoing edges to be returned.
      Returns:
      a set of all edges outgoing from the specified vertex.
    • getEdgeSource

      public Integer getEdgeSource(it.unimi.dsi.fastutil.ints.IntIntPair e)
      Description copied from interface: Graph
      Returns the source vertex of an edge. For an undirected graph, source and target are distinguishable designations (but without any mathematical meaning).
      Specified by:
      getEdgeSource in interface Graph<Integer,it.unimi.dsi.fastutil.ints.IntIntPair>
      Parameters:
      e - edge of interest
      Returns:
      source vertex
    • getEdgeTarget

      public Integer getEdgeTarget(it.unimi.dsi.fastutil.ints.IntIntPair e)
      Description copied from interface: Graph
      Returns the target vertex of an edge. For an undirected graph, source and target are distinguishable designations (but without any mathematical meaning).
      Specified by:
      getEdgeTarget in interface Graph<Integer,it.unimi.dsi.fastutil.ints.IntIntPair>
      Parameters:
      e - edge of interest
      Returns:
      target vertex
    • getIndexFromEdge

      public long getIndexFromEdge(it.unimi.dsi.fastutil.ints.IntIntPair e)
      Returns the index associated with the given edge.
      Parameters:
      e - an edge of the graph.
      Returns:
      the index associated with the edge, or −1 if the edge is not part of the graph.
      See Also:
    • getEdgeFromIndex

      public it.unimi.dsi.fastutil.ints.IntIntPair getEdgeFromIndex(long i)
      Returns the edge with given index.
      Parameters:
      i - an index between 0 (included) and the number of edges (excluded).
      Returns:
      the pair with index i.
      See Also:
    • getEdge

      public it.unimi.dsi.fastutil.ints.IntIntPair getEdge(Integer sourceVertex, Integer targetVertex)
      Description copied from interface: Graph
      Returns an edge connecting source vertex to target vertex if such vertices and such edge exist in this graph. Otherwise returns null. If any of the specified vertices is null returns null

      In undirected graphs, the returned edge may have its source and target vertices in the opposite order.

      Specified by:
      getEdge in interface Graph<Integer,it.unimi.dsi.fastutil.ints.IntIntPair>
      Parameters:
      sourceVertex - source vertex of the edge.
      targetVertex - target vertex of the edge.
      Returns:
      an edge connecting source vertex to target vertex.
    • containsEdge

      public boolean containsEdge(Integer sourceVertex, Integer targetVertex)
      Description copied from interface: Graph
      Returns true if and only if this graph contains an edge going from the source vertex to the target vertex. In undirected graphs the same result is obtained when source and target are inverted. If any of the specified vertices does not exist in the graph, or if is null, returns false.
      Specified by:
      containsEdge in interface Graph<Integer,it.unimi.dsi.fastutil.ints.IntIntPair>
      Overrides:
      containsEdge in class AbstractGraph<Integer,it.unimi.dsi.fastutil.ints.IntIntPair>
      Parameters:
      sourceVertex - source vertex of the edge.
      targetVertex - target vertex of the edge.
      Returns:
      true if this graph contains the specified edge.
      See Also:
    • iterables

      public GraphIterables<Integer,it.unimi.dsi.fastutil.ints.IntIntPair> iterables()
      Description copied from interface: Graph
      Access the graph using the GraphIterables interface. This allows accessing graphs without the restrictions imposed by 32-bit arithmetic. Moreover, graph implementations are free to implement this interface without explicitly materializing intermediate results.
      Specified by:
      iterables in interface Graph<Integer,it.unimi.dsi.fastutil.ints.IntIntPair>
      Returns:
      the graph iterables