cp's OEIS Frontend

A217155 Number of compound perfect squared squares of order n up to symmetries of the square.

%I A217155 #50 Feb 16 2025 08:33:18
%S A217155 0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,0,4,12,100,220,948,2308,
%T A217155 5668,17351,52196,150669,429458,1206181,3337989,8961794,23989218,
%U A217155 62894424
%N A217155 Number of compound perfect squared squares of order n up to symmetries of the square.
%C A217155 A squared rectangle (which may be a square) is a rectangle dissected into a finite number, two or more, of squares. If no two of these squares have the same size, the squared rectangle is perfect. A squared rectangle is compound if it contains a smaller squared rectangle. The order of a squared rectangle is the number of constituent squares.
%C A217155 The terms up to a(26) were first published by Gambini (1999) but included no new squarings neither counted by Duijvestijn, Federico and Leeuw (1982) nor in Skinner's book (1993). In 2010 Anderson and Pegg used plantri and Anderson's programs to confirm Gambini's counts and to find a(27) and a(28).
%C A217155 In 2011, S. E. Anderson and Stephen Johnson commenced order 29 CPSSs, and processed all plantri generated 2-connected minimum degree 3 planar graph embeddings with up to 15 vertices. This left the largest graph class, the 16 vertex class.  In 2012, S. E. Anderson processed the remaining graphs, using the Amazon Elastic Cloud supercomputer and new software which he wrote to find a(29). - _Stuart E Anderson_, Nov 30 2012
%C A217155 In May 2013, Lorenz Milla and Stuart Anderson enumerated a(30) (CPSSs of order 30), using the same process and software as used on order 29 CPSSs, with the addition of a technique recommended by William Tutte in his writings which resulted in a 3x speed up of the search for perfect squared squares by factoring the determinant of the Kirchhoff/discrete Laplacian matrix of a graph into a product 2fS, where f is a squarefree number and S is a square number. - _Stuart E Anderson_, May 26 2013
%C A217155 From June to September 2013, Lorenz Milla further optimized the process and software and completed the computation required to enumerate all CPSSs of order 31 and 32.  A second run with enhanced software was undertaken by Milla and Anderson as there was a possibility some CPSSs could have been missed on the first run.  The second run found nothing new or different and confirmed the result. - _Stuart E Anderson_ Sep 29 2013
%C A217155 In April 2014, Jim Williams wrote software and enumerated all CPSSs in orders 33, 34, 35 and 36. - _Stuart E Anderson_ May 02 2016
%C A217155 In August 2018, Jim Williams completed the enumeration of all CPSSs and CPSS isomers in orders 37, 38 and 39. - _Stuart E Anderson_, Sep 17 2018
%D A217155 J. D. Skinner II, Squared Squares: Who's Who & What's What, published by the author, 1993. [Includes some compound perfect squares up to order 30.]
%H A217155 S. E. Anderson, <a href="http://www.squaring.net/sq/ss/cpss/cpss.html">Compound Perfect Squared Squares (complete to order 36)</a>.
%H A217155 S. E. Anderson, <a href="http://arxiv.org/abs/1303.0599">Compound Perfect Squared Squares of the Order Twenties</a>, arXiv:1303.0599 [math.CO], 2013.
%H A217155 A. J. W. Duijvestijn, P. J. Federico and P. Leeuw, <a href="http://www.jstor.org/stable/2320990">Compound perfect squares</a>, Amer. Math. Monthly 89 (1982), 15-32. [The lowest order of a compound perfect square is 24.]
%H A217155 I. Gambini, <a href="http://alain.colmerauer.free.fr/alcol/ArchivesPublications/Gambini/carres.pdf">Quant aux carrés carrelés</a>, Thesis, Université de la Méditerranée Aix-Marseille II, 1999, p. 25.
%H A217155 Eric Weisstein's World of Mathematics, <a href="https://mathworld.wolfram.com/PerfectSquareDissection.html">Perfect Square Dissection</a>
%e A217155 See MathWorld link for an explanation of Bouwkamp code.
%e A217155 a(24)=4 because the compound perfect squares of order 24 comprise the one with side 175 and Bouwkamp code (81,56,38) (18,20) (55,16,3) (1,5,14) (4) (9) (39) (51,30) (29,31,64) (43,8) (35,2) (33) and three others from the other symmetries of the squared subrectangle.
%Y A217155 Cf. A181340 (counts symmetries of squared subrectangles as equivalent).
%Y A217155 Cf. A006983, A217152, A217153, A217156.
%K A217155 nonn,hard
%O A217155 1,24
%A A217155 _Geoffrey H. Morley_, Sep 27 2012
%E A217155 a(29) from _Stuart E Anderson_, Nov 30 2012
%E A217155 a(30) from _Stuart E Anderson_, May 26 2013
%E A217155 a(31)-a(32) from _Stuart E Anderson_, Sep 29 2013
%E A217155 Minor edits by _Jon E. Schoenfield_, Feb 15 2014
%E A217155 a(33)-a(36) from _Stuart E Anderson_, May 02 2016
%E A217155 a(37)-a(39) from _Stuart E Anderson_, Sep 17 2018