chapter 3 1 trees
play

Chapter 3.1 Trees Prof. Tesler Math 154 Winter 2020 Prof. Tesler - PowerPoint PPT Presentation

Chapter 3.1 Trees Prof. Tesler Math 154 Winter 2020 Prof. Tesler Ch. 3.1: Trees Math 154 / Winter 2020 1 / 17 Trees Stick figure tree Tree in graph theory Not a tree Not a tree (has cycle) (not connected) A graph is acyclic if it


  1. Chapter 3.1 Trees Prof. Tesler Math 154 Winter 2020 Prof. Tesler Ch. 3.1: Trees Math 154 / Winter 2020 1 / 17

  2. Trees Stick figure tree Tree in graph theory Not a tree Not a tree (has cycle) (not connected) A graph is acyclic if it doesn’t have any cycles. A tree is a connected acyclic graph. It keeps branching out like an actual tree, but it is not required to draw it branching out from bottom to top. Applications of trees: Genealogical trees, evolutionary trees, decision trees, various data structures in Computer Science. Prof. Tesler Ch. 3.1: Trees Math 154 / Winter 2020 2 / 17

  3. Theorem: A tree has exactly one path between any pair of vertices Proof: Let x , y be any two distinct vertices. There is a path between them since the graph is connected. Suppose there are two unequal paths between them (red/blue). x y Superimposing the paths and removing their common edges (dashed) results in one or more cycles (solid). But a tree has no cycles! Thus, there cannot be two paths between x and y . Prof. Tesler Ch. 3.1: Trees Math 154 / Winter 2020 3 / 17

  4. Leaves Leaf Internal vertex A vertex of degree 1 is called a leaf . This tree has 8 leaves (including the bottom vertex). Sometimes, isolated vertices (vertices of degree 0) are also counted as leaves. A vertex with degree � 2 is an internal vertex . This tree has 4 internal vertices. Prof. Tesler Ch. 3.1: Trees Math 154 / Winter 2020 4 / 17

  5. Theorem: Every tree with at least two vertices has at least two leaves. x z Proof: Pick any vertex, x . Generate a path starting at x : Since there are at least two vertices and the graph is connected, x has at least one edge. Follow any edge on x to a new vertex, v 2 . If v 2 has any edge not yet on this path, pick one and follow it to a new vertex, v 3 . Continue until we are at a vertex z with no unused edge. Prof. Tesler Ch. 3.1: Trees Math 154 / Winter 2020 5 / 17

  6. Theorem: Every tree with at least two vertices has at least two leaves. x z Proof (continued): There are no cycles in a tree, so z cannot be a vertex already encountered on this walk. We entered z on an edge, so d ( z ) � 1 . We had to stop there, so d ( z ) = 1 , and thus, z is a leaf. Prof. Tesler Ch. 3.1: Trees Math 154 / Winter 2020 6 / 17

  7. Theorem: Every tree with at least two vertices has at least two leaves. x z’ z Proof (continued): Now start over and form a path based at z in the same manner; the vertex the path stops at is a second leaf, z ′ ! Prof. Tesler Ch. 3.1: Trees Math 154 / Winter 2020 7 / 17

  8. Theorem: All trees on n � 1 vertices have exactly n − 1 edges Proof by induction: Base case: n = 1 The only such tree is an isolated vertex. This is n = 1 vertex and no edges. Indeed, n − 1 = 0 . Prof. Tesler Ch. 3.1: Trees Math 154 / Winter 2020 8 / 17

  9. Theorem: All trees on n � 1 vertices have exactly n − 1 edges Proof by induction (continued): Induction step: n � 2 . Assume the theorem holds for n − 1 vertices. Let G be a tree on n vertices. G H Pick any leaf, v . v e Let e = { v , w } be its unique edge. w Remove v and e to form graph H = G − v : H is connected (the only paths in G with e went to/from v ). H has no cycles (they would be cycles in G , which has none). So H is a tree with n − 1 vertices. By the induction hypothesis, H has n − 2 edges. Then G has ( n − 2 ) + 1 = n − 1 edges. Prof. Tesler Ch. 3.1: Trees Math 154 / Winter 2020 9 / 17

  10. Lemma: Removing an edge from a cycle keeps connectivity e e u v u v y x y x Removing an edge from a cycle does not affect which vertices are in a connected component: Consider a cycle (red) and edge ( e = { u , v } ) in the cycle. Left graph: Suppose a path (yellow) from x to y goes through e . Right graph: Delete e . This disrupts the yellow path. But the cycle provides an alternate route between u and v ! Reroute the path to substitute e (and possibly adjoining edges) by going around the cycle the other way. Prof. Tesler Ch. 3.1: Trees Math 154 / Winter 2020 10 / 17

  11. Spanning trees A spanning tree of an undirected graph is a subgraph that’s a tree and includes all vertices. A graph G has a spanning tree iff it is connected: If G has a spanning tree, it’s connected: any two vertices have a path between them in the spanning tree and hence in G . If G is connected, we will construct a spanning tree, below. Let G be a connected graph on n vertices. If there are any cycles, pick one and remove any edge. Repeat until we arrive at a subgraph T with no cycles. G T T is still connected, and has no cycles, so it’s a tree! It reaches all vertices, so it’s a spanning tree. Prof. Tesler Ch. 3.1: Trees Math 154 / Winter 2020 11 / 17

  12. Converse to earlier theorem: If a connected graph on n vertices has n − 1 edges, it’s a tree Proof: Let G be a connected graph on n vertices and n − 1 edges. G contains a spanning tree, T . G and T have the same vertices. T has n − 1 edges, which is a subset of the n − 1 edges of G . So G and T have the same edges. G and T have the same vertices and edges, so G = T . Thus, G is a tree. Prof. Tesler Ch. 3.1: Trees Math 154 / Winter 2020 12 / 17

  13. Bridges An edge e is a bridge when G − e has more components than G . Left graph: The red edges are bridges. The other edges aren’t. Right graph: No bridges. Prof. Tesler Ch. 3.1: Trees Math 154 / Winter 2020 13 / 17

  14. Bridges Lemma An edge is a bridge if and only if it is not contained in any cycle. In other words, every edge is either a bridge, or is in a cycle. Proof: If edge e is contained in a cycle C , then any path through e in G can be rerouted along path C − e in G − e . So e is not a bridge. If e = { u , v } isn’t in any cycle, then e is the only path from u to v . The component of G with e is split into two components in G − e . So e is a bridge. Corollary A connected graph is a tree if and only if every edge is a bridge. Prof. Tesler Ch. 3.1: Trees Math 154 / Winter 2020 14 / 17

  15. Forest: a collection of trees A forest is an undirected acyclic graph. Each connected component is a tree. # vertices # edges Left tree 6 5 Right tree 4 3 Total 10 8 Theorem A forest with n vertices and k trees has n − k edges. Proof The i th tree has n i vertices and n i − 1 edges, for i = 1 , . . . , k . Let n be the total number of vertices, n = � k i = 1 n i . � � k � The total number of edges is � k i = 1 ( n i − 1 ) = − k = n − k i = 1 n i Prof. Tesler Ch. 3.1: Trees Math 154 / Winter 2020 15 / 17

  16. Rooted trees 1 9 r 6 8 2 4 5 3 7 10 Choose a vertex r and call it the root . Here, r = 5 (pink). Follow all edges in the direction away from the root. For edge u → v , vertex u is the parent of v and v is the child of u . Children with the same parent are siblings . 5 is the parent of 4 and 6. 4 and 6 are children of 5, and are siblings of each other. 4 is the parent of 1, 2, and 3. 1, 2, and 3 are children of 4, and are siblings. Prof. Tesler Ch. 3.1: Trees Math 154 / Winter 2020 16 / 17

  17. Rooted tree examples Rooted trees are usually drawn in a specific direction, e.g., bottom to top, top to bottom, left to right, or center to outside. Evolutionary trees Primates Tree of Life http://en.wikipedia.org/wiki/File:PrimateTree2.jpg http://en.wikipedia.org/wiki/ File:Collapsed_tree_labels_simplified.png Root at bottom Root at center Edges go bottom to top Edges go out from center Prof. Tesler Ch. 3.1: Trees Math 154 / Winter 2020 17 / 17

Download Presentation
Download Policy: The content available on the website is offered to you 'AS IS' for your personal information and use only. It cannot be commercialized, licensed, or distributed on other websites without prior consent from the author. To download a presentation, simply click this link. If you encounter any difficulties during the download process, it's possible that the publisher has removed the file from their server.

Recommend


More recommend