Assertion: edge contraction | /r/ObjectUse | used in recursive formula
Facets:
value: for the number
type: TRANSITIVE-OBJECT
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.