Vertex neighbours

Function

context $G=\langle V,E,\psi\rangle$ … undirected graph
definiendum $ \mathrm{dom}\ N_G = V $
definiendum $ N_G(v):=\{u\ |\ \{v,u\}\dots\mathrm{edge\ in}\ G\} $

Discussion

Parents

Context

Undirected graph

Link to graph
Log In
Improvements of the human condition
limeGraphxioms