OFFSET
1,1
LINKS
R. H. Hardin, Table of n, a(n) for n = 1..100
Chaim Goodman-Strauss, Notes on the number of m × n binary arrays with all 1’s connected and a path of 1’s from top row to bottom row (May 21 2020).
Chaim Goodman-Strauss, Mma notebook to accompany the above document.
Index entries for linear recurrences with constant coefficients, signature (7,-11,6,1,-7,1).
FORMULA
a(n) = 7*a(n-1) - 11*a(n-2) + 6*a(n-3) + a(n-4) - 7*a(n-5) + a(n-6). [Conjectured by R. J. Mathar, Aug 11 2009]
Proof from Peter Kagey, May 08 2019: Scanning from top to bottom, there are 6 possible intermediate states that the bottom row can be in. The transitions between these states define a 6 X 6 transition matrix whose characteristic polynomial agrees with the characteristic polynomial of the above recurrence. QED
For an alternative proof see the Goodman-Strauss links. - N. J. A. Sloane, May 22 2020
G.f.: 2*x*(3 - 7*x + 7*x^2 - 3*x^3 - 4*x^4 + x^5)/(1 - 7*x + 11*x^2 - 6*x^3 - x^4 + 7*x^5 - x^6). - Andrew Howroyd, Dec 24 2025
CROSSREFS
KEYWORD
nonn,easy
AUTHOR
R. H. Hardin, Jul 20 2009
STATUS
approved
