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

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

4.3. Ma<strong>in</strong> Results 77Figure 4.12: An example <strong>of</strong> maps C= C 1 : C 2 , C 1 , C 2 , C 1 .v 1 v 2 and C 2 .v 1 v 2Theorem 4.3.26 [87, 89] Let C= C 1 : C 2 be a map, v 1 and v 2 two vertices <strong>of</strong> <strong>the</strong> map Cwhich is formed by two maps C 1 and C 2 (see Figure 4.10), <strong>the</strong>nτ(C) = τ(C 1 ) × τ(C 2 .v 1 v 2 ) + τ(C 1 .v 1 v 2 ) × τ(C 2 ).Pro<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 |.Let T 1 be <strong>the</strong> set <strong>of</strong> <strong>spann<strong>in</strong>g</strong> <strong>trees</strong> <strong>of</strong> C which has a path from <strong>the</strong> vertex v 1 to <strong>the</strong> vertexv 2 <strong>in</strong> C 1 and let T 2 be <strong>the</strong> set <strong>of</strong> <strong>spann<strong>in</strong>g</strong> <strong>trees</strong> <strong>of</strong> C which has a path from <strong>the</strong> vertex v 1to <strong>the</strong> vertex v 2 <strong>in</strong> C 2 .We have T 1 ∩ T 2 = ∅ and T 1 ∪ T 2 = T , <strong>the</strong>n τ(C) = |T | = |T 1 | + |T 2 ||T 1 | is <strong>the</strong> <strong>number</strong> <strong>of</strong> <strong>spann<strong>in</strong>g</strong> <strong>trees</strong> <strong>of</strong> C which has a path from v 1 to v 2 <strong>in</strong> C 1 and hasnot any path from v 1 to v 2 <strong>in</strong> C 2 .On <strong>the</strong> o<strong>the</strong>r hand, all <strong>spann<strong>in</strong>g</strong> <strong>trees</strong> <strong>of</strong> C 1 have a path from v 1 to v 2 <strong>in</strong> C 1 , all <strong>spann<strong>in</strong>g</strong><strong>trees</strong> <strong>of</strong> C 2 .v 1 v 2 does not have any path from v 1 to v 2 <strong>the</strong>n |T 1 | = τ(C 1 ) × τ(C 2 .v 1 v 2 ) <strong>the</strong>same for |T 2 | = τ(C 2 )×τ(C 1 .v 1 v 2 ) hence <strong>the</strong> result.□Example 4.3.27 In Example 4.3.25, we apply Theorem 4.3.26, we <strong>the</strong>n obta<strong>in</strong>:τ(C) = τ(C 1 ) × τ(C 2 .v 1 v 2 ) + τ(C 1 .v 1 v 2 ) × τ(C 2 )= 3 × 4 + 5 × 4= 32.Remark 4.3.28 Let C be one <strong>of</strong> <strong>the</strong> follow<strong>in</strong>g maps (see Figure 4.13), <strong>the</strong>nτ(C) = deg v = deg uor,τ(C)= The <strong>number</strong> <strong>of</strong> edges <strong>of</strong> <strong>the</strong> map = The <strong>number</strong> <strong>of</strong> faces <strong>of</strong> <strong>the</strong> map.

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

Saved successfully!

Ooh no, something went wrong!