16 LIST OF TABLESand <strong>in</strong> random walks <strong>in</strong> graphs [114]. The research <strong>of</strong> <strong>the</strong> <strong>number</strong> <strong>of</strong> <strong>spann<strong>in</strong>g</strong> <strong>trees</strong> <strong>in</strong> agraph has a long history. The cornerstone <strong>of</strong> <strong>the</strong> research, <strong>the</strong> Matrix Tree Theorem, datedback to 1847, which is attributed to Kirchh<strong>of</strong>f. The Matrix Tree Theorem is a famousand classic result on <strong>the</strong> study <strong>of</strong> τ(G). It is known that Kirchh<strong>of</strong>f Matrix Tree Theorem[81, 85], can be applied to any map C to determ<strong>in</strong>e τ(C) by tak<strong>in</strong>g <strong>the</strong> determ<strong>in</strong>ant <strong>of</strong>Laplacian matrix L <strong>of</strong> C, i.e., all c<strong>of</strong>actors <strong>of</strong> L are equal, and <strong>the</strong>ir common value is τ(C),but this requires evaluation <strong>of</strong> a determ<strong>in</strong>ant <strong>of</strong> a correspond<strong>in</strong>g characteristic matrix.However, for a few special families <strong>of</strong> graphs <strong>the</strong>re exist simple formulae which makeit much easier to calculate and determ<strong>in</strong>e <strong>the</strong> <strong>number</strong> <strong>of</strong> correspond<strong>in</strong>g <strong>spann<strong>in</strong>g</strong> <strong>trees</strong>especially when <strong>the</strong>se <strong>number</strong>s are very large. One <strong>of</strong> <strong>the</strong> first such results is due toCayley [25] who showed that complete graph on n vertices, K n , has n n−2 <strong>spann<strong>in</strong>g</strong> <strong>trees</strong>[65], that is he showed τ(K n ) = n n−2 for n ≥ 2. Ano<strong>the</strong>r comb<strong>in</strong>atorial method <strong>of</strong>count<strong>in</strong>g <strong>the</strong> <strong>number</strong> <strong>of</strong> <strong>spann<strong>in</strong>g</strong> <strong>trees</strong> <strong>in</strong> a graph G is <strong>the</strong> Feussner’s recursive formula[49], for count<strong>in</strong>g τ(G) <strong>in</strong> a graph G, is quite <strong>in</strong>tuitive. For an undirected simple graph G,let e be any edge <strong>of</strong> G. All <strong>spann<strong>in</strong>g</strong> <strong>trees</strong> <strong>in</strong> G can be separated <strong>in</strong>to two parts: one partconta<strong>in</strong>s all <strong>spann<strong>in</strong>g</strong> <strong>trees</strong> without e as a tree edge; ano<strong>the</strong>r conta<strong>in</strong>s all <strong>spann<strong>in</strong>g</strong> <strong>trees</strong>with e as a tree edge. The first part has <strong>the</strong> same <strong>number</strong> <strong>of</strong> <strong>spann<strong>in</strong>g</strong> <strong>trees</strong> as graph G 1 ,where G 1 is <strong>the</strong> graph G with e deleted; <strong>the</strong> second part has <strong>the</strong> same <strong>number</strong> <strong>of</strong> <strong>spann<strong>in</strong>g</strong><strong>trees</strong> as graph G 2 , where G 2 is <strong>the</strong> graph created from G by shr<strong>in</strong>k<strong>in</strong>g <strong>the</strong> two vertices <strong>of</strong> e<strong>in</strong>to one vertex. Both G 1 and G 2 have fewer edges than G, so <strong>the</strong> <strong>number</strong> <strong>of</strong> <strong>spann<strong>in</strong>g</strong> <strong>trees</strong><strong>in</strong> G can be counted recursively <strong>in</strong> this way. It is <strong>the</strong>n clear that τ(G) = τ(G 1 ) + τ(G 2 ).In this <strong>the</strong>sis, we have generalized this formula by replac<strong>in</strong>g <strong>the</strong> edge e by a simple pathp that conta<strong>in</strong>s k edges, see [89]. Let G be a graph with multiple edges and self-loops.When we count τ(G), we first neglect all self-loops <strong>in</strong> G because <strong>the</strong>y have no contributionto any <strong>spann<strong>in</strong>g</strong> tree. If G itself is a tree <strong>the</strong>n τ(G) = 1, and if G is disconnected, <strong>the</strong>nτ(G) = 0.Our research <strong>the</strong>me <strong>in</strong> this <strong>the</strong>sis focuses on <strong>the</strong> count<strong>in</strong>g <strong>of</strong> <strong>the</strong> <strong>number</strong> <strong>of</strong> <strong>spann<strong>in</strong>g</strong><strong>trees</strong> <strong>in</strong> connected planar maps, a subject <strong>in</strong> comb<strong>in</strong>atorial graph <strong>the</strong>ory; and to f<strong>in</strong>d newmethods to calculate <strong>the</strong> <strong>number</strong> <strong>of</strong> <strong>spann<strong>in</strong>g</strong> <strong>trees</strong> <strong>in</strong> any map (network). Most researchabout <strong>the</strong> <strong>number</strong> <strong>of</strong> <strong>spann<strong>in</strong>g</strong> <strong>trees</strong> is devoted to determ<strong>in</strong><strong>in</strong>g exact formulae for <strong>the</strong><strong>number</strong> <strong>of</strong> <strong>spann<strong>in</strong>g</strong> <strong>trees</strong> <strong>in</strong> many k<strong>in</strong>ds <strong>of</strong> special graphs, see [6, 14, 62, 63, 65, 66, 127].In this <strong>the</strong>sis, we start by stat<strong>in</strong>g <strong>the</strong> general methods for count<strong>in</strong>g <strong>the</strong> <strong>number</strong> <strong>of</strong><strong>spann<strong>in</strong>g</strong> <strong>trees</strong> <strong>in</strong> graphs; we <strong>the</strong>n provide our new results.Spann<strong>in</strong>g <strong>trees</strong> are relevant to various aspects <strong>of</strong> graphs (networks). Generally, <strong>the</strong><strong>number</strong> <strong>of</strong> <strong>spann<strong>in</strong>g</strong> <strong>trees</strong> <strong>in</strong> a network can be obta<strong>in</strong>ed by comput<strong>in</strong>g a related determ<strong>in</strong>ant<strong>of</strong> <strong>the</strong> Laplacian matrix L <strong>of</strong> <strong>the</strong> network. However, for a large map (network),evaluat<strong>in</strong>g <strong>the</strong> relevant determ<strong>in</strong>ant is computationally <strong>in</strong>tractable. In this <strong>the</strong>sis, we givenew methods to facilitate <strong>the</strong> calculation <strong>of</strong> <strong>the</strong> <strong>number</strong> <strong>of</strong> <strong>spann<strong>in</strong>g</strong> <strong>trees</strong> <strong>in</strong> planar mapsand prove novel simplified results. Then, we apply <strong>the</strong>se methods on certa<strong>in</strong> planar mapsto derive several explicit simple formulae for calculat<strong>in</strong>g <strong>the</strong> <strong>number</strong> <strong>of</strong> <strong>spann<strong>in</strong>g</strong> <strong>trees</strong><strong>in</strong> <strong>some</strong> special families <strong>of</strong> planar maps which are called <strong>the</strong> n-Fan cha<strong>in</strong>s, <strong>the</strong> n- Gridcha<strong>in</strong>s, <strong>the</strong> n-tent cha<strong>in</strong>s, <strong>the</strong> n-Hexagonal cha<strong>in</strong>s, <strong>the</strong> n-Eight cha<strong>in</strong>s, <strong>the</strong> n-Home cha<strong>in</strong>s,
LIST OF TABLES 17<strong>the</strong> n-Barrel cha<strong>in</strong>s, <strong>the</strong> n-Light cha<strong>in</strong>s, <strong>the</strong> n-Kite cha<strong>in</strong>s, <strong>the</strong> n-Envelope cha<strong>in</strong>s and <strong>the</strong>n-Diphenylene, ... etc.Outl<strong>in</strong>e <strong>of</strong> <strong>the</strong> <strong>the</strong>sisThis <strong>the</strong>sis is organized as follows. In <strong>the</strong> first chapter, <strong>some</strong> general graph <strong>the</strong>oryis described. In <strong>the</strong> second chapter, we <strong>in</strong>troduce <strong>the</strong> background and research history<strong>of</strong> our problem and def<strong>in</strong>itions and general properties <strong>of</strong> basic objects studied (<strong>spann<strong>in</strong>g</strong><strong>trees</strong>, complexity, matrices associated to a graph, ... etc). Some basic results are also<strong>in</strong>troduced. The third chapter <strong>in</strong>troduces <strong>the</strong> background and research <strong>of</strong> <strong>the</strong> calculation<strong>of</strong> <strong>the</strong> <strong>number</strong> <strong>of</strong> <strong>spann<strong>in</strong>g</strong> <strong>trees</strong> <strong>in</strong> graphs and <strong>some</strong> methods for count<strong>in</strong>g <strong>spann<strong>in</strong>g</strong> <strong>trees</strong>are <strong>in</strong>troduced. In this chapter, we firstly state <strong>the</strong> general methods for count<strong>in</strong>g <strong>the</strong><strong>number</strong> <strong>of</strong> <strong>spann<strong>in</strong>g</strong> <strong>trees</strong> <strong>in</strong> graphs, and <strong>the</strong>n our new results are discussed. In <strong>the</strong> fourthchapter, we provide new non-trivial methods for calculat<strong>in</strong>g <strong>the</strong> <strong>number</strong> <strong>of</strong> <strong>spann<strong>in</strong>g</strong><strong>trees</strong> <strong>in</strong> planar maps <strong>in</strong> general <strong>the</strong>n <strong>in</strong> particular <strong>in</strong> <strong>some</strong> special connected planarmaps and prove new simplified results, we <strong>the</strong>n apply <strong>the</strong>se methods on <strong>some</strong> specialsplanar maps to give explicit simple formulae to calculate <strong>the</strong> <strong>number</strong> <strong>of</strong> <strong>spann<strong>in</strong>g</strong> <strong>trees</strong><strong>in</strong> certa<strong>in</strong> families <strong>of</strong> planar maps <strong>in</strong> chapter five. In <strong>the</strong> sixth chapter, we consider <strong>the</strong>star flower planar map, and derive a simple explicit formulae for count<strong>in</strong>g <strong>the</strong> <strong>number</strong><strong>of</strong> <strong>spann<strong>in</strong>g</strong> tree <strong>in</strong> it. <strong>in</strong> this chapter we use one <strong>of</strong> <strong>the</strong> methods which mentioned <strong>in</strong><strong>the</strong> fourth chapter to f<strong>in</strong>d <strong>the</strong> <strong>number</strong> <strong>of</strong> <strong>spann<strong>in</strong>g</strong> tree <strong>in</strong> <strong>the</strong> star flower planar map.F<strong>in</strong>ally <strong>in</strong> <strong>the</strong> last chapter, we are go<strong>in</strong>g to focus on <strong>the</strong> maximal planar maps. Thischapter will be divided <strong>in</strong>to two sections; we devote <strong>the</strong> first section for calculat<strong>in</strong>g <strong>the</strong>We<strong>in</strong>er <strong>in</strong>dex (<strong>the</strong> sum <strong>of</strong> distances between all pairs <strong>of</strong> vertices) <strong>in</strong> <strong>the</strong> case <strong>of</strong> planarmaps <strong>in</strong> general <strong>the</strong>n <strong>in</strong> particular <strong>in</strong> <strong>the</strong> maximal planar maps and <strong>in</strong> <strong>the</strong> o<strong>the</strong>r sectionshall study how to count <strong>the</strong> <strong>number</strong> <strong>of</strong> <strong>spann<strong>in</strong>g</strong> <strong>trees</strong> <strong>in</strong> this type <strong>of</strong> this maps, as wellas <strong>enumeration</strong> <strong>of</strong> <strong>spann<strong>in</strong>g</strong> <strong>trees</strong> <strong>in</strong> <strong>the</strong> maximal planar maps. For that, we develop amethod, by us<strong>in</strong>g <strong>the</strong> Matrix Tree Theorem as <strong>the</strong> base and manipulat<strong>in</strong>g <strong>the</strong> matrices,to prove that <strong>the</strong> <strong>number</strong> <strong>of</strong> <strong>spann<strong>in</strong>g</strong> <strong>trees</strong> <strong>in</strong> a maximal planar map which satisfies arecurrence relation. This recurrence relation can be determ<strong>in</strong>ed exactly, i.e., we reach ata formula to calculate <strong>the</strong> <strong>number</strong> <strong>of</strong> <strong>spann<strong>in</strong>g</strong> <strong>trees</strong> <strong>in</strong> <strong>the</strong> maximal planar maps. In <strong>the</strong>end, <strong>some</strong> possible future works are proposed.New resultsThe new results obta<strong>in</strong>ed <strong>in</strong> <strong>the</strong> framework <strong>of</strong> this <strong>the</strong>sis are concentrated <strong>in</strong> Chapters 4,5, 6 and 7.The results <strong>of</strong> Chapter 4 have been partially published <strong>in</strong> [89]. This paper is <strong>the</strong>cornerstone <strong>of</strong> <strong>the</strong> research subject <strong>in</strong> this <strong>the</strong>sis, as it <strong>in</strong>cludes new methods to calculate<strong>the</strong> <strong>number</strong> <strong>of</strong> <strong>spann<strong>in</strong>g</strong> <strong>trees</strong> <strong>in</strong> connected planar maps.The results <strong>of</strong> Chapter 5 are published <strong>in</strong> <strong>the</strong> articles [85, 87, 88, 89]. In <strong>the</strong>se articles,we have applied our new methods that we have reached <strong>in</strong> <strong>the</strong> article [89] on certa<strong>in</strong>