8.1 Party & Beer & Party & Beer
We first model the party as an undirected graph where vertices are people and edges represent “knowing each other.” The problem states that every person knows exactly 7 others. Therefore every vertex has degree 7. By the Handshaking Lemma The left side equals , which must be even. Since is odd, (or the number of people) must be even.
8.3 Graph connectivity
a) Claim: If a vertex v is part of a cycle, then it is not a cut vertex.
The claim is disproved
b)Claim: If a vertex v is not a cut vertex, then v must be part of a cycle. Let a graph contains two vertices that are connected. Both of them are not cut vertices, are they are not in a cycle. The claim is disproved
c)Claim: If an edge e is part of a cycle (i.e. e connects two consecutive vertices in a cycle), then it is not a cut edge. Let a cycle be , where . Let , If we are to remove , then there still exists a walk So the remaining graph is still connected. Therefore, is not a cut edge. The claim is proved
d)Claim: If an edge e is not a cut edge, then e must be part of a cycle. Assume is not a cut edge. Then removing it does not disconnect the graph, so there is still a path between and . Now we add back the edge , the path and forms together a cycle. Therefore must lie on a cycle. The claim is proved.
e)Claim: If u and v are two adjacent cut vertices, then the edge e = {u,v} is a cut edge.
As shown, u and v are cut vertices but e is not a cut edge.
The claim is disproved.
f)Claim: If e = {u,v} is a cut edge, then u and v are cut vertices. Let a graph contains two vertices that are connected through an edge . is a cut edge, but and are not cut vertices. The claim is disproved. Claim: If e = {u,v} is a cut edge and u and v have degree at least 2, then u and v are cut vertices.
Deleting separates the graph into exactly two components, say containing and containing . Since , has at least one neighbor () that lies in component . But every vertex in is now disconnected from when is removed, because any path from to a vertex in must go through using the edge , and that edge is gone. Thus removing disconnects the graph. So is a cut vertex. By symmetry, the same argument shows that is also a cut vertex. The claim is proved.