12.07.2015 Views

enumeration of the number of spanning trees in some ... - Toubkal

enumeration of the number of spanning trees in some ... - Toubkal

enumeration of the number of spanning trees in some ... - Toubkal

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

72CHAPTER 4.NEW METHODS TO COMPUTE THE NUMBER OF SPANNINGTREES OF PLANAR MAPSPro<strong>of</strong>: Let T be <strong>the</strong> set <strong>of</strong> <strong>spann<strong>in</strong>g</strong> <strong>trees</strong> <strong>of</strong> C,τ(C) = |T |, T = T 1 ∪ T 2 , T 1 ∩ T 2 = ∅, withT 1 = <strong>the</strong> set <strong>of</strong> <strong>spann<strong>in</strong>g</strong> <strong>trees</strong> <strong>of</strong> C which conta<strong>in</strong>s <strong>the</strong> edge eT 2 = <strong>the</strong> set <strong>of</strong> <strong>spann<strong>in</strong>g</strong> <strong>trees</strong> <strong>of</strong> C which does not conta<strong>in</strong> <strong>the</strong> edge e|T | = |T 1 | + |T 2 |,|T 1 | = τ(C.e) and |T 2 | = τ(C − e) <strong>the</strong>n τ(C) = τ(C.e) + τ(C − e).We cannot apply <strong>the</strong> recurrence <strong>of</strong> Theorem 4.3.11 when e is a loop. For example, a mapconsist<strong>in</strong>g <strong>of</strong> one vertex and one loop has one <strong>spann<strong>in</strong>g</strong> tree, but delet<strong>in</strong>g and contract<strong>in</strong>g<strong>the</strong> loop would count it twice. S<strong>in</strong>ce loops do not affect <strong>the</strong> <strong>number</strong> <strong>of</strong> <strong>spann<strong>in</strong>g</strong> <strong>trees</strong>, wecan delete loops as <strong>the</strong>y arise.Remark 4.3.12 The quantity τ(C) can be computed recursively, us<strong>in</strong>g <strong>the</strong> formulaτ(C) = τ(C − e) + τ(C.e), <strong>in</strong> which C − e is <strong>the</strong> map obta<strong>in</strong>ed from C by delet<strong>in</strong>g <strong>the</strong>edge e and C.e is <strong>the</strong> map obta<strong>in</strong>ed from C by contract<strong>in</strong>g <strong>the</strong> edge e (and remov<strong>in</strong>g anyloops produced). [Pro<strong>of</strong> <strong>of</strong> this formula is a simple case analysis: τ(C − e) counts <strong>the</strong><strong>spann<strong>in</strong>g</strong> <strong>trees</strong> <strong>of</strong> C that do not conta<strong>in</strong> <strong>the</strong> edge e, and τ(C.e) counts <strong>the</strong> <strong>spann<strong>in</strong>g</strong> <strong>trees</strong><strong>of</strong> C that do conta<strong>in</strong> <strong>the</strong> edge e.] Fur<strong>the</strong>rmore, if C 1 and C 2 are connected maps which<strong>in</strong>tersect <strong>in</strong> exactly one vertex (and no edges) <strong>the</strong>n τ(C 1 • C 2 ) = τ(C 1 ) × τ(C 1 ) (Theorem4.3.3), as is also easily seen. See Figure 4.7 for an example <strong>of</strong> computation us<strong>in</strong>g thismethod. (For each map <strong>in</strong> <strong>the</strong> figure, an edge which is deleted-contracted is marked withan asterisk.)□Figure 4.7: Comput<strong>in</strong>g <strong>of</strong> τ(C) by deletion-contraction.

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!