cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

Previous Showing 11-20 of 24 results. Next

A320458 MM-numbers of labeled simple graphs spanning an initial interval of positive integers.

Original entry on oeis.org

1, 13, 377, 611, 1363, 1937, 2021, 2117, 16211, 17719, 26273, 27521, 44603, 56173, 58609, 83291, 91031, 91039, 99499, 141401, 143663, 146653, 147533, 153023, 159659, 167243, 170839, 203087, 237679, 243893, 265369, 271049, 276877, 290029, 301129, 315433, 467711
Offset: 1

Views

Author

Gus Wiseman, Oct 13 2018

Keywords

Comments

A prime index of n is a number m such that prime(m) divides n. The multiset of prime indices of n is row n of A112798. The multiset multisystem with MM-number n is formed by taking the multiset of prime indices of each part of the multiset of prime indices of n. For example, the prime indices of 78 are {1,2,6}, so the multiset multisystem with MM-number 78 is {{},{1},{1,2}}.

Examples

			The sequence of terms together with their multiset multisystems begins:
      1: {}
     13: {{1,2}}
    377: {{1,2},{1,3}}
    611: {{1,2},{2,3}}
   1363: {{1,3},{2,3}}
   1937: {{1,2},{3,4}}
   2021: {{1,4},{2,3}}
   2117: {{1,3},{2,4}}
  16211: {{1,2},{1,3},{1,4}}
  17719: {{1,2},{1,3},{2,3}}
  26273: {{1,2},{1,4},{2,3}}
  27521: {{1,2},{1,3},{2,4}}
  44603: {{1,2},{2,3},{2,4}}
  56173: {{1,2},{1,3},{3,4}}
  58609: {{1,3},{1,4},{2,3}}
  83291: {{1,2},{1,4},{3,4}}
  91031: {{1,3},{1,4},{2,4}}
  91039: {{1,2},{2,3},{3,4}}
  99499: {{1,3},{2,3},{2,4}}
		

Crossrefs

Programs

  • Mathematica
    primeMS[n_]:=If[n==1,{},Flatten[Cases[FactorInteger[n],{p_,k_}:>Table[PrimePi[p],{k}]]]];
    normQ[sys_]:=Or[Length[sys]==0,Union@@sys==Range[Max@@Max@@sys]];
    Select[Range[10000],And[SquareFreeQ[#],normQ[primeMS/@primeMS[#]],And@@(And[SquareFreeQ[#],Length[primeMS[#]]==2]&/@primeMS[#])]&]

A320462 MM-numbers of labeled multigraphs with loops spanning an initial interval of positive integers.

Original entry on oeis.org

1, 7, 13, 49, 91, 161, 169, 299, 329, 343, 377, 611, 637, 667, 1127, 1183, 1261, 1363, 1937, 2021, 2093, 2117, 2197, 2303, 2401, 2639, 3703, 3887, 4277, 4459, 4669, 4901, 6877, 7567, 7889, 7943, 8281, 8671, 8827, 9541, 10933, 13559, 14053, 14147, 14651, 14819
Offset: 1

Views

Author

Gus Wiseman, Oct 13 2018

Keywords

Comments

A prime index of n is a number m such that prime(m) divides n. The multiset of prime indices of n is row n of A112798. The multiset multisystem with MM-number n is formed by taking the multiset of prime indices of each part of the multiset of prime indices of n. For example, the prime indices of 78 are {1,2,6}, so the multiset multisystem with MM-number 78 is {{},{1},{1,2}}.

Examples

			The sequence of terms together with their multiset multisystems begins:
     1: {}
     7: {{1,1}}
    13: {{1,2}}
    49: {{1,1},{1,1}}
    91: {{1,1},{1,2}}
   161: {{1,1},{2,2}}
   169: {{1,2},{1,2}}
   299: {{2,2},{1,2}}
   329: {{1,1},{2,3}}
   343: {{1,1},{1,1},{1,1}}
   377: {{1,2},{1,3}}
   611: {{1,2},{2,3}}
   637: {{1,1},{1,1},{1,2}}
   667: {{2,2},{1,3}}
  1127: {{1,1},{1,1},{2,2}}
  1183: {{1,1},{1,2},{1,2}}
		

Crossrefs

Programs

  • Mathematica
    primeMS[n_]:=If[n==1,{},Flatten[Cases[FactorInteger[n],{p_,k_}:>Table[PrimePi[p],{k}]]]];
    normQ[sys_]:=Or[Length[sys]==0,Union@@sys==Range[Max@@Max@@sys]];
    Select[Range[10000],And[normQ[primeMS/@primeMS[#]],And@@(Length[primeMS[#]]==2&/@primeMS[#])]&]

A340020 MM-numbers of labeled graphs with loops, without isolated vertices.

Original entry on oeis.org

1, 7, 13, 23, 29, 43, 47, 73, 79, 91, 97, 101, 137, 139, 149, 161, 163, 167, 199, 203, 227, 233, 257, 269, 271, 293, 299, 301, 313, 329, 347, 373, 377, 389, 421, 439, 443, 449, 467, 487, 491, 499, 511, 553, 559, 577, 607, 611, 631, 647, 653, 661, 667, 673, 677
Offset: 1

Views

Author

Gus Wiseman, Jan 02 2021

Keywords

Comments

Here a loop is an edge with two equal vertices, distinguished from a half-loop, which has only one vertex.
A prime index of n is a number m such that prime(m) divides n. The multiset of prime indices of n is row n of A112798. The multiset of multisets with MM-number n is formed by taking the multiset of prime indices of each part of the multiset of prime indices of n. For example, the prime indices of 78 are {1,2,6}, so the multiset of multisets with MM-number 78 is {{},{1},{1,2}}.
Also products of distinct primes whose prime indices are semiprimes, where a semiprime (A001358) is a product of any two prime numbers.

Examples

			The sequence of terms together with their corresponding multisets of multisets (edge sets) begins:
      1: {}              161: {{1,1},{2,2}}    347: {{2,9}}
      7: {{1,1}}         163: {{1,8}}          373: {{1,12}}
     13: {{1,2}}         167: {{2,6}}          377: {{1,2},{1,3}}
     23: {{2,2}}         199: {{1,9}}          389: {{4,5}}
     29: {{1,3}}         203: {{1,1},{1,3}}    421: {{1,13}}
     43: {{1,4}}         227: {{4,4}}          439: {{3,7}}
     47: {{2,3}}         233: {{2,7}}          443: {{1,14}}
     73: {{2,4}}         257: {{3,5}}          449: {{2,10}}
     79: {{1,5}}         269: {{2,8}}          467: {{4,6}}
     91: {{1,1},{1,2}}   271: {{1,10}}         487: {{2,11}}
     97: {{3,3}}         293: {{1,11}}         491: {{1,15}}
    101: {{1,6}}         299: {{1,2},{2,2}}    499: {{3,8}}
    137: {{2,5}}         301: {{1,1},{1,4}}    511: {{1,1},{2,4}}
    139: {{1,7}}         313: {{3,6}}          553: {{1,1},{1,5}}
    149: {{3,4}}         329: {{1,1},{2,3}}    559: {{1,2},{1,4}}
		

Crossrefs

The case with only one edge is A106349.
The case covering an initial interval is A320461.
The version allowing multiple edges is A339112.
The half-loop version covering an initial interval is A340018.
The half-loop version is A340019.
A006450 lists primes of prime index.
A302242 is the weight of the multiset of multisets with MM-number n.
A302494 lists MM-numbers of sets of sets, with connected case A328514.
A309356 lists MM-numbers of simple graphs.
A339113 lists MM-numbers of multigraphs.

Programs

  • Mathematica
    Select[Range[100],SquareFreeQ[#]&&FreeQ[If[#==1,{},FactorInteger[#]],{p_,k_}/;PrimeOmega[PrimePi[p]]!=2]&]

A321728 Number of integer partitions of n whose Young diagram cannot be partitioned into vertical sections of the same sizes as the parts of the original partition.

Original entry on oeis.org

0, 0, 1, 1, 2, 3, 5, 7, 10, 14, 20, 28, 37, 50
Offset: 0

Views

Author

Gus Wiseman, Nov 18 2018

Keywords

Comments

First differs from A000701 at a(11) = 28, A000701(11) = 27
A vertical section is a partial Young diagram with at most one square in each row.
Conjecture: a(n) is the number of non-half-loop-graphical partitions of n. An integer partition is half-loop-graphical if it comprises the multiset of vertex-degrees of some graph with half-loops, where a half-loop is an edge with one vertex, to be distinguished from a full loop, which has two equal vertices.

Examples

			The a(2) = 1 through a(9) = 14 partitions whose Young diagram cannot be partitioned into vertical sections of the same sizes as the parts of the original partition are the same as the non-half-loop-graphical partitions up to n = 9:
  (2)  (3)  (4)   (5)   (6)    (7)    (8)     (9)
            (31)  (32)  (33)   (43)   (44)    (54)
                  (41)  (42)   (52)   (53)    (63)
                        (51)   (61)   (62)    (72)
                        (411)  (331)  (71)    (81)
                               (421)  (422)   (432)
                               (511)  (431)   (441)
                                      (521)   (522)
                                      (611)   (531)
                                      (5111)  (621)
                                              (711)
                                              (4311)
                                              (5211)
                                              (6111)
For example, a complete list of all half/full-loop-graphs with degrees y = (4,3,1) is the following:
  {{1,1},{1,2},{1,3},{2,2}}
  {{1},{2},{1,1},{1,2},{2,3}}
  {{1},{2},{1,1},{1,3},{2,2}}
  {{1},{3},{1,1},{1,2},{2,2}}
None of these is a half-loop-graph, as they have full loops (x,x), so y is counted under a(8).
		

Crossrefs

The complement is counted by A321729.
The following pertain to the conjecture.
Half-loop-graphical partitions by length are A029889 or A339843 (covering).
The version for full loops is A339655.
A027187 counts partitions of even length, with Heinz numbers A028260.
A058696 counts partitions of even numbers, ranked by A300061.
A320663/A339888 count unlabeled multiset partitions into singletons/pairs.
A322661 counts labeled covering half-loop-graphs, ranked by A340018/A340019.
A339659 counts graphical partitions of 2n into k parts.

Programs

  • Mathematica
    spsu[,{}]:={{}};spsu[foo,set:{i_,_}]:=Join@@Function[s,Prepend[#,s]&/@spsu[Select[foo,Complement[#,Complement[set,s]]=={}&],Complement[set,s]]]/@Cases[foo,{i,_}];
    ptnpos[y_]:=Position[Table[1,{#}]&/@y,1];
    ptnverts[y_]:=Select[Join@@Table[Subsets[ptnpos[y],{k}],{k,Reverse[Union[y]]}],UnsameQ@@First/@#&];
    Table[Length[Select[IntegerPartitions[n],Select[spsu[ptnverts[#],ptnpos[#]],Function[p,Sort[Length/@p]==Sort[#]]]=={}&]],{n,8}]

Formula

a(n) is the number of integer partitions y of n such that the coefficient of m(y) in e(y) is zero, where m is monomial and e is elementary symmetric functions.
a(n) = A000041(n) - A321729(n).

A339844 Number of distinct sorted degree sequences among all n-vertex loop-graphs.

Original entry on oeis.org

1, 2, 6, 16, 51, 162, 554, 1918, 6843, 24688, 90342, 333308, 1239725
Offset: 0

Views

Author

Gus Wiseman, Dec 27 2020

Keywords

Comments

In the covering case, these degree sequences, sorted in decreasing order, are the same thing as loop-graphical partitions (A339656). An integer partition is loop-graphical if it comprises the multiset of vertex-degrees of some graph with loops, where a loop is an edge with two equal vertices.
The following are equivalent characteristics for any positive integer n:
(1) the prime indices of n can be partitioned into distinct pairs, i.e. into a set of loops and edges;
(2) n can be factored into distinct semiprimes;
(3) the prime signature of n is loop-graphical.

Examples

			The a(0) = 1 through a(3) = 16 sorted degree sequences:
  ()  (0)  (0,0)  (0,0,0)
      (2)  (0,2)  (0,0,2)
           (1,1)  (0,1,1)
           (1,3)  (0,1,3)
           (2,2)  (0,2,2)
           (3,3)  (0,3,3)
                  (1,1,2)
                  (1,1,4)
                  (1,2,3)
                  (1,3,4)
                  (2,2,2)
                  (2,2,4)
                  (2,3,3)
                  (2,4,4)
                  (3,3,4)
                  (4,4,4)
For example, the loop-graphs
  {{1,1},{2,2},{3,3},{1,2}}
  {{1,1},{2,2},{3,3},{1,3}}
  {{1,1},{2,2},{3,3},{2,3}}
  {{1,1},{2,2},{1,3},{2,3}}
  {{1,1},{3,3},{1,2},{2,3}}
  {{2,2},{3,3},{1,2},{1,3}}
all have degrees y = (3,3,2), so y is counted under a(3).
		

Crossrefs

See link for additional cross references.
The version without loops is A004251, with covering case A095268.
The half-loop version is A029889, with covering case A339843.
Loop-graphs are counted by A322661 and ranked by A320461 and A340020.
The covering case (no zeros) is A339845.
A007717 counts unlabeled multiset partitions into pairs.
A027187 counts partitions of even length, with Heinz numbers A028260.
A058696 counts partitions of even numbers, ranked by A300061.
A101048 counts partitions into semiprimes.
A339655 counts non-loop-graphical partitions of 2n.
A339656 counts loop-graphical partitions of 2n.
A339659 counts graphical partitions of 2n into k parts.

Programs

  • Mathematica
    Table[Length[Union[Sort[Table[Count[Join@@#,i],{i,n}]]&/@Subsets[Subsets[Range[n],{1,2}]/.{x_Integer}:>{x,x}]]],{n,0,5}]

Extensions

a(7)-a(12) from Andrew Howroyd, Jan 10 2024

A320459 MM-numbers of labeled multigraphs spanning an initial interval of positive integers.

Original entry on oeis.org

1, 13, 169, 377, 611, 1363, 1937, 2021, 2117, 2197, 4901, 7943, 10933, 16211, 17719, 25181, 26273, 27521, 28561, 28717, 39527, 44603, 56173, 58609, 61393, 63713, 64061, 83291, 86903, 91031, 91039, 94987, 99499, 103259, 141401, 142129, 143663, 146653, 147533
Offset: 1

Views

Author

Gus Wiseman, Oct 13 2018

Keywords

Comments

A prime index of n is a number m such that prime(m) divides n. The multiset of prime indices of n is row n of A112798. The multiset multisystem with MM-number n is formed by taking the multiset of prime indices of each part of the multiset of prime indices of n. For example, the prime indices of 78 are {1,2,6}, so the multiset multisystem with MM-number 78 is {{},{1},{1,2}}.

Examples

			The sequence of terms together with their multiset multisystems begins:
      1: {}
     13: {{1,2}}
    169: {{1,2},{1,2}}
    377: {{1,2},{1,3}}
    611: {{1,2},{2,3}}
   1363: {{1,3},{2,3}}
   1937: {{1,2},{3,4}}
   2021: {{1,4},{2,3}}
   2117: {{1,3},{2,4}}
   2197: {{1,2},{1,2},{1,2}}
   4901: {{1,2},{1,2},{1,3}}
   7943: {{1,2},{1,2},{2,3}}
  10933: {{1,2},{1,3},{1,3}}
  16211: {{1,2},{1,3},{1,4}}
  17719: {{1,2},{1,3},{2,3}}
  25181: {{1,2},{1,2},{3,4}}
  26273: {{1,2},{1,4},{2,3}}
  27521: {{1,2},{1,3},{2,4}}
  28561: {{1,2},{1,2},{1,2},{1,2}}
  28717: {{1,2},{2,3},{2,3}}
  39527: {{1,3},{1,3},{2,3}}
  44603: {{1,2},{2,3},{2,4}}
		

Crossrefs

Programs

  • Mathematica
    primeMS[n_]:=If[n==1,{},Flatten[Cases[FactorInteger[n],{p_,k_}:>Table[PrimePi[p],{k}]]]];
    normQ[sys_]:=Or[Length[sys]==0,Union@@sys==Range[Max@@Max@@sys]];
    Select[Range[100000],And[normQ[primeMS/@primeMS[#]],And@@(And[SquareFreeQ[#],Length[primeMS[#]]==2]&/@primeMS[#])]&]

A320532 MM-numbers of labeled hypergraphs with multiset edges and no singletons spanning an initial interval of positive integers.

Original entry on oeis.org

1, 7, 13, 19, 37, 53, 61, 89, 91, 113, 131, 133, 151, 161, 223, 247, 251, 259, 281, 299, 311, 329, 359, 371, 377, 427, 437, 463, 481, 503, 593, 611, 623, 659, 667, 689, 703, 719, 721, 791, 793, 827, 851, 863, 893, 917, 923, 953, 1007, 1057, 1069, 1073, 1157
Offset: 1

Views

Author

Gus Wiseman, Oct 14 2018

Keywords

Comments

A prime index of n is a number m such that prime(m) divides n. The multiset of prime indices of n is row n of A112798. The multiset multisystem with MM-number n is formed by taking the multiset of prime indices of each part of the multiset of prime indices of n. For example, the prime indices of 78 are {1,2,6}, so the multiset multisystem with MM-number 78 is {{},{1},{1,2}}.

Examples

			The sequence of terms together with their multiset multisystems begins:
    1: {}
    7: {{1,1}}
   13: {{1,2}}
   19: {{1,1,1}}
   37: {{1,1,2}}
   53: {{1,1,1,1}}
   61: {{1,2,2}}
   89: {{1,1,1,2}}
   91: {{1,1},{1,2}}
  113: {{1,2,3}}
  131: {{1,1,1,1,1}}
  133: {{1,1},{1,1,1}}
  151: {{1,1,2,2}}
  161: {{1,1},{2,2}}
  223: {{1,1,1,1,2}}
  247: {{1,2},{1,1,1}}
  251: {{1,2,2,2}}
  259: {{1,1},{1,1,2}}
  281: {{1,1,2,3}}
  299: {{1,2},{2,2}}
  311: {{1,1,1,1,1,1}}
  329: {{1,1},{2,3}}
  359: {{1,1,1,2,2}}
  371: {{1,1},{1,1,1,1}}
		

Crossrefs

Programs

  • Mathematica
    primeMS[n_]:=If[n==1,{},Flatten[Cases[FactorInteger[n],{p_,k_}:>Table[PrimePi[p],{k}]]]];
    normQ[sys_]:=Or[Length[sys]==0,Union@@sys==Range[Max@@Max@@sys]];
    Select[Range[1000],And[SquareFreeQ[#],normQ[primeMS/@primeMS[#]],And@@(And[PrimeOmega[#]>1]&/@primeMS[#])]&]

A321729 Number of integer partitions of n whose Young diagram can be partitioned into vertical sections of the same sizes as the parts of the original partition.

Original entry on oeis.org

1, 1, 1, 2, 3, 4, 6, 8, 12, 16, 22, 28, 40, 51
Offset: 0

Views

Author

Gus Wiseman, Nov 18 2018

Keywords

Comments

First differs from A046682 at a(11) = 28, A046682(11) = 29.
A vertical section is a partial Young diagram with at most one square in each row. For example, a suitable partition (shown as a coloring by positive integers) of the Young diagram of (322) is:
1 2 3
1 2
2 3
Conjecture: a(n) is the number of half-loop-graphical partitions of n. An integer partition is half-loop-graphical if it comprises the multiset of vertex-degrees of some graph with half-loops, where a half-loop is an edge with one vertex, to be distinguished from a full loop, which has two equal vertices.

Examples

			The a(1) = 1 through a(8) = 12 partitions whose Young diagram cannot be partitioned into vertical sections of the same sizes as the parts of the original partition are the same as the half-loop-graphical partitions up to n = 8:
  (1)  (11)  (21)   (22)    (221)    (222)     (322)      (332)
             (111)  (211)   (311)    (321)     (2221)     (2222)
                    (1111)  (2111)   (2211)    (3211)     (3221)
                            (11111)  (3111)    (4111)     (3311)
                                     (21111)   (22111)    (4211)
                                     (111111)  (31111)    (22211)
                                               (211111)   (32111)
                                               (1111111)  (41111)
                                                          (221111)
                                                          (311111)
                                                          (2111111)
                                                          (11111111)
For example, the half-loop-graphs
  {{1},{1,2},{1,3},{2,3}}
  {{1},{2},{3},{1,2},{1,3}}
both have degrees y = (3,2,2), so y is counted under a(7).
		

Crossrefs

The complement is counted by A321728.
The following pertain to the conjecture.
Half-loop-graphical partitions by length are A029889 or A339843 (covering).
The version for full loops is A339656.
A027187 counts partitions of even length, ranked by A028260.
A058696 counts partitions of even numbers, ranked by A300061.
A320663/A339888 count unlabeled multiset partitions into singletons/pairs.
A322661 counts labeled covering half-loop-graphs, ranked by A340018/A340019.
A339659 is a triangle counting graphical partitions by length.

Programs

  • Mathematica
    spsu[,{}]:={{}};spsu[foo,set:{i_,_}]:=Join@@Function[s,Prepend[#,s]&/@spsu[Select[foo,Complement[#,Complement[set,s]]=={}&],Complement[set,s]]]/@Cases[foo,{i,_}];
    ptnpos[y_]:=Position[Table[1,{#}]&/@y,1];
    ptnverts[y_]:=Select[Join@@Table[Subsets[ptnpos[y],{k}],{k,Reverse[Union[y]]}],UnsameQ@@First/@#&];
    Table[Length[Select[IntegerPartitions[n],Length[Select[spsu[ptnverts[#],ptnpos[#]],Function[p,Sort[Length/@p]==Sort[#]]]]>0&]],{n,8}]

Formula

a(n) is the number of integer partitions y of n such that the coefficient of m(y) in e(y) is nonzero, where m is monomial symmetric functions and e is elementary symmetric functions.
a(n) = A000041(n) - A321728(n).

A339845 Number of distinct sorted degree sequences among all n-vertex loop-graphs without isolated vertices.

Original entry on oeis.org

1, 1, 4, 10, 35, 111, 392, 1364, 4925, 17845, 65654, 242966, 906417
Offset: 0

Views

Author

Gus Wiseman, Dec 27 2020

Keywords

Comments

In the covering case, these degree sequences, sorted in decreasing order, are the same thing as loop-graphical partitions (A339656). An integer partition is loop-graphical if it comprises the multiset of vertex-degrees of some graph with loops, where a loop is an edge with two equal vertices.
The following are equivalent characteristics for any positive integer n:
(1) the prime indices of n can be partitioned into distinct pairs, i.e. into a set of loops and edges;
(2) n can be factored into distinct semiprimes;
(3) the prime signature of n is loop-graphical.

Examples

			The a(0) = 1 through a(3) = 10 sorted degree sequences:
  ()  (2)  (1,1)  (1,1,2)
           (1,3)  (1,1,4)
           (2,2)  (1,2,3)
           (3,3)  (1,3,4)
                  (2,2,2)
                  (2,2,4)
                  (2,3,3)
                  (2,4,4)
                  (3,3,4)
                  (4,4,4)
For example, the loop-graphs
  {{1,1},{2,2},{3,3},{1,2}}
  {{1,1},{2,2},{3,3},{1,3}}
  {{1,1},{2,2},{3,3},{2,3}}
  {{1,1},{2,2},{1,3},{2,3}}
  {{1,1},{3,3},{1,2},{2,3}}
  {{2,2},{3,3},{1,2},{1,3}}
all have degrees y = (3,3,2), so y is counted under a(3).
		

Crossrefs

See link for additional cross references.
The version without loops is A004251, with covering case A095268.
The half-loop version is A029889, with covering case A339843.
Loop-graphs are counted by A322661 and ranked by A320461 and A340020.
Counting the same partitions by sum gives A339656.
These partitions are ranked by A339658.
The non-covering case (zeros allowed) is A339844.
A007717 counts unlabeled multiset partitions into pairs.
A027187 counts partitions of even length, ranked by A028260.
A058696 counts partitions of even numbers, ranked by A300061.
A101048 counts partitions into semiprimes.
A339655 counts non-loop-graphical partitions of 2n.
A339659 counts graphical partitions of 2n into k parts.

Programs

  • Mathematica
    Table[Length[Union[Sort[Table[Count[Join@@#,i],{i,n}]]&/@Select[Subsets[Subsets[Range[n],{1,2}]/.{x_Integer}:>{x,x}],Union@@#==Range[n]&]]],{n,0,5}]

Formula

a(n) = A339844(n) - A339844(n-1) for n > 0. - Andrew Howroyd, Jan 10 2024

Extensions

a(7)-a(12) from Andrew Howroyd, Jan 10 2024

A339843 Number of distinct sorted degree sequences among all n-vertex half-loop-graphs without isolated vertices.

Original entry on oeis.org

1, 1, 3, 9, 29, 97, 336, 1188, 4275, 15579, 57358, 212908, 795657, 2990221, 11291665, 42814783, 162920417, 621885767, 2380348729
Offset: 0

Views

Author

Gus Wiseman, Dec 27 2020

Keywords

Comments

In the covering case, these degree sequences, sorted in decreasing order, are the same thing as half-loop-graphical partitions (A321729). An integer partition is half-loop-graphical if it comprises the multiset of vertex-degrees of some graph with half-loops, where a half-loop is an edge with one vertex.
The following are equivalent characteristics for any positive integer n:
(1) the prime indices of n can be partitioned into distinct singletons or strict pairs, i.e., into a set of half-loops or edges;
(2) n can be factored into distinct primes or squarefree semiprimes;
(3) the prime signature of n is half-loop-graphical.

Examples

			The a(0) = 1 through a(3) = 9 sorted degree sequences:
  ()  (1)  (1,1)  (1,1,1)
           (2,1)  (2,1,1)
           (2,2)  (2,2,1)
                  (2,2,2)
                  (3,1,1)
                  (3,2,1)
                  (3,2,2)
                  (3,3,2)
                  (3,3,3)
For example, the half-loop-graphs
  {{1},{1,2},{1,3},{2,3}}
  {{1},{2},{3},{1,2},{1,3}}
both have degrees y = (3,2,2), so y is counted under a(3).
		

Crossrefs

See link for additional cross references.
The version for simple graphs is A004251, covering: A095268.
The non-covering version (it allows isolated vertices) is A029889.
The same partitions counted by sum are conjectured to be A321729.
These graphs are counted by A006125 shifted left, covering: A322661.
The version for full loops is A339844, covering: A339845.
These graphs are ranked by A340018 and A340019.
A006125 counts labeled simple graphs, covering: A006129.
A027187 counts partitions of even length, ranked by A028260.
A058696 counts partitions of even numbers, ranked by A300061.
A320663/A339888 count unlabeled multiset partitions into singletons/pairs.
A339659 counts graphical partitions of 2n into k parts.

Programs

  • Mathematica
    Table[Length[Union[Sort[Table[Count[Join@@#,i],{i,n}]]&/@Select[Subsets[Subsets[Range[n],{1,2}]],Union@@#==Range[n]&]]],{n,0,5}]

Formula

a(n) = A029889(n) - A029889(n-1) for n > 0. - Andrew Howroyd, Jan 10 2024

Extensions

a(7)-a(18) added (using A029889) by Andrew Howroyd, Jan 10 2024
Previous Showing 11-20 of 24 results. Next