%I #11 May 13 2018 08:54:17
%S 4,8,18,35,55,73,109,146,309
%N Van der Waerden numbers W(4,n).
%D Knuth, Donald E., Satisfiability, Fascicle 6, volume 4 of The Art of Computer Programming. Addison-Wesley, 2015, page 5.
%H M. D. Beeler and P. E. O'Neil, <a href="http://dx.doi.org/10.1016/0012-365X(79)90090-6">Some new Van der Waerden numbers</a>, Discrete Math., 28 (1979), 135-146.
%K nonn,hard,more
%O 1,1
%A Matthew Klimesh (matthew(AT)engin.umich.edu)
%E Definition and offset changed and a(9) added (from Knuth) by _N. J. A. Sloane_, May 13 2018
|