reviewed
approved
Year-end appeal: Please make a donation to the OEIS Foundation to support ongoing development and maintenance of the OEIS. We are now in our 61st year, we have over 378,000 sequences, and we’ve reached 11,000 citations (which often say “discovered thanks to the OEIS”).
reviewed
approved
proposed
reviewed
editing
proposed
Number of (n+3)X7 X 7 binary arrays with consecutive windows of four bits considered as a binary number nondecreasing in every row and column.
Column 4 of A202939.
Empirical: a(n) = (1/210)*n^7 + (11/20)*n^6 + (81/5)*n^5 + (1713/8)*n^4 + (90179/60)*n^3 + (337713/40)*n^2 + (15214631/420)*n + 83919.
Conjectures from Colin Barker, Jun 03 2018: (Start)
G.f.: x*(130321 - 836423*x + 2330681*x^2 - 3638908*x^3 + 3428986*x^4 - 1947234*x^5 + 616520*x^6 - 83919*x^7) / (1 - x)^8.
a(n) = 8*a(n-1) - 28*a(n-2) + 56*a(n-3) - 70*a(n-4) + 56*a(n-5) - 28*a(n-6) + 8*a(n-7) - a(n-8) for n>8.
(End)
Some solutions for n=1:
Cf. A202939.
R. H. Hardin , Dec 26 2011
approved
editing
_R. H. Hardin (rhhardin(AT)att.net) _ Dec 26 2011
editing
approved
R. H. Hardin, <a href="/A202935/b202935.txt">Table of n, a(n) for n = 1..210</a>
allocated for Ron HardinNumber of (n+3)X7 binary arrays with consecutive windows of four bits considered as a binary number nondecreasing in every row and column
130321, 206145, 330853, 533832, 857408, 1360328, 2121734, 3245653, 4866027, 7152307, 10315635, 14615638, 20367858, 27951842, 37819916, 50506667, 66639157, 86947893, 112278577, 143604660, 182040724, 228856716, 285493058, 353576657
1,1
Column 4 of A202939
Empirical: a(n) = (1/210)*n^7 + (11/20)*n^6 + (81/5)*n^5 + (1713/8)*n^4 + (90179/60)*n^3 + (337713/40)*n^2 + (15214631/420)*n + 83919
Some solutions for n=1
..0..0..0..0..1..1..1....0..0..0..1..0..0..0....0..0..0..1..1..0..1
..0..0..0..1..0..0..0....0..0..0..0..1..0..1....0..0..0..1..1..0..0
..0..0..0..0..0..0..1....0..0..0..1..0..0..0....0..0..0..1..0..1..1
..0..0..1..1..1..1..1....0..1..1..1..1..1..1....0..0..0..0..0..1..0
allocated
nonn
R. H. Hardin (rhhardin(AT)att.net) Dec 26 2011
approved
editing
allocated for Ron Hardin
allocated
approved