Check whether removing this set of vertices would disconnect the graph.

is_separator() determines whether the supplied vertex set is a vertex separator: A vertex set \(S\) is a separator if there are vertices \(u\) and \(v\) in the graph such that all paths between \(u\) and \(v\) pass through some vertices in \(S\).

Usage

is_separator(graph, candidate)

Arguments

graph

The input graph. It may be directed, but edge directions are ignored.

candidate

A numeric vector giving the vertex ids of the candidate separator.

Value

A logical scalar, whether the supplied vertex set is a (minimal) vertex separator or not. lists all vertex separator of minimum size.

See also

Other flow: dominator_tree(), edge_connectivity(), is_min_separator(), max_flow(), min_cut(), min_separators(), min_st_separators(), st_cuts(), st_min_cuts(), vertex_connectivity()

Related documentation in the C library

is_separator().

Examples

ring <- make_ring(4)
min_st_separators(ring)
#> [[1]]
#> + 2/4 vertices, from 3259a63:
#> [1] 2 4
#> 
#> [[2]]
#> + 2/4 vertices, from 3259a63:
#> [1] 1 3
#> 
is_separator(ring, 1)
#> [1] FALSE
is_separator(ring, c(1, 3))
#> [1] TRUE
is_separator(ring, c(2, 4))
#> [1] TRUE
is_separator(ring, c(2, 3))
#> [1] FALSE