クヌースのシンパスアルゴリズム

Simpathは、ドナルド・クヌースによって導入されたアルゴリズムで、与えられたグラフ内の2つの頂点間のすべての単純パスを表すゼロ抑制決定図（ZDD）を構築します。 ^{[ 1 ] [ 2 ]}

• Graphillionライブラリは、大規模なパスセットやその他の構造を操作するためのアルゴリズムを実装しています。
• ドナルド・クヌースによるCWEBの実装。