Discussion 2B

1 Touring Hypercube

Tours

  • Eulerian tour: a tour that traverses each edge exactly once
  • Hamiltonian tour: a tour that traverses each vertex exactly once (except for start/end vertex)
  • (It is easy to check whether a graph has an Eulerian tour, but there is no known fast algorithm to check whether a graph has a Hamiltonian tour)

Hypercube

A hypercube of degree nn has 2n2^n vertices, labeled by all nn-length bit strings. It is composed of two sub-hypercubes of degree n1n-1, which are connected by 2n12^{n-1} edges.
For an nn-dimensional hypercube:
  • each vertex has degree nn
  • there are n2n1n 2^{n-1} edges
  • you can assign nn-length bit string labels to the vertices such that adjacent vertices differ by exactly one bit
Because of the recursive nature of how hypercubes are constructed, proofs by induction are very powerful for hypercubes.

2 Trees

If a complete graph is the most connected a graph can be, a tree is the least connected a graph can be before being disconnected.
A tree on nn vertices
  • is connected
  • has n1n-1 edges
  • has no cycles
Proofs by induction on trees also work well because removing leaves of a tree gives you a tree.

Problem

Prove that all trees must have a leaf (a vertex with degree 11).
Suppose there were no leaves. Then every vertex would have degree at least 22. From the previous discussion, we showed that if every vertex has degree at least 22, then there must be a cycle. This contradicts the fact that trees acyclic.

3 Edge Colorings

When dealing with edge colorings, it can be helpful to think of how many colors a vertex touches, and how this relates to the vertex’s degree.