A247139 The number of tiling of a triangular shape T_n with n rectangles identifying all tilings which use the same rectangular shapes.

1, 1, 2, 3, 6, 11, 23, 45, 95, 195, 417

Offset

1,3

Comments

The triangular shape T_n has here row length k for row k, for k = 1, 2, ..., n. Consider tilings of T_n with n rectangular shapes (i,j),(i < j, i > j, i=j (square)). The number of possible rectangular shapes (i,j) with n >= i >= j >= 1, which can show up at all in the tiling of T_n (together with their transposed shapes with i interchanged with j) is given as A002620(n+1). See the Dec 09 2014 comment and example by Wolfdieter Lang there.

The number of such tilings is conjectures to be A000108(n) (Catalan numbers). See the examples in the Catalan number link. For each tiling there is a transposed tiling obtained by mirroring w.r.t. the antidiagonal (SW-NE). A tiling may be self-transposed. E.g., n = 4 has transposed pairs a, m; b, h; x, i; c, g; d, j; e, k; and f, e. Tiling a is (4,1), (3,1), (2,1), (1,1), tiling m is then (1,4), (1,3), (1,2), (1,1).

For the present sequence not only the transposed tilings are identified but all other tilings with the same rectangular shapes irrespective of the order in (i,j). Thus, in the Catalan link a and m and d and j and e and k and f and e are all identified. E.g., tiling j has tiles (4,1), (1,3), (1.2), (1,1) which is, by taking (1,3) as (3,1), and (1,2) as (2,1) the same as tiling a. Tilings c and g are identified with tiling b. Therefore, for n=4 there remain only 3 tilings with representatives a, b and x given in the link. They represent 8, 4 and 2 tilings, respectively.

Links

Table of n, a(n) for n=1..11.

Kival Ngaokrajang, Illustration for n = 1..6, Illustration for n = 10, Catalan numbers (conjecture)

Example

For n = 3 (see the Catalan link):
tiling T1: (3,1), (2,1), (1,1)
tiling T2: (2,2), (1,1)^2      (self-transposed)
tiling T3: (1,3), (1,2), (1,1) (transposed of T1)
tiling T4: (1,3), (2,1), (1,1)
tiling T5: (3,1), (1,2), (1,1) (transposed of T4)
The total number is 5 = A000108(5) (Catalan).
T3 is identified with T1 by taking (1,3) as (3,1) and (1,2) as (2,1). Similarly, T4 and T5 are also identified with T1. Representatives are T1 and T2, representing 4 and 1 tilings,respectively. Therefore a(3) = 2.

Crossrefs

Cf. A000108, A002620.

Sequence in context: A123769 A093304 A036590 * A036591 A365821 A036592

Adjacent sequences: A247136 A247137 A247138 * A247140 A247141 A247142

Keyword

nonn,more

Author

Kival Ngaokrajang, Dec 02 2014

Extensions

Edited (rewritten name, comments, example) by Wolfdieter Lang, Dec 10 2014

Status

approved