What is a graph?
Pair of sets (V(G),E(G)), where each element of E consists of a pair of elements of V
What is a walk in a graph G?
A sequence of vertices v_1 v_2 … v_n such that {v_i, v_i+1} is in E(G) for 1 <= i < n
What is a path in a graph G?
A walk where all the vertices are distinct
What is a cycle?
A closed walk of at least 3 vertices with otherwise distinct vertices
What does is mean for a graph G to be connected?
For any two vertices x,y in V(G), there is an xy-walk in G
What does it mean for two vertices x,y to lie in the same component?
They are joined by an xy-walk
What is a tree?
A minimally connected graph
Prove that any tree is acyclic
Prove that a connected & acyclic graph G is a tree
Prove that any two vertices in a tree are joined by a unique path
Prove that any tree with at least two vertices has at least two leaves
What is a leaf?
A vertex of degree 1
Prove that if T is a tree and v is a leaf, then T-v is a tree
Prove that any tree on n vertices has n-1 edges
What is a spanning tree?
Minimally connected subgraph of the same vertex set
Prove that a connected graph with n-1 edges and n vertices is a tree
What is a minimum cost spanning tree of G?
A spanning tree T of G such that for any other spanning tree T’, C(T’) >= C(T)
Describe Kruskal’s algorithm
Prove that Kruskal’s algorithm produces a minimum cost spanning tree of G
[CONTINUE]
What is an Euler trail?
A walk such that every edge in a graph appears exactly once
What is an Euler tour?
A closed Euler trail
What is an Eulerian graph?
A graph where every edge is of even degree (in an Euler tour, we use one edge to enter a vertex, and a different edge to leave).
What is Eulers theorem?
a connected Eulerian graph has an Euler Tour
Prove Eulers theorem