OFFSET
1,2
COMMENTS
a(17) is the first term that is more than twice its predecessor.
All terms after a(2) are divisible by four. This is because valid starting layers (of length greater than two) produce distinct valid starting layers when subjected to either or both of two transformations.
.
1 1
2 1 1 2
1 3 2 2 3 1
* | *
* | *
* | *
------|------
* | *
* | *
* | *
3 1 2 2 1 3
2 1 1 2
1 1
.
There is the obvious reflection about the y-axis (reversal), and there is the somewhat less obvious reflection about the x-axis. Reflection about the x-axis is valid because absolute differences are maintained. Note that it is not possible for a solution to be equivalent to any of its own transformations. If it were, the base layer or the layer that succeeds it would need to be palindromic. This is invalid because any absolute-difference triangle with a palindromic base and a height greater than one is topped with a zero.
LINKS
Samuel B. Reid, Python program for A337719
Samuel B. Reid, C program for A337719
EXAMPLE
a(5) = 16
.
1 2 5 1 2 3 2 5 1 2 3 4 1 5 4 5 4 1 5 4
1 3 4 1 1 3 4 1 1 3 4 1 1 3 4 1
2 1 3 2 1 3 2 1 3 2 1 3
1 2 1 2 1 2 1 2
1 1 1 1
.
3 1 5 4 2 3 5 1 2 4 1 4 5 1 4 5 2 1 5 2
2 4 1 2 2 4 1 2 3 1 4 3 3 1 4 3
2 3 1 2 3 1 2 3 1 2 3 1
1 2 1 2 1 2 1 2
1 1 1 1
.
2 4 5 1 3 4 2 1 5 3 2 5 1 2 5 4 1 5 4 1
2 1 4 2 2 1 4 2 3 4 1 3 3 4 1 3
1 3 2 1 3 2 1 3 2 1 3 2
2 1 2 1 2 1 2 1
1 1 1 1
.
2 1 5 2 1 2 1 5 2 3 4 5 1 4 3 4 5 1 4 5
1 4 3 1 1 4 3 1 1 4 3 1 1 4 3 1
3 1 2 3 1 2 3 1 2 3 1 2
2 1 2 1 2 1 2 1
1 1 1 1
.
PROG
(Python and C) See Links section.
CROSSREFS
KEYWORD
nonn
AUTHOR
Samuel B. Reid, Sep 16 2020
STATUS
approved