is_edge_cover

is_edge_cover(G, cover)

Decides whether a set of edges is a valid edge cover of the graph.

Given a set of edges, whether it is an edge covering can be decided if we just check whether all nodes of the graph has an edge from the set, incident on it.

Parameters

GNetworkX graph

An undirected bipartite graph.

coverset

Set of edges to be checked.

Returns

bool

Whether the set of edges is a valid edge cover of the graph.

Notes

An edge cover of a graph is a set of edges such that every node of the graph is incident to at least one edge of the set.