%I #55 Sep 17 2023 01:29:18
%S 0,0,1,3,4,8,9,14,16,23,25,33,36,46,49,60,64,77,81,96,100
%N Maximum number of skew-tetrominoes that can be packed into an n X n square.
%C Skew-tetrominoes are tiles of the form:
%C ___
%C |_ |_
%C |___|
%C together with all rotations/reflections of this shape.
%C It is not hard to see that skew-tetrominoes cannot completely tile an n X n square, so a(n) < n^2/4.
%C The odd terms are easily understood: a(2m+1) = m^2.
%C A straightforward (greedy) construction shows that m^2 skew-tetrominoes (all with the same orientation) can be packed into a (2m+1) X (2m) rectangle. Therefore a(2m+1) >= m^2.
%C On the other hand, we also have a(2m+1) <= m^2: Consider all cells with indices of the form (2i, 2j); there are m^2 such cells in a (2m+1) X (2m+1) square. Moreover, any valid placement of a skew-tetromino must cover one of these cells, so a(2m+1) <= m^2.
%C The behavior of a(2m) appears more subtle; the initial terms satisfy a(2m) = m^2 - floor(m/2), but this formula breaks down at a(20) = 96 (not 95).
%C Additional terms:
%C (Lower bounds are from explicit constructions; upper bounds are from mixed-integer-programming search.)
%C a(22) in {116, 117}.
%C a(23) = 121.
%C a(24) = 139.
%C a(25) = 144.
%C a(26) in {163, 164}.
%C a(27) = 169.
%C a(28) in {190, 191}.
%C a(29) = 196.
%C a(30) in {218, 219, 220}.
%C a(31) = 225.
%C a(32) in {248, 249, 250, 251}.
%C a(33) = 256.
%C a(34) in {280, 281, 282, 283}.
%C a(35) = 289.
%C a(36) in {316, 317, 318}.
%C a(37) = 324.
%C a(38) in {352, 353, 354, 355}.
%C a(39) = 361.
%C a(40) in {388, 389, 390, 391, 392, 393, 394}.
%C a(41) = 400.
%C a(42) in {432, 433, 434}.
%H Alexander D. Healy, <a href="/A355477/a355477.pdf">Examples of (near-)optimal packings for n <= 42</a>
%H Wikipedia, <a href="https://en.wikipedia.org/wiki/Tetromino">Tetromino</a>
%F a(n) < n^2/4.
%F a(2m+1) = m^2.
%e a(8) = 14 by the following packing of 14 skew-tetrominoes into an 8 X 8 square:
%e _______________
%e |_|1 _| |___| |_|
%e |___| 2_|3 _|_4 |
%e |_ 5|_|___| | |_|
%e | |___| | 6_|_7 |
%e |_8 | 9_|_|_10|_|
%e | |_|_|11_| |___|
%e |_12|___|13_|14_|
%e |_|_|___|_|___|_|
%Y Cf. A256535.
%K nonn,more
%O 1,4
%A _Alexander D. Healy_, Jul 03 2022
|