homework-06-basic-graph-theory
homework-06-basic-graph-theory
of
Computer Science
CS 499, Shanghai Jiaotong University, Dominik Scheder
Exercise 6.1. For each of the graphs below, compute the number of auto-
morphisms it has.
1
Justify your answer!
Solution.
■
Consider the n-dimensional Hamming cube Hn . This is the graph with
vertex set {0, 1}n , and two vertices x, y ∈ {0, 1}n are connected by an edge
if they differ in exactly one edge. For example, the right-most graph in the
figure above is H3 .
Proof.
2
• There are no more than 2n · n! automorphisms. If there are more than
2n ·n! automorphisms, then after we choose v0 , v1 , v2 , . . . , vn , we can still
find more than one automorphism when numbering vn+1 , vn+2 , . . . , v2n −1 .
Consider the n-dimensional Hamming cube as a n-dimensional Eu-
clidean space, each vertex equals to a point in the Euclidean space
with the coordinates (x1 , x2 , . . . , xn ) (xi = 1 or 0 ).
First we choose v0 , we denote it the point (0, 0, 0, . . . , 0), namely, the
origin of the Euclidean space.
After choosing the adjacent vertices v1 , . . . , vn , we have chosen the ver-
tices corresponding to (1, 0, 0, . . . , 0), (0, 1, 0, . . . , 0) · · · (0, 0, 0, . . . , 1),
each of that form a unit vector with v0 : (v0 , v1 ), (v0 , v2 ) · · · (v0 , vn ).
All the n vectors form a basis of the Euclidean space.
Once we choose a origin and a basis of the Euclidean space, all 2n
points’ coordinates are fixed, which means that the way to number all
the vertices is also fixed. Hence there exists no more automorphisms.
Solution. ■
Exercise 6.4. Find an asymmetric tree.
Solution. ■
3
( ( ) )
For a graph G = (V, E), let Ḡ := V, V2 \ E denote its complement
graph.
4
• If n mod 4 = 0, that is n = 4k, where k is a positive integer. we
denote an graph Gk containing k vertices whose complement is GCk.
Now we form the following graph G on n vertices
5
6