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 Fall 2022 Graph Theory Notes
Lecture 14
Basic Terminology, Handshaking Theorem
A graph is a pair where is a finite set of vertices and is a finite multiset of element subsets of , called edges. If has repeated elements is called a multigraph, otherwise it is called a simple graph. We will not consider directed graphs or graphs with loops (edges from a vertex to itself).
Two vertices are adjacent if . An edge is said to be incident with and . The degree of a vertex is the number of edges incident with it.
Theorem. In any graph , Proof. Let \(I=\{(e,v):e\in E,v\in V,\textrm{\)e$ is incident with in }}$ be the set of edge-vertex incidences in . We will count the number of incidences in two ways: (i) Observe that every edge participates in exactly two incidences, and no incidence participates in more than one edge. Thus, the total number of incidences is . (ii) Observe that each vertex participates in exactly incidences, and no incidence participates in more than one vertex. Thus the total number of incidences is . The theorem follows from (i) and (ii).
2-coloring and odd circuits
A path of length in is an alternating sequence of vertices and edges where for all . The path is said to connect, visit the vertices , and traverse the edges . A path is called simple if it contains no repeated vertices. If then the path is called a circuit. Note that in a simple graph (i.e., a graph with no multiple edges), a path is uniquely specified by the sequence of vertices (as there is only one possible choice of edge between each pair of consecutive vertices). A graph is connected if for every pair of distinct vertices of , there is a path in between and .
A k-coloring of is a function such that whenever is adjacent to . A graph is colorable if it has a -coloring. (in class we did the case )
Theorem. Let be a connected graph. Then is $2-colorable if and only if does not contain a circuit of odd length.
Proof. (->) We show the contrapositive. Assume has a circuit of length where is odd. Assume for contradiction that is a coloring of . Assume without loss of generality that , and observe by the definition of coloring that , etc., with if is even and if is odd. In particular, since is odd. But this violates the definition of coloring since is an edge of .
(<-) Assume is connected and contains no odd circuit. Let be an arbitrary vertex of . For every vertex of , choose a path from to (which is possible since is connected). Define a function as follows: let and whenever and whenever is even.
We will show that is a valid coloring of . Let be an arbitrary edge. Consider the circuit formed by concatenating and the reversal of . Notice that and since has no odd circuit, . This means that , so in particular they cannot be both odd or both even. Thus, is a valid coloring, as desired.
The proof of the second direction above is different from the proof in class in two ways. (i) I chose an arbitrary path to each in order to define the coloring and not the shortest path. This is perfectly valid if you are ok with making an arbitrary choice, and a bit less in line with our intuition of coloring the neighbors of followed by their neighbors, etc. (ii) I showed is a coloring via a direct proof rather than by contradiction. It is intructive to read both the proof above and the proof from Lecture 15.
HW8.1 Problems
Let be a positive integer. Prove that the hypercube graph on bits (as defined in class) is connected.
Suppose is a connected graph. Show that between every pair of distinct vertices of , there is a simple path connecting to in .
The degree sequence of a graph is a list of the degrees of its vertices in nonincreasing order. Prove that if a simple graph has degree sequence 2, 2, 2, 1, 1, 1, 1 then it must be disconnected.
Lecture 15
A graph is a subgraph of if and . If then is called a spanning subgraph of .
Two common ways to construct subgraphs of a given graph :
Delete a vertex and all of its incident edges.
Delete an edge, leaving the vertices the same.
A k-coloring of is a function such that whenever is adjacent to .
Chromatic Number is at most
Theorem. If a graph has maximum degree , then is -colorable.
Proof. Let . We proceed by induction. Let be the statement "every graph with vertices and maximum degree at most can be -colored".
Base case: says that the graph with a single isolated vertex can be -colored, which is true.
Inductive Step: Let and assume . Let be a graph on vertices. Choose an arbitrary vertex . Let where and is not incident with , i.e., is the graph obtained by deleting and all edges incident with it from . Notice that has at most vertices and maximum degree at most , so by the inductive hypothesis there exists a -coloring of .
Let be the neighbors of in . Let be any color in –- note that such a color exists since . Define a coloring by extending as follows:
Observe that is a valid -coloring of since every edge incident to has endpoints of distinct colors by the choice of , and every edge in has endpoints of distinct colors because is a valid -coloring of . Thus, is -colorable, as desired.
HW 8.2
Defn. If is a graph, a subset is called a clique if for every pair of distinct vertices . is called an independent set if for every pair of distinct vertices .
Prove that if is a graph then it contains either vertices which form a clique or vertices which form an independent set. (hint: see lecture 15 part III)
Prove that if is colorable then there are disjoint sets (i.e., for every ) with such that each is an independent set.
Defn. If is a graph, a subgraph of is called a connected component of if is connected and maximal, i.e., it is not possible to add any vertices or edges to while keeping it connected (formally: if is a subgraph of such that and is a subgraph of , then must be disconnected.). Read page 717 of Rosen for additional intuition about connected components.
Prove that every nonempty graph contains at least one connected component. (hint: choose an arbitrary vertex and put it in . If is a maximal subgraph we are done, otherwise choose a vertex to add to ,etc.)
Prove that every graph is a disjoint union of its connected components, i.e., there are subgraphs for some with disjoint sets of vertices such that each is a connected component of and . (hint: induction)
The complement of a simple graph is the graph
i.e., the graph whose edges are the non-edges of G. Show that for every graph G, if G is not connected then its complement must be connected. (hint: consider the connected components of )
Lecture 16
A connected component of is a maximal connected subgraph of , i.e. a subgraph such that is connected and adding any vertices to would make it disconnected.
A cycle is a simple circuit circuit with no repeated edges and no repeated vertices, except the endpoints. A graph is called acyclic if it does not contain a cycle as a subgraph. (Note that under this definition, the graph consisting of a single edge is acyclic, but any graph which is not simple contains a cycle. Moreover, a cycle in a simple graph must have at lesat three vertices.)
A connected acyclic graph is called a tree. Note that a graph which is not simple cannot be a tree, since any multiedge constitutes a cycle.
Properties of Trees
A leaf is a vertex of degree one.
Theorem. Every tree with at least two vertices has at least one leaf.
Proof. Let be a vertex in . Let be any vertex in adjacent to . Inductively construct a simple path by choosing to be a vertex adjacent to distinct from . This process terminates at some path when it is not possible to extend the path any further, either because isa leaf or because is adjacent only to previously visited vertices for . The latter case is impossible since then would be a cycle contained in , so must contain a leaf.
Theorem. Every tree on vertices has exactly edges.
Proof. We proceed by induction on the number of vertices of the tree. When the claim is true. Let be a tree on vertices. By the above theorem, has at least one leaf vertex . Let . Notice that is still connected since every pair of vertices in is connected by a path which does not visit (since is a leaf, no simple path between two other vertices visits ). Thus, has edges. Since was a leaf, has edges, as desired.
Theorem. Every tree is -colorable. Proof. By induction. See the lecture slides.
Every Connected Graph Contains a Spanning Tree
Theorem. A graph is connected if and only if it contains a spanning tree.
Proof. () By induction. If contains a cycle , let be any edge in . Notice that is connected since if were connected by a path in , then they are connected by a path in obtained by replacing every occurrence of by . By induction contains a spanning tree, so contains a spanning tree, as desired.
() Suppose contains a spanning tree . Let and be arbitrary vertices in . Since is spanning, these are also vertices in , and since is connected there is a path in between and . Since is a subgraph of , is also a path in , so is connected, as desired.
HW8.1
Show that a graph is a tree if and only if for every pair of distinct vertices , there is a unique path between and in .
Show that if a tree contains a vertex of degree , then it must have at least leaves.
Show that if is a tree and then the spanning subgraph of is disconnected.
Suppose is a graph with vertices and edges. Show that is connected if and only if is acyclic.
Lecture 17
Definition. An Eulerian circuit of a connected multigraph is a circuit which traverses every edge of exactly once.
Euler's theorem
Theorem 1. If is a connected multigraph with at least two vertices which has an Eulerian circuit, then the degree of every vertex in must be even. Proof. See lecture slides.
Theorem 2. If is a connected multigraph with at least two vertices and the degree of every vertex in is even, then has an Eulerian circuit.
Lemma. If every vertex in a multigraph has degree at least , then contains a cycle. Proof. We show the contrapositive. Assume is acyclic and let be the union of its connected components . Each component is connected and acyclic, so each must be a tree. If some has at least two vertices, then it must have a leaf (by a theorem from the previous lecture), so has a vertex of degree . Otherwise, each is an isolated vertex, so every vertex of has degree .
Proof of Theorem 2. We proceed by induction on the number of edges. The minimum number of edges is , and the only graph with the property is two vertices joined by two edges, for which the claim is true.
Assume the theorem holds for all graphs with up to edges. Let be a connected multigraph with edges and every degree even. By the Lemma, contains a cycle . If we are done. Otherwise, consider the graph , and let be its connected components which have at least two vertices.
Observe that degree of every vertex in is even, for every since the degree of each vertex in is even, which means we deleted an even number of edges from each vertex.
Claim: in each there exists a (not necessarily unique) vertex such that .
By the induction hypothesis, each has an Eulerian circuit beginning and ending at . Now observe that the circuit obtained by replacing the first occurrence of in by , for contains each edge of exactly once. So is an Eulerian circuit of , as desired.
HW8.2
Prove that if is a connected component of and is a vertex in , then the degree of in is equal to the degree of in .
Prove the Claim in the proof of Theorem 2 above (which is the same as the claim from Lecture 17).
Prove that if a simple graph contains a circuit with no repeated edges, then it must contain a circuit with no repeated vertices (i.e., a simple circuit).
Prove or disprove: There exists a connected graph with vertices and edges which has an Euler circuit.
Prove or disprove: there exists a connected graph with vertices and edges which has an Euler circuit.