A385149 -id:A385149 - cp's OEIS frontend

A047749 If n = 2m then a(n) = binomial(3m, m)/(2m+1), if n=2m+1 then a(n) = binomial(3m+1, m+1)/(2m+1).

1, 1, 1, 2, 3, 7, 12, 30, 55, 143, 273, 728, 1428, 3876, 7752, 21318, 43263, 120175, 246675, 690690, 1430715, 4032015, 8414640, 23841480, 50067108, 142498692, 300830572, 859515920, 1822766520, 5225264024, 11124755664, 31983672534, 68328754959, 196947587823, 422030545335

Offset: 0

N. J. A. Sloane

nonn

Hankel transform appears to be a signed aerated version of A059492. - Paul Barry, Apr 16 2008
Row sums of inverse Riordan array (1, x*(1-x^2))^(-1). - Paul Barry, Apr 16 2008
a(n) is the number of permutations of length n avoiding 213 in the classical sense which are breadth-first search reading words of increasing unary-binary trees. For more details, see the entry for permutations avoiding 231 at A245898. - Manda Riehl, Aug 05 2014
From David Callan, Aug 22 2014: (Start)
a(n) is the number of ordered trees (A000108) with n vertices in which every non-root non-leaf vertex has exactly one leaf child (no restriction on its non-leaf children). For example, a(4) counts the 3 trees
   |             |
   \/    \|/    \/
(End)
From Emeric Deutsch, Oct 28 2014: (Start)
a(n) is the number of symmetric ternary trees having n internal nodes.
a(n) is the number of symmetric non-crossing rooted trees having n edges.
a(n) is the number of symmetric even trees having 2n edges.
a(n) is the number of symmetric diagonally convex directed polyominoes having n diagonals.
(End)
For the above 4 items see the Deutsch-Feretic-Noy reference.
a(n) is also the number of self-dual labeled non-crossing trees with n edges. See my paper in the links section. - Nikos Apostolakis, Jun 11 2019
Number of achiral polyominoes composed of n square cells of the hyperbolic regular tiling with Schläfli symbol {4,oo}. A stereographic projection of this tiling on the Poincaré disk can be obtained via the Christensson link. An achiral polyomino is identical to its reflection. - Robert A. Russell, Jan 20 2024

			G.f. = 1 + x + x^2 + 2*x^3 + 3*x^4 + 7*x^5 + 12*x^6 + 30*x^7 + 55*x^8 + ...

G. C. Greubel, Table of n, a(n) for n = 0..1000
Per Alexandersson, Frether Getachew Kebede, Samuel Asefa Fufa, and Dun Qiu, Pattern-Avoidance and Fuss-Catalan Numbers, J. Int. Seq. (2023) Vol. 26, Art. 23.4.2.
Nikos Apostolakis, Non-crossing trees, quadrangular dissections, ternary trees, and duality preserving bijections arXiv:1804.01214 [math.CO], 2018.
Jean-Luc Baril, Alexander Burstein, and Sergey Kirgizov, Pattern statistics in faro words and permutations, arXiv:2010.06270 [math.CO], 2020. See Theorem 4.4.
Paul Barry, Jacobsthal Decompositions of Pascal's Triangle, Ternary Trees, and Alternating Sign Matrices, Journal of Integer Sequences, 19, 2016, #16.3.5.
Paul Barry, Centered polygon numbers, heptagons and nonagons, and the Robbins numbers, arXiv:2104.01644 [math.CO], 2021.
Paul Barry, Extensions of Riordan Arrays and Their Applications, Mathematics (2025) Vol. 13, No. 2, 242. See pp. 23-24.
L. W. Beineke and R. E. Pippert, Enumerating dissectable polyhedra by their automorphism groups, Can. J. Math., 26 (1974), 50-67.
M. Bousquet and C. Lamathe, Enumeration of solid trees according to edge number and edge degree distribution, Discr. Math., 298 (2005), 115-141.
Michel Bousquet and Cédric Lamathe, On symmetric structures of order two, Discrete Math. Theor. Comput. Sci. 10 (2008), 153-176.
Hassen Cheriha, Yousra Gati, and Vladimir Petrov Kostov, Descartes' rule of signs, Rolle's theorem and sequences of admissible pairs, arXiv:1805.04261 [math.CA], 2018.
Malin Christensson, Make hyperbolic tilings of images, web page, 2019.
S. J. Cyvin, Jianji Wang, J. Brunvoll, Shiming Cao, Ying Li, B. N. Cyvin, and Yugang Wang, Staggered conformers of alkanes: complete solution of the enumeration problem, J. Molec. Struct. 413-414 (1997), 227-239.
S. J. Cyvin et al., Enumeration of staggered conformers of alkanes and monocyclic cycloalkanes, J. Molec. Struct., 445 (1998), 127-137.
Alexander Burstein, Sergi Elizalde, and Toufik Mansour, Restricted Dumont permutations, Dyck paths and noncrossing partitions, arXiv:math/0610234 [math.CO], 2006. [Theorem 3.5]
Emeric Deutsch, Another Path to Generalized Catalan Numbers:Problem 10751, Amer. Math. Monthly, 108 (Nov., 2001), 872-873.
Emeric Deutsch, S. Feretic and M. Noy, Diagonally convex directed polyominoes and even trees: a bijection and related issues, Discrete Math., 256 (2002), 645-654.
F. Hering et al., The enumeration of stack polytopes and simplicial clusters, Discrete Math., 40 (1982), 203-217.
Clark Kimberling, Matrix Transformations of Integer Sequences, J. Integer Seqs., Vol. 6, 2003.
Anthony Zaleski and Doron Zeilberger, On the Intriguing Problem of Counting (n+1,n+2)-Core Partitions into Odd Parts, arXiv:1712.10072 [math.CO], 2017.

Column k=3 of A369929 and k=4 of A370062.
Cf. A000108, A032766, A059492.
Cf. A006013 is the odd-indexed terms of this sequence.
Polyominoes: A005034 (oriented), A005036 (unoriented), A369315 (chiral), A385149 (asymmetric), A001764 (rooted), A208355(n-1) {3,oo}, A369472 {5,oo}.

G:=Gamma; [Round((1+(-1)^n)*G(3*n/2+1)/(G(n/2+1)*Factorial(n+1)) + (1-(-1)^n)*G((3*n+1)/2)/(G((n+3)/2)*Factorial(n)))/2: n in [0..35]]; // G. C. Greubel, Jul 07 2019

A047749 := proc(m) if m mod 2 = 1 then x := (m-1)/2; RETURN((3*x+1)!/((x+1)!*(2*x+1)!)); fi; x := m/2; RETURN((3*x)!/(x!*(2*x+1)!)); end;
A047749 := proc(m) local x; if m mod 2 = 1 then x := (m-1)/2; RETURN((3*x+1)!/((x+1)!*(2*x+1)!)); fi; RETURN(A001764(m/2)); end;

a[ n_] := If[ n < 1, Boole[n == 0], SeriesCoefficient[ InverseSeries[ Series[ (x + 2 x^2) / (1 + x)^3, {x, 0, n}]], {x, 0, n}]]; (* Michael Somos, Oct 29 2014 *)
Table[If[OddQ[n],2Binomial[(3n-1)/2,(n-1)/2],Binomial[3n/2,n/2]]/(n+1),{n,0,40}] (* Robert A. Russell, Jan 19 2024 *)

{a(n)=local(A=1+x);for(i=1,n,A=1+x*A^2*subst(A,x,-x+x*O(x^n)));polcoeff(A,n)} \\ Paul D. Hanna, Sep 20 2009

x='x+O('x^66);
C(x)=serreverse(x-x^3); /* =x+x^3+3*x^5+12*x^7+55*x^9 +..., cf. A001764 */
s=1/(1-C(x)); /* g.f. */
Vec(s) /* Joerg Arndt, Apr 16 2011 */

apr(n, p, r) = r*binomial(n*p+r, n)/(n*p+r);
a(n) = apr(n\2, 3, n%2+1); \\ Seiichi Manyama, Jul 20 2025

from math import comb
def A047749(n): return comb(n+(a:=n>>1),a+(b:=n&1))//(n+1-b) # Chai Wah Wu, Jul 30 2022

def A047749_list(n) :
    D = [0]*n; D[1] = 1
    R = []; b = False; h = 1
    for i in range(n) :
        for k in (1..h) :
            D[k] = D[k] + D[k-1]
        R.append(D[h])
        if b : h += 1
        b = not b
    return R
A047749_list(35) # Peter Luschny, May 03 2012

[1]+[((1+(-1)^n)*binomial(3*n/2,n/2)/(n+1) + (1-(-1)^n)* binomial((3*n-1)/2, (n+1)/2)/n)/2 for n in (1..35)] # G. C. Greubel, Jul 07 2019

G.f. is 1+Z, where Z satisfies x*Z^3 + (3*x-2)*Z^2 + (3*x-1)*Z + x = 0. Equivalently, the g.f. Y satisfies x*Y^3 - 2*Y^2 + 3*Y - 1 = 0. - Vladeta Jovovic, Dec 06 2002
Reversion of g.f. (x-2*x^2)/(1-x)^3 (ignoring signs). - Ralf Stephan, Mar 22 2004
G.f.: (4/(3*x))*(sin((1/3)*asin(sqrt(27*x^2/4))))^2 +(2/sqrt(3*x^2))*sin((1/3)*asin(sqrt(27*x^2/4))). - Paul Barry, Nov 08 2006
G.f.: 1/(1-2*sin(asin(3*sqrt(3)*x/2)/3)/sqrt(3)). - Paul Barry, Apr 16 2008
From Paul D. Hanna, Sep 20 2009: (Start)
G.f. satisfies: A(x) = 1 + x*A(x)^2*A(-x);
also, A(x)*A(-x) = B(x^2) where B(x) = 1 + x*B(x)^3 = g.f. of A001764. (End)
G.f.: 1/(1-C(x)) where C(x) = Reverse(x-x^3) = x + x^3 + 3*x^5 + 12*x^7 + 55*x^9 + ... (cf. A001764). - Joerg Arndt, Apr 16 2011
G.f.: G(z^2)+z*G(z^2)^2, where G(z) = 1 + z*G(z)^3, the generating function for A001764. - Robert A. Russell, Jan 26 2024
From Gary W. Adamson, Jul 14 2011: (Start)
a(n) is the upper left term in M^n, M = the infinite square production matrix:
  1, 1, 0, 0, 0, 0, ...
  0, 0, 1, 0, 0, 0, ...
  1, 1, 0, 1, 0, 0, ...
  0, 0, 1, 0, 1, 0, ...
  1, 1, 0, 1, 0, 1, ...
  ... (End)
Conjecture D-finite with recurrence: 8*n*(n+1)*a(n) + 36*n*(n-2)*a(n-1) - 6*(9*n^2-18*n+14)*a(n-2) - 27*(3*n-7)*(3*n-8)*a(n-3) = 0. - R. J. Mathar, Dec 19 2011
0 = a(n)*(+7308954*a(n+2) - 16659999*a(n+3) - 4854519*a(n+4) + 6201838*a(n+5)) + a(n+1)*(-406053*a(n+2) - 1627560*a(n+3) + 1683538*a(n+4) - 245747*a(n+5)) + a(n+2)*(+45117*a(n+2) + 235870*a(n+3) + 173953*a(n+4) - 484295*a(n+5)) + a(n+3)*(-41820*a(n+3) - 50184*a(n+4) + 22304*a(n+5)) for all n in Z if a(-1) = -2/3. - Michael Somos, Oct 29 2014
a(0) = 1; a(n) = Sum_{i=0..n-1} Sum_{j=0..n-i-1} (-1)^i * a(i) * a(j) * a(n-i-j-1). - Ilya Gutkovskiy, Jul 28 2021
a(n) = binomial(A032766(n),floor((n+1)/2))/(2*floor(n/2)+1). - Miko Labalan, Nov 28 2023
a(n) = 2*A005036(n) - A005034(n) = A005034(n) - 2*A369315(n) = A005036(n) - A369315(n). - Robert A. Russell, Jan 20 2024
From Robert A. Russell, Mar 20 2024: (Start)
a(n) = U(n) in the Beineke and Pippert link.
G.f.: E(1)(t*E(3)(t^2)) (second entry in Table 1), where E(d)(t) is defined in formula 3 of Hering link. (End)
From Robert A. Russell, Jul 15 2024: (Start)
a(2m) = A001764(m) ~ (3^3/2^2)^m*sqrt(3/(2*Pi*(2*m)^3)).
a(n+2)/a(n) ~ 27/4; a(2m+1)/a(2m) ~ 3; a(2m)/a(2m-1) ~ 9/4. (End)
a(n) ~ 3^((6n+3)/4)/(sqrt(Pi)*2^((2n-1)/2)*(2n+1)^(3/2)). - Miko Labalan, Dec 05 2024
a(0) = 1; a(n) = Sum_{k=0..floor((n-1)/2)} a(2*k) * a(n-1-2*k). - Seiichi Manyama, Jul 07 2025

A005036 Number of nonequivalent dissections of a polygon into n quadrilaterals by nonintersecting diagonals up to rotation and reflection.

Original entry on oeis.org

1, 1, 2, 5, 16, 60, 261, 1243, 6257, 32721, 175760, 963900, 5374400, 30385256, 173837631, 1004867079, 5861610475, 34469014515, 204161960310, 1217145238485, 7299007647552, 44005602441840

Offset: 1

N. J. A. Sloane

Closed formula is given in my paper linked below. - Nikos Apostolakis, Aug 01 2018

Number of unoriented polyominoes composed of n square cells of the hyperbolic regular tiling with Schläfli symbol {4,oo}. A stereographic projection of this tiling on the Poincaré disk can be obtained via the Christensson link. For unoriented polyominoes, chiral pairs are counted as one. - Robert A. Russell, Jan 20 2024

N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

T. D. Noe, Table of n, a(n) for n = 1..100
Nikos Apostolakis, Non-crossing trees, quadrangular dissections, ternary trees, and duality preserving bijections, arXiv:1807.11602 [math.CO], July 2018.
Malin Christensson, Make hyperbolic tilings of images, web page, 2019.
F. Harary, E. M. Palmer, and R. C. Read, On the cell-growth problem for arbitrary polygons, computer printout, circa 1974
F. Harary, E. M. Palmer and R. C. Read, On the cell-growth problem for arbitrary polygons, Discr. Math. 11 (1975), 371-389.
E. V. Konstantinova, A survey of the cell-growth problem and some its variations, Com 2 MaC-KOSEF, 2001. (Archived link.)
Index entries for "core" sequences

Column k=4 of A295260.
Cf. A005419, A004127.
Polyominoes: A005034 (oriented), A369315 (chiral), A047749 (achiral), A385149 (asymmetric), A001764 (rooted), A000207 {3,oo}, A005040 {5,oo}, A005038 {5,oo} (oriented).

p=4; Table[(Binomial[(p-1)n, n]/(((p-2)n+1)((p-2)n+2)) + If[OddQ[n], If[OddQ[p], Binomial[(p-1)n/2, (n-1)/2]/n, (p+1)Binomial[((p-1)n-1)/2, (n-1)/2]/((p-2)n+2)], 3Binomial[(p-1)n/2, n/2]/((p-2)n+2)]+Plus @@ Map[EulerPhi[ # ]Binomial[((p-1)n+1)/#, (n-1)/# ]/((p-1)n+1)&, Complement[Divisors[GCD[p, n-1]], {1, 2}]])/2, {n, 1, 20}] (* Robert A. Russell, Dec 11 2004 *)
Table[(3Binomial[3n,n]/(2n+1)-Binomial[3n+1,n]/(n+1)-If[OddQ[n],-10Binomial[(3n-1)/2,(n-1)/2]-If[1==Mod[n,4],4Binomial[(3n-3)/4,(n-1)/4],0],-6Binomial[3n/2,n/2]]/(n+1))/8,{n,0,30}] (* Robert A. Russell, Jun 19 2025 *)

a(n) ~ 3^(3*n + 1/2) / (sqrt(Pi) * n^(5/2) * 2^(2*n + 4)). - Vaclav Kotesovec, Mar 13 2016
a(n) = A005034(n) - A369315(n) = (A005034(n) + A047749(n)) / 2 = A369315(n) + A047749(n). - Robert A. Russell, Jan 19 2024
G.f.: (3*G(z) - G(z)^2 + 6*G(z^2) + 5z*G(z^2)^2 + 2z*G(z^4)) / 8, where G(z)=1+z*G(z)^3 is the g.f. for A001764. - Robert A. Russell, Jun 19 2025

More terms from Sascha Kurz, Oct 13 2001

Name edited by Andrew Howroyd, Nov 20 2017

A005034 Number of nonequivalent dissections of a polygon into n quadrilaterals by nonintersecting diagonals up to rotation.

Original entry on oeis.org

1, 1, 1, 2, 7, 25, 108, 492, 2431, 12371, 65169, 350792, 1926372, 10744924, 60762760, 347653944, 2009690895, 11723100775, 68937782355, 408323229930, 2434289046255, 14598011263089, 88011196469040, 533216750567280, 3245004785069892, 19829768942544276, 121639211516546668

Offset: 0

N. J. A. Sloane

Also, with a different offset, number of colored quivers in the 2-mutation class of a quiver of Dynkin type A_n. - N. J. A. Sloane, Jan 22 2013
Closed formula is given in my paper linked below. - Nikos Apostolakis, Aug 01 2018
Number of oriented polyominoes composed of n square cells of the hyperbolic regular tiling with Schläfli symbol {4,oo}. A stereographic projection of this tiling on the Poincaré disk can be obtained via the Christensson link. For oriented polyominoes, chiral pairs are counted as two. - Robert A. Russell, Jan 20 2024

F. Bergeron, G. Labelle and P. Leroux, Combinatorial Species and Tree-Like Structures, Camb. 1998, p. 290.
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

G. C. Greubel, Table of n, a(n) for n = 0..1000
Nikos Apostolakis, Non-crossing trees, quadrangular dissections, ternary trees, and duality preserving bijections, arXiv:1807.11602 [math.CO], July 2018.
Malin Christensson, Make hyperbolic tilings of images, web page, 2019.
F. Harary, E. M. Palmer, R. C. Read, On the cell-growth problem for arbitrary polygons, computer printout, circa 1974
F. Harary, E. M. Palmer and R. C. Read, On the cell-growth problem for arbitrary polygons, Discr. Math. 11 (1975), 371-389.
P. Leroux and B. Miloudi, Généralisations de la formule d'Otter, Ann. Sci. Math. Quebec 16 (1992), no 1, 53-80.
P. Leroux and B. Miloudi, Généralisations de la formule d'Otter, Ann. Sci. Math. Québec, Vol. 16, No. 1, pp. 53-80, 1992. (Annotated scanned copy)
Alexander Stoimenow, On the number of chord diagrams, Discr. Math. 218 (2000), 209-233. See p. 232.
Torkildsen, Hermund A., Colored quivers of type A and the cell-growth problem, J. Algebra and Applications, 12 (2013), #1250133.

Column k=4 of A295224.

Polyominoes: A005036 (unoriented), A369315 (chiral), A047749 (achiral), A385149 (asymmetric), A001764 (rooted), A001683(n+2) {3,oo}, A005038 {5,oo}.

p=4; Table[Binomial[(p-1)n, n]/(((p-2)n+1)((p-2)n+2)) +If[OddQ[n], 0, Binomial[(p-1)n/2, n/2]/((p-2)n+2)]+Plus @@ Map[EulerPhi[ # ]Binomial[((p-1)n+1)/#, (n-1)/# ]/((p-1)n+1)&, Complement[Divisors[GCD[p, n-1]], {1}]], {n, 0, 20}] (* Robert A. Russell, Dec 11 2004 *)
Table[(3Binomial[3n,n]/(2n+1)-Binomial[3n+1,n]/(n+1)-If[OddQ[n],-2Binomial[(3n-1)/2,(n-1)/2]-If[1==Mod[n,4],4Binomial[(3n-3)/4,(n-1)/4],0],-2Binomial[3n/2,n/2]]/(n+1))/4,{n,0,30}] (* Robert A. Russell, Jun 19 2025 *)

a(n) ~ 3^(3*n + 1/2) / (sqrt(Pi) * n^(5/2) * 2^(2*n + 3)). - Vaclav Kotesovec, Mar 13 2016
a(n) = A005036(n) + A369315(n) = 2*A005036(n) - A047749(n) = 2*A369315(n) + A047749(n). - Robert A. Russell, Jan 19 2024
G.f.: (3*G(z) - G(z)^2 + 2*G(z^2) + z*G(z^2)^2 + 2z*G(z^4)) / 4, where G(z)=1+z*G(z)^3 is the g.f. for A001764. - Robert A. Russell, Jun 19 2025

Name clarified by Andrew Howroyd, Nov 20 2017

A369315 Number of chiral pairs of polyominoes composed of n square cells of the hyperbolic regular tiling with Schläfli symbol {4,oo}.

Original entry on oeis.org

2, 9, 48, 231, 1188, 6114, 32448, 175032, 962472, 5370524, 30377504, 173816313, 1004823816, 5861490300, 34468767840, 204161269620, 1217143807770, 7299003615537, 44005594027200, 266608363362900

Offset: 4

Robert A. Russell, Jan 19 2024

A stereographic projection of the {4,oo} tiling on the Poincaré disk can be obtained via the Christensson link. Each member of a chiral pair is a reflection but not a rotation of the other.

			 __ __ __    __ __ __     __ __          __ __
|__|__|__|  |__|__|__|   |__|__|__    __|__|__|  a(4) = 2.
      |__|  |__|            |__|__|  |__|__|

Malin Christensson, Make hyperbolic tilings of images, web page, 2019.

Polyominoes: A005034 (oriented), A005036 (unoriented), A047749 (achiral), A385149 (asymmetric), A001764 (rooted), A369314 {3,oo}.

p=4; Table[(Binomial[(p-1)n,n]/(((p-2)n+1)((p-2)n+2))-If[OddQ[n],If[OddQ[p],Binomial[(p-1)n/2,(n-1)/2]/n,(p+1)Binomial[((p-1)n-1)/2,(n-1)/2]/((p-2)n+2)-Binomial[((p-1)n+1)/2,(n-1)/2]/((p-1)n+1)],Binomial[(p-1)n/2,n/2]/((p-2)n+2)]+DivisorSum[GCD[p,n-1],EulerPhi[#]Binomial[((p-1)n+1)/#,(n-1)/#]/((p-1)n+1)&,#>1&])/2,{n,4,30}]
Table[(3Binomial[3n,n]/(2n+1)-Binomial[3n+1,n]/(n+1)-If[OddQ[n],6Binomial[(3n-1)/2,(n-1)/2]-If[1==Mod[n,4],4Binomial[(3n-3)/4,(n-1)/4],0],2Binomial[3n/2,n/2]]/(n+1))/8,{n,0,30}] (* Robert A. Russell, Jun 19 2025 *)

a(n) = A005034(n) - A005036(n) = (A005034(n) - A047749(n)) / 2 = A005036(n) - A047749(n).

G.f.: (3*G(z) - G(z)^2 - 2*G(z^2) - 3z*G(z^2)^2 + 2z*G(z^4)) / 8, where G(z)=1+z*G(z)^3 is the g.f. for A001764. - Robert A. Russell, Jun 19 2025

cp's OEIS Frontend

A047749 If n = 2*m then a(n) = binomial(3*m, m)/(2*m+1), if n=2*m+1 then a(n) = binomial(3*m+1, m+1)/(2*m+1).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Magma

Maple

Mathematica

PARI

PARI

PARI

Python

Sage

Sage

Formula

A005036 Number of nonequivalent dissections of a polygon into n quadrilaterals by nonintersecting diagonals up to rotation and reflection.

Views

Author

Keywords

Comments

References

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

A005034 Number of nonequivalent dissections of a polygon into n quadrilaterals by nonintersecting diagonals up to rotation.

Views

Author

Keywords

Comments

References

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

A369315 Number of chiral pairs of polyominoes composed of n square cells of the hyperbolic regular tiling with Schläfli symbol {4,oo}.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

A047749 If n = 2m then a(n) = binomial(3m, m)/(2m+1), if n=2m+1 then a(n) = binomial(3m+1, m+1)/(2m+1).