$25
1. The graph πΊ = πΆ3 × πΆ3 is drawn below:
a. Show that πΊ is Eulerian. The suggested way is to use the characterization we discussed in class. The not-so-easy way is to actually produce an Euler circuit; if you choose this latter route, it suffices to list the vertices in order as they’d be encountered in the circuit.
b. Show that πΊ is Hamiltonian. Here, you’ll want to produce a Hamilton cycle. Again, it suffices to list the vertices in order as they’d be encountered in the cycle.
2. Now, for π, π ≥ 2, consider the grid graph ππ,π = ππ × ππ.
a. Show that if either π or π is at least 3, then ππ,π is not Eulerian. The easy way is to consider what happens along the boundary.
b. Show that for any π ≥ 2, π2,π is Hamiltonian
c. Show that π4,4 is Hamiltonian. The most straightforward way is to produce a Hamilton cycle.
d. Show that π3,3 is not Hamiltonian. The drawing below may suggest a clever approach:
02
12
e. If π and π are both odd, show that ππ,π is not Hamiltonian. (Use the same clever argument from part d).
f. (β) If either π or π is even, show that ππ,π is Hamiltonian.
3. Recall that if a graph πΊ has no links (this means every edge of πΊ is a bridge), then there is a relationship among π, π, and π. Here, π is the number of components, π is the number of edges, and π is the number of vertices in the graph πΊ.
We now consider when πΊ has links.
a. What is the relationship among π, π, π if deleting any 1 link of πΊ turns every other link into a bridge (Example: πΊ is a cycle)? Consider the effect of deleting a link.
b. Now, suppose πΊ is a graph where you can arrive at an all-bridge graph by deleting β links, one at a time, taking care not to delete any edges that become bridges in this process. What is the relationship among π, π, π now?
c. (β) Show that for any graph πΊ, there is a unique value β that works in part π. (What would happen if there were two such values β1 and β2?)
d. What is the value of β in the “theta” graph (πΆ8 with an extra edge) below?
e. What is the value of β for πΎ5, the complete graph on 5 vertices?