A303583 - OEIS

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

Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 61st year, we have over 378,000 sequences, and we’ve reached 11,000 citations (which often say “discovered thanks to the OEIS”).

Other ways to Give

A303583

Van der Waerden numbers W(6,n).

1

32, 73, 206, 1132

(list; graph; refs; listen; history; text; internal format)

OFFSET

3,1

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..6.

CROSSREFS

Cf. A171181, A007784, A303582.

Sequence in context: A216417 A110230 A250756 * A224220 A007797 A222546

Adjacent sequences: A303580 A303581 A303582 * A303584 A303585 A303586

KEYWORD

nonn,more

AUTHOR

N. J. A. Sloane, May 13 2018

STATUS

approved