exercise

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.