login
The OEIS is supported by the many generous donors to the OEIS Foundation.

 

Logo
Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A005346 Van der Waerden numbers W(2,n).
(Formerly M2819)
13
1, 3, 9, 35, 178, 1132 (list; graph; refs; listen; history; text; internal format)
OFFSET
1,2
COMMENTS
a(6) = W(2,6) found by researcher in SAT techniques. - Jonathan Braunhut (jonbraunhut(AT)gmail.com), Jul 29 2007
Named after the Dutch mathematician Bartel Leendert van der Waerden (1903-1996). - Amiram Eldar, Jun 24 2021
REFERENCES
Jacob E. Goodman and Joseph O'Rourke, editors, Handbook of Discrete and Computational Geometry, CRC Press, 1997, p. 159.
M. Lothaire, Combinatorics on Words. Addison-Wesley, Reading, MA, 1983, p. 49.
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
LINKS
Paul Erdős and Ronald L. Graham, Old and New Problems and Results in Combinatorial Number Theory: van der Waerden's Theorem and Related Topics, L'Enseignement Math., Geneva, 1979, p. 325.
P. R. Herwig, M. J. H. Heule, P. M. van Lambalgen and H. van Maaren, A new method to construct lower bounds for Van de Waerden Numbers, Elec. J. Combinat., Vol. 14, No. 1 (2007), #R6.
Michal Kouril and Jerome L. Paul, The van der Waerden Number W(2,6) Is 1132, Experimental Mathematics, Vol. 17, No. 1 (2008), pp. 53-61.
Eric Weisstein's World of Mathematics, van der Waerden Number.
CROSSREFS
Cf. A121894.
Sequence in context: A107894 A155858 A000834 * A129094 A059424 A354239
KEYWORD
nonn,hard,more
AUTHOR
EXTENSIONS
a(6) from Jonathan Braunhut (jonbraunhut(AT)gmail.com), Jul 29 2007
STATUS
approved

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

License Agreements, Terms of Use, Privacy Policy. .

Last modified April 25 11:39 EDT 2024. Contains 371969 sequences. (Running on oeis4.)