Occam's directed graphs.
This implementation extends an incremental algorithm for directed graphs, one that returns a topological ordering for the graph. If one or more cyclic edges are added then the extended algorithm handles it gracefully rather than throwing an error. In these cases a cycle can be returned rather than a topological ordering. If all cyclic edges are removed thereafter then the algorithm recovers and a topological ordering can be returned again.
With npm:
npm install occam-directed-graph
You can also clone the repository with Git...
https://github.com/djalbat/occam-directed-graph.git
...and then install the dependencies with npm from within the project's root directory:
npm install
There is a small development server that can be run from within the project's directory with the following command:
npm start
The example will then be available at the following URL:
The source for the example can be found in the src/example.js
file. You are encouraged to try the example whilst reading what follows. You can rebuild it on the fly with the following command:
npm run watch-debug
The development server will reload the page whenever you make changes.
One last thing to bear in mind is that this package is included by way of a relative rather than a package import. If you are importing it into your own application, however, you should use the standard package import.
An empty directed graph can be created by calling the fromNothing()
factory method:
import { DirectedGraph } from "occam-directed-graphs";
const directedGraph = DirectedGraph.fromNothing();
After instantiation, vertices and edges can be added incrementally:
import { Edge } from "occam-directed-graphs";
const vertexName = "i";
directedGraph.addVertexByVertexName(vertexName);
const sourceVertexName = "j",
targetVertexName = "k",
edge = Edge.fromSourceVertexNameAndTargetVertexName(sourceVertexName, targetVertexName);
directedGraph.addEdge(edge);
Note that there is no need to add vertices explicitly, they will be added whenever necessary when edges that reference them are added.
You can also remove vertices and edges. Removing a vertex could result in removing edges. When you remove an edge, you can additionally specify that the any stranded vertices that result are also removed:
import { Edge } from "occam-directed-graphs";
const vertexName = "i";
directedGraph.removeVertexByName(vertexName);
const sourceVertexName = "j",
targetVertexName = "k",
removeStrandedVertices = true,
edge = Edge.fromSourceVertexNameAndTargetVertexName(sourceVertexName, targetVertexName);
directedGraph.removeEdge(edge, removeStrandedVertices);
The default is to leave stranded vertices in place.
You can detect and recover cycles thus:
const cyclePresent = directedGraph.isCyclePresent();
if (cyclePresent) {
const firstCycle = directedGraph.getFirstCycle(),
firstCycleVertexNames = firstCycle.getVertexNames();
...
}
You can get a topologically ordered list of vertices at any time. Bear in mind that this is useless information when cycles are present.
Automation is done with npm scripts, have a look at the package.json
file. The pertinent commands are:
npm run build-debug
npm run watch-debug
Assuming that the packages are installed:
npm test
This implementation is based on the Pearce-Kelly algorithm:
- A Dynamic Topological Sort Algorithm for Directed Acyclic Graphs by David J. Pearce and Paul H.J. Kelly.