How Many Edges
A graph has vertex degrees \(2,2,3,3,4\). How many edges does it have?
Add the degrees and divide by \(2\).
The degree sum is \(2+2+3+3+4=14\). Each edge is counted twice, so there are \(14/2=7\) edges.
Chapter
Theory
A graph replaces relations between objects by vertices and edges. People and acquaintances, cities and roads, teams and games, cells and legal moves often become the same kind of structure.
The first main graph tool is the degree-sum formula: every edge has two ends, so \(\sum \deg(v)=2E\). From this simple formula come the parity of odd degrees, average arguments, and many impossibility proofs.
Ask: what are the vertices, and what are the edges? If the relation is mutual, use an undirected graph. If the relation is directed, it may be a tournament or directed graph, but often it is enough to count in-degrees and out-degrees.
If the statement contains words like “each”, “exactly”, “at least”, “is acquainted with”, or “is connected to”, it is almost always useful to write down degrees and use the degree-sum formula.
Examples
The first action in a graph is to count degrees.
Problem. A graph has vertex degrees \(2,3,3,4,4\). How many edges does it have?
The sum of degrees is \(2+3+3+4+4=16\). Each edge contributes \(2\) to the degree sum, so the number of edges is \(16/2=8\).
Comment. If the degree sum is odd, such a graph does not exist.
Parity often gives a quick contradiction.
Problem. Can a graph have exactly \(5\) vertices of odd degree?
No. The sum of all degrees is \(2E\), hence even. The sum of even degrees is even, so the sum of odd degrees must also be even. But the sum of \(5\) odd numbers is odd. Contradiction.
Comment. Therefore, the number of vertices of odd degree is always even.
A complete graph appears when every pair of objects is connected.
Problem. How many edges are there in the complete graph on \(9\) vertices?
Each edge is determined by a pair of vertices. Therefore the number of edges is \(\binom{9}{2}=36\).
Comment. Do not count ordered pairs: edge \(AB\) and \(BA\) are the same edge.
The graph model removes unnecessary wording.
Problem. In a group of \(8\) people, each person knows exactly \(3\) others. How many acquaintance pairs are there?
Build a graph: vertices are people, edges are acquaintance pairs. The degree sum is \(8\cdot3=24\). Each acquaintance pair is counted twice, so there are \(24/2=12\) pairs.
Comment. Mutual acquaintance matters: this is an undirected graph.
Connectedness requires at least \(n-1\) edges.
Problem. Prove that a connected graph on \(n\) vertices has at least \(n-1\) edges.
Start with one vertex and add the remaining vertices one by one along paths from the already added part. For a new vertex to be connected to the previous part, at least one new edge is needed. Adding \(n-1\) vertices requires at least \(n-1\) edges.
Comment. Equality is achieved by trees.
A tree always has vertices of degree \(1\).
Problem. Prove that a tree with at least two vertices has at least two leaves.
Take a longest simple path in the tree. If one endpoint had degree greater than \(1\), an edge would go from it to a vertex outside the path; otherwise there would be a cycle or the path could be extended. This contradicts maximality. Hence both endpoints have degree \(1\).
Comment. The longest-path argument appears very often.
Bipartite graphs are recognized by the absence of odd cycles.
Problem. Prove that a bipartite graph has no cycle of odd length.
Let the vertices be split into two parts, with every edge going between the parts. While moving along a cycle, the parts alternate. To return to the starting part, one must make an even number of steps. Thus every cycle has even length.
Comment. This is the same alternation principle as in chessboard coloring.
Graphs help prove statements about acquaintances and strangers.
Problem. Prove that among any \(6\) people, there are either \(3\) mutual acquaintances or \(3\) mutual strangers.
Choose one person \(A\). Among the other \(5\), person \(A\) either knows at least \(3\) or does not know at least \(3\). Suppose, for instance, that \(A\) knows \(B,C,D\). If among \(B,C,D\) there is an acquaintance pair, then together with \(A\) we get \(3\) mutual acquaintances. If there is no acquaintance pair among them, then \(B,C,D\) are mutual strangers. The case of three strangers of \(A\) is analogous.
Comment. This is a strong example, but the proof structure is short.
Problems
A graph has vertex degrees \(2,2,3,3,4\). How many edges does it have?
Add the degrees and divide by \(2\).
The degree sum is \(2+2+3+3+4=14\). Each edge is counted twice, so there are \(14/2=7\) edges.
Can there exist a graph with three vertices of degrees \(1,1,1\)?
The degree sum must be even.
The degree sum is \(3\), which is odd. But the degree sum of any graph is \(2E\), hence even. Such a graph does not exist.
How many edges are there in the complete graph on \(8\) vertices?
An edge is determined by a pair of vertices.
We choose two vertices from \(8\). Therefore the number of edges is \(\binom{8}{2}=28\).
Find the degree sums of a path on \(6\) vertices and a cycle on \(6\) vertices.
The path has \(5\) edges, the cycle has \(6\) edges.
A path on \(6\) vertices has \(5\) edges, so its degree sum is \(10\). A cycle on \(6\) vertices has \(6\) edges, so its degree sum is \(12\).
In a group of \(9\) people, each person states the number of acquaintances in the group. Prove that the sum of the stated numbers is even.
Each acquaintance pair is counted twice.
Build the acquaintance graph. Each acquaintance pair contributes \(1\) to each of two people, hence \(2\) to the total sum. Therefore the sum of all stated numbers is twice the number of acquaintance pairs and is even.
Prove that in every graph, the number of vertices of odd degree is even.
Split the degree sum into even and odd terms.
The sum of all degrees is \(2E\), so it is even. The sum of degrees of even-degree vertices is even. Hence the sum of degrees of odd-degree vertices is also even. A sum of an odd number of odd numbers would be odd, so the number of such vertices is even.
A graph has \(12\) vertices, each of degree \(3\). How many edges does it have?
The degree sum is \(12\cdot3\).
The degree sum is \(36\). It is twice the number of edges, so there are \(36/2=18\) edges.
In a complete bipartite graph, one part has \(4\) vertices and the other has \(7\). How many edges are there?
Each vertex in the first part is connected to each vertex in the second.
Each edge is obtained by choosing one vertex from the first part and one from the second. Thus there are \(4\cdot7=28\) edges.
What is the minimum number of edges in a connected graph on \(10\) vertices?
A connected graph on \(n\) vertices has at least \(n-1\) edges.
The minimum is \(10-1=9\). It is achieved by a path on \(10\) vertices. Fewer edges are impossible because each new vertex needs at least one edge to join the connected part already built.
How many edges are there in a tree on \(15\) vertices?
A tree on \(n\) vertices has \(n-1\) edges.
A tree on \(n\) vertices has exactly \(n-1\) edges. For \(n=15\), this gives \(14\) edges.
Can a simple graph on \(8\) vertices have \(29\) edges?
The maximum is achieved by the complete graph.
In a simple graph, there is at most one edge between two vertices. The maximum number of edges is in the complete graph \(K_8\), which has \(\binom{8}{2}=28\) edges. Therefore \(29\) edges are impossible.
In a group of \(6\) people, can the numbers of acquaintances be \(0,1,2,3,4,5\)?
A person of degree \(5\) knows everyone, while degree \(0\) knows no one.
If there is a person who knows all \(5\) others, then every other person knows at least that person. Thus no person can have \(0\) acquaintances. Therefore the degree set \(0,1,2,3,4,5\) is impossible.
Prove that in any group of \(2n\) people, two people have the same number of acquaintances within the group.
Possible degrees are from \(0\) to \(2n-1\), but \(0\) and \(2n-1\) cannot both occur.
Degrees can be \(0,1,\ldots,2n-1\). However, degrees \(0\) and \(2n-1\) cannot occur together: if someone knows everyone, then nobody has \(0\) acquaintances. Thus at most \(2n-1\) different degree values are available. There are \(2n\) people, so by the pigeonhole principle two degrees are equal.
Prove that if a graph on \(n\) vertices has at least \(n\) edges, then it contains a cycle.
A graph without cycles is a forest.
If the graph has no cycles, each connected component is a tree. If the component sizes are \(n_1,\ldots,n_k\), then the number of edges is \((n_1-1)+\cdots+(n_k-1)=n-k\le n-1\). Thus an acyclic graph has at most \(n-1\) edges. If there are at least \(n\) edges, a cycle must exist.
Prove that a connected graph on \(n\) vertices with \(n-1\) edges has no cycles.
If there is a cycle, remove one edge of the cycle and connectedness remains.
Suppose there is a cycle. Remove one edge of this cycle. Its endpoints are still connected by the rest of the cycle, so the graph remains connected. We get a connected graph on \(n\) vertices with \(n-2\) edges, impossible because a connected graph has at least \(n-1\) edges. Hence there are no cycles.
Prove that every tree with at least two vertices has at least two vertices of degree \(1\).
Take a longest simple path.
Consider a longest simple path in the tree. Let one endpoint be \(v\). If \(v\) had a neighbor outside the path, the path could be extended, contradiction. If \(v\) had a neighbor on the path other than the nearest one, a cycle would appear, impossible in a tree. Thus \(v\) has exactly one neighbor, degree \(1\). The same holds for the other endpoint.
Prove that a graph on \(6\) vertices in which every vertex has degree at least \(3\) is necessarily connected.
If the graph is disconnected, consider a component with at most \(3\) vertices.
If the graph is disconnected, its vertices split into at least two components. One component has at most \(3\) vertices. Inside such a component, any vertex can be connected to at most \(2\) other vertices, so its degree is at most \(2\). This contradicts the condition that all degrees are at least \(3\).
In a bipartite graph, the parts have sizes \(5\) and \(7\), and there are \(20\) edges. Prove that in the part of size \(5\), some vertex has degree at least \(4\).
Compute the average degree in that part.
Each edge is incident to exactly one vertex in the part of size \(5\). Therefore the sum of degrees in this part is \(20\). The average degree is \(20/5=4\). Hence at least one vertex has degree at least \(4\).
In a tournament of \(7\) players, everyone played everyone exactly once, with no draws. Prove that some player won at least \(3\) games and some player lost at least \(3\) games.
There were \(\binom{7}{2}\) games.
There are \(\binom{7}{2}=21\) games, hence \(21\) wins in total. The average number of wins per player is \(21/7=3\), so someone won at least \(3\) games. Similarly, there are \(21\) losses in total, the average number of losses is \(3\), so someone lost at least \(3\) games.
Prove that a graph on \(11\) vertices in which every vertex has degree at least \(6\) is connected.
In a small component, the degree cannot be large.
If the graph is disconnected, take a component. If its size is at most \(6\), every vertex in it has degree at most \(5\), contradiction. Thus every component must have at least \(7\) vertices. But two such components would contain at least \(14\) vertices, more than \(11\). Therefore there cannot be more than one component, and the graph is connected.
Prove that a graph on \(9\) vertices in which every vertex has degree at least \(5\) must contain a triangle.
Choose a vertex and look at its neighbors.
Choose a vertex \(v\). It has at least \(5\) neighbors. If two of these neighbors are adjacent, then together with \(v\) they form a triangle. If there are no edges among the neighbors of \(v\), then each such neighbor is adjacent to \(v\) and can be adjacent only to the three vertices that are neither \(v\) nor neighbors of \(v\). Its degree is then at most \(1+3=4\), contradicting minimum degree \(5\). Hence a triangle exists.
A tree has \(12\) vertices, and every vertex has degree either \(1\) or \(3\). How many leaves does it have?
Let \(L\) be the number of leaves and \(T\) the number of degree \(3\) vertices.
Let \(L\) be the number of leaves and \(T\) the number of degree \(3\) vertices. Then \(L+T=12\). The tree has \(11\) edges, so the degree sum is \(22\). Hence \(L+3T=22\). Subtracting the first equation gives \(2T=10\), so \(T=5\) and \(L=7\).
A connected graph has \(9\) vertices and \(9\) edges. Prove that one can remove an edge so that the graph remains connected.
A connected graph with at least as many edges as vertices contains a cycle.
Since the number of edges equals the number of vertices, the graph contains a cycle. Take any edge of this cycle. If it is removed, its endpoints are still connected by the rest of the cycle. All other connections remain, so the graph stays connected.
Prove that among any \(6\) people, there are either \(3\) mutual acquaintances or \(3\) mutual strangers.
Choose one person and split the others into those acquainted and not acquainted with that person.
Choose a person \(A\). Among the other \(5\) people, by the pigeonhole principle there are either \(3\) who know \(A\), or \(3\) who do not know \(A\). First suppose \(A\) knows \(B,C,D\). If among \(B,C,D\) there is an acquaintance pair, say \(B\) and \(C\), then \(A,B,C\) are three mutual acquaintances. If there is no acquaintance pair among \(B,C,D\), then \(B,C,D\) are three mutual strangers. The second case, with three people not acquainted with \(A\), is analogous: if among them there is a non-acquaintance pair, it together with \(A\) gives three mutual strangers; if not, those three are mutual acquaintances.
Ladders