|
|
A002857
|
|
Number of Post functions of n variables.
(Formerly M3078 N1249)
|
|
5
|
|
|
|
OFFSET
|
1,2
|
|
REFERENCES
|
N. J. A. Sloane, A Handbook of Integer Sequences, Academic Press, 1973 (includes this sequence).
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).
Roger F. Wheeler, Complete propositional connectives. Z. Math. Logik Grundlagen Math. 7, 1961, 185-198.
|
|
LINKS
|
|
|
FORMULA
|
|
|
MAPLE
|
b:= proc(n, i, l) `if`(n=0, 2^(w-> add(mul(2^igcd(t, l[h]),
h=1..nops(l)), t=1..w)/w)(ilcm(l[])), `if`(i<1, 0,
add(b(n-i*j, i-1, [l[], i$j])/j!/i^j, j=0..n/i)))
end:
a:= n-> b(n$2, [])/4:
|
|
MATHEMATICA
|
b[n_, i_, l_] := If[n==0, 2^Function[w, Sum[Product[2^GCD[t, l[[h]]], {h, 1, Length[l]}], {t, 1, w}]/w][LCM @@ l], If[i < 1, 0, Sum[b[n - i j, i-1, Join[l, Table[i, {j}]]]/j!/i^j, {j, 0, n/i}]]];
a[n_] := b[n, n, {}]/4;
|
|
CROSSREFS
|
|
|
KEYWORD
|
nonn
|
|
AUTHOR
|
|
|
EXTENSIONS
|
|
|
STATUS
|
approved
|
|
|
|