OFFSET
1,1
COMMENTS
The ">n+1" rules out n-tuples like (2,2), which only occurs for the primes 3, 5, 7. All terms from a(19) on equal 0.
An n-tuple (a_1,a_2,...,a_n) is counted iff the partial sums 0, a_1, a_1+a_2, ..., a_1+...+a_n do not contain a complete residue system (mod p) for any prime p.
LINKS
Eric Weisstein's World of Mathematics, k-Tuple Conjecture
MATHEMATICA
test[tuple_] := Module[{r, sums, i, j}, r=Length[tuple]; sums=Prepend[tuple.Table[If[j>=i, 1, 0], {i, 1, r}, {j, 1, r}], 0]; For[i=1, Prime[i]<=r+1, i++, If[Length[Union[Mod[sums, Prime[i]]]]==Prime[i], Return[False]]]; True]; tuples[0]={{}}; tuples[n_] := tuples[n]=Select[Flatten[Outer[Append, tuples[n-1], {2, 4, 6}, 1], 1], test]; a[n_] := Length[tuples[n]]
CROSSREFS
KEYWORD
nonn
AUTHOR
Labos Elemer, Dec 19 2002
EXTENSIONS
Edited by Dean Hickerson, Dec 20 2002
STATUS
approved