OFFSET
0,2
COMMENTS
For n >= 7, polyominoes can have holes whose boundaries are also included.
An n-omino in the shape of a "staircase" has 2n boundary edges, so a(n) >= 2n.
If we "join" copies of the X pentomino (sharing one square) then we can do better than the above lower bound. This gives us a(4k+1) >= 8k+4, for any k >= 0.
It appears that a(n) = 2*n+2 for n (mod 4) == 1, otherwise a(n) = 2*n, which coincides with the lower bounds above. - Lars Blomberg, Nov 09 2017
The conjecture that a(n) = 2*n+2 for n (mod 4) == 1, otherwise a(n) = 2*n, is proven. See link. - John Mason, Jun 08 2021
LINKS
John Mason, Proof of conjecture
EXAMPLE
For n=1, we have the monomino (single square), so a(1)=4.
For n=2, we have the domino, so a(2)=4.
For n=3, we have the L tromino, so a(3)=6.
For n=4, we have the T and S tetrominoes, so a(4)=8.
For n=5, we have the X pentomino, so a(5)=12.
CROSSREFS
KEYWORD
nonn
AUTHOR
Dmitry Kamenetsky, Feb 25 2017
EXTENSIONS
a(7)-a(19) from Lars Blomberg, Nov 09 2017
STATUS
approved