Link to originalTree
Let be a tree then
is an acyclic connected graph
Link to originalMinimal Connected Graph
Let be a graph then
is a Minimal Connected Graph if
- is connected
- is not connected for all
Note that it means every edge is required for connectivity
Link to originalEquivalence of Tree and Minimal Connected Graph lemma
Let be a graph then
is a tree is a minimal connected graph
Proof
Suppose is a tree then is connected by definition
If is connected where then exists pathAs as then
forms cycle in contradicting being cyclicConversely suppose is a minimal connected graph
If contains cycle with edge then
As is connected then exists path for
If path uses then replace withHence there is a walk in thus is connected
This contradicts being minimal connected so is acyclic and hence a tree
Link to originalUniqueness of a Path in a Tree lemma
Let and be vertices of tree then
contains unique path
Link to originalNeighbourhood of a Vertex
Let be a graph with then
Neighbourhood of is
Link to originalDegree of a Vertex
Let be a graph with then
Degree of vertex is
Link to originalLeaf of Graph
Let be a graph then
is a leaf of if
Link to originalProperty of Tree with at least Two Vertices lemma
Let be a tree with at least two vertices then
has at least two leaves
Proof
Let be a longest path in (existence as is finite)
As then has at least one edge
Suppose has neighbour then
would be a longer path which is a contradictionSuppose has neighbour on where then
would form a cycle in which is a contradiction thenhas exactly one neighbour which is so is a leaf
Similarly is a leaf
Link to originalNumber of Vertices of
Let be a graph then
is the number of vertices of
Link to originalNumber of Edges of
Let be a graph then
is the number of edges of
Link to originalNumber of edges when Removing Vertex of Graph
Let be a graph with then
Link to originalRemoving Leaf from Tree lemma
Let be a tree with leaf then
is a tree
Proof
As is acyclic then any subgraph of is also acyclic so is acyclic
Let
As is connected then exists - pathAs is not an endpoint of path as and
for as is a leaf (as it would have two distinct neighbours in ) thenis a path in so is connected
Hence is a tree
Link to originalNumber of Edges in a Tree lemma
Let be a tree with vertices then
Proof
Induction on so
For then has no edgesSuppose then has a leaf
Hence
Hence by induction then has edges
As one edge is removed then has edges
Link to originalSpanning Subgraph
Let be a graph
Let be a subgraph of thenis a spanning subgraph of if
Link to originalSpanning Tree
Let be a graph
Let be a subgraph of thenis a spanning tree of if is a spanning subgraph and a tree
Link to originalConnected Graph contains Spanning Tree
Let be a connected graph then
contains at least one spanning tree
Note that this can be found by removing edges one at a time until it is connected (and so minimally connected)
Link to originalRelation of Connectivity and Edges to a Tree lemma
Let be a graph where then
is a tree
is connected
Proof
If is a tree then
- Connected by definition
- edges by Number of edges in a tree
Suppose is connected and has spanning tree
As is a tree with vertices then it has edges
HenceThus is a subgraph with al vertices and all edges of hence is a tree
Link to originalAdding Edges to a Graph
Let be a graph
Let be a edge thenis the graph formed from and adding edge
Notation
Suppose then
where for and
Link to originalMaximal Acyclic Graph
Let be acyclic graph then
is maximal acyclic if there does not exist such that is acyclic
Link to originalRelation between Maximal Acyclic and Trees
Let be a graph then
is a tree is maximal acyclic
Link to originalRelation between Acyclic and Edges to Tree
Let be a graph with vertices then
is a tree
is acyclic