检查移除这组顶点是否会断开图的连接。

is_separator() 确定提供的顶点集是否为顶点分隔符：顶点集 \(S\) 是分隔符，如果图中存在顶点 \(u\) 和 \(v\)，使得 \(u\) 和 \(v\) 之间的所有路径都经过 \(S\) 中的某些顶点。

用法

is_separator(graph, candidate)

参数

graph

输入图。它可以是有向图，但边方向将被忽略。

candidate

一个数值向量，给出候选分隔符的顶点 ID。

值

一个逻辑标量，指示提供的顶点集是否为（最小）顶点分隔符。 列出最小尺寸的所有顶点分隔符。

参见

其他流: dominator_tree(), edge_connectivity(), is_min_separator(), max_flow(), min_cut(), min_separators(), min_st_separators(), st_cuts(), st_min_cuts(), vertex_connectivity()

C 库中的相关文档

is_separator().

示例

ring <- make_ring(4)
min_st_separators(ring)
#> [[1]]
#> + 2/4 vertices, from 50c883e:
#> [1] 2 4
#> 
#> [[2]]
#> + 2/4 vertices, from 50c883e:
#> [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