|
%I M2819 #66 Mar 09 2024 20:40:29
%S 1,3,9,35,178,1132
%N Van der Waerden numbers W(2,n).
%C a(6) = W(2,6) found by researcher in SAT techniques. - Jonathan Braunhut (jonbraunhut(AT)gmail.com), Jul 29 2007
%C Named after the Dutch mathematician Bartel Leendert van der Waerden (1903-1996). - _Amiram Eldar_, Jun 24 2021
%D Jacob E. Goodman and Joseph O'Rourke, editors, Handbook of Discrete and Computational Geometry, CRC Press, 1997, p. 159.
%D M. Lothaire, Combinatorics on Words. Addison-Wesley, Reading, MA, 1983, p. 49.
%D N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
%H Paul Erdős and Ronald L. Graham, <a href="http://dx.doi.org/10.5169/seals-50387">Old and New Problems and Results in Combinatorial Number Theory: van der Waerden's Theorem and Related Topics</a>, L'Enseignement Math., Geneva, 1979, p. 325.
%H P. R. Herwig, M. J. H. Heule, P. M. van Lambalgen and H. van Maaren, <a href="https://doi.org/10.37236/925">A new method to construct lower bounds for Van de Waerden Numbers</a>, Elec. J. Combinat., Vol. 14, No. 1 (2007), #R6.
%H Michal Kouril and Jerome L. Paul, <a href="https://projecteuclid.org/euclid.em/1227031896">The van der Waerden Number W(2,6) Is 1132</a>, Experimental Mathematics, Vol. 17, No. 1 (2008), pp. 53-61.
%H Eric Weisstein's World of Mathematics, <a href="http://mathworld.wolfram.com/vanderWaerdenNumber.html">van der Waerden Number</a>.
%H Wikipedia, <a href="http://en.wikipedia.org/wiki/Van_der_Waerden_number">Van der Waerden number</a>.
%Y Cf. A121894.
%K nonn,hard,more
%O 1,2
%A _N. J. A. Sloane_
%E a(6) from Jonathan Braunhut (jonbraunhut(AT)gmail.com), Jul 29 2007
|
