Cycles and Trees
A “Lower Bound” for connectivity
- What is the minimum number of edges required in a connected graph.
- Any connected graph must have
- However, it is hard to prove this.
Cycles
-
Cycle - Let be a graph, a cycle in is a sequence of vertices satisfying the following conditions
- and all other vertices are distinct from each other and
- Each consecutive pair of vertices is adjacent
-
In other words, cycle is a path that starts and end at the same vertex
-
The length of a cycle is the number of edges used by the sequence, which is also the number of distinct vertices in the sequence (the above notation describes a cycle of length )
- Length has to be at least 3
-
Lemma - Let be a graph, and . If is connected and is in a cycle of , then the graph obtained by removing from is still connected.
- Removing any vertex in a cycle, the rest of that cycle is till connected
- Proof: Let be a graph, and be an edge in the graph. Assume that is connected and that is in a cycle. Let be a graph formed from by removing edge . Want to show that is also connected.
- Let . By the assumption, know that are connected in . Want to show that they are also connected in
- Let be a path between in (exists due to the defintion of connectedness). Divide the proof into 2 cases
- Case 1: does not contain the edge . Then is a path in as well
- Case 2: does contain the edge . Let be the endpoint of which is closer to on the path , and let be the other endpoint
- This divides into 3 parts
- : from to
- The is the edge
- : from to
- cannot use the edge (no delicates), then they must be paths in . This means that is in as well. Also, is connected to in
- are also connected in , since they are part of the cycle. By the transitivity of connectedness, and are also connected in
Graph with no cycle
-
Tree - Let be a graph, is a tree, when it is connected and has no cycles
- Similar to the
Tree
class before, not no root element, don’t have to draw from top down
- Similar to the
-
Lemma - Let be a graph. If does not have a cycle, then there does not exist an edge in such that is connected
- Proof: Let be a graph. Assume that there exists an edge such that is still connected.
- Let be the graph obtained by removing from . Assume that is connected
- Let be the endpoints of , by the definition of connectedness, there exists a path in between (does not contain ).
- Taking the path and adding the edge to it is a cycle in .
-
Lemma - Let be a tree. Then removing any edge from results in a graph that is not connected
- Proof: Following the previous Lemma, by definition, does not have any cycles, and so there does not exist an edge that can be removed from without disconnected it.
- Tree is the “backbone” of a connected graph, While a connected graph may have many edges and many cycles, it is possible to identify an underlying tree structure in the graph.
- If this tree is unchanged, it ensures the graph remains connected
Counting Tree Edges
- Theorem (Number of edges in a tree): Let be a tree. Then
- Want to show it is always possible to pick a degree 1 leaf whose removal from is still a tree
- Lemma - Let be a tree. If , then has a vertex with degree one