A theorem of Gaddum and Nordhaus

   Given a graph G with n vertices. Let G' be the complementary graph of G, which has the same vertex set as G and two vertices are adjacent in G' iff they are not adjacent in G. Let \chi(G) and \chi(G') be the chromatic number of G and G'. In 1956, two mathematicians Edward Alfred Nordhaus and Jerry William Gaddum obtained the following estimates:
   (i) 2\sqrt{n} <= \chi(G) + \chi(G') <= n + 1
   (ii) n <= \chi(G)\chi(G') <= ((n + 1)/2)^2
   The result was written in the paper "On complementary graphs", which was published in The American Mathematical Monthly. To show that \chi(G)\chi(G') >= n, we assume that the vertices of G can be colored by k colors and the vertices of G' can be colored by k' colors. For each vertex v, let G(v) be the color of v in G and G'(v) be the color of v in G'. Since for any two different vertices v, u, either v is adjacent to u in G (which means that G(v) and G(u) must be different) or v is adjacent to u in G' (which means that G'(v) and G'(u) must be different), the n pairs (G(v), G'(v)), where v ranges over the vertex set of G, are pairwise different. As G(v) can be chosen in k ways and G'(v) can be chosen in k' ways, we must have k*k' >= n. This shows that \chi(G)\chi(G') >= n. 
   Next, to show that \chi(G) + \chi(G') <= n + 1, we consider a coloring of the vertices of G by k = \chi(G) colors c(1), c(2), ..., c(k). Let C(i) be the set of vertices colored with c(i). We show that G' can be colored with at most n - k + 1 colors by proceeding as follows: 
   - Set COLOR = 0, VERTICES = 0. COLOR represents the number of colors used and VERTICES represents the number of vertices that are colored. 
   - Find a vertex v in C(2) that is adjacent to a vertex u in C(1). Such u, v must exist, otherwise we can color alternatively as follows: all vertices in C(1) \cup C(2) are colored with c(1) and all vertices in C(i) are colored with c(i) for i = 3, 4, ..., k. This requires only k - 1, contradicting the fact that \chi(G) = k. 
   - After finding u, v, color u, v with the same color c'(1) in G'. Reset COLOR = 1, VERTICES = 2. 
   - Similarly, at step i (i = 2, 3, ..., k - 1), we do as follows: 
   + Find a vertex v in C(i + 1) that is adjacent to i vertices v(1) \in C(1), v(2) \in C(2), ..., v(i) \in C(i). Similarly as above, such v and v(1), v(2), ..., v(i) must exist. Otherwise, for each v in C(i + 1), there exists j <= i such that v is not adjacent to any vertex in C(j) and v can be colored with c(j) instead. By doing this for all vertices v in C(i + 1), the colored c(i + 1) can be removed from the list of colors, which contradicts k = \chi(G). 
   + If v(1), v(2), ..., v(i) are all colored in the previous steps, we can simply color v with the same color as v(1). In this case, set VERTICES := VERTICES + 1, while COLOR remains unchanged.
   + Otherwise, we pick v(j) that is not colored in the previous step and color v, v(j) with a new color that is not used before. Set VERTICES := VERTICES + 2, COLOR := COLOR + 1. 
   At each step, the difference VERTICES - COLOR increase by 1. Therefore, after step k - 1, VERTICES - COLOR = k - 1. By assigning n - VERTICES different unused colors to the n - VERTICES uncolored vertices, we obtain a coloring of G' with COLOR + n - VERTICES = n - k + 1 colors. This shows that \chi(G) + \chi(G') <= n + 1. 
   The inequality \chi(G) + \chi(G') >= 2\sqrt{n} follows easily by \chi(G)\chi(G') >= n and the AM-GM inequality. Similarly, the inequality \chi(G)\chi(G') <= ((n + 1)/2)^2 follows easily from \chi(G) + \chi(G') <= n + 1 and the AM-GM inequality. 

Nhận xét

Bài đăng phổ biến từ blog này

Trước khi đi du học ngành toán tại Đức

Some remarkable statistics about the major of (pure) mathematics at several universities in the world

Some interesting facts about Vietnamese