Tree

Let be a tree then

is an acyclic connected graph

Link to original

Minimal Connected Graph

Let be a graph then

is a Minimal Connected Graph if

  1. is connected
  2. is not connected for all

Note that it means every edge is required for connectivity

Link to original

Equivalence of Tree and Minimal Connected Graph lemma

Let be a graph then

is a tree is a minimal connected graph

Link to original


Uniqueness of a Path in a Tree lemma

Let and be vertices of tree then

contains unique path

Link to original

Neighbourhood of a Vertex

Let be a graph with then

Neighbourhood of is

Link to original

Degree of a Vertex

Let be a graph with then

Degree of vertex is

Link to original

Leaf of Graph

Let be a graph then

is a leaf of if

Link to original

Property of Tree with at least Two Vertices lemma

Let be a tree with at least two vertices then

has at least two leaves

Link to original

Number of Vertices of

Let be a graph then

is the number of vertices of

Link to original

Number of Edges of

Let be a graph then

is the number of edges of

Link to original

Number of edges when Removing Vertex of Graph

Let be a graph with then

Link to original


Removing Leaf from Tree lemma

Let be a tree with leaf then

is a tree

Link to original

Number of Edges in a Tree lemma

Let be a tree with vertices then

Link to original


Spanning Subgraph

Let be a graph
Let be a subgraph of then

is a spanning subgraph of if

Link to original

Spanning Tree

Let be a graph
Let be a subgraph of then

is a spanning tree of if is a spanning subgraph and a tree

Link to original

Connected 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 original

Relation of Connectivity and Edges to a Tree lemma

Let be a graph where then

is a tree

  1. is connected

Link to original


Adding Edges to a Graph

Let be a graph
Let be a edge then

is the graph formed from and adding edge

Notation

Suppose then

where for and

Link to original

Maximal Acyclic Graph

Let be acyclic graph then

is maximal acyclic if there does not exist such that is acyclic

Link to original

Relation between Maximal Acyclic and Trees

Let be a graph then

is a tree is maximal acyclic

Link to original

Relation between Acyclic and Edges to Tree

Let be a graph with vertices then

is a tree

  1. is acyclic

Link to original