Assertion: edge contraction | /r/ObjectUse | used in the recurrence formula
Facets:
Source sentences:
text: Edge contraction is used in the recursive formula for the number of spanning trees of an arbitrary connected graph, and in the recurrence formula for the chromatic polynomial of a simple graph.