Algorithms for chordal graphs.
A graph is chordal if every cycle of length at least 4 has a chord (an edge joining two nodes not adjacent in the cycle). https://en.wikipedia.org/wiki/Chordal_graph
||Checks whether G is a chordal graph.|
||Returns the set of maximal cliques of a chordal graph.|
||Returns the treewidth of the chordal graph G.|
||Returns the set of induced nodes in the path from s to t.|