Oper.Neighbourhood
Neighbourhood of vertex / vertices
module G : sig ... end
The neighbourhood of a vertex v
is { v' | (succ g v) and (v <> v') }
Neighbourhood of a vertex as a set. Less efficient that list_from_vertex
.
The neighbourhood of a set S
of vertices is U \ S
where U
is the union of neighbourhoods of each vertex of S
.
Neighbourhood of a list of vertices as a list.