Knuth's Simpath Algorithm
   HOME

TheInfoList



OR:

Simpath is an
algorithm In mathematics and computer science, an algorithm () is a finite sequence of rigorous instructions, typically used to solve a class of specific problems or to perform a computation. Algorithms are used as specifications for performing ...
introduced by
Donald Knuth Donald Ervin Knuth ( ; born January 10, 1938) is an American computer scientist, mathematician, and professor emeritus at Stanford University. He is the 1974 recipient of the ACM Turing Award, informally considered the Nobel Prize of computer sc ...
that constructs a
zero-suppressed decision diagram A zero-suppressed decision diagram (ZSDD or ZDD) is a particular kind of binary decision diagram (BDD) with fixed variable ordering. This data structure provides a canonically compact representation of sets, particularly suitable for certain com ...
(ZDD) representing all simple paths between two vertices in a given graph.


References


External links


Graphillion library
which implements the algorithm for manipulating large sets of paths and other structures.

A CWEB implementation by Donald Knuth. Computer arithmetic algorithms Donald Knuth Graph algorithms Mathematical logic Theoretical computer science {{algorithm-stub