OFFSET
1,1
COMMENTS
Goldwasser et al. proved that 2^k+-1 belongs to the set, for k>4.
Closed under multiplication by positive integers. - Don Knuth, May 11 2006
LINKS
Ralf Stephan and Thomas Buchholz, Table of n, a(n) for n = 1..1000 [terms 1 through 61 were computed by Ralf Stephan, May 22 2004; terms 62 through 1000 by Thomas Buchholz, May 16 2014]
M. Hunziker, A. Machiavelo and J. Park, Chebyshev polynomials over finite fields and reversibility of sigma-automata on square grids, Theoretical Comp. Sci., 320 (2004), 465-483.
K. Sutner, Linear cellular automata and the Garden-of-Eden, Math. Intelligencer, 11 (No. 2, 1989), 49-53.
K. Sutner, The computational complexity of cellular automata, in Lect. Notes Computer Sci., 380 (1989), 451-459.
Eric Weisstein's World of Mathematics, Lights-Out Puzzle
PROG
(PARI)
{ F2(n)=local(t, t1, t2, tmp); t1=Mod(0, 2); t2=Mod(1, 2); t=Mod(1, 2)*x; for(k=2, n, tmp=t*t2-t1; t1=t2; t2=tmp); tmp }
for(n=2, 200, t=F2(n); if(gcd(t, subst(t, x, 1-x))!=1, print1(n", ")))
CROSSREFS
KEYWORD
nonn
AUTHOR
Ralf Stephan, May 22 2004
EXTENSIONS
More terms from Thomas Buchholz, May 16 2014
STATUS
approved