login
This site is supported by donations to The OEIS Foundation.

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A007784 Van der Waerden numbers W(4,n). 2
4, 8, 18, 35, 55, 73, 109, 146, 309 (list; graph; refs; listen; history; text; internal format)
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

Lookup | Welcome | Wiki | Register | Music | Plot 2 | Demos | Index | Browse | More | WebCam
Contribute new seq. or comment | Format | Style Sheet | Transforms | Superseeker | Recent
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy. .

Last modified February 18 06:21 EST 2019. Contains 320245 sequences. (Running on oeis4.)