Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

Check SDR in a bipartite graph by Hall's theorem.

How can I check existence of a complete SDR in a bipartite graph ?

This will be done by checking if there is a perfect matching in the graph(Hall's marriage theorem), but How can I implement this in SAGE?