A322151 -id:A322151 - cp's OEIS frontend

A054923 Triangle read by rows: number of connected graphs with k >= 0 edges and n nodes (1<=n<=k+1).

1, 0, 1, 0, 0, 1, 0, 0, 1, 2, 0, 0, 0, 2, 3, 0, 0, 0, 1, 5, 6, 0, 0, 0, 1, 5, 13, 11, 0, 0, 0, 0, 4, 19, 33, 23, 0, 0, 0, 0, 2, 22, 67, 89, 47, 0, 0, 0, 0, 1, 20, 107, 236, 240, 106, 0, 0, 0, 0, 1, 14, 132, 486, 797, 657, 235, 0, 0, 0, 0, 0, 9, 138, 814, 2075, 2678, 1806, 551, 0, 0, 0, 0, 0, 5, 126, 1169, 4495, 8548, 8833, 5026, 1301

Offset: 0

N. J. A. Sloane

The diagonal n = k+1 is A000055(n). - Jonathan Vos Post, Aug 10 2008

			Triangle begins:
  1;
  0, 1;
  0, 0, 1;
  0, 0, 1, 2;
  0, 0, 0, 2, 3;
  0, 0, 0, 1, 5   6;
  0, 0, 0, 1, 5, 13,  11;
  0, 0, 0, 0, 4, 19,  33,  23;
  0, 0, 0, 0, 2, 22,  67,  89,  47;
  0, 0, 0, 0, 1, 20, 107, 236, 240, 106;
  ... (so with 5 edges there's 1 graph with 4 nodes, 5 with 5 nodes and 6 with 6 nodes). [Typo corrected by Anders Haglund, Jul 08 2008]

F. Harary and E. M. Palmer, Graphical Enumeration, Academic Press, NY, 1973, p. 93, Table 4.2.2; p. 241, Table A2.

Andrew Howroyd, Table of n, a(n) for n = 0..1325
G. A. Baker et al., High-temperature expansions for the spin-1/2 Heisenberg model, Phys. Rev., 164 (1967), 800-817.
R. J. Mathar, Statistics on Small Graphs, arXiv:1709.09000 [math.CO] (2017), Table 57.
Gordon Royle, Small graphs
Gus Wiseman, Non-isomorphic representatives of the 12 connected graphs counted in row 5.

Main diagonal is A000055.
Subsequent diagonals give the number of connected unlabeled graphs with n nodes and n+k edges for k=0..2: A001429, A001435, A001436.
Cf. A002905 (row sums), A001349 (column sums), A008406, A046751 (transpose), A054924 (transpose), A046742 (w/o left column), A343088 (labeled).
Cf. A000664, A007718, A050535, A054923, A191646, A191970, A317672, A322114, A322151.

InvEulerMT(u)={my(n=#u, p=log(1+x*Ser(u)), vars=variables(p)); Vec(serchop( sum(i=1, n, moebius(i)*substvec(p + O(x*x^(n\i)), vars, apply(v->v^i,vars))/i), 1))}
permcount(v) = {my(m=1,s=0,k=0,t); for(i=1,#v,t=v[i]; k=if(i>1&&t==v[i-1],k+1,1); m*=t*k;s+=t); s!/m}
edges(v,t) = {prod(i=2, #v, prod(j=1, i-1, my(g=gcd(v[i],v[j])); t(v[i]*v[j]/g)^g )) * prod(i=1, #v, my(c=v[i]); t(c)^((c-1)\2)*if(c%2, 1, t(c/2)))}
G(n, x)={my(s=0); forpart(p=n, s+=permcount(p)*edges(p,i->1+x^i)); s/n!}
T(n)={Mat([Col(p+O(y^n), -n) | p<-InvEulerMT(vector(n, k, G(k, y + O(y^n))))])}
{my(A=T(10)); for(n=1, #A, print(A[n,1..n]))} \\ Andrew Howroyd, Oct 23 2019

a(83)-a(89) corrected by Andrew Howroyd, Oct 24 2019

A191970 Number of connected graphs with n edges with loops allowed.

Original entry on oeis.org

1, 2, 2, 6, 12, 33, 93, 287, 940, 3309, 12183, 47133, 190061, 796405, 3456405, 15501183, 71681170, 341209173, 1669411182, 8384579797, 43180474608, 227797465130, 1229915324579, 6790642656907, 38311482445514, 220712337683628, 1297542216770482, 7779452884747298

Offset: 0

Alberto Tacchella, Jun 20 2011

nonn

Inverse Euler transform of A053419.
From R. J. Mathar, Jul 25 2017: (Start)
The Multiset Transform gives the number of graphs with n edges (loops allowed) and k components (0<=k<=n):
 1
2
2 3
6 4 4
12 15 6 5
33 36 24 8 6
93 111 64 33 10 7
287 324 207 92 42 12 8
940 1036 633 308 120 51 14 9
3309 3408 2084 966 409 148 60 16 10
12183 11897 6959 3243 1305 510 176 69 18 11
47133 43137 24415 10970 4432 1644 611 204 78 20 12
190061 163608 88402 38763 15125 5628 1983 712 232 87 22 13
796405 644905 332979 140671 53732 19316 6824 2322 813 260 96 24 14
3456405 2639871 1299054 529179 195517 68878 23515 8020 2661 914 288 105 26 15 (End)

			a(1)=2: Either one node with the edge equal to a loop, or two nodes connected by the edge. a(2)=2: Either three nodes on a chain connected by the two edges, or two nodes connected by an edge, one node with a loop. Apparently multi-loops are not allowed (?). - _R. J. Mathar_, Jul 25 2017

Andrew Howroyd, Table of n, a(n) for n = 0..50
Gus Wiseman, Non-isomorphic representatives of the a(1) = 1 through a(4) = 12 connected graphs with loops.

Row sums of A322114.

Cf. A000664, A002905, A007718, A050535, A053419, A054923, A191646, A191970, A275421, A322133, A322151, A322152.

\\ See A322114 for InvEulerMT, G.
seq(n)={vecsum([Vec(p+O(y^n), -n) | p<-InvEulerMT(vector(n, k, G(k, y + O(y^n))))])} \\ Andrew Howroyd, Oct 22 2019

Terms a(25) and beyond from Andrew Howroyd, Oct 22 2019

A322147 Regular triangle read by rows where T(n,k) is the number of labeled connected graphs with loops with n edges and k vertices, 1 <= k <= n+1.

Original entry on oeis.org

1, 1, 1, 0, 2, 3, 0, 1, 10, 16, 0, 0, 12, 79, 125, 0, 0, 6, 162, 847, 1296, 0, 0, 1, 179, 2565, 11436, 16807, 0, 0, 0, 116, 4615, 47100, 185944, 262144, 0, 0, 0, 45, 5540, 121185, 987567, 3533720, 4782969, 0, 0, 0, 10, 4720, 220075, 3376450, 23315936, 76826061, 100000000

Offset: 0

Gus Wiseman, Nov 28 2018

			Triangle begins:
  1
  1     1
  0     2     3
  0     1    10    16
  0     0    12    79   125
  0     0     6   162   847  1296
  0     0     1   179  2565 11436 16807

Andrew Howroyd, Table of n, a(n) for n = 0..1274

Row sums are A322151. Last column is A000272.
Column sums are A062740.
Cf. A000664, A007718, A007719, A054923, A191646, A275421, A321254, A322114, A322115, A322137.

multsubs[set_,k_]:=If[k==0,{{}},Join@@Table[Prepend[#,set[[i]]]&/@multsubs[Drop[set,i-1],k-1],{i,Length[set]}]];
csm[s_]:=With[{c=Select[Tuples[Range[Length[s]],2],And[OrderedQ[#],UnsameQ@@#,Length[Intersection@@s[[#]]]>0]&]},If[c=={},s,csm[Union[Append[Delete[s,List/@c[[1]]],Union@@s[[c[[1]]]]]]]]];
Table[If[n==0,1,Length[Select[Subsets[multsubs[Range[k],2],{n}],And[Union@@#==Range[k],Length[csm[#]]==1]&]]],{n,0,6},{k,1,n+1}]

Connected(v)={my(u=vector(#v)); for(n=1, #u, u[n]=v[n] - sum(k=1, n-1, binomial(n-1, k)*v[k]*u[n-k])); u}
M(n)={Mat([Col(p, -(n+1)) | p<-Connected(vector(2*n, j, (1 + x + O(x*x^n) )^binomial(j+1,2)))[1..n+1]])}
{ my(T=M(10)); for(n=1, #T, print(T[n,][1..n])) } \\ Andrew Howroyd, Nov 29 2018

Terms a(28) and beyond from Andrew Howroyd, Nov 29 2018

A322152 Number of labeled connected multigraphs with loops with n edges (the vertices are {1,2,...,k} for some k).

Original entry on oeis.org

1, 2, 7, 39, 314, 3359, 45000, 725269, 13670256, 295099184, 7179749707, 194399095705, 5797793490859, 188855813757729, 6671188010874785, 254007814638737649, 10370334196814589256, 451923738493729293016, 20937747226064522726151, 1027666505638118490940059

Offset: 0

Gus Wiseman, Nov 28 2018

nonn

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

Row sums of A322148. The unlabeled version is A007719.

Cf. A000272, A000664, A007718, A191646, A191970, A322114, A322115, A322147, A322151.

multsubs[set_,k_]:=If[k==0,{{}},Join@@Table[Prepend[#,set[[i]]]&/@multsubs[Drop[set,i-1],k-1],{i,Length[set]}]];
csm[s_]:=With[{c=Select[Tuples[Range[Length[s]],2],And[OrderedQ[#],UnsameQ@@#,Length[Intersection@@s[[#]]]>0]&]},If[c=={},s,csm[Union[Append[Delete[s,List/@c[[1]]],Union@@s[[c[[1]]]]]]]]];
Table[Length[Select[multsubs[multsubs[Range[n+1],2],n],And[Union@@#==Range[Max@@Union@@#],Length[csm[#]]==1]&]],{n,5}]

Connected(v)={my(u=vector(#v)); for(n=1, #u, u[n]=v[n] - sum(k=1, n-1, binomial(n-1, k)*v[k]*u[n-k])); u}
seq(n)={Vec(vecsum(Connected(vector(2*n, j, 1/(1 - x + O(x*x^n))^binomial(j+1,2)))))} \\ Andrew Howroyd, Nov 28 2018

Terms a(7) and beyond from Andrew Howroyd, Nov 28 2018

A369195 Irregular triangle read by rows where T(n,k) is the number of labeled connected loop-graphs covering n vertices with k edges.

Original entry on oeis.org

1, 0, 1, 0, 1, 2, 1, 0, 0, 3, 10, 12, 6, 1, 0, 0, 0, 16, 79, 162, 179, 116, 45, 10, 1, 0, 0, 0, 0, 125, 847, 2565, 4615, 5540, 4720, 2948, 1360, 455, 105, 15, 1, 0, 0, 0, 0, 0, 1296, 11436, 47100, 121185, 220075, 301818, 325578, 282835, 200115, 115560, 54168, 20343, 5985, 1330, 210, 21, 1

Offset: 0

Gus Wiseman, Jan 19 2024

This sequence excludes the graph consisting of a single isolated vertex without a loop. - Andrew Howroyd, Feb 02 2024

			Triangle begins:
    1
    0    1
    0    1    2    1
    0    0    3   10   12    6    1
    0    0    0   16   79  162  179  116   45   10    1
Row n = 3 counts the following loop-graphs (loops shown as singletons):
  .  .  {12,13}  {1,12,13}   {1,2,12,13}   {1,2,3,12,13}   {1,2,3,12,13,23}
        {12,23}  {1,12,23}   {1,2,12,23}   {1,2,3,12,23}
        {13,23}  {1,13,23}   {1,2,13,23}   {1,2,3,13,23}
                 {2,12,13}   {1,3,12,13}   {1,2,12,13,23}
                 {2,12,23}   {1,3,12,23}   {1,3,12,13,23}
                 {2,13,23}   {1,3,13,23}   {2,3,12,13,23}
                 {3,12,13}   {1,12,13,23}
                 {3,12,23}   {2,3,12,13}
                 {3,13,23}   {2,3,12,23}
                 {12,13,23}  {2,3,13,23}
                             {2,12,13,23}
                             {3,12,13,23}

Andrew Howroyd, Table of n, a(n) for n = 0..1560 (rows 0..20)

Row lengths are A000124.
Diagonal T(n,n-1) is A000272, rooted A000169.
The case without loops is A062734.
Row sums are A062740.
Transpose is A322147.
Column sums are A322151.
Diagonal T(n,n) is A368951, connected case of A368597.
Connected case of A369199, without loops A054548.
A000085, A100861, A111924 count set partitions into singletons or pairs.
A000666 counts unlabeled loop-graphs.
A001187 counts connected graphs, unlabeled A001349.
A006125 counts simple graphs, also loop-graphs if shifted left.
A006129 counts covering graphs, unlabeled A002494.
A322661 counts covering loop-graphs, unlabeled A322700.
A368927 counts choosable loop-graphs, covering A369140.
A369141 counts non-choosable loop-graphs, covering A369142.
Cf. A001862, A014068, A054923, A057500, A066383, A322114, A322137, A369197.

csm[s_]:=With[{c=Select[Subsets[Range[Length[s]], {2}],Length[Intersection@@s[[#]]]>0&]},If[c=={},s, csm[Sort[Append[Delete[s,List/@c[[1]]],Union@@s[[c[[1]]]]]]]]];
Table[Length[Select[Subsets[Subsets[Range[n],{1,2}],{k}], Length[Union@@#]==n&&Length[csm[#]]<=1&]], {n,0,5},{k,0,Binomial[n+1,2]}]

T(n)={[Vecrev(p) | p<-Vec(serlaplace(1 - x + log(sum(j=0, n, (1 + y)^binomial(j+1, 2)*x^j/j!, O(x*x^n))))) ]}
{ my(A=T(6)); for(i=1, #A, print(A[i])) } \\ Andrew Howroyd, Feb 02 2024

E.g.f.: 1 - x + log(Sum_{j >= 0} (1 + y)^binomial(j+1, 2)*x^j/j!). - Andrew Howroyd, Feb 02 2024

cp's OEIS Frontend

A054923 Triangle read by rows: number of connected graphs with k >= 0 edges and n nodes (1<=n<=k+1).

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

PARI

Extensions

A191970 Number of connected graphs with n edges with loops allowed.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

PARI

Extensions

A322147 Regular triangle read by rows where T(n,k) is the number of labeled connected graphs with loops with n edges and k vertices, 1 <= k <= n+1.

Views

Author

Keywords

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Extensions

A322152 Number of labeled connected multigraphs with loops with n edges (the vertices are {1,2,...,k} for some k).

Views

Author

Keywords

Links

Crossrefs

Programs

Mathematica

PARI

Extensions

A369195 Irregular triangle read by rows where T(n,k) is the number of labeled connected loop-graphs covering n vertices with k edges.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula