cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

A059442 Array of Ramsey numbers R(n,k) (n >= 2, k >= 2) read by antidiagonals.

Original entry on oeis.org

2, 3, 3, 4, 6, 4, 5, 9, 9, 5, 6, 14, 18, 14, 6, 7, 18, 25, 25, 18, 7, 8, 23
Offset: 0

Views

Author

N. J. A. Sloane, Feb 01 2001

Keywords

Comments

See A212954 for another version of this table. The present entry is the main one for these Ramsey numbers R(n,k).
From Jianglin Luo, Jan 08 2024: (Start)
Fence conjecture: R(m,n) <= (2m-1)*A008284_T(2m-6+n,m) + m + 1 for n >= m >= 3.
R(3,n) == 1,3,4 (mod 5) for n >= 1. (End)

Examples

			Array R(n,k), n >= 2, k >= 2, begins:
   2,  3,  4,  5,  6,  7,  8,  9, 10,
   3,  6,  9, 14, 18, 23, 28, 36,
   4,  9, 18, 25,  ?,  ?,  ?,
   5, 14, 25,  ?,  ?,  ?,
   6, 18,  ?,  ?,  ?,
   7, 23,  ?,  ?,
   8, 28,  ?,
   9, 36,
  10,
		

References

  • G. Berman and K. D. Fryer, Introduction to Combinatorics. Academic Press, NY, 1972, p. 175.
  • T. Bohman and P. Keevash. Dynamic concentration of the triangle-free process. Random Structures & Algorithms, 58.2 (2021), 221-293.
  • L. Comtet, Advanced Combinatorics, Reidel, 1974, p. 288.
  • H. J. Ryser, Combinatorial Mathematics, Chapter 4 - A Theorem of Ramsey, Mathematical Association of America, Carus Mathematical Monograph 14, 1963, p. 42.
  • J. L. Gross and J. Yellen, eds., Handbook of Graph Theory, CRC Press, 2004; p. 840.
  • G. Fiz Pontiveros, S. Griffiths, and R. Morris. The triangle-free process and the Ramsey number R(3, k). Mem. Amer. Math. Soc., 263.1274 (2020), v+125.
  • H. J. Ryser, Combinatorial Mathematics. Mathematical Association of America, Carus Mathematical Monograph 14, 1963, p. 42.

Crossrefs

The second (n = 3) row gives A000791.
A000984 gives the upper bound for R(n,n) from Ramsey's original proof.
A120414 gives a conjecture for R(n,n).
See A212954 for another version.

Formula

From Joerg Arndt, Jun 01 2012: (Start)
The antidiagonals are symmetric.
R(r, 1) = R(1, r) = 1,
R(r, 2) = R(2, r) = r,
R(r, s) <= R(r-1, s) + R(r, s-1),
R(r, s) <= R(r-1, s) + R(r, s-1) - 1 if R(r-1, s) and R(r, s-1) are both even,
R(r, r) <= 4 * R(r, r-2) + 2. (End)

Extensions

Next term is in the range 35-41.
More terms in example section (antidiagonals 6-10; cf. A000791) from Omar E. Pol, Jun 11 2012
Edited by N. J. A. Sloane, Nov 05 2023