# Ramsey's Number R(4, 3)

Ramsey's Number R(4, 3) is the least integer N that solves the following problem

In any group of N people either there are 4 that know each other or there are 3 that do not know each other.

Associating the persons in the group with nodes of a graph in which edges join mutual acquaintances the above description could be reformulated as

Any graph with at least R(4, 3) nodes contains either a K4 or three pairwise disjoined nodes.

A graph is a pair of sets: a set of nodes and a set of edges. Two graphs are said to be complementary if they have the same nodes and disjoined sets of edges whose union consists of all possible edges joing their nodes. Each of the graphs is called a complement of the other. The complement of graph G is denoted Gc.

We have a third formulation for the Ramsey number R(4, 3):

For a graph G with at least R(4, 3) nodes, either G contains K4 or Gc contains K3.

Since the relation between complementary graphs is symmetric, R(4, 3) = R(3, 4).

A fourth formulation arises in the study of chromatic graphs. A graph is n-colored if its of its edges is uniquely associated with (colored in) one of n colors. A 2-colored graph is called bichromatic.

Any bichromatic graph G with at least R(4, 3) nodes, G contains either K4 of one color or K3 of the other color.

R(4, 3) ≤ 10.

### Proof

Choose one of the present fellows - say, A. The rest are split into two groups: those that know A (group S) and those that don't (group T). There are just two possibilities: either |S| ≥ 6 or |T| ≥ 4. (Otherwise |S∪T| < 9.)

If |S| ≥ 6, then there are 3 members of S that know each other; together with A they form a group of four mutual acquaintances.

If |T| ≥ 4, then either they all know each other (in which case we are done), some two are strangers. In the latter case, together with A these two form a triple of mutual strangers.

A stronger inequality is obtained in a more formal way:

R(4, 3) ≤ 9.

### Proof

Observe that both R(3, 3) = 6 and R(4, 2) = 4 are even so that we are in a position to apply the inequality

R(m, n) ≤ R(m-1, n) + R(m, n-1) - 1,

Which gives R(4, 3) ≤ R(3, 3) + R(4, 2) - 1 = 6 + 4 - 1 = 9.

### Theorem

R(4, 3) = 9.

To prove that we need to exhibit a graph with 8 vertices that contains no K4 and whose complement contains no K3. Below is one such graph and its complement.

Place 8 nodes on a circle and join all 2- and 3-neighbors. (The immediate neighbor is 1-neighbor, the next is 2-neighbor, and so on.) For the complement, join each node to its immediate neighbors and to the opposite node. ## References

1. V. K. Balakrishnan, Theory and Problems of Combinatorics, Schaum's Outline Series, McGraw-Hill, 1995, pp. 22-25
{"ft_lang_label":"__label__en","ft_lang_prob":0.9201167,"math_prob":0.9913939,"size":3336,"snap":"2020-24-2020-29","text_gpt3_token_len":964,"char_repetition_ratio":0.1227491,"word_repetition_ratio":0.030206677,"special_character_ratio":0.2823741,"punctuation_ratio":0.11031519,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9977681,"pos_list":[0,1,2,3,4,5,6,7,8],"im_url_duplicate_count":[null,5,null,5,null,null,null,null,null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2020-07-12T17:17:46Z\",\"WARC-Record-ID\":\"<urn:uuid:9fcc4d0d-4fdd-4869-926c-b1bec3abf247>\",\"Content-Length\":\"16396\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:f51bae53-0f4f-4c32-9498-33e91549dbcd>\",\"WARC-Concurrent-To\":\"<urn:uuid:d77c13c1-3a8e-4cd5-8d6a-db521094ef8c>\",\"WARC-IP-Address\":\"107.180.50.227\",\"WARC-Target-URI\":\"https://www.cut-the-knot.org/arithmetic/combinatorics/Ramsey43.shtml\",\"WARC-Payload-Digest\":\"sha1:3MTIRWOHOCWKHFH3FD7J3MMLXIL56CF7\",\"WARC-Block-Digest\":\"sha1:ISGR6Y25ECKEXF4PGZHFBZFUSO24X5HI\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2020/CC-MAIN-2020-29/CC-MAIN-2020-29_segments_1593657138752.92_warc_CC-MAIN-20200712144738-20200712174738-00084.warc.gz\"}"}