A089434 -id:A089434 - cp's OEIS frontend

A007297 Number of connected graphs on n labeled nodes on a circle with straight-line edges that don't cross.

1, 1, 4, 23, 156, 1162, 9192, 75819, 644908, 5616182, 49826712, 448771622, 4092553752, 37714212564, 350658882768, 3285490743987, 30989950019532, 294031964658430, 2804331954047160, 26870823304476690, 258548658860327880

Offset: 1

N. J. A. Sloane, Mira Bernstein

Apart from the initial 1, reversion of g.f. for A162395 (squares with signs): see A263843.

			G.f. = x*(1 + x + 4*x^2 + 23*x^3 + 156*x^4 + 1162*x^5 + 9192*x^6 + 75819*x^7 + ...).

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

N. J. A. Sloane, Table of n, a(n) for n = 1..999 (first 101 terms from T. D. Noe)
M. Aguiar and J.-L. Loday, Quadri-algebras, J. Pure Appl. Algebra, 191 (2004), 205-221.
R. Bacher, On generating series of complementary plane trees arXiv:math/0409050 [math.CO], 2004.
P. Barry and A. Hennessy, Four-term Recurrences, Orthogonal Polynomials and Riordan Arrays, Journal of Integer Sequences, 2012, article 12.4.2. - From _N. J. A. Sloane_, Sep 21 2012
F. R. Bernhart & N. J. A. Sloane, Emails, April-May 1994
F. Cazals, Combinatorics of Non-Crossing Configurations, Studies in Automatic Combinatorics, Volume II (1997).
E. Deutsch and B. E. Sagan, Congruences for Catalan and Motzkin numbers and related sequences, arXiv:math/0407326 [math.CO], 2004; J. Num. Theory 117 (2006), 191-215.
C. Domb and A. J. Barrett, Enumeration of ladder graphs, Discrete Math. 9 (1974), 341-358 (column sums in Table 2).
Michael Drmota, Anna de Mier, Marc Noy, Extremal statistics on non-crossing configurations, Discrete Math. 327 (2014), 103--117. MR3192420. See Eq. (3). - N. J. A. Sloane, May 18 2014
Guillermo Esteban, Clemens Huemer, Rodrigo I. Silveira, New production matrices for geometric graphs, arXiv:2003.00524 [math.CO], 2020.
Sen-Peng Eu, Shu-Chung Liu and Yeong-Nan Yeh, On the congruences of some combinatorial numbers, Stud. Appl. Math. vol. 116 (2006) pp. 135-144.
P. Flajolet and M. Noy, Analytic Combinatorics of Non-crossing Configurations
P. Flajolet and M. Noy, Analytic combinatorics of non-crossing configurations, Discrete Math., 204, 203-229, 1999.
P. Flajolet and R. Sedgewick, Analytic Combinatorics, 2009; see page 486.
Loïc Foissy, Free quadri-algebras and dual quadri-algebras, arXiv:1504.06056 [math.CO], 2015.
I. M. Gessel, A short proof of the Deutsch-Sagan congruence for connected non crossing graphs, arXiv preprint arXiv:1403.7656 [math.CO], 2014.
Marco Kuhlmann, Tabulation of Noncrossing Acyclic Digraphs, arXiv:1504.04993 [cs.DS], 2015.
M. Kuhlmann, P. Jonsson, Parsing to Noncrossing Dependency Graphs, Transactions of the Association for Computational Linguistics, vol. 3, pp. 559-570, 2015.
Sara Madariaga, Gröbner-Shirshov bases for the non-symmetric operads of dendriform algebras and quadri-algebras, arXiv:1304.5184 [math.RA], 2013.
B. Vallette, Manin products, Koszul duality, Loday algebras and Deligne conjecture, arXiv:math/0609002 [math.QA], 2006-2007; J. Reine Angew. Math. 620 (2008), 105-164.
Gus Wiseman, The a(5) = 156 connected non-crossing graphs.
Gus Wiseman, Constructive Mathematica program for A007297.
Anssi Yli-Jyrä and Carlos Gómez-Rodríguez, Generic Axiomatization of Families of Noncrossing Graphs in Dependency Parsing, arXiv:1706.03357 [cs.CL], 2017.
Index entries for reversions of series

Cf. A162395, A000290. 4th row of A107111. Row sums of A089434.
See A263843 for a variant.
Cf. A000108 (non-crossing set partitions), A001006, A001187, A054726 (non-crossing graphs), A054921, A099947, A194560, A293510, A323818, A324167, A324169, A324173.

A007297:=proc(n) if n = 1 then 1 else add(binomial(3*n - 3, n + j)*binomial(j - 1, j - n + 1), j = n - 1 .. 2*n - 3)/(n - 1); fi; end;

CoefficientList[ InverseSeries[ Series[(x-x^2)/(1+x)^3, {x, 0, 20}], x], x] // Rest (* From Jean-François Alcover, May 19 2011, after PARI prog. *)
Table[Binomial[3n, 2n+1] Hypergeometric2F1[1-n, n, 2n+2, -1]/n, {n, 1, 20}] (* Vladimir Reshetnikov, Oct 25 2015 *)

a(n)=if(n<0,0,polcoeff(serreverse((x-x^2)/(1+x)^3+O(x^(n+2))),n+1)) /* Ralf Stephan */

Apart from initial term, g.f. is the series reversion of (x-x^2)/(1+x)^3 (A162395). See A263843. - Vladimir Kruchinin, Feb 08 2013
G.f.: (g-z)/z, where g=-1/3+(2/3)*sqrt(1+9z)*sin((1/3)*arcsin((2+27z+54z^2)/2/(1+9*z)^(3/2))). - Emeric Deutsch, Dec 02 2002
a(n) = (1/n)*Sum_{k=0..n} binomial(3n, n-k-1)*binomial(n+k-1, k). - Paul Barry, May 11 2005
a(n) = 4^(n-1)*(Gamma(3*n/2-1)/Gamma(n/2+1)/Gamma(n) -Gamma((3*n-1)/2)/ Gamma( (n+1)/2)/Gamma(n+1)). - Mark van Hoeij, Aug 27 2005, adapted to offset Feb 21 2020 by R. J. Mathar
a(n) = 4^n * binomial(3*n/2, n/2) / (9*n-6) - 4^(n-1) * binomial(3*(n-1)/2, (n-1)/2 ) / n. - Mark van Hoeij, Aug 27 2005, adapted to offset Feb 21 2020 by R. J. Mathar
D-finite with recurrence: n*(n-1)*(3*n-4)*a(n) +36*(n-1)*a(n-1) -12*(3*n-8)*(3*n-1)*(3*n-7)*a(n-2)=0. - Mark van Hoeij, Aug 27 2005, adapted to offset Feb 21 2020 by R. J. Mathar
a(n) = (1/n)*Sum_{k=0..n} C(3n, k)*C(2n-k-2, n-1). - Paul Barry, Sep 27 2005
a(n) ~ (2-sqrt(3)) * 6^n * 3^(n/2) / (sqrt(2*Pi) * n^(3/2)). - Vaclav Kotesovec, Mar 17 2014
a(n) = binomial(3*n,2*n+1)*hypergeom([1-n,n], [2*n+2], -1)/n. - Vladimir Reshetnikov, Oct 25 2015
a(n) = 2*A078531(n) - A085614(n+1). - Vladimir Reshetnikov, Apr 24 2016

Better description from Philippe Flajolet, Apr 20 2000
More terms from James Sellers, Aug 21 2000
Definition revised and initial a(1)=1 added by N. J. A. Sloane, Nov 05 2015 at the suggestion of Axel Boldt. Some of the formulas may now need to be adjusted slightly.

A088617 Triangle read by rows: T(n,k) = C(n+k,n)*C(n,k)/(k+1), for n >= 0, k = 0..n.

Original entry on oeis.org

1, 1, 1, 1, 3, 2, 1, 6, 10, 5, 1, 10, 30, 35, 14, 1, 15, 70, 140, 126, 42, 1, 21, 140, 420, 630, 462, 132, 1, 28, 252, 1050, 2310, 2772, 1716, 429, 1, 36, 420, 2310, 6930, 12012, 12012, 6435, 1430, 1, 45, 660, 4620, 18018, 42042, 60060, 51480, 24310, 4862

Offset: 0

N. J. A. Sloane, Nov 23 2003

Row sums: A006318 (Schroeder numbers). Essentially same as triangle A060693 transposed.
T(n,k) is number of Schroeder paths (i.e., consisting of steps U=(1,1), D=(1,-1), H=(2,0) and never going below the x-axis) from (0,0) to (2n,0), having k U's. E.g., T(2,1)=3 because we have UHD, UDH and HUD. - Emeric Deutsch, Dec 06 2003
Little Schroeder numbers A001003 have a(n) = Sum_{k=0..n} A088617(n,k)*(-1)^(n-k)*2^k. - Paul Barry, May 24 2005
Conjecture: The expected number of U's in a Schroeder n-path is asymptotically Sqrt[1/2]*n for large n. - David Callan, Jul 25 2008
T(n, k) is also the number of order-preserving and order-decreasing partial transformations (of an n-chain) of width k (width(alpha) = |Dom(alpha)|). - Abdullahi Umar, Oct 02 2008
The antidiagonals of this lower triangular matrix are the rows of A055151. - Tom Copeland, Jun 17 2015

			Triangle begins:
  [0] 1;
  [1] 1,  1;
  [2] 1,  3,   2;
  [3] 1,  6,  10,    5;
  [4] 1, 10,  30,   35,    14;
  [5] 1, 15,  70,  140,   126,    42;
  [6] 1, 21, 140,  420,   630,   462,   132;
  [7] 1, 28, 252, 1050,  2310,  2772,  1716,   429;
  [8] 1, 36, 420, 2310,  6930, 12012, 12012,  6435,  1430;
  [9] 1, 45, 660, 4620, 18018, 42042, 60060, 51480, 24310, 4862;

Charles Jordan, Calculus of Finite Differences, Chelsea 1965, p. 449.

Michael De Vlieger, Table of n, a(n) for n = 0..11475 (rows 0 <= n <= 150)
Anwar Al Ghabra, K. Gopala Krishna, Patrick Labelle, and Vasilisa Shramchenko, Enumeration of multi-rooted plane trees, arXiv:2301.09765 [math.CO], 2023.
Paul Barry, On Integer-Sequence-Based Constructions of Generalized Pascal Triangles, Journal of Integer Sequences, Vol. 9 (2006), Article 06.2.4.
Paul Barry, Continued fractions and transformations of integer sequences, JIS 12 (2009) 09.7.6.
Paul Barry, Generalized Catalan Numbers Associated with a Family of Pascal-like Triangles, J. Int. Seq., Vol. 22 (2019), Article 19.5.8.
Paul Barry, On the inversion of Riordan arrays, arXiv:2101.06713 [math.CO], 2021.
Manosij Ghosh Dastidar and Michael Wallner, Bijections and congruences involving lattice paths and integer compositions, arXiv:2402.17849 [math.CO], 2024. See p. 16.
Samuele Giraudo, Tree series and pattern avoidance in syntax trees, arXiv:1903.00677 [math.CO], 2019.
Hsien-Kuei Hwang and Satoshi Kuriki, Integrated empirical measures and generalizations of classical goodness-of-fit statistics, arXiv:2404.06040 [math.ST], 2024. See p. 11.
C. Jordan, Calculus of Finite Differences, Budapest, 1939. [Annotated scans of pages 448-450 only]
A. Kirillov, On Some Quadratic Algebras I 1/2: Combinatorics of Dunkl and Gaudin Elements, Schubert, Grothendieck, Fuss-Catalan, Universal Tutte and Reduced Polynomials, arXiv preprint arXiv:1502.00426 [math.RT], 2016.
M. Klazar, On numbers of Davenport-Schinzel sequences, Discr. Math., 185 (1998), 77-87.
Paul W. Lapey and Aaron Williams, A Shift Gray Code for Fixed-Content Łukasiewicz Words, Williams College, 2022.
A. Laradji and A. Umar, A. Combinatorial results for semigroups of order-preserving partial transformations, Journal of Algebra 278, (2004), 342-359.
A. Laradji and A. Umar, Combinatorial results for semigroups of order-decreasing partial transformations, J. Integer Seq. 7 (2004), 04.3.8.
Jason P. Smith, The poset of graphs ordered by induced containment, arXiv:1806.01821 [math.CO], 2018.

Diagonals give A000217, A034827, A000910, A088625, A088626, A000108, A001700, A002457, A002802, A002803.
Cf. A000108, A001003, A006318, A060693, A084938, A085478.
Cf. A033282, A055151, A123160.
Cf. A001263, A011973, A055151, A060693, A074909, A086810, A107131.

[[Binomial(n+k,n)*Binomial(n,k)/(k+1): k in [0..n]]: n in [0.. 15]]; // Vincenzo Librandi, Jun 18 2015

R := n -> simplify(hypergeom([-n, n + 1], [2], -x)):
Trow := n -> seq(coeff(R(n, x), x, k), k = 0..n):
seq(print(Trow(n)), n = 0..9); # Peter Luschny, Apr 26 2022

Table[Binomial[n+k, n] Binomial[n, k]/(k+1), {n,0,10}, {k,0,n}]//Flatten (* Michael De Vlieger, Aug 10 2017 *)

{T(n, k)= if(k+1, binomial(n+k, n)*binomial(n, k)/(k+1))}

flatten([[binomial(n+k, 2*k)*catalan_number(k) for k in (0..n)] for n in (0..12)]) # G. C. Greubel, May 22 2022

Triangle T(n, k) read by rows; given by [1, 0, 1, 0, 1, 0, 1, 0, 1, 0, ...] DELTA [1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, ...] where DELTA is Deléham's operator defined in A084938.
T(n, k) = A085478(n, k)*A000108(k); A000108 = Catalan numbers. - Philippe Deléham, Dec 05 2003
Sum_{k=0..n} T(n, k)*x^k*(1-x)^(n-k) = A000108(n), A001003(n), A007564(n), A059231(n), A078009(n), A078018(n), A081178(n), A082147(n), A082181(n), A082148(n), A082173(n) for x = 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11. - Philippe Deléham, Aug 18 2005
Sum_{k=0..n} T(n,k)*x^k = (-1)^n*A107841(n), A080243(n), A000007(n), A000012(n), A006318(n), A103210(n), A103211(n), A133305(n), A133306(n), A133307(n), A133308(n), A133309(n) for x = -3, -2, -1, 0, 1, 2, 3, 4, 5, 6, 7, 8 respectively. - Philippe Deléham, Oct 18 2007
O.g.f. (with initial 1 excluded) is the series reversion with respect to x of (1-t*x)*x/(1+x). Cf. A062991 and A089434. - Peter Bala, Jul 31 2012
G.f.: 1 + (1 - x - T(0))/y, where T(k) = 1 - x*(1+y)/( 1 - x*y/T(k+1) ); (continued fraction). - Sergei N. Gladkovskii, Nov 03 2013
From Peter Bala, Jul 20 2015: (Start)
O.g.f. A(x,t) = ( 1 - x - sqrt((1 - x)^2 - 4*x*t) )/(2*x*t) = 1 + (1 + t)*x + (1 + 3*t + 2*t^2)*x^2 + ....
1 + x*(dA(x,t)/dx)/A(x,t) = 1 + (1 + t)*x + (1 + 4*t + 3*t^2)*x^2 + ... is the o.g.f. for A123160.
For n >= 1, the n-th row polynomial equals (1 + t)/(n+1)*Jacobi_P(n-1,1,1,2*t+1). Removing a factor of 1 + t from the row polynomials gives the row polynomials of A033282. (End)
From Tom Copeland, Jan 22 2016: (Start)
The o.g.f. G(x,t) = {1 - (2t+1) x - sqrt[1 - (2t+1) 2x + x^2]}/2x = (t + t^2) x + (t + 3t^2 + 2t^3) x^2 + (t + 6t^2 + 10t^3 + 5t^3) x^3 + ... generating shifted rows of this entry, excluding the first, was given in my 2008 formulas for A033282 with an o.g.f. f1(x,t) = G(x,t)/(1+t) for A033282. Simple transformations presented there of f1(x,t) are related to A060693 and A001263, the Narayana numbers. See also A086810.
The inverse of G(x,t) is essentially given in A033282 by x1, the inverse of f1(x,t): Ginv(x,t) = x [1/(t+x) - 1/(1+t+x)] = [((1+t) - t) / (t(1+t))] x - [((1+t)^2 - t^2) / (t(1+t))^2] x^2 + [((1+t)^3 - t^3) / (t(1+t))^3] x^3 - ... . The coefficients in t of Ginv(xt,t) are the o.g.f.s of the diagonals of the Pascal triangle A007318 with signed rows and an extra initial column of ones. The numerators give the row o.g.f.s of signed A074909.
Rows of A088617 are shifted columns of A107131, whose reversed rows are the Motzkin polynomials of A055151, related to A011973. The diagonals of A055151 give the rows of A088671, and the antidiagonals (top to bottom) of A088617 give the rows of A107131 and reversed rows of A055151. The diagonals of A107131 give the columns of A055151. The antidiagonals of A088617 (bottom to top) give the rows of A055151.
(End)
T(n, k) = [x^k] hypergeom([-n, 1 + n], [2], -x). - Peter Luschny, Apr 26 2022

A062991 Coefficient triangle for certain polynomials N(2; n,x) (rising powers of x).

Original entry on oeis.org

1, 2, -1, 5, -6, 2, 14, -28, 20, -5, 42, -120, 135, -70, 14, 132, -495, 770, -616, 252, -42, 429, -2002, 4004, -4368, 2730, -924, 132, 1430, -8008, 19656, -27300, 23100, -11880, 3432, -429, 4862, -31824, 92820, -157080, 168300, -116688, 51051, -12870, 1430

Offset: 0

Wolfdieter Lang, Jul 12 2001

The g.f. for the sequence of column m of triangle A009766(n,m) (or Catalan A033184(n,n-m) diagonals) is N(2; m-1,x)*(x^m)/(1-x)^(m+1), m >= 1, with N(2; n,x) = Sum_{k=0..n} T(n,k)*x^k.
For k=0..1 the column sequences give A000108(n+1) (Catalan), -A002694. The row sums give A000012 (powers of 1) and (unsigned) A062992.
Another version of [1, 1, 1, 1, 1, 1, 1, 1, ...] DELTA [0, -1, -1, -1, -1, -1, -1, -1, ...] = 1; 1, 0; 2, -1, 0; 5, -6, 2, 0; 14, -28, 20, -5, 0; 42, -120, 135, -70, 14, 0; ... where DELTA is Deléham's operator defined in A084938.
The positive triangle is |T(n,k)| = binomial(2*n+2, n-k)*binomial(n+k, k)/(n+1). - Paul Barry, May 11 2005

			The triangle N2 = {a(n,k)} begins:
n\k      0       1      2       3       4       5      6       7     8     9
----------------------------------------------------------------------------
0:       1
1:       2      -1
2:       5      -6      2
3:      14     -28     20      -5
4:      42    -120    135     -70      14
5:     132    -495    770    -616     252     -42
6:     429   -2002   4004   -4368    2730    -924    132
7:    1430   -8008  19656  -27300   23100  -11880   3432    -429
8:    4862  -31824  92820 -157080  168300 -116688  51051  -12870  1430
9:   16796 -125970 426360 -852720 1108536 -969969 570570 -217360 48620 -4862
... formatted by _Wolfdieter Lang_, Jan 20 2020
N(2; 2, x)= 5 - 6*x + 2*x^2.

G. C. Greubel, Rows n = 0..50 of the triangle, flattened
C. A. Francisco, J. Mermin, and J. Schweig, Catalan numbers, binary trees, and pointed pseudotriangulations, 2013.
V. E. Hoggatt Jr. and Marjorie Bicknell-Johnson, Numerator Polynomial Coefficient Arrays for Catalan and Related Sequence Convolution Triangles, The Fibonacci Quarterly 15 (1977) 30-34. [On p. 31, in the line n = 1, 14 is missing in S_1^4. - _Wolfdieter Lang_, Jan 20 2020 ]
Joseph T. Iosue, Adam Ehrenberg, Dominik Hangleiter, Abhinav Deshpande, and Alexey V. Gorshkov, Page curves and typical entanglement in linear optics, arXiv:2209.06838 [quant-ph], 2022.
A. Lakshminarayan, Z. Puchala, and K. Zyczkowski, Diagonal unitary entangling gates and contradiagonal quantum states, arXiv preprint arXiv:1407.1169 [quant-ph], 2014.
Jian Zhou, On Some Mathematics Related to the Interpolating Statistics, arXiv:2108.10514 [math-ph], 2021.

Cf. A000108, A002694, A009766, A033184, A062992, A084938, A089434, A094385.
For an unsigned version see Borel's triangle, A234950.
Sums include: A000012 (row), A000079 (diagonal), A064062 (signed row), A071356 (signed diagonal).

A062991:= func< n,k | (-1)^k*Binomial(2*n+2,n-k)*Binomial(n+k,k)/(n+1) >;
[A062991(n,k): k in [0..n], n in [0..12]]; // G. C. Greubel, Sep 27 2024

T[n_, k_] := 2 (-1)^k Binomial[2n+1, n] (n-k+1) Binomial[n+1, k]/((k+n+1)(k+n+2));
Table[T[n, k], {n, 0, 8}, {k, 0, n}] // Flatten (* Jean-François Alcover, Sep 19 2018 *)

def A062991(n,k): return (-1)^k*binomial(2*n+2,n-k)*binomial(n+k,k)/(n+1)
flatten([[A062991(n,k) for k in range(n+1)] for n in range(13)]) # G. C. Greubel, Sep 27 2024

T(n, k) = [x^k] N(2; n, x) with N(2; n, x) = (N(2; n-1, x) - A000108(n)*(1-x)^(n+1))/x, N(2; 0, x) = 1.
T(n, k) = T(n-1, k+1) + (-1)^k*binomial(n+1, k+1)*binomial(2*n+1, n)/(2*n+1) if k=0, .., (n-2); T(n, k) = (-1)^k*binomial(n+1, k+1)*binomial(2*n+1, n)/(2*n+1) if k=(n-1) or n; else 0.
O.g.f. (with offset 1) is the series reversion w.r.t. x of x*(1+x*t)/(1+x)^2. If R(n,t) denotes the n-th row polynomial of this triangle then R(n,1-t) is the n-th row polynomial of A009766. Cf. A089434. - Peter Bala, Jul 15 2012
From G. C. Greubel, Sep 27 2024: (Start)
Sum_{k=0..n} T(n, k) = A000012(n).
Sum_{k=0..n} (-1)^k*T(n, k) = A064062(n+1).
Sum_{k=0..floor(n/2)} T(n-k, k) = A000079(n).
Sum_{k=0..floor(n/2)} (-1)^k*T(n-k, k) = A071356(n). (End)

A108410 Triangle T(n,k) read by rows: number of 12312-avoiding matchings on [2n] with exactly k crossings (n >= 1, 0 <= k <= n-1).

Original entry on oeis.org

1, 2, 1, 5, 5, 2, 14, 21, 15, 5, 42, 84, 84, 49, 14, 132, 330, 420, 336, 168, 42, 429, 1287, 1980, 1980, 1350, 594, 132, 1430, 5005, 9009, 10725, 9075, 5445, 2145, 429, 4862, 19448, 40040, 55055, 55055, 40898, 22022, 7865, 1430, 16796, 75582

Offset: 1

Ralf Stephan, Jun 03 2005

			Triangle begins
     1;
     2,     1;
     5,     5,     2;
    14,    21,    15,     5;
    42,    84,    84,    49,    14;
   132,   330,   420,   336,   168,    42;
   429,  1287,  1980,  1980,  1350,   594,   132;
  1430,  5005,  9009, 10725,  9075,  5445,  2145,  429;
  4862, 19448, 40040, 55055, 55055, 40898, 22022, 7865, 1430;

Andrew Howroyd, Table of n, a(n) for n = 1..1275
Alexander Burstein, Megan Martinez, Pattern classes equinumerous to the class of ternary forests, Permutation Patterns Virtual Workshop, Howard University (2020).
W. Y. C. Chen, T. Mansour and S. H. F. Yan, Matchings avoiding partial patterns, arXiv:math/0504342 [math.CO], 2005.
W. Y. C. Chen, T. Mansour and S. H. F. Yan, Matchings avoiding partial patterns, The Electronic Journal of Combinatorics 13, 2006, #R112, Theorem 2.2.
D. S. Hough, Descents in noncrossing trees, Electronic J. Combinatorics 10 (2003), #N13, Theorem 2.2. [_Ira M. Gessel_, May 10 2010]

Left-hand columns include A000108 and A002054. Right-hand columns include A000108 and A007851+1. Row sums are A001764. A089434.

T:=(n,k)->binomial(n-1+k,n-1)*binomial(2*n-k,n+1)/n: for n from 1 to 10 do seq(T(n,k),k=0..n-1) od; # yields sequence in triangular form - Emeric Deutsch, Dec 19 2006

T[n_, k_] := Binomial[n + k - 1, n - 1]*Binomial[2*n - k, n + 1]/n;
Table[T[n, k], {n, 1, 10}, {k, 0, n - 1}] // Flatten (* Jean-François Alcover, Nov 11 2017, after Emeric Deutsch *)

T(n,k) = binomial(n-1+k, n-1)*binomial(2*n-k, n+1)/n; \\ Andrew Howroyd, Nov 06 2017

T(n, k) = Sum_{i=n..2*n-1} (-1)^(n+k+i)/i*C(i, n)*C(3*n, i+1+n)*C(i-n, k).
T(n,k) = C(n-1+k,n-1)*C(2*n-k,n+1)/n, (0 <= k <= n-1). [Chen et al.] - Emeric Deutsch, Dec 19 2006
O.g.f. equals the series reversion with respect to x of x*(1 + x*(1 - t))/(1 + x)^3. If R(n,t) is the n-th row polynomial of this triangle then R(n, 1+t) is the n-th row polynomial of A089434. - Peter Bala, Jul 15 2012

A045742 Number of interior faces in all noncrossing connected graphs on n nodes on a circle.

Original entry on oeis.org

0, 1, 13, 141, 1456, 14778, 149031, 1499773, 15089932, 151927854, 1531242362, 15451614738, 156114597744, 1579223536788, 15993825704427, 162159485143581, 1645827425223220, 16720488433727910, 170023231905932790

Offset: 2

Emeric Deutsch

nonn

Andrew Howroyd, Table of n, a(n) for n = 2..200

Cf. A089434.

A045742 := proc(n)
        binomial(3*n-3,n-3)*hypergeom([n, 3 - n], [2*n + 1], -1) ;
        simplify(%) ;
end proc: # R. J. Mathar, Mar 27 2012

Rest[Table[Sum[(k Binomial[n+k-2,k]Binomial[3n-3,n-2-k])/(n-1),{k,n-2}], {n,20}]] (* Harvey P. Dale, Nov 29 2011 *)

a(n) = if(n>1, sum(k=1, n-2, k*binomial(n+k-2, k)*binomial(3*n-3, n-2-k))/(n-1)); \\ Andrew Howroyd, Nov 12 2017

a(n) = Sum_{k=1..n-2} k*binomial(n+k-2, k)*binomial(3*n-3, n-2-k)/(n-1).
a(n) = Sum_{k=1..n-2} k*A089434(n,k). - Andrew Howroyd, Nov 12 2017
a(n) ~ (9 - 5*sqrt(3)) * 2^(n - 5/2) * 3^((3*n-4)/2) / sqrt(Pi*n). - Vaclav Kotesovec, Dec 10 2021
Conjecture D-finite with recurrence n*(n-1)*(523*n-1993)*a(n) -6*(n-1)*(759*n^2-6019*n+12790)*a(n-1) -12*(n-2)*(4707*n^2-17937*n+6260)*a(n-2) +72*(3*n-10)*(759*n-2224)*(3*n-11)*a(n-3)=0. - R. J. Mathar, Jul 26 2022

A089433 Number of noncrossing connected graphs on n nodes having exactly two interior faces.

Original entry on oeis.org

2, 30, 315, 2856, 23940, 191268, 1480050, 11196900, 83304936, 611931320, 4450217772, 32104210320, 230080173960, 1639890119016, 11634355574100, 82216112723640, 579022013389050, 4065827626164150, 28475852003986695

Offset: 4

Emeric Deutsch, Dec 28 2003

nonn

			a(4)=2 because the only connected graphs on the nodes A,B,C,D having exactly two interior faces are {AB,BC,CD,DA,AC} and {AB,BC,CD,DA,BD}.

Andrew Howroyd, Table of n, a(n) for n = 4..200
P. Flajolet and M. Noy, Analytic combinatorics of non-crossing configurations, Discrete Math., 204, 203-229, 1999.

Column k=2 of A089434.

Cf. A007297.

a(n) = n*binomial(3*n-3, n-4)/2; \\ Michel Marcus, Oct 26 2015

a(n) = n*binomial(3n-3, n-4)/2.

D-finite with recurrence -2*(2*n+1)*(n-4)*a(n) +3*(3*n-4)*(3*n-5)*a(n-1)=0. - R. J. Mathar, Jul 26 2022

A127537 Triangle read by rows: T(n,k) (n >= 2, 1 <= k <= 2n-3) is the number of non-crossing connected graphs on n nodes on a circle, having k edges. Rows are indexed 2,3,4,...; columns are indexed 0,1,2,....

Original entry on oeis.org

1, 0, 3, 1, 0, 0, 12, 9, 2, 0, 0, 0, 55, 66, 30, 5, 0, 0, 0, 0, 273, 455, 315, 105, 14, 0, 0, 0, 0, 0, 1428, 3060, 2856, 1428, 378, 42, 0, 0, 0, 0, 0, 0, 7752, 20349, 23940, 15960, 6300, 1386, 132, 0, 0, 0, 0, 0, 0, 0, 43263, 134596, 191268, 159390, 83490, 27324, 5148, 429

Offset: 2

Emeric Deutsch, Jan 24 2007

Row n contains 2n-3 terms, the first n-2 of which are equal to 0.
T(n,n-1) = A001764(n-1). T(n,2n-3) = A000108(n-2) (the Catalan numbers).
T(n,k) = A089434(n,k+1-n).
Sum_{k=n-1..2n-3} k*T(n,k) = A045741(n).
Sum_{n=k..2k-2} T(n,k) = A065065(k).

			Triangle starts:
  1;
  0,  3,  1;
  0,  0, 12,  9,  2;
  0,  0,  0, 55, 66, 30,  5;

C. Domb and A. J. Barrett, Enumeration of ladder graphs, Discrete Math. 9 (1974), 341-358.
C. Domb & A. J. Barrett, Enumeration of ladder graphs, Discrete Math. 9 (1974), 341-358. (Annotated scanned copy)
C. Domb & A. J. Barrett, Notes on Table 2 in "Enumeration of ladder graphs", Discrete Math. 9 (1974), 55. (Annotated scanned copy)
P. Flajolet and M. Noy, Analytic combinatorics of non-crossing configurations, Discrete Math., 204, 203-229, 1999.

Cf. A000108, A001764, A045741, A065065, A089434.

T:=(n,k)->binomial(3*n-3,n+k)*binomial(k-1,k-n+1)/(n-1): for n from 2 to 10 do seq(T(n,k),k=1..2*n-3) od; # yields sequence in triangular form

T[n_, k_] := Binomial[3n - 3, n + k] Binomial[k - 1, k - n + 1]/(n - 1);
Table[T[n, k], {n, 2, 10}, {k, 1, 2n - 3}] // Flatten (* Jean-François Alcover, Jul 29 2018 *)

T(n,k) = C(3n-3,n+k)C(k-1,k-n+1)/(n-1) (n >= 2, 0 <= k <= 2n-3).

G.f.: G=G(t,z) satisfies tG^3 + tG^2 - z(1+2t)G + z^2*(1+t) = 0.

Keyword tabl changed to tabf by Michel Marcus, Apr 09 2013

cp's OEIS Frontend

A007297 Number of connected graphs on n labeled nodes on a circle with straight-line edges that don't cross.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Formula

Extensions

A088617 Triangle read by rows: T(n,k) = C(n+k,n)*C(n,k)/(k+1), for n >= 0, k = 0..n.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Magma

Maple

Mathematica

PARI

SageMath

Formula

A062991 Coefficient triangle for certain polynomials N(2; n,x) (rising powers of x).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Magma

Mathematica

SageMath

Formula

A108410 Triangle T(n,k) read by rows: number of 12312-avoiding matchings on [2n] with exactly k crossings (n >= 1, 0 <= k <= n-1).

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Formula

A045742 Number of interior faces in all noncrossing connected graphs on n nodes on a circle.

Views

Author

Keywords

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Formula

A089433 Number of noncrossing connected graphs on n nodes having exactly two interior faces.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

PARI

Formula

A127537 Triangle read by rows: T(n,k) (n >= 2, 1 <= k <= 2n-3) is the number of non-crossing connected graphs on n nodes on a circle, having k edges. Rows are indexed 2,3,4,...; columns are indexed 0,1,2,....

Views