login
Number of n-cell polycubes that are proper in n-3 dimensions.
10

%I #38 Sep 08 2022 08:45:57

%S 0,1,61,2836,129288,6160640,313921008,17239040000,1021644763392,

%T 65244849242112,4477975127425280,329252714454974464,

%U 25850313756000000000,2160223055912342913024,191558954408834121740288,17973564914103712921681920

%N Number of n-cell polycubes that are proper in n-3 dimensions.

%D A. Asinowski, G. Barequet, R. Barequet, and G. Rote, Proper n-cell polycubes in n-3 dimensions, Proc. 17th Ann. Int. Computing and Combinatorics Conference, Dallas, TX, Lecture Notes in Computer Science, 6842, Springer-Verlag, 180-191, August 2011.

%D Gill Barequet, Solomon W. Golomb, and David A. Klarner, Polyominoes. (This is a revision, by G. Barequet, of the chapter of the same title originally written by the late D. A. Klarner for the first edition, and revised by the late S. W. Golomb for the second edition.) Preprint, 2016, http://www.csun.edu/~ctoth/Handbook/chap14.pdf

%D G. Barequet, M. Shalah, Automatic Proofs for Formulae Enumerating Proper Polycubes, 31st International Symposium on Computational Geometry (SoCG'15). Editors: Lars Arge and János Pach; pp. 19-22, 2015.

%D R. Barequet, G. Barequet, and G. Rote, Formulae and growth rates of high-dimensional polycubes, Combinatorica, 30 (2010), 257-275.

%H Vincenzo Librandi, <a href="/A191092/b191092.txt">Table of n, a(n) for n = 3..100</a>

%H A. Asinowski, G. Barequet, R. Barequet, and G. Rote, <a href="https://cs.uwaterloo.ca/journals/JIS/VOL15/Barequet/barequet2.html">Proper n-Cell Polycubes in n-3 Dimensions</a>, J. Int. Seq. 15 (2012) #12.8.4.

%H M. Shalah, <a href="http://www.cs.technion.ac.il/users/wwwb/cgi-bin/tr-get.cgi/2017%2FPHD/PHD-2017-18.pdf">Formulae and growth rates of animals on cubical and triangular lattices</a>, PhD Thesis, Israel Inst. Techn. (2017)

%F a(n) = 2^(n-6)*n^(n-7)*(n-3)*(12*n^5 - 104*n^4 + 360*n^3 - 679*n^2 + 1122*n - 1560)/3.

%t a[n_]:=2^(n-6)*n^(n-7)*(n-3)*(12*n^5 - 104*n^4 + 360*n^3 - 679*n^2 + 1122*n - 1560)/3 ; Array[a, 40, 3] (* _Stefano Spezia_, Sep 09 2018 *)

%o (PARI) a(n)=2^(n-6)*n^(n-7)*(n-3)*(12*n^5-104*n^4+360*n^3-679*n^2+1122*n-1560)/3

%o (Magma) [2^(n-6)*n^(n-7)*(n-3)*(12*n^5-104*n^4+360*n^3-679*n^2+1122*n-1560)/3: n in [3..40]]; // _Vincenzo Librandi_, May 26 2011

%Y Cf. A127670, A171860.

%Y Diagonal 3 of A195739.

%K nonn,easy

%O 3,3

%A _Gill Barequet_, May 25 2011