OFFSET
1,2
COMMENTS
A triple {T(n,i,k), T(n,i,k+1), T(n,i-1,k)} will be called a primitive triangle. It is easy to see that b(n) = n(n-1)/2 is the number of such triangles. At each step, exactly one primitive triangle is completed (replaced by {1, 1, 1}). So there are b(n) "0"- and n "1"-terms. Thus the starting matrix has no complete primitive triangle. Furthermore, any triangular submatrix T(m,i,k), k <= i <= m < n cannot have more than m "1"-terms because otherwise it would have less "0"-terms than primitive triangles. The replacement of at least one "0"-term would complete more than one primitive triangle. This has been excluded.
A start matrix may serve as a pattern for a number wall used on worksheets for elementary mathematics, see link "Number walls". That is why I prefer the more descriptive name "fill matrix".
The algorithm for the sequence is rather slow because each start matrix is constructed separately. There exists a faster recursive algorithm which produces the same terms and therefore is likely to be correct, but it is based on a conjecture. For the theory of the recurrence, see "Recursive aspects of fill matrices". Probable extension a(10)-a(14): 821096828, 15804092592, 324709899276, 7081361097108, 163179784397820.
The number of fill matrices with n rows and all "1"- terms concentrated on the last two rows, is A001960(n).
See link "Reconstruction of a sequence".
LINKS
Gerhard Kirchner, Recursive aspects of fill matrices
Gerhard Kirchner, Number walls
Gerhard Kirchner, VB-program
Gerhard Kirchner, Reconstruction of a sequence
Ville Salo, Cutting Corners, arXiv:2002.08730 [math.DS], 2020.
Yuan Yao and Fedir Yudin, Fine Mixed Subdivisions of a Dilated Triangle, arXiv:2402.13342 [math.CO], 2024.
EXAMPLE
Example (n=2): 0 1 1
a(2)=3 1 1 0 1 1 0
Example for completing a 3-matrix (3 bottom terms):
1 1 1 1
0 0 -> 1 0 -> 1 1 -> 1 1
1 1 0 1 1 0 1 1 0 1 1 1
Example for a 3-matrix which cannot be completed:
1 1
1 1 or 0 0
0 0 0 1 0 1
PROG
(Visual Basic) ' see link "VB-program"
CROSSREFS
KEYWORD
nonn,more
AUTHOR
Gerhard Kirchner, Nov 30 2017
STATUS
approved