is_separator(graph, candidate)
is_separator
decides whether the supplied vertex set is a vertex
separator. A vertex set is a vertex separator if its removal results a
disconnected graph.In the special case of a fully connected graph with $n$ vertices, each set of $n-1$ vertices is considered to be a vertex separator.
is_min_separator
, min_separators
lists all vertex separator of minimum size.