Let be the two-colour clique Ramsey number. At a vertex of , either its red neighbourhood has at least vertices or its blue neighbourhood has at least . In the first case a red -clique extends through the vertex, or there is a blue -clique; the second case is symmetric. HenceWith , induction and Pascal's identity give . Taking provesThe four-vertex graph is the paw graph, a triangle with a pendant edge; the copy need not be induced. For the lower bound, colour two disjoint triangles in red and all edges between them blue. Red components have only three vertices and blue is bipartite, so neither colour contains a paw. Thus .
For the upper bound, guarantees a monochromatic triangle in , say red on a vertex set . A red edge from to any outside vertex immediately supplies a red paw. Otherwise all edges from to the remaining four vertices are blue. If those four vertices contain a blue edge , then and any vertex of form a blue triangle, and another vertex of joined to supplies its pendant edge. If they contain no blue edge, they are a red , which contains a red paw. Therefore
Articles by others on the same topic
There are currently no matching articles.