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
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
6.4. An explicit formula for <strong>the</strong> <strong>number</strong> <strong>of</strong> <strong>spann<strong>in</strong>g</strong> <strong>trees</strong> <strong>in</strong> S n,k 111and we apply Theorem 4.3.26, <strong>the</strong>n we obta<strong>in</strong>:τ(S n,k ) = (k + 2) n−1 ∗ 2k + τ(S n−1,k ) ∗ (k + 2)τ(S n,k ) = 2k(k + 2) n−1 + (k + 2)τ(S n−1,k )(k + 2)τ(S n−1,k ) = 2k(k + 2) n−1 + (k + 2) 2 τ(S n−2,k )(k + 2) 2 τ(S n−2,k ) = 2k(k + 2) n−1 + (k + 2) 3 τ(S n−3,k )(k + 2) 3 τ(S n−3,k ) = 2k(k + 2) n−1 + (k + 2) 4 τ(S n−4,k ). . . . . . . . .(k + 2) n−4 τ(S 4,k ) = 2k(k + 2) n−1 + (k + 2) n−3 τ(S 3,k )(k + 2) n−3 τ(S 3,k ) = 2k(k + 2) n−1 + (k + 2) n−2 τ(S 2,k )(k + 2) n−2 τ(S 2,k ) = 2k(k + 2) n−1 + (k + 2) n−1 2kBy <strong>the</strong> sum <strong>of</strong> all <strong>the</strong> previous equations, we obta<strong>in</strong>:τ(S n,k ) = 2k(k + 2) n−1 (n − 1) + (k + 2) n −1 2kWe take 2k(k+2) n−1 as a factor, hence <strong>the</strong> result.□Particular cases:1) In <strong>the</strong> previous Theorem 6.4.1, if we take k = 1 (see <strong>the</strong> star flower planarmap S n,k shown <strong>in</strong> figure 6.3), <strong>the</strong>n we obta<strong>in</strong> <strong>the</strong> star flower planar map S n,1 , which has2n vertices (n vertices <strong>of</strong> degree 4 and n <strong>of</strong> degree 2), 3n edges and n + 2 faces (n faces<strong>of</strong> degree 3, one face <strong>of</strong> degree n and <strong>the</strong> o<strong>the</strong>r face <strong>of</strong> degree 2n)(see Figure. 6.6):Figure 6.6: The star flower planar map S n,1Example 6.4.2 Here is an example <strong>of</strong> <strong>the</strong> star flower planar map S 2,1 with n = 2 (2triangles) and <strong>the</strong> star flower planar map S 3,1 with n = 3 (3 triangles) (see Figure. 6.7).