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

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

Offset: 1

Author

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

Keywords

• nonn
• hard
• more

References

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

Links

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

Extensions

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