A369192
Number of labeled simple graphs with n vertices and at most n edges (not necessarily covering).
Original entry on oeis.org
1, 1, 2, 8, 57, 638, 9949, 198440, 4791323, 135142796, 4346814276, 156713948672, 6251579884084, 273172369790743, 12969420360339724, 664551587744173992, 36543412829258260135, 2146170890448154922648, 134053014635659737513358, 8872652968135849629240560
Offset: 0
The a(0) = 1 through a(3) = 8 graphs:
{} {} {} {}
{{1,2}} {{1,2}}
{{1,3}}
{{2,3}}
{{1,2},{1,3}}
{{1,2},{2,3}}
{{1,3},{2,3}}
{{1,2},{1,3},{2,3}}
Counting only covered vertices gives
A369193.
A054548 counts graphs covering n vertices with k edges, with loops
A369199.
-
Table[Length[Select[Subsets[Subsets[Range[n],{2}]], Length[#]<=n&]],{n,0,5}]
-
from math import comb
def A369192(n): return sum(comb(comb(n,2),k) for k in range(n+1)) # Chai Wah Wu, Jul 14 2024
A372168
Number of triangle-free simple labeled graphs covering n vertices.
Original entry on oeis.org
1, 0, 1, 3, 22, 237, 3961, 99900, 3757153, 208571691, 16945953790, 1999844518737, 340422874696873, 83041703920313712, 28850117307732482737, 14191512425207950473867, 9829313296102303971441502
Offset: 0
The a(4) = 22 graphs are:
12-34
13-24
14-23
12-13-14
12-13-24
12-13-34
12-14-23
12-14-34
12-23-24
12-23-34
12-24-34
13-14-23
13-14-24
13-23-24
13-23-34
13-24-34
14-23-24
14-23-34
14-24-34
12-13-24-34
12-14-23-34
13-14-23-24
For all cycles (not just triangles) we have
A105784, unlabeled
A144958.
-
cys[y_]:=Select[Subsets[Union@@y,{3}],MemberQ[y,{#[[1]],#[[2]]}] && MemberQ[y,{#[[1]],#[[3]]}] && MemberQ[y,{#[[2]],#[[3]]}]&];
Table[Length[Select[Subsets[Subsets[Range[n], {2}]],Union@@#==Range[n]&&Length[cys[#]]==0&]],{n,0,5}]
A372195
Number of labeled simple graphs covering n vertices with a unique undirected cycle of length > 2.
Original entry on oeis.org
0, 0, 0, 1, 15, 232, 3945, 75197, 1604974, 38122542, 1000354710, 28790664534, 902783451933, 30658102047787, 1121532291098765, 43985781899812395, 1841621373756094796, 82002075703514947236, 3869941339069299799884, 192976569550677042208068, 10139553075163838030949495
Offset: 0
The a(4) = 15 graphs:
12,13,14,23
12,13,14,24
12,13,14,34
12,13,23,24
12,13,23,34
12,13,24,34
12,14,23,24
12,14,23,34
12,14,24,34
12,23,24,34
13,14,23,24
13,14,23,34
13,14,24,34
13,23,24,34
14,23,24,34
A002807 counts cycles in a complete graph.
-
cyc[y_]:=Select[Join@@Table[Select[Join@@Permutations/@Subsets[Union@@y,{k}],And@@Table[MemberQ[Sort/@y,Sort[{#[[i]],#[[If[i==k,1,i+1]]]}]],{i,k}]&],{k,3,Length[y]}],Min@@#==First[#]&];
Table[Length[Select[Subsets[Subsets[Range[n],{2}]],Union@@#==Range[n]&&Length[cyc[#]]==2&]],{n,0,5}]
-
seq(n)={my(w=lambertw(-x+O(x*x^n))); Vec(serlaplace(exp(-w-w^2/2-x)*(-log(1+w)/2 + w/2 - w^2/4)), -n-1)} \\ Andrew Howroyd, Jul 31 2024
A054780
Number of n-covers of a labeled n-set.
Original entry on oeis.org
1, 1, 3, 32, 1225, 155106, 63602770, 85538516963, 386246934638991, 6001601072676524540, 327951891446717800997416, 64149416776011080449232990868, 45546527789182522411309599498741023, 118653450898277491435912500458608964207578
Offset: 0
From _Gus Wiseman_, Dec 19 2023: (Start)
Number of ways to choose n nonempty sets with union {1..n}. For example, the a(3) = 32 covers are:
{1}{2}{3} {1}{2}{13} {1}{2}{123} {1}{12}{123} {12}{13}{123}
{1}{2}{23} {1}{3}{123} {1}{13}{123} {12}{23}{123}
{1}{3}{12} {1}{12}{13} {1}{23}{123} {13}{23}{123}
{1}{3}{23} {1}{12}{23} {2}{12}{123}
{2}{3}{12} {1}{13}{23} {2}{13}{123}
{2}{3}{13} {2}{3}{123} {2}{23}{123}
{2}{12}{13} {3}{12}{123}
{2}{12}{23} {3}{13}{123}
{2}{13}{23} {3}{23}{123}
{3}{12}{13} {12}{13}{23}
{3}{12}{23}
{3}{13}{23}
(End)
Covers with any number of edges are counted by
A003465, unlabeled
A055621.
Connected graphs of this type are counted by
A057500, unlabeled
A001429.
This is the covering case of
A136556.
These set-systems have ranks
A367917.
-
Join[{1}, Table[Sum[StirlingS1[n+1, k+1]*(2^k - 1)^n, {k, 0, n}]/n!, {n, 1, 15}]] (* Vaclav Kotesovec, Jun 04 2022 *)
Table[Length[Select[Subsets[Rest[Subsets[Range[n]]],{n}],Union@@#==Range[n]&]],{n,0,4}] (* Gus Wiseman, Dec 19 2023 *)
-
a(n) = sum(k=0, n, (-1)^k*binomial(n, k)*binomial(2^(n-k)-1, n)) \\ Andrew Howroyd, Jan 20 2024
A368951
Number of connected labeled graphs with n edges and n vertices and with loops allowed.
Original entry on oeis.org
1, 1, 2, 10, 79, 847, 11436, 185944, 3533720, 76826061, 1880107840, 51139278646, 1530376944768, 49965900317755, 1767387701671424, 67325805434672100, 2747849045156064256, 119626103584870552921, 5533218319763109888000, 270982462739224265922466
Offset: 0
From _Gus Wiseman_, Feb 12 2024: (Start)
The a(0) = 1 through a(3) = 10 loop-graphs:
{} {11} {11,12} {11,12,13}
{22,12} {11,12,23}
{11,13,23}
{22,12,13}
{22,12,23}
{22,13,23}
{33,12,13}
{33,12,23}
{33,13,23}
{12,13,23}
(End)
This is the connected covering case of
A014068.
Allowing any number of edges gives
A062740, connected case of
A322661.
This is the connected case of
A368597.
For at most n edges we have
A369197.
A000085 counts set partitions into singletons or pairs.
-
egf:= (L-> 1-L/2-log(1+L)/2-L^2/4)(LambertW(-x)):
a:= n-> n!*coeff(series(egf, x, n+1), x, n):
seq(a(n), n=0..25); # Alois P. Heinz, Jan 10 2024
-
seq(n)={my(t=-lambertw(-x + O(x*x^n))); Vec(serlaplace(-log(1-t)/2 + t/2 - t^2/4 + 1))}
A368730
Number of n-element sets of singletons or pairs of distinct elements of {1..n} with union {1..n}, or loop-graphs covering n vertices with n edges, such that it is not possible to choose a different element from each.
Original entry on oeis.org
0, 0, 0, 0, 6, 180, 4560, 117600, 3234588, 96119982, 3092585310, 107542211535, 4029055302855, 162040513972623, 6970457656110039, 319598974394563500, 15568332397812799920, 803271954062642638830, 43778508937914677872788, 2513783434620146896920843
Offset: 0
The a(4) = 6 set-systems:
{{1},{2},{1,2},{3,4}}
{{1},{3},{1,3},{2,4}}
{{1},{4},{1,4},{2,3}}
{{2},{3},{1,4},{2,3}}
{{2},{4},{1,3},{2,4}}
{{3},{4},{1,2},{3,4}}
The case of a unique choice appears to be
A000272.
The version without the choice condition is
A368597, non-covering
A014068.
The complement appears to be
A333331.
Allowing any number of edges of any size gives
A367903, ranks
A367907.
Allowing any number of non-singletons gives
A367868, non-covering
A367867.
A000085 counts set partitions into singletons or pairs.
A100861 counts set partitions into singletons or pairs by number of pairs.
A111924 counts set partitions into singletons or pairs by length.
-
Table[Length[Select[Subsets[Subsets[Range[n],{1,2}], {n}],Union@@#==Range[n] && Length[Select[Tuples[#],UnsameQ@@#&]]==0&]],{n,0,5}]
A368924
Triangle read by rows where T(n,k) is the number of labeled loop-graphs on n vertices with k loops and n-k non-loops such that it is possible to choose a different vertex from each edge.
Original entry on oeis.org
1, 0, 1, 0, 2, 1, 1, 9, 6, 1, 15, 68, 48, 12, 1, 222, 720, 510, 150, 20, 1, 3670, 9738, 6825, 2180, 360, 30, 1, 68820, 159628, 110334, 36960, 6895, 735, 42, 1, 1456875, 3067320, 2090760, 721560, 145530, 17976, 1344, 56, 1, 34506640, 67512798, 45422928, 15989232, 3402756, 463680, 40908, 2268, 72, 1
Offset: 0
Triangle begins:
1
0 1
0 2 1
1 9 6 1
15 68 48 12 1
222 720 510 150 20 1
3670 9738 6825 2180 360 30 1
68820 159628 110334 36960 6895 735 42 1
Row n = 3 counts the following loop-graphs:
{{1,2},{1,3},{2,3}} {{1},{1,2},{1,3}} {{1},{2},{1,3}} {{1},{2},{3}}
{{1},{1,2},{2,3}} {{1},{2},{2,3}}
{{1},{1,3},{2,3}} {{1},{3},{1,2}}
{{2},{1,2},{1,3}} {{1},{3},{2,3}}
{{2},{1,2},{2,3}} {{2},{3},{1,2}}
{{2},{1,3},{2,3}} {{2},{3},{1,3}}
{{3},{1,2},{1,3}}
{{3},{1,2},{2,3}}
{{3},{1,3},{2,3}}
Cf.
A000169,
A057500,
A062740,
A129271,
A133686,
A322661,
A367869,
A367902,
A368601,
A368835,
A368836,
A368927.
-
Table[Length[Select[Subsets[Subsets[Range[n],{1,2}],{n}], Count[#,{_}]==k&&Length[Select[Tuples[#], UnsameQ@@#&]]!=0&]],{n,0,5},{k,0,n}]
-
T(n)={my(t=-lambertw(-x + O(x*x^n))); [Vecrev(p) | p <- Vec(serlaplace(exp(-log(1-t)/2 - t/2 + t*y - t^2/4)))]}
{ my(A=T(8)); for(i=1, #A, print(A[i])) } \\ Andrew Howroyd, Jan 14 2024
A367917
BII-numbers of set-systems with the same number of edges as covered vertices.
Original entry on oeis.org
0, 1, 2, 3, 5, 6, 8, 9, 10, 11, 13, 14, 17, 19, 21, 22, 24, 26, 28, 34, 35, 37, 38, 40, 41, 44, 49, 50, 52, 56, 67, 69, 70, 73, 74, 76, 81, 82, 84, 88, 97, 98, 100, 104, 112, 128, 129, 130, 131, 133, 134, 136, 137, 138, 139, 141, 142, 145, 147, 149, 150, 152
Offset: 1
The terms together with the corresponding set-systems begin:
0: {}
1: {{1}}
2: {{2}}
3: {{1},{2}}
5: {{1},{1,2}}
6: {{2},{1,2}}
8: {{3}}
9: {{1},{3}}
10: {{2},{3}}
11: {{1},{2},{3}}
13: {{1},{1,2},{3}}
14: {{2},{1,2},{3}}
17: {{1},{1,3}}
19: {{1},{2},{1,3}}
21: {{1},{1,2},{1,3}}
22: {{2},{1,2},{1,3}}
24: {{3},{1,3}}
26: {{2},{3},{1,3}}
28: {{1,2},{3},{1,3}}
34: {{2},{2,3}}
35: {{1},{2},{2,3}}
37: {{1},{1,2},{2,3}}
A070939 gives length of binary expansion.
A136556 counts set-systems on {1..n} with n edges.
Cf.
A057500,
A059201,
A072639,
A096111,
A116508,
A309326,
A326031,
A326702,
A326753,
A326754,
A367770,
A367902,
A367905.
-
bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n, 2]],1];
Select[Range[0,100], Length[bpe[#]]==Length[Union@@bpe/@bpe[#]]&]
A369143
Number of labeled simple graphs with n edges and n vertices such that it is not possible to choose a different vertex from each edge (non-choosable).
Original entry on oeis.org
0, 0, 0, 0, 0, 30, 1335, 47460, 1651230, 59636640, 2284113762, 93498908580, 4099070635935, 192365988161490, 9646654985111430, 515736895712230192, 29321225548502776980, 1768139644819077541440, 112805126206185257070660, 7595507651522103787077270, 538504704005397535690160274
Offset: 0
The term a(5) = 30 counts all permutations of the graph {{1,2},{1,3},{1,4},{2,3},{2,4}}.
The version without the choice condition is
A116508, covering
A367863.
-
Table[Length[Select[Subsets[Subsets[Range[n],{2}], {n}],Length[Select[Tuples[#],UnsameQ@@#&]]==0&]],{n,0,5}]
A369196
Number of labeled loop-graphs with n vertices and at most as many edges as covered vertices.
Original entry on oeis.org
1, 2, 7, 39, 320, 3584, 51405, 900947, 18661186, 445827942, 12062839691, 364451604095, 12157649050827, 443713171974080, 17583351295466338, 751745326170662049, 34485624653535808340, 1689485711682987916502, 88030098291829749593643, 4860631073631586486397141
Offset: 0
The a(0) = 1 through a(2) = 7 loop-graphs:
{} {} {}
{{1}} {{1}}
{{2}}
{{1,2}}
{{1},{2}}
{{1},{1,2}}
{{2},{1,2}}
A006125 counts simple graphs, also loop-graphs if shifted left.
A054548 counts graphs covering n vertices with k edges, with loops
A369199.
-
Table[Length[Select[Subsets[Subsets[Range[n],{1,2}]],Length[#]<=Length[Union@@#]&]],{n,0,5}]
Comments