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

 

Logo


Hints
(Greetings from The On-Line Encyclopedia of Integer Sequences!)
A171081 Van der Waerden numbers w(2;3,n). 4
9, 18, 22, 32, 46, 58, 77, 97, 114, 135, 160, 186, 218, 238, 279, 312, 349 (list; graph; refs; listen; history; text; internal format)
OFFSET

3,1

COMMENTS

Ahmed et al. give lower bounds for a(20)-a(30) which may in fact be the true values. - N. J. A. Sloane, May 13 2018

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=3..19.

Tanbir Ahmed, Oliver Kullmann, Hunter Snevily, On the van der Waerden numbers w(2;3,t), Feb 26, 2011. Discrete Applied Math., 174 (2014), 27-51.

CROSSREFS

Cf. A005346, A171082, A217235.

Sequence in context: A222623 A141469 A046412 * A232056 A109661 A015798

Adjacent sequences:  A171078 A171079 A171080 * A171082 A171083 A171084

KEYWORD

nonn,hard,more,changed

AUTHOR

N. J. A. Sloane, based on an email from Tanbir Ahmed, Sep 07 2010

EXTENSIONS

a(19) from Ahmed et al. - Jonathan Vos Post, Mar 01 2011

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 | More pages
The OEIS Community | Maintained by The OEIS Foundation Inc.

License Agreements, Terms of Use, Privacy Policy .

Last modified May 27 00:38 EDT 2018. Contains 304689 sequences. (Running on oeis4.)