A285572 -id:A285572 - cp's OEIS frontend

A319721 Number of non-isomorphic antichains of multisets of weight n.

1, 1, 4, 8, 24, 50, 148, 349, 1014, 2717, 8114

Offset: 0

Gus Wiseman, Sep 26 2018

In an antichain, no part is a proper submultiset of any other. The weight of an antichain is the sum of sizes of its parts. Weight is generally not the same as number of vertices.

			Non-isomorphic representatives of the a(1) = 1 through a(3) = 8 antichains:
1: {{1}}
2: {{1,1}}
   {{1,2}}
   {{1},{1}}
   {{1},{2}}
3: {{1,1,1}}
   {{1,2,2}}
   {{1,2,3}}
   {{1},{2,2}}
   {{1},{2,3}}
   {{1},{1},{1}}
   {{1},{2},{2}}
   {{1},{2},{3}}

Goran Kilibarda and Vladeta Jovovic, Antichains of Multisets, Journal of Integer Sequences, Vol. 7 (2004).

Cf. A001055, A001970, A007716, A096827, A253249, A285572, A285573, A293993, A318099, A319616-A319646, A319719.

A305148 Number of integer partitions of n whose distinct parts are pairwise indivisible.

Original entry on oeis.org

1, 1, 2, 2, 3, 3, 4, 5, 6, 7, 9, 12, 12, 17, 20, 22, 28, 35, 39, 48, 55, 65, 79, 90, 105, 121, 143, 166, 190, 219, 254, 290, 332, 382, 436, 493, 567, 637, 729, 824, 931, 1052, 1186, 1334, 1504, 1691, 1894, 2123, 2380, 2664, 2968, 3319, 3704, 4119, 4586, 5110

Offset: 0

Gus Wiseman, May 26 2018

nonn

			The a(9) = 7 integer partitions are (9), (72), (54), (522), (333), (3222), (111111111).

Fausto A. C. Cariboni, Table of n, a(n) for n = 0..360 (terms 0..300 from Alois P. Heinz)

Cf. A000837, A001055, A001970, A007359, A007716, A051424, A078374, A100953, A285572, A285573, A302696, A303362, A305079, A305149, A305150.

Table[Length[Select[IntegerPartitions[n],Select[Tuples[Union[#],2],UnsameQ@@#&&Divisible@@#&]=={}&]],{n,20}]

More terms from Alois P. Heinz, May 26 2018

A304713 Squarefree numbers whose prime indices are pairwise indivisible. Heinz numbers of strict integer partitions with pairwise indivisible parts.

Original entry on oeis.org

1, 2, 3, 5, 7, 11, 13, 15, 17, 19, 23, 29, 31, 33, 35, 37, 41, 43, 47, 51, 53, 55, 59, 61, 67, 69, 71, 73, 77, 79, 83, 85, 89, 91, 93, 95, 97, 101, 103, 107, 109, 113, 119, 123, 127, 131, 137, 139, 141, 143, 145, 149, 151, 155, 157, 161, 163, 165, 167, 173

Offset: 1

Gus Wiseman, May 17 2018

nonn

A prime index of n is a number m such that prime(m) divides n. The Heinz number of an integer partition (y_1,...,y_k) is prime(y_1)*...*prime(y_k).

			Sequence of entries together with their corresponding multiset multisystems (see A302242) begins:
1:  {}
2:  {{}}
3:  {{1}}
5:  {{2}}
7:  {{1,1}}
11: {{3}}
13: {{1,2}}
15: {{1},{2}}
17: {{4}}
19: {{1,1,1}}
23: {{2,2}}
29: {{1,3}}
31: {{5}}
33: {{1},{3}}
35: {{2},{1,1}}

Cf. A000009, A005117, A006126, A056239, A073576, A285572, A285573, A293606, A293993, A302696, A302796, A303362, A303365, A304711.

Select[Range[300],SquareFreeQ[#]&&Select[Tuples[PrimePi/@First/@FactorInteger[#],2],UnsameQ@@#&&Divisible@@#&]==={}&]

A303837 Number of z-trees with least common multiple n > 1.

Original entry on oeis.org

0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 2, 1, 2, 1, 1, 1, 3, 1, 1, 1, 2, 1, 4, 1, 1, 1, 1, 1, 4, 1, 1, 1, 3, 1, 4, 1, 2, 2, 1, 1, 4, 1, 2, 1, 2, 1, 3, 1, 3, 1, 1, 1, 10, 1, 1, 2, 1, 1, 4, 1, 2, 1, 4, 1, 6, 1, 1, 2, 2, 1, 4, 1, 4, 1, 1, 1, 10, 1, 1, 1

Offset: 1

Gus Wiseman, May 19 2018

nonn

Given a finite set S of positive integers greater than 1, let G(S) be the simple labeled graph with vertex set S and edges between any two vertices that have a common divisor greater than 1. For example, G({6,14,15,35}) is a 4-cycle. A set S is said to be connected if G(S) is a connected graph. The clutter density of S is defined to be Sum_{s in S} (omega(s) - 1) - omega(LCM(S)), where omega = A001221 and LCM is least common multiple. Then a z-tree is a finite connected set of pairwise indivisible positive integers greater than 1 with clutter density -1.
This is a generalization to multiset systems of the usual definition of hypertree (viz. connected hypergraph F such that two distinct hyperedges of F intersect in at most a common vertex and such that every cycle of F is contained in a hyperedge).
If n is squarefree with k prime factors, then a(n) = A030019(k).

			The a(72) = 6 z-trees together with the corresponding multiset systems (see A112798, A302242) are the following.
      (72): {{1,1,1,2,2}}
    (8,18): {{1,1,1},{1,2,2}}
    (8,36): {{1,1,1},{1,1,2,2}}
    (9,24): {{2,2},{1,1,1,2}}
   (6,8,9): {{1,2},{1,1,1},{2,2}}
  (8,9,12): {{1,1,1},{2,2},{1,1,2}}
The a(60) = 10 z-trees together with the corresponding multiset systems are the following.
       (60): {{1,1,2,3}}
     (4,30): {{1,1},{1,2,3}}
     (6,20): {{1,2},{1,1,3}}
    (10,12): {{1,3},{1,1,2}}
    (12,15): {{1,1,2},{2,3}}
    (12,20): {{1,1,2},{1,1,3}}
    (15,20): {{2,3},{1,1,3}}
   (4,6,10): {{1,1},{1,2},{1,3}}
   (4,6,15): {{1,1},{1,2},{2,3}}
  (4,10,15): {{1,1},{1,3},{2,3}}

Roland Bacher, On the enumeration of labelled hypertrees and of labelled bipartite trees, arXiv:1102.2708 [math.CO], 2011.

Cf. A006126, A030019, A048143, A076078, A112798, A275307, A285572, A286518, A286520, A293993, A293994, A302242, A303838, A304118.

zsm[s_]:=With[{c=Select[Tuples[Range[Length[s]],2],And[Less@@#,GCD@@s[[#]]]>1&]},If[c=={},s,zsm[Union[Append[Delete[s,List/@c[[1]]],LCM@@s[[c[[1]]]]]]]]];
zensity[s_]:=Total[(PrimeNu[#]-1&)/@s]-PrimeNu[LCM@@s];
Table[Length[Select[Rest[Subsets[Rest[Divisors[n]]]],And[zensity[#]==-1,zsm[#]=={n},Select[Tuples[#,2],UnsameQ@@#&&Divisible@@#&]=={}]&]],{n,2,50}]

A316475 Number of locally stable rooted trees with n nodes, meaning no branch is a submultiset of any other (unequal) branch of the same root.

Original entry on oeis.org

1, 1, 2, 3, 5, 7, 14, 25, 50, 101, 207, 426, 902, 1917, 4108, 8887, 19335, 42330, 93130, 205894, 456960, 1018098, 2275613, 5102248, 11471107, 25856413

Offset: 1

Gus Wiseman, Jul 04 2018

			The a(6) = 7 locally stable rooted trees:
(((((o)))))
((((oo))))
(((ooo)))
(((o)(o)))
((oooo))
((o)((o)))
(ooooo)

Gus Wiseman, The a(8) = 25 locally stable rooted trees with 8 nodes.

Cf. A000081, A285572, A285573, A303362, A304713, A316468, A316470, A316473, A316474.

submultisetQ[M_,N_]:=Or[Length[M]==0,MatchQ[{Sort[List@@M],Sort[List@@N]},{{x_,Z___},{_,x_,W___}}/;submultisetQ[{Z},{W}]]]
strut[n_]:=strut[n]=If[n===1,{{}},Select[Join@@Function[c,Union[Sort/@Tuples[strut/@c]]]/@IntegerPartitions[n-1],Select[Tuples[#,2],UnsameQ@@#&&submultisetQ@@#&]=={}&]];
Table[Length[strut[n]],{n,15}]

a(21)-a(26) from Robert Price, Sep 13 2018

A259936 Number of ways to express the integer n as a product of its unitary divisors (A034444).

Original entry on oeis.org

1, 1, 1, 1, 1, 2, 1, 1, 1, 2, 1, 2, 1, 2, 2, 1, 1, 2, 1, 2, 2, 2, 1, 2, 1, 2, 1, 2, 1, 5, 1, 1, 2, 2, 2, 2, 1, 2, 2, 2, 1, 5, 1, 2, 2, 2, 1, 2, 1, 2, 2, 2, 1, 2, 2, 2, 2, 2, 1, 5, 1, 2, 2, 1, 2, 5, 1, 2, 2, 5, 1, 2, 1, 2, 2, 2, 2, 5, 1, 2, 1, 2, 1, 5, 2, 2, 2, 2, 1, 5, 2, 2, 2, 2, 2, 2, 1, 2, 2, 2, 1, 5, 1, 2, 5

Offset: 1

Geoffrey Critzer, Jul 09 2015

nonn

Equivalently, a(n) is the number of ways to express the cyclic group Z_n as a direct sum of its Hall subgroups.  A Hall subgroup of a finite group G is a subgroup whose order is coprime to its index.
a(n) is the number of ways to partition the set of distinct prime factors of n.
Also the number of singleton or pairwise coprime factorizations of n. - Gus Wiseman, Sep 24 2019

			a(60) = 5 because we have: 60 = 4*3*5 = 4*15 = 3*20 = 5*12.
For n = 36, its unitary divisors are 1, 4, 9, 36. From these we obtain 36 either as 1*36 or 4*9, thus a(36) = 2. - _Antti Karttunen_, Oct 21 2017

Alois P. Heinz, Table of n, a(n) for n = 1..20000
Wikipedia, Hall subgroup
Index entries for sequences computed from exponents in factorization of n

Cf. A000110, A001055, A001221, A034444, A089233, A258466, A281116, A285572.
Differs from A050320 for the first time at n=36.
Differs from A354870 for the first time at n=210, where a(210) = 15, while A354870(210) = 12.
Cf. A304716, A302569, A304711, A305079.
Related classes of factorizations:
- No conditions: A001055
- Strict: A045778
- Constant: A089723
- Distinct multiplicities: A255231
- Singleton or coprime: A259936
- Relatively prime: A281116
- Aperiodic: A303386
- Stable (indivisible): A305149
- Connected: A305193
- Strict relatively prime: A318721
- Uniform: A319269
- Intersecting: A319786
- Constant or distinct factors coprime: A327399
- Constant or relatively prime: A327400
- Coprime: A327517
- Not relatively prime: A327658
- Distinct factors coprime: A327695

map(combinat:-bell @ nops @ numtheory:-factorset, [$1..100]); # Robert Israel, Jul 09 2015

Table[BellB[PrimeNu[n]], {n, 1, 75}]
(* second program *)
facs[n_]:=If[n<=1,{{}},Join@@Table[Map[Prepend[#,d]&,Select[facs[n/d],Min@@#>=d&]],{d,Rest[Divisors[n]]}]];
Table[Length[Select[facs[n],Length[#]==1||CoprimeQ@@#&]],{n,100}] (* Gus Wiseman, Sep 24 2019 *)

a(n) = my(t=omega(n), x='x, m=contfracpnqn(matrix(2, t\2, y, z, if( y==1, -z*x^2, 1 - (z+1)*x)))); polcoeff(1/(1 - x + m[2, 1]/m[1, 1]) + O(x^(t+1)), t) \\ Charles R Greathouse IV, Jun 30 2017

a(n) = A000110(A001221(n)).

a(n > 1) = A327517(n) + 1. - Gus Wiseman, Sep 24 2019

Incorrect comment removed by Antti Karttunen, Jun 11 2022

A096827 Number of antichains in divisor lattice D(n).

Original entry on oeis.org

2, 3, 3, 4, 3, 6, 3, 5, 4, 6, 3, 10, 3, 6, 6, 6, 3, 10, 3, 10, 6, 6, 3, 15, 4, 6, 5, 10, 3, 20, 3, 7, 6, 6, 6, 20, 3, 6, 6, 15, 3, 20, 3, 10, 10, 6, 3, 21, 4, 10, 6, 10, 3, 15, 6, 15, 6, 6, 3, 50, 3, 6, 10, 8, 6, 20, 3, 10, 6, 20, 3, 35, 3, 6, 10, 10, 6, 20, 3, 21, 6, 6, 3, 50, 6, 6, 6, 15, 3, 50, 6

Offset: 1

Yuval Dekel (dekelyuval(AT)hotmail.com), Aug 17 2004

nonn

The divisor lattice D(n) is the lattice of the divisors of the natural number n.
The empty set is counted as an antichain in D(n).
a(n) = gamma(n+1) where gamma is degree of cardinal completeness of Łukasiewicz n-valued logic. - Artur Jasinski, Mar 01 2010

Alexander S. Karpenko, Lukasiewicz's Logics and Prime Numbers, Luniver Press, Beckington, 2006. See Table I p. 113.

Arkadiusz Wesolowski, Table of n, a(n) for n = 1..990
Index entries for sequences related to Łukasiewicz

Cf. A096825, A096826, A097699.
Cf. A175177, A175178. - Artur Jasinski, Mar 01 2010
Cf. A000005, A008480, A253249, A285572 A285573.

nn=200;
stableSets[u_,Q_]:=If[Length[u]===0,{{}},With[{w=First[u]},Join[stableSets[DeleteCases[u,w],Q],Prepend[#,w]&/@stableSets[DeleteCases[u,r_/;r===w||Q[r,w]||Q[w,r]],Q]]]];
Table[Length[stableSets[Divisors[n],Divisible]],{n,nn}] (* Gus Wiseman, Aug 24 2018 *)

a(n) = A285573(n) + 1. - Gus Wiseman, Aug 24 2018

More terms from John W. Layman, Aug 20 2004

A305052 z-density of the integer partition with Heinz number n. Clutter density of the n-th multiset multisystem (A302242).

Original entry on oeis.org

0, -1, -1, -2, -1, -2, -1, -3, -1, -2, -1, -3, -1, -2, -2, -4, -1, -2, -1, -3, -1, -2, -1, -4, -1, -2, -1, -3, -1, -3, -1, -5, -2, -2, -2, -3, -1, -2, -1, -4, -1, -2, -1, -3, -2, -2, -1, -5, -1, -2, -2, -3, -1, -2, -2, -4, -1, -2, -1, -4, -1, -2, -1, -6, -1, -3

Offset: 1

Gus Wiseman, May 24 2018

sign

The Heinz number of an integer partition (y_1,...,y_k) is prime(y_1)*...*prime(y_k).
The z-density of a multiset S of positive integers is Sum_{s in S} (omega(s) - 1) - omega(lcm(S)) where omega = A001221 is number of distinct prime factors.
First nonnegative entry after a(1) = 0 is a(169) = 0.

			The 1105th multiset multisystem is {{2},{1,2},{4}} with clutter density -2, so a(1105) = -2.
The 5429th multiset multisystem is {{1,2,2},{1,1,1,2}} with clutter density 0, so a(5429) = 0.
The 11837th multiset multisystem is {{1,1},{1,1,1},{1,1,1,2}} with clutter density -1, so a(11837) = -1.
The 42601th multiset multisystem is {{1,2},{1,3},{1,2,3}} with clutter density 1, so a(42601) = 1.

Cf. A001221, A030019, A048143, A056239, A112798, A285572, A286518, A286520, A290103, A302242, A303837, A304118, A304714, A304716, A304911, A305001.

zens[n_]:=If[n==1,0,Total@Cases[FactorInteger[n],{p_,k_}:>k*(PrimeNu[PrimePi[p]]-1)]-PrimeNu[LCM@@Cases[FactorInteger[n],{p_,k_}:>PrimePi[p]]]];
Array[zens,100]

A304118 Number of z-blobs with least common multiple n > 1.

Original entry on oeis.org

0, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 7, 1, 1, 1, 1, 1, 2, 1, 1, 1, 2, 1, 3, 1, 1, 1, 1, 1, 2, 1, 1, 1, 1, 1, 7, 1, 1, 1, 1

Offset: 1

Gus Wiseman, May 19 2018

nonn

Given a finite set S of positive integers greater than 1, let G(S) be the simple labeled graph with vertex set S and edges between any two vertices that have a common divisor greater than 1. For example, G({6,14,15,35}) is a 4-cycle. A set S is said to be connected if G(S) is a connected graph. The clutter density of S is defined to be Sum_{s in S} (omega(s) - 1) - omega(LCM(S)), where omega = A001221 and LCM is least common multiple. A z-blob is a finite connected set S of pairwise indivisible positive integers greater than 1 such that no cap of S with at least two edges has clutter density -1.

If n is squarefree with k prime factors, then a(n) = A275307(k).

			The a(60) = 7 z-blobs together with the corresponding multiset systems (see A112798, A302242) are the following.
        (60): {{1,1,2,3}}
     (12,30): {{1,1,2},{1,2,3}}
     (20,30): {{1,1,3},{1,2,3}}
   (6,15,20): {{1,2},{2,3},{1,1,3}}
  (10,12,15): {{1,3},{1,1,2},{2,3}}
  (12,15,20): {{1,1,2},{2,3},{1,1,3}}
  (12,20,30): {{1,1,2},{1,1,3},{1,2,3}}
The a(120) = 14 z-blobs together with the corresponding multiset systems are the following.
       (120): {{1,1,1,2,3}}
     (24,30): {{1,1,1,2},{1,2,3}}
     (24,60): {{1,1,1,2},{1,1,2,3}}
     (30,40): {{1,2,3},{1,1,1,3}}
     (40,60): {{1,1,1,3},{1,1,2,3}}
   (6,15,40): {{1,2},{2,3},{1,1,1,3}}
  (10,15,24): {{1,3},{2,3},{1,1,1,2}}
  (12,15,40): {{1,1,2},{2,3},{1,1,1,3}}
  (12,30,40): {{1,1,2},{1,2,3},{1,1,1,3}}
  (15,20,24): {{2,3},{1,1,3},{1,1,1,2}}
  (15,24,40): {{2,3},{1,1,1,2},{1,1,1,3}}
  (20,24,30): {{1,1,3},{1,1,1,2},{1,2,3}}
  (24,30,40): {{1,1,1,2},{1,2,3},{1,1,1,3}}
  (24,40,60): {{1,1,1,2},{1,1,1,3},{1,1,2,3}}

Gus Wiseman, Every Clutter Is a Tree of Blobs, The Mathematica Journal, Vol. 19, 2017.

Cf. A006126, A030019, A048143, A076078, A112798, A134954, A275307, A285572, A286518, A286520, A293993, A293994, A302242, A303837, A303838.

zsm[s_]:=With[{c=Select[Tuples[Range[Length[s]],2],And[Less@@#,GCD@@s[[#]]]>1&]},If[c=={},s,zsm[Union[Append[Delete[s,List/@c[[1]]],LCM@@s[[c[[1]]]]]]]]];
zensity[s_]:=Total[(PrimeNu[#]-1&)/@s]-PrimeNu[LCM@@s];
zreeQ[s_]:=And[Length[s]>=2,zensity[s]==-1];
zlobQ[s_]:=Apply[And,Composition[Not,zreeQ]/@Apply[LCM,zptns[s],{2}]];
zswell[s_]:=Union[LCM@@@Select[Subsets[s],Length[zsm[#]]==1&]];
zkernels[s_]:=Table[Select[s,Divisible[w,#]&],{w,zswell[s]}];
zptns[s_]:=Select[stableSets[zkernels[s],Length[Intersection[#1,#2]]>0&],Union@@#==s&];
stableSets[u_,Q_]:=If[Length[u]==0,{{}},With[{w=First[u]},Join[stableSets[DeleteCases[u,w],Q],Prepend[#,w]&/@stableSets[DeleteCases[u,r_/;r==w||Q[r,w]||Q[w,r]],Q]]]];
Table[If[n==1,0,Length[Select[Rest[Subsets[Rest[Divisors[n]]]],And[zsm[#]=={n},Select[Tuples[#,2],UnsameQ@@#&&Divisible@@#&]=={},zlobQ[#]]&]]],{n,100}]

A302697 Odd numbers whose prime indices are relatively prime. Heinz numbers of integer partitions with no 1's and with relatively prime parts.

Original entry on oeis.org

15, 33, 35, 45, 51, 55, 69, 75, 77, 85, 93, 95, 99, 105, 119, 123, 135, 141, 143, 145, 153, 155, 161, 165, 175, 177, 187, 195, 201, 205, 207, 209, 215, 217, 219, 221, 225, 231, 245, 249, 253, 255, 265, 275, 279, 285, 287, 291, 295, 297, 309, 315, 323, 327, 329

Offset: 1

Gus Wiseman, Apr 11 2018

nonn

A prime index of n is a number m such that prime(m) divides n.

The Heinz number of an integer partition (y_1,...,y_k) is prime(y_1)*...*prime(y_k).

			Sequence of integer partitions with no 1's and with relatively prime parts begins:
015: (3,2)
033: (5,2)
035: (4,3)
045: (3,2,2)
051: (7,2)
055: (5,3)
069: (9,2)
075: (3,3,2)
077: (5,4)
085: (7,3)
093: (11,2)
095: (8,3)
099: (5,2,2)
105: (4,3,2)
119: (7,4)
123: (13,2)
135: (3,2,2,2)

Cf. A000837, A000961, A001222, A005117, A007359, A051424, A076078, A101268, A275024, A285572, A289509, A298748, A302568, A302569, A302696, A302698.

primeMS[n_]:=If[n===1,{},Flatten[Cases[FactorInteger[n],{p_,k_}:>Table[PrimePi[p],{k}]]]];
Select[Range[1,200,2],GCD@@primeMS[#]===1&]

cp's OEIS Frontend

A319721 Number of non-isomorphic antichains of multisets of weight n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

A305148 Number of integer partitions of n whose distinct parts are pairwise indivisible.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Mathematica

Extensions

A304713 Squarefree numbers whose prime indices are pairwise indivisible. Heinz numbers of strict integer partitions with pairwise indivisible parts.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

A303837 Number of z-trees with least common multiple n > 1.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

A316475 Number of locally stable rooted trees with n nodes, meaning no branch is a submultiset of any other (unequal) branch of the same root.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Mathematica

Extensions

A259936 Number of ways to express the integer n as a product of its unitary divisors (A034444).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Maple

Mathematica

PARI

Formula

Extensions

A096827 Number of antichains in divisor lattice D(n).

Views

Author

Keywords

Comments

References

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

A305052 z-density of the integer partition with Heinz number n. Clutter density of the n-th multiset multisystem (A302242).

Views

Author

Keywords

Comments

Examples