Voozh

A219766

Number of nonsquare simple perfect squared rectangles of order n up to symmetry.

0, 0, 0, 0, 0, 0, 0, 0, 2, 6, 22, 67, 213, 744, 2609, 9016, 31426, 110381, 390223, 1383905, 4931307, 17633765, 63301415, 228130900, 825228950, 2994833413

(list; graph; refs; listen; history; text; internal format)

OFFSET

1,9

COMMENTS

A squared rectangle is a rectangle dissected into a finite number of integer-sized squares. If no two of these squares are the same size then the squared rectangle is perfect. A squared rectangle is simple if it does not contain a smaller squared rectangle or squared square. The order of a squared rectangle is the number of squares into which it is dissected. [Edited by Stuart E Anderson, Feb 02 2024]

REFERENCES

See A006983 and A217156 for references.

LINKS

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

Stuart E Anderson, Simple Perfect Squared Rectangles. [Nonsquare rectangles only]

I. Gambini, Quant aux carrés carrelés, Thesis, Université de la Méditerranée Aix-Marseille II, 1999, p. 24.

W. T. Tutte, A Census of Planar Maps, Canad. J. Math. 15 (1963), 249-271.

See A006983 and A217156 for further links.

FORMULA

a(n) = A002839(n) - A006983(n).

In "A Census of Planar Maps", p. 267, William Tutte gave a conjectured asymptotic formula for the number, a(n) of perfect squared rectangles of order n:

Conjectured: a(n) ~ n^(-5/2) * 4^n / (243*sqrt(Pi)). [Corrected by Stuart E Anderson, Feb 02 2024]

MATHEMATICA

A[s_Integer] := With[{s6 = StringPadLeft[ToString[s], 6, "0"]}, Cases[ Import["https://oeis.org/A" <> s6 <> "/b" <> s6 <> ".txt", "Table"], {_, _}][[All, 2]]];

A002839 = A@002839;

A006983 = A@006983;

a[n_] := A002839[[n]] - A006983[[n]];

a /@ Range[24] (* Jean-François Alcover, Jan 13 2020 *)

CROSSREFS

Cf. A002839, A006983, A002962, A002881, A181735.

Cf. A217153, A217154, A217156.

Sequence in context: A126171 A228396 A381385 * A002839 A109194 A014334

Adjacent sequences: A219763 A219764 A219765 * A219767 A219768 A219769

KEYWORD

nonn,hard,more

AUTHOR