OFFSET
2,1
LINKS
Yuan Li, Frank Ingram, Huaming Zhang, Certificate complexity and symmetric properties of nested canalizing functions, arXiv:2001.09094 [cs.DM], 2020-2021
FORMULA
a(n) = n!((1+sqrt(2))^{n-1}-(1-sqrt(2))^{n-1})/sqrt(2).
CROSSREFS
KEYWORD
nonn
AUTHOR
Yuan Li, Jul 25 2021
STATUS
approved