The graph Ramsey number is the least positive integer for which every red-blue colouring of contains a monochromatic copy of . If , the Ramsey theorem gives a monochromatic in every colouring of , and that clique contains . Hence
Choose any vertex of . Its incident edges have two colours, so at leasthave the same colour. Those edges, together with , form a monochromatic .
Suppose first that is odd. On vertices, take a red -regular graph; for example, label the vertices cyclically and join each vertex to the nearest vertices in each direction. Its blue complement is also -regular. Neither colour contains a vertex of degree , so there is no monochromatic . Therefore
Now let be even. If a colouring of had no monochromatic , every vertex would have red and blue degree at most . Since the two degrees sum to , each would equal . The red graph would then be -regular on vertices, impossible because both numbers are odd and the sum of degrees must be even. Hence .
For the matching lower bound, colour a copy of red on vertices and colour all remaining edges blue. Red degree is and the blue graph is two disjoint copies of , of degree . Again neither colour contains . Thus the Ramsey number of a star is
For the lower bound, partition the vertices of into two triples. Colour the edges inside each triple red and all edges between the triples blue. Each red component is only a triangle, while the blue graph is the triangle-free graph , so there is no monochromatic copy of . Hence .
For the upper bound, every colouring of contains a monochromatic triangle because . Suppose that a triangle is red, and let be the other four vertices. If any edge from to were red, it would be a pendant edge extending to a red . Thus all edges between and are blue.
If an edge inside were blue, then for any the vertices would form a blue triangle, and an edge from a second vertex of to would extend it to a blue . Therefore every edge inside is red. The resulting red contains a red triangle and an additional incident edge, hence a red . The blue-triangle case is symmetric, so the Ramsey number of the paw graph is
Articles by others on the same topic
There are currently no matching articles.