There is no commentSelect some text and then click Comment, or simply add a comment to this page from below to start a discussion.
Math 55 Graph Theory Practice Solutions
Prove that every simple graph with vertices and edges has at least connected components (hint: induction on ).
Proof 1. We proceed by induction. Fix and let be the statement that every simple graph with vertices and edges has at least connected components. We will show that is true for all .
Basis Step: says that a graph with no edges has at least connected components, and this is true since each vertex is its own connected component.
Inductive Step: Assume is true. Let be a graph with vertices and edges. Let be an arbitrary edge of , and let be the graph obtained by deleting . Let be the connected components of and note that by the inductive hypothesis. Notice that if and are in the same connected component of , then adding it does not change the connected components, so in this case also has connected components. On the other hand if and for some then is a connected component of , since there is a path from every and by concatenating a path from to , the edge , and a path from to . The other connected components of remain connected components in . Thus, the number of connected components decreases by at most one upon adding , so the number of connected components in is at least , as desired.
Proof 2. By contradiction. Assume is a simple graph with vertices and edges. Assume has at most connected components. Let the connected components be , and suppose they have vertices, where Each connected component must contain a spanning tree, and these trees have edges. Since these sets of edges are disjoint, the total number of edges in is at least since , which is a contradiction.
Let be a prime. Consider the graph with and Show that is connected. Does have an Euler circuit? Prove your answer. Solution. (i) Let be two vertices of . Let . We will show that there is an integer such that , which will imply that is a path in between and if and otherwise is a path in between and if . To see that such a exists, observe that and are relatively prime since . Thus has an inverse modulo , and any satisfying is sufficient. (ii) Let . Observe that is an edge if or . Each of these equations has a unique solution in , so the degree of every vertex is . By Euler's theorem, this means that has an Eulerian circuit.
Let be an integer and let . Consider the graph with and What are the degrees of the vertices in ? Is connected? For which values of and does have an Eulerian circuit? For which values of and is colorable? Prove your answers. Solution. As stated, this question has a pretty boring answer: notice that for any subset of size and any other subset , we must have since must contain an element not in and must contain an element not in (as they are the same size). Thus, the edge set of this graph is empty, and the graph is simply the empty graph. The degrees are zero. The graph is not connected. The graph does not have an Eulerian circuit for any value of . The graph is colorable for every value of .
A much more interesting version of the previous question is to consider the graph with edges
Solution. In this case: the degrees are since for any vertex there are choices of elements of to delete and choices of vertices outside to replace it with to obtain a neighbor . The graph is connected for all , since we can construct a path between any distinct and by beginning with and deleting one element of and adding one element of at a time (corresponding to traversing a single edge). The graph has an Eulerian circuit iff the degree is even.
To determine whether the graph is colorable, we will determine whether it has an odd circuit. It turns out that if then this graph always contains a triangle: if the vertices form a triangle, and if then by choosing any set satisfying and we obtain a triangle (such a set exists since when ). Thus, when the graph is not colorable since it contains an odd circuit. The only remaining possibility is that , in which case and the graph consists of a single edge, which is colorable.