reviewed
approved
reviewed
approved
proposed
reviewed
editing
proposed
| (f(D[1])^4 + 2*f(D[1])^3 + 3*f(D[1])^2 + 2 * f(D[1]))/8, if d = 1,
| ((3*f(D[2])^2+f(D[2]]))*f(D[1])^2+(f(D[2])^2+3*f(D[2]]))*f(D[1]]))/4
approved
editing
Vaclav Kotesovec, <a href="/A000368/b000368_1.txt">Table of n, a(n) for n = 4..2000</a> (terms 4..43 from Sean A. Irvine, 44..200 from Washington Bomfim)
proposed
approved
editing
proposed
(PARI) g(Q)={my(V=Vec(Q), D=Set(V), d=#D); if(d==4, return(3*f[D[1]]*f[D[2]]*f[D[3
g(Q) = {my(V=Vec(Q), D=Set(V), d=#D); if(d==4, return(3*f[D[1]]*f[D[2]]*f[D[3]] *f[D[4]])); if(d==1, return((f[D[1]]^4+2*f[D[1]]^3+3*f[D[1]]^2+2*f[D[1]])/8));
my(k=1, m = #select(x->x == D[k], V), t); while(m==1, k++; m = #select(x->x == D[k], V)); t = D[1]; D[1] = D[k]; D[k] = t;
seq(max_n) = { my(s, a = vector(max_n), U); f = vector(max_n); f[1] = 1;
for(j=1, max_n - 1, if(j%100==0, print(j)); f[j+1] = 1/j * sum(k=1, j, sumdiv(k, d, d * f[d]) * f[j-k+1]));
for(n=4, max_n, s=0; forpart(Q = n, s += gif( (Q), [1, n], [4, 4]); a > Q[n3] = s); a && (Q[3]-1 > Q[4..max_n2] }; \\ _Washington Bomfim_, Jul 19 2012 and Dec 22 2020),
U = U / (f[Q[4] + 1] * f[Q[3] - 1]) * f[Q[4]] * f[Q[3]], U = g(Q)); s += U,
[1, n], [4, 4]); a[n] = s; if(n % 100 == 0, print(n": " s))); a[4..max_n] };
\\ Washington Bomfim, Jul 19 2012 and Dec 22 2020
reviewed
editing
proposed
reviewed
editing
proposed