Trees and Graphs

Total Page:16

File Type:pdf, Size:1020Kb

Trees and Graphs Module 8: Trees and Graphs Theme 1: Basic Properties of Trees A (rooted) tree is a finite set of nodes such that ¯ there is a specially designated node called the root. ¯ d Ì ;Ì ;::: ;Ì ½ ¾ the remaining nodes are partitioned into disjoint sets d such that each of these Ì ;Ì ;::: ;Ì d ½ ¾ sets is a tree. The sets d are called subtrees,and the degree of the root. The above is an example of a recursive definition, as we have already seen in previous modules. A Ì Ì Ì B C ¾ ¿ Example 1: In Figure 1 we show a tree rooted at with three subtrees ½ , and rooted at , and D , respectively. We now introduce some terminology for trees: ¯ A tree consists of nodes or vertices that store information and often are labeled by a number or a letter. In Figure 1 the nodes are labeled as A;B;:::;Å. ¯ An edge is an unordered pair of nodes (usually denoted as a segment connecting two nodes). A; B µ For example, ´ is an edge in Figure 1. A ¯ The number of subtrees of a node is called its degree. For example, node is of degree three, while node E is of degree two. The maximum degree of all nodes is called the degree of the tree. à ; Ä; F ; G; Å ; Á  ¯ A leaf or a terminal node is a node of degree zero. Nodes and are leaves in Figure 1. B ¯ A node that is not a leaf is called an interior node or an internal node (e.g., see nodes and D ). X X X ¯ Roots of subtrees of a node are called children of while is known as the parent of its D A A B; C D children. For example, B; C and are children of , while is the parent of and . B; C; D Ã Ä ¯ Children of the same parent are called siblings. Thus are siblings as well as and are siblings. ¯ The ancestors of a node are all the nodes along the path from the root to that node. For example, À; D A ancestors of Å are and . ¯ The descendants of a node are all the nodes along the path from that node to a terminal node. F; E ; Ã Ä Thus descendants of B are and . 1 A T3 T T2 1 B C D E F G H I J K L M Figure 1: Example of a tree. 1 Ð ¯ The level of a node is defined by letting the root to be at level zero , while a node at level has ·½ A B; C; D children at level Ð . For example, the root in Figure 1 is at level zero, nodes are à ; Ä; Å at level one, nodes E ; F ; G; À ; Á ;  ate level two, and nodes are at level three. ¯ The depth of a node is its level number. The height of a tree is the maximum level of any Å node in this tree. Node G is at depth two, while node at depth three. The height of the tree presented in Figure 1 is three. d d ¯ A tree is called a -ary tree if every internal node has no more than children. A tree is called d a full d-ary tree if every internal node has exactly children. A complete tree isafulltreeup the last but one level, that is, the last level of such a tree is not full. A binary tree is a tree with =¾ ¿ d . The tree in Figure 1 is a -ary tree, which is neither a full tree nor a complete tree. ¯ An ordered rooted tree is a rooted tree where the children of each internal node are ordered. We usually order the subtrees from left to right. Therefore, for a binary (ordered) tree the subtrees are called the left subtree and the right subtree. ¯ A forest is a set of disjoint trees. Now we study some basic properties of trees. We start with a simple one. Ò ½ Theorem 1. A tree with Ò nodes has edges. ½ Proof. Every node except the root has exactly one in-coming edge. Since there are Ò nodes other ½ than the root, there are Ò edges in a tree. 1Some authors prefer to set the root to be on level one. 2 The next result summarizes our basic knowledge about the maximum number of nodes and the height. Theorem 2. Let us consider a binary tree. i ¾ i ¼ (i) The maximum number of nodes at level i is for . h·½ ¾ ½ (ii) The maximum number of all nodes in a tree of height h is . Ò (iii) If a binary tree of height h has nodes then h ÐÓg ´Ò ·½µ ½: ¾ Ð (iv) If a binary tree of height h has leaves, then h ÐÓg Ð: ¾ =¼ Proof. We first proof (i) by induction. It is easy to see that it is true for i since there is only one i node (the root) at level zero. Let now, by the induction hypothesis, assume there are no more ¾ nodes i·½ i ·½ ¾ at level i. We must prove that at level there are no more than nodes. Indeed, every node i ¾ i at level i may have no more than two children. Since there are nodes on level ,wemusthaveno i i·½ ¡ ¾=¾ i ·½ more than ¾ nodes at level . By mathematical induction we prove (i). To prove (ii) we use (i) and the summation formula for the geometric progression. Since every i h level has at most ¾ nodes and there are no more than levels the total number of nodes cannot exceed h X i h·½ ¾ =¾ ½; i=¼ which proves (ii). h·½ ¾ ½ Now we prove (iii). If a tree has height h, then the maximum number of nodes by (ii) is which must be at least be as big as Ò,thatis, h·½ ¾ ½ Ò: ÐÓg ´Ò ·½µ ½ This implies that h , and completes the proof of (iii). Part (iv) can be proved in ¾ exactly the same manner (see also Theorem 3 below). d k Exercise 8A: Consider a d- ary tree (i.e., nodes have degree at most ). Show that at level there are k h·½ h ´d ½µ=´d ½µ at most d nodes. Conclude the total number of nodes in a tree of height is . Finally, we prove one result concerning a relationship between the number of leaves and the number of nodes of higher degrees. 3 A B D C E F Figure 2: Illustration to Theorem 3. Ò Ò ¾ Theorem 3. Let us consider a nonempty binary tree with ¼ leaves and nodes of degree two. Then Ò = Ò ·½: ¼ ¾ Ò Ò Proof.Let be the total number of all nodes, and ½ the number of nodes of degree one. Clearly Ò = Ò · Ò · Ò : ¼ ½ ¾ On the other hand, if b is the number of edges, then — as already observed in Theorem 1 — we have = b ·½ Ò . But also Ò = b ·½ = Ò ·¾Ò ·½ ½ ¾ Comparing the last two displayed equations we prove out theorem. Ò =¾ Ò =½ Ò =¿ Ò = Ò ·½ ½ ¼ ¼ ¾ In Figure 2 the reader can verify that ¾ , and , hence as predicted by Theorem 3. Theme 2: Tree Traversals Trees are often used to store information. In order to retrieve such information we need a procedure to visit all nodes of a tree. We describe here three such procedures called inorder, postorder and preorder traversals. Throughout this section we assume that trees are ordered trees (from left to right). Ì Ì ;Ì ;::: Ì ½ ¾ Definition.Let be an (ordered) rooted tree with d subtrees of the root. Ì 1. If Ì is null, then the empty list is preorder, inorder and postorder traversal of . Ì 2. If Ì consists of a single node, then that node is preorder, inorder and postorder traversal of . Ì ;Ì ;::: Ì ½ ¾ 3. Otherwise, let d be nonempty subtrees of the root. 4 start end T1 T2 T3 T1 T2 T3 T1 T2 T3 end start pre-order in-order post-order Figure 3: Illustration to preorder, inorder and postorder traversals. Ì Ì ¯ The preorder traversal of nodes in is the following: the root of followed by the Ì Ì ::: Ì ½ ¾ nodes of in preorder, then nodes of in preorder traversal, , followed by d in preorder (cf. Figure 3). ¯ Ì Ì The inorder traversal of nodes in is the following: nodes of ½ in inorder, followed Ì Ì ;Ì ;::: ;Ì ¾ ¿ by the root of , followed by the nodes of d in inorder (cf. Figure 3). ¯ Ì Ì The postorder traversal of nodes in is the following: nodes of ½ in postorder, fol- Ì ;::: ;Ì ¾ lowed by d in postorder, followed by the root (cf. Figure 3). Ì A Ì B Ì ¾ Example 2: Let us consider the tree in Figure 1. The root has three subtrees ½ rooted at , C Ì D rooted at , and subtree ¿ rooted at .Thepreorder traversal is fA; B ; E ; à ; Ä; F ; C ; G; D ; À ; Å ; Á ;  g preorder of T = A Ì B Ì Ì ½ ¾ since after the root we visit first ½ (so we list the root and visit subtrees of ), then subtree C Ì D rooted at and its subtrees, and finally we visit the subtree ¿ rooted and its subtrees. The inorder traversal of Ì is fà ; E ; Ä; B ; F ; A; G; C ; Å ; À ; D ; Á ;  g inorder of T = Ì B Ì ¾ since we first must traverse inorder the subtree ½ rooted at . But inorder traversal of starts by à à traversing in inorder the subtree rooted at E , which in turn must start at .Since is a single node, we list it. Then we move backward and list the root, which is E , and move to the right subtree that B A turns out to be a single node Ä.
Recommended publications
  • Beta Current Flow Centrality for Weighted Networks Konstantin Avrachenkov, Vladimir Mazalov, Bulat Tsynguev
    Beta Current Flow Centrality for Weighted Networks Konstantin Avrachenkov, Vladimir Mazalov, Bulat Tsynguev To cite this version: Konstantin Avrachenkov, Vladimir Mazalov, Bulat Tsynguev. Beta Current Flow Centrality for Weighted Networks. 4th International Conference on Computational Social Networks (CSoNet 2015), Aug 2015, Beijing, China. pp.216-227, 10.1007/978-3-319-21786-4_19. hal-01258658 HAL Id: hal-01258658 https://hal.inria.fr/hal-01258658 Submitted on 19 Jan 2016 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Beta Current Flow Centrality for Weighted Networks Konstantin E. Avrachenkov1, Vladimir V. Mazalov2, Bulat T. Tsynguev3 1 INRIA, 2004 Route des Lucioles, Sophia-Antipolis, France [email protected] 2 Institute of Applied Mathematical Research, Karelian Research Center, Russian Academy of Sciences, 11, Pushkinskaya st., Petrozavodsk, Russia, 185910 [email protected] 3 Transbaikal State University, 30, Aleksandro-Zavodskaya st., Chita, Russia, 672039 [email protected] Abstract. Betweenness centrality is one of the basic concepts in the analysis of social networks. Initial definition for the betweenness of a node in a graph is based on the fraction of the number of geodesics (shortest paths) between any two nodes that given node lies on, to the total number of the shortest paths connecting these nodes.
    [Show full text]
  • General Approach to Line Graphs of Graphs 1
    DEMONSTRATIO MATHEMATICA Vol. XVII! No 2 1985 Antoni Marczyk, Zdzislaw Skupien GENERAL APPROACH TO LINE GRAPHS OF GRAPHS 1. Introduction A unified approach to the notion of a line graph of general graphs is adopted and proofs of theorems announced in [6] are presented. Those theorems characterize five different types of line graphs. Both Krausz-type and forbidden induced sub- graph characterizations are provided. So far other authors introduced and dealt with single spe- cial notions of a line graph of graphs possibly belonging to a special subclass of graphs. In particular, the notion of a simple line graph of a simple graph is implied by a paper of Whitney (1932). Since then it has been repeatedly introduc- ed, rediscovered and generalized by many authors, among them are Krausz (1943), Izbicki (1960$ a special line graph of a general graph), Sabidussi (1961) a simple line graph of a loop-free graph), Menon (1967} adjoint graph of a general graph) and Schwartz (1969; interchange graph which coincides with our line graph defined below). In this paper we follow another way, originated in our previous work [6]. Namely, we distinguish special subclasses of general graphs and consider five different types of line graphs each of which is defined in a natural way. Note that a similar approach to the notion of a line graph of hypergraphs can be adopted. We consider here the following line graphsi line graphs, loop-free line graphs, simple line graphs, as well as augmented line graphs and augmented loop-free line graphs. - 447 - 2 A. Marczyk, Z.
    [Show full text]
  • P2k-Factorization of Complete Bipartite Multigraphs
    P2k-factorization of complete bipartite multigraphs Beiliang Du Department of Mathematics Suzhou University Suzhou 215006 People's Republic of China Abstract We show that a necessary and sufficient condition for the existence of a P2k-factorization of the complete bipartite- multigraph )"Km,n is m = n == 0 (mod k(2k - l)/d), where d = gcd()", 2k - 1). 1. Introduction Let Km,n be the complete bipartite graph with two partite sets having m and n vertices respectively. The graph )"Km,n is the disjoint union of ).. graphs each isomorphic to Km,n' A subgraph F of )"Km,n is called a spanning subgraph of )"Km,n if F contains all the vertices of )"Km,n' It is clear that a graph with no isolated vertices is uniquely determined by the set of its edges. So in this paper, we consider a graph with no isolated vertices to be a set of 2-element subsets of its vertices. For positive integer k, a path on k vertices is denoted by Pk. A Pk-factor of )'Km,n is a spanning subgraph F of )"Km,n such that every component of F is a Pk and every pair of Pk's have no vertex in common. A Pk-factorization of )"Km,n is a set of edge-disjoint Pk-factors of )"Km,n which is a partition of the set of edges of )'Km,n' (In paper [4] a Pk-factorization of )"Km,n is defined to be a resolvable (m, n, k,)..) bipartite Pk design.) The multigraph )"Km,n is called Ph-factorable whenever it has a Ph-factorization.
    [Show full text]
  • Sphere-Cut Decompositions and Dominating Sets in Planar Graphs
    Sphere-cut Decompositions and Dominating Sets in Planar Graphs Michalis Samaris R.N. 201314 Scientific committee: Dimitrios M. Thilikos, Professor, Dep. of Mathematics, National and Kapodistrian University of Athens. Supervisor: Stavros G. Kolliopoulos, Dimitrios M. Thilikos, Associate Professor, Professor, Dep. of Informatics and Dep. of Mathematics, National and Telecommunications, National and Kapodistrian University of Athens. Kapodistrian University of Athens. white Lefteris M. Kirousis, Professor, Dep. of Mathematics, National and Kapodistrian University of Athens. Aposunjèseic sfairik¸n tom¸n kai σύνοla kuriarqÐac se epÐpeda γραφήματa Miχάλης Σάμαρης A.M. 201314 Τριμελής Epiτροπή: Δημήτρioc M. Jhlυκός, Epiblèpwn: Kajhγητής, Tm. Majhmatik¸n, E.K.P.A. Δημήτρioc M. Jhlυκός, Staύρoc G. Kolliόποuloc, Kajhγητής tou Τμήμatoc Anaπληρωτής Kajhγητής, Tm. Plhroforiκής Majhmatik¸n tou PanepisthmÐou kai Thl/ni¸n, E.K.P.A. Ajhn¸n Leutèrhc M. Kuroύσης, white Kajhγητής, Tm. Majhmatik¸n, E.K.P.A. PerÐlhyh 'Ena σημαντικό apotèlesma sth JewrÐa Γραφημάτwn apoteleÐ h apόdeixh thc eikasÐac tou Wagner από touc Neil Robertson kai Paul D. Seymour. sth σειρά ergasi¸n ‘Ελλάσσοna Γραφήματα’ apo to 1983 e¸c to 2011. H eikasÐa αυτή lèei όti sthn κλάση twn γραφημάtwn den υπάρχει άπειρη antialusÐda ¸c proc th sqèsh twn ελλασόnwn γραφημάτwn. H JewrÐa pou αναπτύχθηκε gia thn απόδειξη αυτής thc eikasÐac eÐqe kai èqei ακόμα σημαντικό antÐktupo tόσο sthn δομική όσο kai sthn algoriθμική JewrÐa Γραφημάτwn, άλλα kai se άλλα pedÐa όπως h Παραμετρική Poλυπλοκόthta. Sta πλάιsia thc απόδειξης oi suggrafeÐc eiσήγαγαν kai nèec paramètrouc πλά- touc. Se autèc ήτan h κλαδοαποσύνθεση kai to κλαδοπλάτoc ενός γραφήματoc. H παράμετρος αυτή χρησιμοποιήθηκε idiaÐtera sto σχεδιασμό algorÐjmwn kai sthn χρήση thc τεχνικής ‘διαίρει kai basÐleue’.
    [Show full text]
  • Modeling Multiple Relationships in Social Networks
    Asim AnsAri, Oded KOenigsberg, and FlOriAn stAhl * Firms are increasingly seeking to harness the potential of social networks for marketing purposes. therefore, marketers are interested in understanding the antecedents and consequences of relationship formation within networks and in predicting interactivity among users. the authors develop an integrated statistical framework for simultaneously modeling the connectivity structure of multiple relationships of different types on a common set of actors. their modeling approach incorporates several distinct facets to capture both the determinants of relationships and the structural characteristics of multiplex and sequential networks. they develop hierarchical bayesian methods for estimation and illustrate their model with two applications: the first application uses a sequential network of communications among managers involved in new product development activities, and the second uses an online collaborative social network of musicians. the authors’ applications demonstrate the benefits of modeling multiple relations jointly for both substantive and predictive purposes. they also illustrate how information in one relationship can be leveraged to predict connectivity in another relation. Keywords : social networks, online networks, bayesian, multiple relationships, sequential relationships modeling multiple relationships in social networks The rapid growth of online social networks has led to a social commerce (Stephen and Toubia 2010; Van den Bulte resurgence of interest in the marketing
    [Show full text]
  • The Chromatic Index of Nearly Bipartite Multigraphs
    JOURNAL OF COMBINATORIAL THEORY, Series B 40, 71-80 (1986) The Chromatic Index of Nearly Bipartite Multigraphs LARRY EGGAN AND MICHAEL PLANTHOLT Department of Mathematics, Illinois State University Normal, Illinois 61761 Communicated by the Editors Received January 5, 1984 We determine the chromatic index of any multigraph which contains a vertex whose deletion results in a bipartite multigraph. 0 1986Academic Press, Inc. 1. INTRODUCTION We denote the vertex and edge sets of a multigraph M by v(M) and E(M), respectively. An (edge) coloring of a multigraph is an assignment of colors to its edges in such a way that no two adjacent edges are assigned the same color. The chromatic index x’(M) of a multigraph M is the minimum number of colors used among all possible colorings of A4. Shan- non [ 13) proved that for any multigraph A4 with maximum degree d(M), d(M) <X’(M) d 1. d(M), while Vizing’s theorem [14] states that the chromatic index of a (simple) graph G is either d(G) or d(G) + 1. Although the general problem of determining the chromatic index of a graph (and therefore of multigraphs) is NP-complete (Holyer [6]), some good results have been obtained by considering special families of graphs of multigraphs where the x’ invariant behaves more predictably. For any multigraph A4, let t(M) = max,(2 IE(H)(/( 1V(H)1 - l)>, where the maximum is taken over all induced submultigraphs of A4 which have an odd number of vertices, and let 4(M) = max{d(M), [t(M)]).
    [Show full text]
  • Analyzing Local and Global Properties of Multigraphs
    The University of Manchester Research Analyzing local and global properties of multigraphs DOI: 10.1080/0022250X.2016.1219732 Document Version Accepted author manuscript Link to publication record in Manchester Research Explorer Citation for published version (APA): Shafie, T. (2016). Analyzing local and global properties of multigraphs. Journal of Mathematical Sociology, 40(4), 239-264. https://doi.org/10.1080/0022250X.2016.1219732 Published in: Journal of Mathematical Sociology Citing this paper Please note that where the full-text provided on Manchester Research Explorer is the Author Accepted Manuscript or Proof version this may differ from the final Published version. If citing, it is advised that you check and use the publisher's definitive version. General rights Copyright and moral rights for the publications made accessible in the Research Explorer are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights. Takedown policy If you believe that this document breaches copyright please refer to the University of Manchester’s Takedown Procedures [http://man.ac.uk/04Y6Bo] or contact [email protected] providing relevant details, so we can investigate your claim. Download date:30. Sep. 2021 Analysing Local and Global Properties of Multigraphs Termeh Shafie Department of Computer and Information Science University of Konstanz, Germany [email protected] Abstract The local structure of undirected multigraphs under two random multigraph models is analysed and compared. The first model generates multigraphs by randomly coupling pairs of stubs according to a fixed degree sequence so that edge assignments to vertex pair sites are dependent.
    [Show full text]
  • A Multigraph Approach to Social Network Analysis
    1 Introduction Network data involving relational structure representing interactions between actors are commonly represented by graphs where the actors are referred to as vertices or nodes, and the relations are referred to as edges or ties connecting pairs of actors. Research on social networks is a well established branch of study and many issues concerning social network analysis can be found in Wasserman and Faust (1994), Carrington et al. (2005), Butts (2008), Frank (2009), Kolaczyk (2009), Scott and Carrington (2011), Snijders (2011), and Robins (2013). A common approach to social network analysis is to only consider binary relations, i.e. edges between pairs of vertices are either present or not. These simple graphs only consider one type of relation and exclude the possibility for self relations where a vertex is both the sender and receiver of an edge (also called edge loops or just shortly loops). In contrast, a complex graph is defined according to Wasserman and Faust (1994): If a graph contains loops and/or any pairs of nodes is adjacent via more than one line the graph is complex. [p. 146] In practice, simple graphs can be derived from complex graphs by collapsing the multiple edges into single ones and removing the loops. However, this approach discards information inherent in the original network. In order to use all available network information, we must allow for multiple relations and the possibility for loops. This leads us to the study of multigraphs which has not been treated as extensively as simple graphs in the literature. As an example, consider a network with vertices representing different branches of an organ- isation.
    [Show full text]
  • Classifying Multigraph Models of Secondary RNA Structure Using Graph-Theoretic Descriptors
    International Scholarly Research Network ISRN Bioinformatics Volume 2012, Article ID 157135, 11 pages doi:10.5402/2012/157135 Research Article Classifying Multigraph Models of Secondary RNA Structure Using Graph-Theoretic Descriptors Debra Knisley,1, 2 Jeff Knisley,1, 2 Chelsea Ross,2 and Alissa Rockney2 1 Institute for Quantitative Biology, East Tennessee State University, Johnson City, TN 37614-0663, USA 2 Department of Mathematics and Statistics, East Tennessee State University, Johnson City, TN 37614-0663, USA Correspondence should be addressed to Debra Knisley, [email protected] Received 26 August 2012; Accepted 11 September 2012 Academic Editors: J. Arthur and N. Lemke Copyright © 2012 Debra Knisley et al. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited. The prediction of secondary RNA folds from primary sequences continues to be an important area of research given the significance of RNA molecules in biological processes such as gene regulation. To facilitate this effort, graph models of secondary structure have been developed to quantify and thereby characterize the topological properties of the secondary folds. In this work we utilize a multigraph representation of a secondary RNA structure to examine the ability of the existing graph-theoretic descriptors to classify all possible topologies as either RNA-like or not RNA-like. We use more than one hundred descriptors and several different machine learning approaches, including nearest neighbor algorithms, one-class classifiers, and several clustering techniques. We predict that many more topologies will be identified as those representing RNA secondary structures than currently predicted in the RAG (RNA-As-Graphs) database.
    [Show full text]
  • Complex Networks As Hypergraphs
    Complex Networks as Hypergraphs Ernesto Estrada1* and Juan A. Rodríguez-Velázquez2 1Complex Systems Research Group, X-rays Unit, RIAIDT, Edificio CACTUS, University of Santiago de Compostela, 15706 Santiago de Compostela, Spain and 2Department of Mathematics, University Carlos III de Madrid, 28911 Leganés (Madrid), Spain. The representation of complex systems as networks is inappropriate for the study of certain problems. We show several examples of social, biological, ecological and technological systems where the use of complex networks gives very limited information about the structure of the system. We propose to use hypergraphs to represent these systems by introducing the concept of the complex hyper-network. We define several structural measures for complex hyper-networks. These measures characterize hyper-network structures on the basis of node participation in different hyper-edges (groups) and sub-hypergraphs. We also define two clustering coefficients, one characterizing the transitivity in the hyper-network through the proportion of hyper- triangles to paths of length two and the other characterizing the formation of triples of mutually adjacent groups in the hyper-network. All of these characteristics are studied in two different hyper-networks; a scientific collaboration hyper-network and an ecological competence hyper-network. PACS number(s): 89.75.Fb, 87.10.+e, 89.20.-a 1 1. INTRODUCTION The study of complex networks represents an important area of multidisciplinary research involving physics, mathematics, chemistry, biology, social sciences, and information sciences, among others [1–5]. These systems are commonly represented by means of simple or directed graphs that consist of sets of nodes representing the objects under investigation, e.g., people or groups of people, molecular entities, computers, etc., joined together in pairs by links if the corresponding nodes are related by some kind of relationship.
    [Show full text]
  • Laplacian Centrality
    Information Sciences 194 (2012) 240–253 Contents lists available at SciVerse ScienceDirect Information Sciences journal homepage: www.elsevier.com/locate/ins Laplacian centrality: A new centrality measure for weighted networks ⇑ Xingqin Qi b, Eddie Fuller a, Qin Wu c, Yezhou Wu a, Cun-Quan Zhang a, a Department of Mathematics, West Virginia University, Morgantown, WV 26506, USA b School of Mathematics and Statistics, Shandong University at Weihai, Weihai 264209, China c School of IOT Engineering, Jiangnan University, Wuxi 214122, China article info abstract Article history: The centrality of vertices has been a key issue in network analysis. For unweighted net- Received 7 April 2011 works where edges are just present or absent and have no weight attached, many central- Received in revised form 17 November 2011 ity measures have been presented, such as degree, betweenness, closeness, eigenvector and Accepted 28 December 2011 subgraph centrality. There has been a growing need to design centrality measures for Available online 4 January 2012 weighted networks, because weighted networks where edges are attached weights would contain rich information. Some network measures have been proposed for weighted net- Keywords: works, including three common measures of vertex centrality: degree, closeness, and Weighted network betweenness. In this paper, we propose a new centrality measure called the Laplacian cen- Degree centrality P 2 Closeness centrality trality measure for weighted networks. The Laplacian energy is defined as ELðGÞ¼ iki , Betweenness centrality where ki’s are eigenvalues of the Laplacian matrix of weighted network G. The importance Laplacian energy (centrality) of a vertex v is reflected by the drop of the Laplacian energy of the network to respond to the deactivation (deletion) of the vertex from the network.
    [Show full text]
  • Lecture 10 Eulerian Multigraphs
    Lecture 10 Eulerian Multigraphs This section of the notes revisits the Königsberg Bridge Problem and generalises it to explore Eulerian multigraphs: those that contain a closed walk that traverses every edge exactly once. Reading: The material in today’s lecture comes from Section 1.3 of Dieter Jungnickel (2013), Graphs, Networks and Algorithms, 4th edition, (available online via SpringerLink), though his proof is somewhat more terse. In Lecture 1 we used a proof by contradiction to demonstrate that there is no solution to the Königsberg Bridge Problem, which is illustrated in Figure 10.1. That is, it’s not possible to find a walk that (a) crosses each of the city’s seven bridges exactly once and (b) starts and finishes in the same place. Today we’ll generalise the problem, then find a number of equivalent conditions that tell us when the corresponding closed walk exists. First, recall that a multigraph G(V; E) has the same definition as a graph, except that we allow parallel edges. That is, we allow pairs of vertices (u; v) to appear more than once in E. Because of this, people sometimes speak of the edge list of a multigraph, as opposed to the edge set. North Bank West East Island Island South Bank Figure 10.1: We proved in the first lecture of the term that it is impossible tofind a closed walk that traverses every edge in the graph above exactly once. 10.1 Figure 10.2: The panel at left shows a graph produced by adding two edges (shown in blue) to the graph from the Königsberg Bridge Problem.
    [Show full text]