Spanning subgraph (source code)

= Spanning subgraph
{wiki}

A spanning subgraph retains every vertex of the original graph and some or all of its edges. Adding the omitted edges can only enlarge the <graph neighbourhood> and the <external vertex boundary> of each fixed vertex set.