%I
%S 16,22,34,36,46,56,64,66,70,76,78,86,88,92,94,96,100,106,112,116,118,
%T 120,124,130,134,142,144,146,154,160,162,186,190,196,204,210,216,218,
%U 220,222,232,238,246,248,250,256,260,262,268,276,280,286,288,292,296,298,300,302,306,310,316,320,324,326,328,330,336,340,342,346,356,366,372,378,382,394,396,400,404,406,408,414,416,424,426,428,430
%N ErdősWoods numbers: the length of an interval of consecutive integers with property that every element has a factor in common with one of the endpoints.
%C "Length" means total number of terms including endpoints, minus 1.
%C Woods was the first to find such numbers, Dowe proved there are infinitely many and Cegielski, Heroult and Richard showed that the set is recursive.
%C This seems to coincide with prime partitionable numbers in sense of Holsztynski & Strube: n such that there is a partition {P1,P2} of the primes less than n such that for any composition n1+n2=n, there is (p1,p2) in P1 x P2 such that p1n1 or p2n2.  _M. F. Hasler_, Jun 29 2014; there is now a proof for this (see Gribble link), Dec 17 2014
%D R. K. Guy: Unsolved Problems in Number Theory, 1981, related to Sections B27, B28, B29.
%D Konstantin Lakkis, Number Theory [in Greek], Revised edition, 1984.
%H P. Cegielski, F. Heroult, D. Richard, <a href="http://dx.doi.org/10.1016/S03043975(02)004449">On the amplitude of intervals of natural numbers whose every element has a common prime divisor with at least an extremity</a>, Theor. Comp. Sci. 303 (1) (2003) 5362.
%H D. Dowe, <a href="http://dx.doi.org/10.1017/S1446788700031220">On the existence of sequences of coprime pairs of integers</a>, J. Austral. Math. Soc. Ser. A 47, no. 1, 8489. 1989
%H P. Erdős and J. L. Selfridge, <a href="http://www.renyi.hu/~p_erdos/197103.pdf">Complete prime subsets of consecutive integers</a>, Proceedings of the Manitoba Conference on Numerical Mathematics, 1971, pp. 114.
%H M. F. Hasler, R. J. Mathar, <a href="http://arxiv.org/abs/1510.07997">Corrigendum to "Paths and circutis in finite groups", Discr. Math. 22 (1978) 263</a>, arXiv:1510.07997 (2015).
%H Christopher Hunt Gribble, <a href="http://list.seqfan.eu/pipermail/seqfan/2014December/014092.html">Seqfan thread</a>, Dec 05 2014
%H W. Holsztynski, R. F. E. Strube, <a href="http://dx.doi.org/10.1016/0012365X(78)900596">Paths and circuits in finite groups</a>, Discr. Math. 22 (1978) 263272.
%H Nik Lygeros, <a href="http://www.lygeros.org/Math/erdoswoods.html">ErdosWoods Numbers</a>
%H W. T. Trotter and Paul Erdős, <a href="http://dx.doi.org/10.1002/jgt.3190020206">When the Cartesian product of directed cycles is Hamiltonian</a>, J. Graph Theory 2 (1978) 137142
%H Wikipedia, <a href="https://en.wikipedia.org/wiki/Erd%C5%91s%E2%80%93Woods_number">ErdosWoods number</a>
%H Alan Robert Woods, <a href="http://school.maths.uwa.edu.au/~woods/thesis/WoodsPhDThesis.pdf">Some Problems in Logic and Number Theory, and their Connections</a>, Thesis, University of Manchester, 1981 (reprinted in New Studies in Weak Arithmetics, Sept 2013, CSLI).
%e a(1) = 16 refers to the interval 2184, 2185, ..., 2200. The end points are 2184 = 2^3 *3 *7 *13 and 2200 = 2^3 *5^2 *11, and each number 2184<=k<=2200 has at least one prime factor in the set {2,3,5,7,11,13}.
%o (PARI) prime_part(n)={my(P=primes(primepi(n1)));forstep(x1=2,2^#P1,2, P1=vecextract(P,x1); P2=setminus(P,P1); for(n1=1,n1, bittest(nn1,0)  next; setintersect(P1,factor(n1)[,1]~)  setintersect(P2,factor(nn1)[,1]~)  next(2)); return([P1,P2]))} \\ _M. F. Hasler_, Jun 29 2014
%Y See A059757 for first terms of corresponding intervals. Cf. A111042.
%K nonn
%O 1,1
%A Nik Lygeros (webmaster(AT)lygeros.org), Feb 12 2001
%E Further terms from _Victor S. Miller_, Sep 29 2005
