OFFSET
0,3
FORMULA
a(0)=1, a(1)=1, a(2)=4, a(3)=9. For n>3, a(n) = A033301(k+5) + ((k+1)mod 2)*A005638(k div 2 + 2) + A000217(A008483(k+3)).
Proof: Let C=A068934, D=A068933, and E=A051031. Now a(n) = D(2k+6,k) = C(k+1,k)C(k+5,k) + C(k+2,k)C(k+4,k) + A000217(C(k+3,k)), from the disconnected Euler transform. Notice that D(k+i,k)=0 provided k+i < 2k+2; that is k > i-2. So if i <= 5 and k > 3, then D(k+i,k)=0. Hence for k > 3, a(n) = E(k+1,k)E(k+5,k) + E(k+2,k)E(k+4,k) + A000217(E(k+3,k)) = E(k+1,0)E(k+5,4) + E(k+2,1)E(k+4,3) + A000217(E(k+3,2)). We have E(k+1,0)=1, and E(k+2,1)=(k+1)mod 2. For even k, E(k+4,3)=A005638(k div 2 + 2); for odd k, E(k+2,1)=0. QED.
EXAMPLE
The a(0)=1 graph is 6K_1. The a(1)=1 graph is 4K_2. The a(2)=4 graphs are 2C_3+C_4, 2C_5, C_4+C_6, and C_3+C_7.
CROSSREFS
KEYWORD
nonn,hard,more
AUTHOR
Jason Kimberley, Jan 15 2011
STATUS
approved