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
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
CROSSREFS
KEYWORD
nonn
AUTHOR
R. H. Hardin, Jul 20 2009
STATUS
approved