Math 510
Introduction to Graph Theory
Spring 2026

Homework Assignments

On proofs: You must use only what we have done in this book in the current and previous chapters. Cite all results from the book that you use. I mean all.

• Chapter I: Graphs and Subgraphs.
• HW A, due W 2/4: Hand in ## I.1 – I.3 and I.1'.
• HW B, due F 2/6: Hand in ## I.2' and I.3'.
• Additional problems:
  • # I.1'. Prove that the following statements about a graph G are equivalent. Use anything in §§I.1-6.
    1. G is a tree (i.e., connected and every edge is an isthmus).
    2. G is connected and contains no circuits.
    3. G is connected and |E| = |V| − 1.
    4. In G, any two vertices are joined by exactly one arc, and G has no loops. (N.B. Usually this theorem is stated for simple graphs, thus I forgot about loops.)
  • # I.2'. Let A denote the adjacency matrix of G. Prove that for m ≥ 0, (A^m)_ij is the number of walks (see the dictionary page) of length m from v_i to v_j.
  • # I.3'. Prove this statement by Tutte at the end of §I.6: We can characterize p₁(G) as the least number of edges whose deletion from G destroys every circuit.
  • # I.4'. Given G and a subgraph J, define an equivalence relation on E(G) \ E(J) by the transitive closure of A ∼ B if A and B are both incident to a vertex v not in J. Prove that the equivalence classes of ∼ are the edge sets of the nondegenerate bridges of J.
  • # I.5'. In a graph, what is the difference between a spanning forest and a maximal forest?


• Chapter II: Contractions and the Theorem of Menger.
• HW C, due F 2/13: Hand in ## I.4', II.2, II.1'.
• HW D, due F 2/20: Hand in ## I.5', II.4.
• HW E, due M 3/2: Hand in ## II.6, II.2', II.3', II.4'.
• Additional problems:
  • # II.1'. Suppose we take H ⊆ G and contract a link A. The subgraph H becomes a subgraph K of G_A". How are w(G, H) and w(G_A", K) related?
  • # II.2'. Prove this fundamental Theorem. A graph is bipartite if and only if it has no circuits of odd length.
  • # II.3'. Assume G is connected and let T be a spanning tree. Prove that every circuit is the set sum (the symmetric difference) of fundamental circuits with respect to T. (For this problem and the following we consider a circuit as an edge set.)
  • # II.4'. Suppose you have a minimal set of circuits that generates all circuits by set summation. (a) Prove there are exactly p₁(G) circuits in your set. (b) How is that related to bases in vector spaces? ((b) is not a proof question.)


• Chapter III: 2-Connection.
• HW F, due M 3/9: Hand in ## III.1-3 and III.1'.
  • # III.1'. Prove the following "vertex" version of Theorem III.7 and find the exceptions. Theorem III.7'. Let G be an inseparable graph and let U, V be nonnull vertex sets in G. Then μ(G;U,V) ≥ 2 with some exceptions.
  • # III.2'. Assume G is connected. Prove that a vertex v is a cutpoint if and only if it has more than one bridge.


• Chapter IV: 3-Connection.