A056328 -id:A056328 - cp's OEIS frontend

A284949 Triangle read by rows: T(n,k) = number of reversible string structures of length n using exactly k different symbols.

1, 1, 1, 1, 2, 1, 1, 5, 4, 1, 1, 9, 15, 6, 1, 1, 19, 50, 37, 9, 1, 1, 35, 160, 183, 76, 12, 1, 1, 71, 502, 877, 542, 142, 16, 1, 1, 135, 1545, 3930, 3523, 1346, 242, 20, 1, 1, 271, 4730, 17185, 21393, 11511, 2980, 390, 25, 1

Offset: 1

Andrew Howroyd, Apr 06 2017

A string and its reverse are considered to be equivalent. Permuting the colors will not change the structure.
Number of k-block partitions of an n-set up to reflection.
T(n,k) = pi_k(P_n) which is the number of non-equivalent partitions of the path on n vertices, with exactly k parts. Two partitions P1 and P2 of a graph G are said to be equivalent if there is a nontrivial automorphism of G which maps P1 onto P2. - Mohammad Hadi Shekarriz, Aug 21 2019

			Triangle begins:
1;
1,   1;
1,   2,    1;
1,   5,    4,     1;
1,   9,   15,     6,     1;
1,  19,   50,    37,     9,     1;
1,  35,  160,   183,    76,    12,    1;
1,  71,  502,   877,   542,   142,   16,   1;
1, 135, 1545,  3930,  3523,  1346,  242,  20,  1;
1, 271, 4730, 17185, 21393, 11511, 2980, 390, 25, 1;

M. R. Nester (1999). Mathematical investigations of some plant interaction designs. PhD Thesis. University of Queensland, Brisbane, Australia. [See A056391 for pdf file of Chap. 2]

Andrew Howroyd, Table of n, a(n) for n = 1..1275
B. Ahmadi, F. Alinaghipour and M. H. Shekarriz, Number of Distinguishing Colorings and Partitions, arXiv:1910.12102 [math.CO], 2019.
Mohammad Hadi Shekarriz, GAP Program

Columns 2..6 are A056326, A056327, A056328, A056329, A056330.
Row sums are A103293.
Partial row sums include A005418, A001998(n-1), A056323, A056324, A056325.
Cf. A277504, A008277 (set partitions), A152175 (up to rotation), A152176 (up to rotation and reflection), A304972 (achiral patterns).

(* achiral color patterns for row of n colors containing k different colors *)
Ach[n_, k_] := Ach[n, k] = Switch[k, 0, If[0==n, 1, 0], 1, If[n>0, 1, 0],
   (* else *) _, If[OddQ[n],
   Sum[Binomial[(n-1)/2, i] Ach[n-1-2i, k-1], {i, 0, (n-1)/2}],
   Sum[Binomial[n/2-1, i] (Ach[n-2-2i, k-1] + 2^i Ach[n-2-2i, k-2]),
   {i, 0, n/2-1}]]]
Table[(StirlingS2[n, k] + Ach[n, k])/2, {n, 1, 15}, {k, 1, n}] // Flatten
(* Robert A. Russell, Feb 10 2018 *)

\\ see A056391 for Polya enumeration functions
T(n,k) = NonequivalentStructsExactly(ReversiblePerms(n), k); \\ Andrew Howroyd, Oct 14 2017

\\ Ach is A304972 as square matrix.
Ach(n)={my(M=matrix(n,n,i,k,i>=k)); for(i=3, n, for(k=2, n, M[i,k]=k*M[i-2,k] + M[i-2,k-1] + if(k>2, M[i-2,k-2]))); M}
T(n)={(matrix(n, n, i, k, stirling(i, k, 2)) + Ach(n))/2}
{ my(A=T(10)); for(n=1, #A, print(A[n,1..n])) } \\ Andrew Howroyd, Sep 18 2019

A056324 Number of reversible string structures with n beads using a maximum of five different colors.

Original entry on oeis.org

1, 1, 2, 4, 11, 32, 116, 455, 1993, 9134, 43580, 211659, 1041441, 5156642, 25640456, 127773475, 637624313, 3184387574, 15910947980, 79521737939, 397510726681, 1987259550002, 9935420646296, 49674470817195, 248364482308833, 1241798790172214

Offset: 0

Marks R. Nester

A string and its reverse are considered to be equivalent. Permuting the colors will not change the structure. Thus aabc, cbaa and bbac are all considered to be identical.
Number of set partitions of an unoriented row of n elements with five or fewer nonempty subsets. - Robert A. Russell, Oct 28 2018
There are nonrecursive formulas, generating functions, and computer programs for A056272 and A305751, which can be used in conjunction with the formula. - Robert A. Russell, Oct 28 2018
From Allan Bickle, Jun 02 2022: (Start)
a(n) is the number of (unlabeled) 5-paths with n+7 vertices. (A 5-path with order n at least 7 can be constructed from a 5-clique by iteratively adding a new 5-leaf (vertex of degree 5) adjacent to an existing 5-clique containing an existing 5-leaf.)
Recurrences appear in the papers by Bickle, Eckhoff, and Markenzon et al. (End)

			For a(4)=11, the 7 achiral patterns are AAAA, AABB, ABAB, ABBA, ABCA, ABBC, and ABCD.  The 4 chiral pairs are AAAB-ABBB, AABA-ABAA, AABC-ABCC, and ABAC-ABCB.

M. R. Nester (1999). Mathematical investigations of some plant interaction designs. PhD Thesis. University of Queensland, Brisbane, Australia. [See A056391 for pdf file of Chap. 2]

Muniru A Asiru, Table of n, a(n) for n = 0..1000
Allan Bickle, How to Count k-Paths, J. Integer Sequences, 25 (2022) Article 22.5.6.
Allan Bickle, A Survey of Maximal k-degenerate Graphs and k-Trees, Theory and Applications of Graphs 0 1 (2024) Article 5.
J. Eckhoff, Extremal interval graphs, J. Graph Theory 17 1 (1993), 117-127.
L. Markenzon, O. Vernet, and P. R. da Costa Pereira, A clique-difference encoding scheme for labelled k-path graphs, Discrete Appl. Math. 156 (2008), 3216-3222.
Index entries for linear recurrences with constant coefficients, signature (11, -34, -16, 247, -317, -200, 610, -300).

Cf. A032122.
Column 5 of A320750.
Cf. A056272 (oriented), A320935 (chiral), A305751 (achiral).
The numbers of unlabeled k-paths for k = 2..7 are given in A005418, A001998, A056323, A056324, A056325, and A345207, respectively.
The sequences above converge to A103293(n+1).

Ach[n_, k_] := Ach[n, k] = If[n<2, Boole[n==k && n>=0], k Ach[n-2,k] + Ach[n-2,k-1] + Ach[n-2,k-2]] (* A304972 *)
k=5; Table[Sum[StirlingS2[n,j]+Ach[n,j],{j,0,k}]/2,{n,0,40}]  (* Robert A. Russell, Oct 28 2018 *)
LinearRecurrence[{11, -34, -16, 247, -317, -200, 610, -300}, {1, 1, 2, 4, 11, 32, 116, 455, 1993}, 40] (* Robert A. Russell, Oct 28 2018 *)

Use de Bruijn's generalization of Polya's enumeration theorem as discussed in reference.
G.f.: (1-10x+25x^2+32x^3-196x^4+149x^5+225x^6-321x^7+85x^8)/((1-x)*(1-2x)*(1-3x)*(1-5x)*(1-2x^2)*(1-5x^2)). - Colin Barker, Nov 24 2012 [Adapted to offset 0 by Robert A. Russell, Nov 07 2018]
From Robert A. Russell, Oct 28 2018: (Start)
a(n) = (A056272(n) + A305751(n)) / 2.
a(n) = A056272(n) - A320935(n) = A320935(n) + A305751(n).
a(n) = Sum_{j=0..k} (S2(n,j) + Ach(n,j)) / 2, where k=5 is the maximum number of colors, S2 is the Stirling subset number A008277, and Ach(n,k) = [n>=0 & n<2 & n==k] + [n>1]*(k*Ach(n-2,k) + Ach(n-2,k-1) + Ach(n-2,k-2)).
a(n) = A000007(n) + A057427(n) + A056326(n) + A056327(n) + A056328(n) + A056329(n). (End)
For n>8, a(n) = 11*a(n-1) - 34*a(n-2) - 16*a(n-3) + 247*a(n-4) - 317*a(n-5) - 200*a(n-6) + 610*a(n-7) - 300*a(n-8). - Muniru A Asiru, Oct 30 2018
From Allan Bickle, Jun 04 2022: (Start)
a(n) = 5^n/240 + 3^n/24 + 2^n/12 + 13*5^(n/2)/120 + 2^(n/2)/6 + 5/16 for n>0 even;
a(n) = 5^n/240 + 3^n/24 + 2^n/12 + 5^((n+1)/2)/24 + 2^((n+1)/2)/12 + 5/16 for n>0 odd. (End)

Terms added by Robert A. Russell, Oct 30 2018

a(0)=1 prepended by Robert A. Russell, Nov 07 2018

A056323 Number of reversible string structures with n beads using a maximum of four different colors.

Original entry on oeis.org

1, 1, 2, 4, 11, 31, 107, 379, 1451, 5611, 22187, 87979, 350891, 1400491, 5597867, 22379179, 89500331, 357952171, 1431743147, 5726775979, 22906841771, 91626580651, 366505274027, 1466017950379, 5864067607211

Offset: 0

Marks R. Nester

A string and its reverse are considered to be equivalent. Permuting the colors will not change the structure. Thus aabc, cbaa and bbac are all considered to be identical.
Number of set partitions of an unoriented row of n elements with four or fewer nonempty subsets. - Robert A. Russell, Oct 28 2018
There are nonrecursive formulas, generating functions, and computer programs for A124303 and A305750, which can be used in conjunction with the formula. - Robert A. Russell, Oct 28 2018
From Allan Bickle, Jun 02 2022: (Start)
a(n) is the number of (unlabeled) 4-paths with n+6 vertices. (A 4-path with order n at least 6 can be constructed from a 5-clique by iteratively adding a new 4-leaf (vertex of degree 4) adjacent to an existing 4-clique containing an existing 4-leaf.)
Recurrences appear in the papers by Bickle, Eckhoff, and Markenzon et al. (End)

			For a(4)=11, the 7 achiral patterns are AAAA, AABB, ABAB, ABBA, ABCA, ABBC, and ABCD. The 4 chiral pairs are AAAB-ABBB, AABA-ABAA, AABC-ABCC, and ABAC-ABCB.

M. R. Nester (1999). Mathematical investigations of some plant interaction designs. PhD Thesis. University of Queensland, Brisbane, Australia. [See A056391 for pdf file of Chap. 2]

Allan Bickle, How to Count k-Paths, J. Integer Sequences, 25 (2022) Article 22.5.6.
Allan Bickle, A Survey of Maximal k-degenerate Graphs and k-Trees, Theory and Applications of Graphs 0 1 (2024) Article 5.
J. Eckhoff, Extremal interval graphs, J. Graph Theory 17 1 (1993), 117-127.
L. Markenzon, O. Vernet, and P. R. da Costa Pereira, A clique-difference encoding scheme for labelled k-path graphs, Discrete Appl. Math. 156 (2008), 3216-3222.
Index entries for linear recurrences with constant coefficients, signature (5,0,-20,16).

Cf. A032121.
Column 4 of A320750.
Cf. A124303 (oriented), A320934 (chiral), A305750 (achiral).
The numbers of unlabeled k-paths for k = 2..7 are given in A005418, A001998, A056323, A056324, A056325, and A345207, respectively.
The sequences above converge to A103293(n+1).

Ach[n_, k_] := Ach[n, k] = If[n<2, Boole[n==k && n>=0], k Ach[n-2,k] + Ach[n-2,k-1] + Ach[n-2,k-2]] (* A304972 *)
k=4; Table[Sum[StirlingS2[n,j]+Ach[n,j],{j,0,k}]/2,{n,0,40}] (* Robert A. Russell, Oct 28 2018 *)
LinearRecurrence[{5, 0, -20, 16}, {1, 1, 2, 4, 11}, 40] (* Robert A. Russell, Oct 28 2018 *)

Use de Bruijn's generalization of Polya's enumeration theorem as discussed in reference.
For n > 0, a(n) = (16 + (-2)^n + 15*2^n + 4^n)/48. - Colin Barker, Nov 24 2012
G.f.: (1 - 4x - 3x^2 + 14x^3 - 5x^4) / ((1-x)*(1-4x)*(1-4x^2)). - Colin Barker, Nov 24 2012 [Adapted to offset 0 by Robert A. Russell, Nov 09 2018]
From Robert A. Russell, Oct 28 2018: (Start)
a(n) = (A124303(n) + A305750(n)) / 2.
a(n) = A124303(n) - A320934(n) = A320934(n) + A305750(n).
a(n) = Sum_{j=0..k} (S2(n,j) + Ach(n,j)) / 2, where k=4 is the maximum number of colors, S2 is the Stirling subset number A008277, and Ach(n,k) = [n>=0 & n<2 & n==k] + [n>1]*(k*Ach(n-2,k) + Ach(n-2,k-1) + Ach(n-2,k-2)).
a(n) = A000007(n) + A057427(n) + A056326(n) + A056327(n) + A056328(n). (End)

a(0)=1 prepended by Robert A. Russell, Nov 09 2018

A056325 Number of reversible string structures with n beads using a maximum of six different colors.

Original entry on oeis.org

1, 1, 2, 4, 11, 32, 117, 467, 2135, 10480, 55091, 301633, 1704115, 9819216, 57365191, 338134521, 2005134639, 11937364184, 71254895955, 426063226937, 2550552314219, 15280103807200, 91588104196415, 549159428968825

Offset: 0

Marks R. Nester

A string and its reverse are considered to be equivalent. Permuting the colors will not change the structure. Thus aabc, cbaa and bbac are all considered to be identical.
Number of set partitions of an unoriented row of n elements with six or fewer nonempty subsets. - Robert A. Russell, Oct 28 2018
There are nonrecursive formulas, generating functions, and computer programs for A056273 and A305752, which can be used in conjunction with the first formula. - Robert A. Russell, Oct 28 2018
From Allan Bickle, Jun 23 2022: (Start)
a(n) is the number of (unlabeled) 6-paths with n+8 vertices. (A 6-path with order n at least 8 can be constructed from a 6-clique by iteratively adding a new 6-leaf (vertex of degree 6) adjacent to an existing 6-clique containing an existing 6-leaf.)
Recurrences appear in the papers by Bickle, Eckhoff, and Markenzon et al. (End)

			For a(4)=11, the 7 achiral patterns are AAAA, AABB, ABAB, ABBA, ABCA, ABBC, and ABCD.  The 4 chiral pairs are AAAB-ABBB, AABA-ABAA, AABC-ABCC, and ABAC-ABCB.

M. R. Nester (1999). Mathematical investigations of some plant interaction designs. PhD Thesis. University of Queensland, Brisbane, Australia. [See A056391 for pdf file of Chap. 2]

Colin Barker, Table of n, a(n) for n = 0..1000
Allan Bickle, How to Count k-Paths, J. Integer Sequences, 25 (2022) Article 22.5.6.
Allan Bickle, A Survey of Maximal k-degenerate Graphs and k-Trees, Theory and Applications of Graphs 0 1 (2024) Article 5.
J. Eckhoff, Extremal interval graphs, J. Graph Theory 17 1 (1993), 117-127.
L. Markenzon, O. Vernet, and P. R. da Costa Pereira, A clique-difference encoding scheme for labelled k-path graphs, Discrete Appl. Math. 156 (2008), 3216-3222.
Index entries for linear recurrences with constant coefficients, signature (16,-84,84,685,-2140,180,7200,-8244,-4176,11664,-5184).

Cf. A056308.
Column 6 of A320750.
Cf. A056273 (oriented), A320936 (chiral), A305752 (achiral).
The numbers of unlabeled k-paths for k = 2..7 are given in A005418, A001998, A056323, A056324, A056325, and A345207, respectively.
The sequences above converge to A103293(n+1).

Ach[n_, k_] := Ach[n, k] = If[n<2, Boole[n==k && n>=0], k Ach[n-2,k] + Ach[n-2,k-1] + Ach[n-2,k-2]] (* A304972 *)
k=6; Table[Sum[StirlingS2[n,j]+Ach[n,j],{j,0,k}]/2,{n,0,40}] (* Robert A. Russell, Oct 28 2018 *)
LinearRecurrence[{16, -84, 84, 685, -2140, 180, 7200, -8244, -4176, 11664, -5184}, {1, 1, 2, 4, 11, 32, 117, 467, 2135, 10480, 55091, 301633}, 40] (* Robert A. Russell, Oct 28 2018 *)

Vec((1 - 15*x + 70*x^2 - 28*x^3 - 654*x^4 + 1479*x^5 + 783*x^6 - 5481*x^7 + 3512*x^8 + 4640*x^9 - 5922*x^10 + 1530*x^11) / ((1 - x)*(1 - 2*x)*(1 - 3*x)*(1 - 4*x)*(1 - 6*x)*(1 - 2*x^2)*(1 - 3*x^2)*(1 - 6*x^2)) + O(x^30)) \\ Colin Barker, Apr 15 2020

Use de Bruijn's generalization of Polya's enumeration theorem as discussed in reference.
From Robert A. Russell, Oct 28 2018: (Start)
a(n) = (A056273(n) + A305752(n)) / 2.
a(n) = A056273(n) - A320936(n) = A320936(n) + A305752(n).
a(n) = Sum_{j=0..k} (S2(n,j) + Ach(n,j)) / 2, where k=6 is the maximum number of colors, S2 is the Stirling subset number A008277, and Ach(n,k) = [n>=0 & n<2 & n==k] + [n>1]*(k*Ach(n-2,k) + Ach(n-2,k-1) + Ach(n-2,k-2)).
a(n) = A000007(n) + A057427(n) + A056326(n) + A056327(n) + A056328(n) + A056329(n) + A056330(n).
(End)
From Colin Barker, Mar 24 2020: (Start)
G.f.: (1 - 15*x + 70*x^2 - 28*x^3 - 654*x^4 + 1479*x^5 + 783*x^6 - 5481*x^7 + 3512*x^8 + 4640*x^9 - 5922*x^10 + 1530*x^11) / ((1 - x)*(1 - 2*x)*(1 - 3*x)*(1 - 4*x)*(1 - 6*x)*(1 - 2*x^2)*(1 - 3*x^2)*(1 - 6*x^2)).
a(n) = 16*a(n-1) - 84*a(n-2) + 84*a(n-3) + 685*a(n-4) - 2140*a(n-5) + 180*a(n-6) + 7200*a(n-7) - 8244*a(n-8) - 4176*a(n-9) + 11664*a(n-10) - 5184*a(n-11) for n>11.
(End)
From Allan Bickle, Jun 23 2022: (Start)
a(n) = (1/1440)*6^n + (1/96)*4^n + (1/36)*3^n + (3/32)*2^n + (19/360)*6^(n/2) + (1/9)*3^(n/2) + (1/8)*2^(n/2) + 17/60 for n > 0 even;
a(n) = (1/1440)*6^n + (1/96)*4^n + (1/36)*3^n + (3/32)*2^n + (13/720)*6^((n+1)/2) + (1/18)*3^((n+1)/2) + (1/16)*2^((n+1)/2) + 17/60 for n > 0 odd. (End)

Another term from Robert A. Russell, Oct 29 2018

a(0)=1 prepended by Robert A. Russell, Nov 09 2018

A320527 Number of chiral pairs of color patterns (set partitions) in a row of length n using exactly 4 colors (subsets).

Original entry on oeis.org

0, 0, 0, 0, 4, 28, 167, 824, 3840, 16920, 72655, 305140, 1265264, 5193188, 21173607, 85887984, 347150080, 1399355440, 5629755935, 22615859180, 90754215024, 363888497148, 1458169977847, 5840524999144, 23385639542720, 93613165023560, 374664497695215, 1499293455643620, 5999080285068784, 24002040333605908

Offset: 1

Robert A. Russell, Oct 14 2018

Two color patterns are equivalent if we permute the colors. Chiral color patterns must not be equivalent if we reverse the order of the pattern.

			For a(5)=4, the chiral pairs are AABCD-ABCDD, ABACD-ABCDC, ABBCD-ABCCD and ABCAD-ABCDB.

Index entries for linear recurrences with constant coefficients, signature (8, -12, -44, 121, 12, -228, 144).

Col. 4 of A320525.

Cf. A000453 (oriented), A056328 (unoriented), A304974 (achiral).

k=4; Table[(StirlingS2[n,k] - If[EvenQ[n], StirlingS2[n/2+2,4] - StirlingS2[n/2+1,4] - 2StirlingS2[n/2,4], 2StirlingS2[(n+3)/2,4] - 4StirlingS2[(n+1)/2,4]])/2, {n,30}]
Ach[n_, k_] := Ach[n, k] = If[n<2, Boole[n==k && n>=0], k Ach[n-2,k] + Ach[n-2,k-1] + Ach[n-2,k-2]] (* A304972 *)
k = 4; Table[(StirlingS2[n, k] - Ach[n, k])/2, {n, 1, 30}]
LinearRecurrence[{8, -12, -44, 121, 12, -228, 144}, {0, 0, 0, 0, 4, 28, 167}, 30]

a(n) = (S2(n,k) - A(n,k))/2, where k=4 is the number of colors (sets), S2 is the Stirling subset number A008277 and A(n,k) = [n>1] * (k*A(n-2,k) + A(n-2,k-1) + A(n-2,k-2)) + [n<2 & n==k & n>=0].
G.f.: (x^4 / Product_{k=1..4} (1 - k*x) - x^4*(1 + x)^2*(1 - 2 x^2) / Product_{k=1..4} (1 - k*x^2)) / 2.
a(n) = (A000453(n) - A304974(n)) / 2 = A000453(n) - A056328(n) = A056328(n) - A304974(n).

A327611 Number of length n reversible string structures that are not palindromic using exactly four different colors.

Original entry on oeis.org

0, 0, 0, 1, 6, 37, 182, 876, 3920, 17175, 73030, 306296, 1266916, 5198207, 21180642, 85909216, 347179440, 1399443775, 5629876910, 22616222616, 90754709276, 363889980927, 1458171985402, 5840531023856, 23385647663560, 93613189390175, 374664530448390

Offset: 1

Andrew Howroyd, Sep 18 2019

Andrew Howroyd, Table of n, a(n) for n = 1..200
Index entries for linear recurrences with constant coefficients, signature (8,-10,-60,145,100,-470,120,456,-288).

Column k=4 of A309748.

Cf. A000453, A056328, A284949, A327610.

concat([0,0,0], Vec((1 - 2*x - x^2 + 6*x^3 + 5*x^4 - 18*x^5)/((1 - x)*(1 - 2*x)*(1 + 2*x)*(1 - 3*x)*(1 - 4*x)*(1 - 2*x^2)*(1 - 3*x^2)) + O(x^30))) \\ Andrew Howroyd, Sep 18 2019

a(n) = A056328(n) - A000453(ceiling(n/2), 4).
a(n) = 8*a(n-1) - 10*a(n-2) - 60*a(n-3) + 145*a(n-4) + 100*a(n-5) - 470*a(n-6) + 120*a(n-7) + 456*a(n-8) - 288*a(n-9) for n > 9.
G.f.: x^4*(1 - 2*x - x^2 + 6*x^3 + 5*x^4 - 18*x^5)/((1 - x)*(1 - 2*x)*(1 + 2*x)*(1 - 3*x)*(1 - 4*x)*(1 - 2*x^2)*(1 - 3*x^2)).

cp's OEIS Frontend

A284949 Triangle read by rows: T(n,k) = number of reversible string structures of length n using exactly k different symbols.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Mathematica

PARI

PARI

A056324 Number of reversible string structures with n beads using a maximum of five different colors.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

A056323 Number of reversible string structures with n beads using a maximum of four different colors.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

A056325 Number of reversible string structures with n beads using a maximum of six different colors.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Mathematica

PARI

Formula

Extensions

A320527 Number of chiral pairs of color patterns (set partitions) in a row of length n using exactly 4 colors (subsets).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

A327611 Number of length n reversible string structures that are not palindromic using exactly four different colors.

Views

Author

Keywords

Links

Crossrefs

Programs

PARI

Formula