%I #68 Jun 08 2024 09:35:39
%S 1,1,1,1,2,1,1,3,3,1,1,5,6,4,1,1,8,14,10,5,1,1,13,31,30,15,6,1,1,21,
%T 70,85,55,21,7,1,1,34,157,246,190,91,28,8,1,1,55,353,707,671,371,140,
%U 36,9,1,1,89,793,2037,2353,1547,658,204,45,10,1,1,144,1782,5864,8272,6405,3164,1086,285,55,11,1
%N Table read by ascending antidiagonals: T(n, m) giving total degree of n-th-order elementary symmetric polynomials in m variables.
%C T(n, m) is a polynomial of degree n in m. For example, T(2, m) = (m + 1)(m + 2)/2. For the polynomials corresponding to n = 1, 2, ..., 10, see the Cyvin-Gutman reference (p. 143). Kekulé numbers for certain benzenoids. - _Emeric Deutsch_, Jun 12 2005
%C Let LOOP X C_k, k >= 1, be the graph constructed by attaching a loop to each vertex of the cycle graph C_k. Let G_n, n >= 0, be the graph obtained by deleting one edge from LOOP X C_{n+1} while retaining the n + 1 loops; e.g., for n = 4, see the graph G_4 at the top of the page in the Stanley link below. Then T(n, m) equals the number of magic labelings of G_n having magic sum m. (See the second Mathematica program below which requires the "Omega" package authored by Axel Riese and which can be downloaded from the link provided in the article by Andrews et al.) - _L. Edson Jeffery_, Oct 19 2017
%D J. Berman and P. Koehler, Cardinalities of finite distributive lattices, Mitteilungen aus dem Mathematischen Seminar Giessen, 121 (1976), 103-124.
%D S. J. Cyvin and I. Gutman, Kekulé structures in benzenoid hydrocarbons, Lecture Notes in Chemistry, No. 46, Springer, New York, 1988 (pp. 142-144).
%H G. E. Andrews, P. Paule and A. Riese, <a href="http://www.risc.uni-linz.ac.at/research/combinat/risc/publications/#ppaule">MacMahon's partition analysis III. The Omega package</a>.
%H J. Berman and P. Koehler, <a href="/A006356/a006356.pdf">Cardinalities of finite distributive lattices</a>, Mitteilungen aus dem Mathematischen Seminar Giessen, 121 (1976), 103-124. [Annotated scanned copy]
%H Byeong-Gil Choe and Hyeong-Kwan Ju, <a href="https://arxiv.org/abs/2305.03930">A Recurrence Relation Associated with Unit-Primitive Matrices</a>, arXiv:2305.03930 [math.CO], 2023.
%H Jane Ivy Coons and Seth Sullivant, <a href="https://arxiv.org/abs/1901.07443">The h*-polynomial of the order polytope of the zig-zag poset</a>, arXiv:1901.07443 [math.CO], 2019.
%H Manfred Goebel, <a href="http://dx.doi.org/10.1007/s002000050118">Rewriting Techniques and Degree Bounds for Higher Order Symmetric Polynomials</a>, Applicable Algebra in Engineering, Communication and Computing (AAECC), Volume 9, Issue 6 (1999), 559-573.
%H Hyeong-Kwan Ju, <a href="https://doi.org/10.5831/HMJ.2017.39.4.665">On the sequence generated by a certain type of matrices</a>, Honam Math. J. 39, No. 4, 665-675 (2017).
%H Daeseok Lee and H.-K. Ju, <a href="http://arxiv.org/abs/1503.05658">An Extension of Hibi's palindromic theorem</a>, arXiv preprint arXiv:1503.05658 [math.CO], 2015.
%H T. Kyle Petersen and Yan Zhuang, <a href="https://arxiv.org/abs/2403.07181">Zig-zag Eulerian polynomials</a>, arXiv:2403.07181 [math.CO], 2024.
%H R. P. Stanley, <a href="/A002721/a002721.pdf">Examples of Magic Labelings</a>, Unpublished Notes, 1973. [Cached copy, with permission] See p. 31.
%H Guoce Xin and Yueming Zhong, <a href="https://arxiv.org/abs/2201.02376">Proving some conjectures on Kekulé numbers for certain benzenoids by using Chebyshev polynomials</a>, arXiv:2201.02376 [math.CO], 2022.
%F T(n, m) = T(n, m - 1) + Sum_{k=0..(n-1)/2} T(2*k, m - 1)*T(n - 1 - 2*k, m).
%e Array begins:
%e [0] 1 1 1 1 1 1 1 1 1 1
%e [1] 1 2 3 4 5 6 7 8 9 10
%e [2] 1 3 6 10 15 21 28 36 45 55
%e [3] 1 5 14 30 55 91 140 204 285 385
%e [4] 1 8 31 85 190 371 658 1086 1695 2530
%e [5] 1 13 70 246 671 1547 3164 5916 10317 17017
%e [6] 1 21 157 707 2353 6405 15106 31998 62349 113641
%e [7] 1 34 353 2037 8272 26585 72302 173502 377739 760804
%e [8] 1 55 793 5864 29056 110254 345775 940005 2286648 5089282
%e [9] 1 89 1782 16886 102091 457379 1654092 5094220 13846117 34053437
%e ...
%e Triangle starts:
%e [0] 1;
%e [1] 1, 1;
%e [2] 1, 2, 1;
%e [3] 1, 3, 3, 1;
%e [4] 1, 5, 6, 4, 1;
%e [5] 1, 8, 14, 10, 5, 1;
%e [6] 1, 13, 31, 30, 15, 6, 1;
%p A050446 := proc(n,m)
%p option remember;
%p if m=0 then
%p 1;
%p else
%p procname(n,m-1)+add( procname(2*k,m-1) *procname(n-1-2*k,m), k=0..floor((n-1)/2) );
%p end if;
%p end proc:
%p for d from 0 to 12 do
%p for m from 0 to d do
%p printf("%d,",A050446(d-m,m)) ;
%p end do:
%p end do: # _R. J. Mathar_, Dec 14 2011
%t t[n_, m_?Positive] := t[n, m] = t[n, m-1] + Sum[t[2k, m-1]*t[n-1 - 2k, m], {k, 0, (n-1)/2}]; t[n_, 0] = 1; Flatten[Table[t[i-k , k-1], {i, 1, 12}, {k, 1, i}]] (* _Jean-François Alcover_, Jul 25 2011, after formula *)
%t << Omega.m; nmax = 9; Do[cond[n_] = {}; If[n == 0, cond[n] = {a[1] == a[2]}, AppendTo[cond[n], {a[1] + a[2] == a[2 n + 2], a[2 n] + a[2 n + 1] == a[2 n + 2]}]; If[n > 1, Do[AppendTo[cond[n], a[2 j] + a[2 j + 1] + a[2 j + 2] == a[2 n + 2]], {j, n - 1}]]]; cond[n] = Flatten[cond[n]]; f[n_] = OEqSum[Product[x[i]^a[i], {i, 2 n + 2}], cond[n], u][[1]] /. x[2 n + 2] -> y /. x[_] -> 1; Do[f[n] = OEqR[f[n], Subscript[u, j]], {j, Length[cond[n]]}], {n, 0, nmax}]; Grid[Table[CoefficientList[Series[f[n], {y, 0, nmax}], y], {n, 0, nmax}]] (* _L. Edson Jeffery_, Oct 19 2017 *)
%o (Python)
%o from functools import cache
%o @cache
%o def T(n, k):
%o return T(n, k - 1) + sum(T(2 * j, k - 1) * T(n - 1 - 2 * j, k)
%o for j in range(1 + (n - 1) // 2)) if k > 0 else 1
%o for n in range(6): print([T(n - k, k) for k in range(n + 1)])
%o # _Peter Luschny_, Jun 08 2024
%Y Rows give A000012, A000027, A000217, A000330, A006322, ...
%Y Columns give A000012, A000045, A000045, A006356, A006357, A006358, ...
%Y Cf. A050447.
%K nonn,easy,nice,tabl
%O 0,5
%A _N. J. A. Sloane_, Dec 23 1999
%E More terms from _Naohiro Nomoto_, Jul 03 2001