A007784 Van der Waerden numbers W(4,n).

4, 8, 18, 35, 55, 73, 109, 146, 309

Offset

1,1

References

Knuth, Donald E., Satisfiability, Fascicle 6, volume 4 of The Art of Computer Programming. Addison-Wesley, 2015, page 5.

Links

Table of n, a(n) for n=1..9.

M. D. Beeler and P. E. O'Neil, Some new Van der Waerden numbers, Discrete Math., 28 (1979), 135-146.

Crossrefs

Sequence in context: A008240 A008375 A056309 * A008204 A190062 A228231

Adjacent sequences: A007781 A007782 A007783 * A007785 A007786 A007787

Keyword

nonn,hard,more

Author

Matthew Klimesh (matthew(AT)engin.umich.edu)

Extensions

Definition and offset changed and a(9) added (from Knuth) by N. J. A. Sloane, May 13 2018

Status

approved