Hopefully this chapter has given you some sense of the wide variety of graph theory topics as well as why these studies are interesting. There are many more interesting areas to consider, and the list is increasing all the time; graph theory is an active area of mathematical research.
One reason graph theory is such a rich area of study is that it deals with such a fundamental concept: Any pair of objects can either be related or not related. What the objects are and what βrelatedβ means varies depending on context, and this leads to many applications of graph theory to science and other areas of math. The objects can be countries, and two countries can be related if they share a border. The objects could be land masses that are related if there is a bridge between them. The objects could be websites that are related if there is a link from one to the other. Or we can be completely abstract: The objects are vertices that are related if there is an edge between them.
What question we ask about the graph depends on the application, but often leads to deeper, general and abstract questions worth studying in their own right. Here is a short summary of the types of questions we have considered:
Can the graph be drawn in the plane without edges crossing? If so, how many regions does this drawing divide the plane into?
Is it possible to color the vertices of the graph so that related vertices have different colors using a small number of colors? How many colors are needed?
Can you find subgraphs with certain properties? For example, when does a (bipartite) graph contain a subgraph in which all vertices are only related to one other vertex?
Not surprisingly, these questions are often related to each other. For example, the chromatic number of a graph cannot be greater than 4 when the graph is planar. Whether the graph has an Euler trail depends on how many vertices each vertex is adjacent to (and whether those numbers are always even or not). Even the existence of matchings in bipartite graphs can be proved using paths.
Consider the graph \(G = (V, E)\) with \(V = \{a,b,c,d,e,f,g\}\) and \(E = \{ab, ac, af, bg,
cd, ce\}\) (here we are using the shorthand for edges: \(ab\) really means \(\{a,b\}\text{,}\) for example).
Is the graph \(G\) isomorphic to \(G' = (V', E')\) with \(V' = \{t, u, v, w, x, y, z\}\) and \(E' = \{tz, uv,
uy, uz, vw,
vx\}\text{?}\) If so, give the isomorphism. If not, explain how you know.
Among a group of \(n\) people, is it possible for everyone to be friends with an odd number of people in the group? If so, what can you say about \(n\text{?}\)
Assuming you are successful in building your new 16-faced polyhedron, could every vertex be the joining of the same number of faces? Could each vertex join either 3 or 4 faces? If so, how many of each type of vertex would there be?
How many edges does the graph \(K_{n,n}\) have? For which values of \(n\) does the graph contain an Euler circuit? For which values of \(n\) is the graph planar?
The graph \(G\) has 6 vertices with degrees \(1, 2, 2, 3, 3, 5\text{.}\) How many edges does \(G\) have? If \(G\) was planar, how many faces would it have? Does \(G\) have an Euler trail?
What is the smallest number of colors you need to properly color the vertices of \(K_{7}\text{.}\) Can you say whether \(K_7\) is planar based on your answer?
What is the smallest number of colors you need to properly color the vertices of \(K_{3,4}\text{?}\) Can you say whether \(K_{3,4}\) is planar based on your answer?
For each part below, say whether the statement is true or false. Explain why the true statements are true, and give counterexamples for the false statements.
Let \(G\) be a connected graph with \(v\) vertices and \(e\) edges. Use mathematical induction to prove that if \(G\) contains exactly one cycle (among other edges and vertices), then \(v = e\text{.}\)
You might want to give the proof in two parts. First prove by induction that the cycle \(C_n\) has \(v=e\text{.}\) Then consider what happens if the graph is more than just the cycle.