fgl- Martin Erwig's Functional Graph Library




ap :: Graph gr => gr a b -> [Node]Source

Finds the articulation points for a connected undirected graph, by using the low numbers criteria:

a) The root node is an articulation point iff it has two or more children.

b) An non-root node v is an articulation point iff there exists at least one child w of v such that lowNumber(w) >= dfsNumber(v).