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 53 results. Next

A333331 Number of integer points in the convex hull in R^n of parking functions of length n.

Original entry on oeis.org

1, 3, 17, 144, 1623, 22804, 383415, 7501422
Offset: 1

Views

Author

Richard Stanley, Mar 15 2020

Keywords

Comments

It is observed by Gus Wiseman in A368596 and A368730 that this sequence appears to be the complement of those sequences. If this is the case, then a(n) is the number of labeled graphs with loops allowed in which each connected component has an equal number of vertices and edges and the conjectured formula holds. Terms for n >= 9 are expected to be 167341283, 4191140394, 116425416531, ... - Andrew Howroyd, Jan 10 2024
From Gus Wiseman, Mar 22 2024: (Start)
An equivalent conjecture is that a(n) is the number of loop-graphs with n vertices and n edges such that it is possible to choose a different vertex from each edge. I call these graphs choosable. For example, the a(3) = 17 choosable loop-graphs are the following (loops shown as singletons):
{{1},{2},{3}} {{1},{2},{1,3}} {{1},{1,2},{1,3}} {{1,2},{1,3},{2,3}}
{{1},{2},{2,3}} {{1},{1,2},{2,3}}
{{1},{3},{1,2}} {{1},{1,3},{2,3}}
{{1},{3},{2,3}} {{2},{1,2},{1,3}}
{{2},{3},{1,2}} {{2},{1,2},{2,3}}
{{2},{3},{1,3}} {{2},{1,3},{2,3}}
{{3},{1,2},{1,3}}
{{3},{1,2},{2,3}}
{{3},{1,3},{2,3}}
(End)

Examples

			For n=2 the parking functions are (1,1), (1,2), (2,1). They are the only integer points in their convex hull. For n=3, in addition to the 16 parking functions, there is the additional point (2,2,2).
		

References

  • R. P. Stanley (Proposer), Problem 12191, Amer. Math. Monthly, 127:6 (2020), 563.

Crossrefs

All of the following relative references pertain to the conjecture:
The case of unique choice A000272.
The version without the choice condition is A014068, covering A368597.
The case of just pairs A137916.
For any number of edges of any positive size we have A367902.
The complement A368596, covering A368730.
Allowing edges of any positive size gives A368601, complement A368600.
Counting by singletons gives A368924.
For any number of edges we have A368927, complement A369141.
The connected case is A368951.
The unlabeled version is A368984, complement A368835.
A000085, A100861, A111924 count set partitions into singletons or pairs.
A006125 counts graphs, unlabeled A000088.
A058891 counts set-systems (without singletons A016031), unlabeled A000612.

Formula

Conjectured e.g.f.: exp(-log(1-T(x))/2 + T(x)/2 - T(x)^2/4) where T(x) = -LambertW(-x) is the e.g.f. of A000169. - Andrew Howroyd, Jan 10 2024

A368596 Number of n-element sets of singletons or pairs of distinct elements of {1..n}, or loop graphs with n edges, such that it is not possible to choose a different element from each.

Original entry on oeis.org

0, 0, 0, 3, 66, 1380, 31460, 800625, 22758918, 718821852, 25057509036, 957657379437, 39878893266795, 1799220308202603, 87502582432459584, 4566246347310609247, 254625879822078742956, 15115640124974801925030, 952050565540607423524658, 63425827673509972464868323
Offset: 0

Views

Author

Gus Wiseman, Jan 04 2024

Keywords

Comments

The axiom of choice says that, given any set of nonempty sets Y, it is possible to choose a set containing an element from each. The strict version requires this set to have the same cardinality as Y, meaning no element is chosen more than once.

Examples

			The a(3) = 3 set-systems:
  {{1},{2},{1,2}}
  {{1},{3},{1,3}}
  {{2},{3},{2,3}}
		

Crossrefs

The version without the choice condition is A014068, covering A368597.
The complement appears to be A333331.
For covering pairs we have A367868.
Allowing edges of any positive size gives A368600, any length A367903.
The covering case is A368730.
The unlabeled version is A368835.
A000085 counts set partitions into singletons or pairs.
A006125 counts graphs, unlabeled A000088.
A058891 counts set-systems (without singletons A016031), unlabeled A000612.
A100861 counts set partitions into singletons or pairs by number of pairs.
A111924 counts set partitions into singletons or pairs by length.
A322661 counts covering half-loop-graphs, connected A062740.
A369141 counts non-choosable loop-graphs, covering A369142.
A369146 counts unlabeled non-choosable loop-graphs, covering A369147.

Programs

  • Mathematica
    Table[Length[Select[Subsets[Subsets[Range[n],{1,2}], {n}],Length[Select[Tuples[#],UnsameQ@@#&]]==0&]],{n,0,5}]

Extensions

Terms a(7) and beyond from Andrew Howroyd, Jan 10 2024

A367769 Number of finite sets of nonempty non-singleton subsets of {1..n} contradicting a strict version of the axiom of choice.

Original entry on oeis.org

0, 0, 0, 1, 1490, 67027582, 144115188036455750, 1329227995784915872903806998967001298, 226156424291633194186662080095093570025917938800079226639565284090686126876
Offset: 0

Views

Author

Gus Wiseman, Dec 05 2023

Keywords

Comments

The axiom of choice says that, given any set of nonempty sets Y, it is possible to choose a set containing an element from each. The strict version requires this set to have the same cardinality as Y, meaning no element is chosen more than once.
Includes all set-systems with more edges than covered vertices, but this condition is not sufficient.

Examples

			The a(3) = 1 set-system is: {{1,2},{1,3},{2,3},{1,2,3}}.
		

Crossrefs

Set-systems without singletons are counted by A016031, covering A323816.
The complement is A367770, with singletons allowed A367902 (ranks A367906).
The version for simple graphs is A367867, covering A367868.
The version allowing singletons and empty edges is A367901.
The version allowing singletons is A367903, ranks A367907.
A000372 counts antichains, covering A006126, nonempty A014466.
A003465 counts covering set-systems, unlabeled A055621.
A058891 counts set-systems, unlabeled A000612.
A059201 counts covering T_0 set-systems.
A323818 counts covering connected set-systems.

Programs

  • Mathematica
    Table[Length[Select[Subsets[Select[Subsets[Range[n]], Length[#]>1&]], Select[Tuples[#], UnsameQ@@#&]=={}&]], {n,0,3}]

Formula

a(n) = 2^(2^n-n-1) - A367770(n) = A016031(n+1) - A367770(n). - Christian Sievers, Jul 28 2024

Extensions

a(6)-a(8) from Christian Sievers, Jul 28 2024

A367770 Number of sets of nonempty non-singleton subsets of {1..n} satisfying a strict version of the axiom of choice.

Original entry on oeis.org

1, 1, 2, 15, 558, 81282, 39400122, 61313343278, 309674769204452
Offset: 0

Views

Author

Gus Wiseman, Dec 05 2023

Keywords

Comments

The axiom of choice says that, given any set of nonempty sets Y, it is possible to choose a set containing an element from each. The strict version requires this set to have the same cardinality as Y, meaning no element is chosen more than once.
Excludes all set-systems with more edges than covered vertices, but this condition is not sufficient.

Examples

			The a(3) = 15 set-systems:
  {}
  {{1,2}}
  {{1,3}}
  {{2,3}}
  {{1,2,3}}
  {{1,2},{1,3}}
  {{1,2},{2,3}}
  {{1,2},{1,2,3}}
  {{1,3},{2,3}}
  {{1,3},{1,2,3}}
  {{2,3},{1,2,3}}
  {{1,2},{1,3},{2,3}}
  {{1,2},{1,3},{1,2,3}}
  {{1,2},{2,3},{1,2,3}}
  {{1,3},{2,3},{1,2,3}}
		

Crossrefs

Set-systems without singletons are counted by A016031, covering A323816.
The version for simple graphs is A133686, covering A367869.
The complement is counted by A367769.
The complement allowing singletons and empty sets is A367901.
Allowing singletons gives A367902, ranks A367906.
The complement allowing singletons is A367903, ranks A367907.
These set-systems have ranks A367906 /\ A326781.
A000372 counts antichains, covering A006126, nonempty A014466.
A003465 counts covering set-systems, unlabeled A055621.
A058891 counts set-systems, unlabeled A000612.
A323818 counts covering connected set-systems, unlabeled A323819.

Programs

  • Mathematica
    Table[Length[Select[Subsets[Select[Subsets[Range[n]], Length[#]>1&]], Select[Tuples[#], UnsameQ@@#&]!={}&]],{n,0,3}]

Extensions

a(6)-a(8) from Christian Sievers, Jul 28 2024

A323819 Number of non-isomorphic connected set-systems covering n vertices.

Original entry on oeis.org

1, 1, 3, 30, 1912, 18662590, 12813206131799685, 33758171486592987138461432668177794, 1435913805026242504952006868879460423767388571975632398910903473535427583
Offset: 0

Views

Author

Gus Wiseman, Jan 30 2019

Keywords

Examples

			Non-isomorphic representatives of the a(3) = 30 set-systems:
  {{1,2,3}}
  {{3},{1,2,3}}
  {{1,3},{2,3}}
  {{2,3},{1,2,3}}
  {{2},{3},{1,2,3}}
  {{2},{1,3},{2,3}}
  {{3},{1,3},{2,3}}
  {{1},{2,3},{1,2,3}}
  {{3},{2,3},{1,2,3}}
  {{1,2},{1,3},{2,3}}
  {{1,3},{2,3},{1,2,3}}
  {{1},{2},{3},{1,2,3}}
  {{1},{2},{1,3},{2,3}}
  {{2},{3},{1,3},{2,3}}
  {{1},{3},{2,3},{1,2,3}}
  {{2},{3},{2,3},{1,2,3}}
  {{3},{1,2},{1,3},{2,3}}
  {{2},{1,3},{2,3},{1,2,3}}
  {{3},{1,3},{2,3},{1,2,3}}
  {{1},{2},{3},{1,3},{2,3}}
  {{1,2},{1,3},{2,3},{1,2,3}}
  {{1},{2},{3},{2,3},{1,2,3}}
  {{2},{3},{1,2},{1,3},{2,3}}
  {{1},{2},{1,3},{2,3},{1,2,3}}
  {{2},{3},{1,3},{2,3},{1,2,3}}
  {{3},{1,2},{1,3},{2,3},{1,2,3}}
  {{1},{2},{3},{1,2},{1,3},{2,3}}
  {{1},{2},{3},{1,3},{2,3},{1,2,3}}
  {{2},{3},{1,2},{1,3},{2,3},{1,2,3}}
  {{1},{2},{3},{1,2},{1,3},{2,3},{1,2,3}}
		

Crossrefs

Cf. A000295, A003465, A016031, A048143, A055621 (not necessarily connected), A293510, A317795, A323817, A323818 (labeled case).

Programs

  • Mathematica
    nmax = 12;
    b[n_, i_, l_] := b[n, i, l] = If[n == 0, 2^Function[w, Sum[Product[2^GCD[t, l[[h]]], {h, 1, Length[l]}], {t, 1, w}]/w][If[l == {}, 1, LCM @@ l]], If[i < 1, 0, Sum[b[n - i*j, i - 1, Join[l, Table[i, {j}]]]/j!/i^j, {j, 0, n/i}]]];
    f[n_] := If[n == 0, 2, b[n, n, {}] - b[n - 1, n - 1, {}]]/2;
    A055621 = f /@ Range[0, nmax];
    mob[m_, n_] := If[Mod[m, n] == 0, MoebiusMu[m/n], 0];
    EULERi[b_] := Module[{a, c, i, d}, c = {}; For[i = 1, i <= Length[b], i++, c = Append[c, i*b[[i]] - Sum[c[[d]]*b[[i - d]], {d, 1, i - 1}]]]; a = {}; For[i = 1, i <= Length[b], i++, a = Append[a, (1/i)*Sum[mob[i, d]*c[[d]], {d, 1, i}]]]; Return[a]];
    Join[{1}, EULERi[A055621 // Rest]] (* Jean-François Alcover, Jan 31 2020, after Alois P. Heinz in A055621 *)

Formula

Inverse Euler transform of A055621.

A368835 Number of unlabeled n-edge loop-graphs with at most n vertices such that it is not possible to choose a different vertex from each edge.

Original entry on oeis.org

0, 0, 0, 1, 5, 23, 98, 394, 1560, 6181, 24655, 99701, 410513, 1725725, 7423757, 32729320, 148027044, 687188969, 3275077017, 16022239940, 80431483586, 414094461610, 2185052929580, 11808696690600, 65312048149993, 369408792148714, 2135111662435080, 12601466371445619
Offset: 0

Views

Author

Gus Wiseman, Jan 13 2024

Keywords

Examples

			Non-isomorphic representatives of the a(4) = 5 loop-graphs:
  {{1,1},{2,2},{3,3},{1,2}}
  {{1,1},{2,2},{1,2},{1,3}}
  {{1,1},{2,2},{1,2},{3,4}}
  {{1,1},{2,2},{1,3},{2,3}}
  {{1,1},{1,2},{1,3},{2,3}}
		

Crossrefs

The case of a unique choice is A000081, row sums of A106234.
The labeled version is A368596, covering A368730.
Without the choice condition we have A368598.
The complement is A368984, row sums of A368926.
A000085, A100861, A111924 count set partitions into singletons or pairs.
A006125 counts graphs, unlabeled A000088.
A006129 counts covering graphs, unlabeled A002494.
A014068 counts loop-graphs, unlabeled A000666.
A058891 counts set-systems (without singletons A016031), unlabeled A000612.
A322661 counts labeled covering half-loop-graphs, connected A062740.

Programs

  • Mathematica
    Table[Length[Union[sysnorm /@ Select[Subsets[Subsets[Range[n],{1,2}],{n}],Select[Tuples[#], UnsameQ@@#&]=={}&]]],{n,0,5}]

Formula

a(n) = A368598(n) - A368984(n). - Andrew Howroyd, Jan 14 2024

Extensions

a(8) onwards from Andrew Howroyd, Jan 14 2024

A330217 BII-numbers of achiral set-systems.

Original entry on oeis.org

0, 1, 2, 3, 4, 7, 8, 9, 10, 11, 16, 25, 32, 42, 52, 63, 64, 75, 116, 127, 128, 129, 130, 131, 136, 137, 138, 139, 256, 385, 512, 642, 772, 903, 1024, 1155, 1796, 1927, 2048, 2184, 2320, 2457, 2592, 2730, 2868, 3007, 4096, 4233, 6416, 6553, 8192, 8330
Offset: 1

Views

Author

Gus Wiseman, Dec 06 2019

Keywords

Comments

A set-system is a finite set of finite nonempty sets. It is achiral if it is not changed by any permutation of the vertices.
A binary index of n is any position of a 1 in its reversed binary expansion. The binary indices of n are row n of A048793. We define the set-system with BII-number n to be obtained by taking the binary indices of each binary index of n. Every set-system has a different BII-number. For example, 18 has reversed binary expansion (0,1,0,0,1), and since the binary indices of 2 and 5 are {2} and {1,3} respectively, the BII-number of {{2},{1,3}} is 18. Elements of a set-system are sometimes called edges.

Examples

			The sequence of all achiral set-systems together with their BII-numbers begins:
   1: {{1}}
   2: {{2}}
   3: {{1},{2}}
   4: {{1,2}}
   7: {{1},{2},{1,2}}
   8: {{3}}
   9: {{1},{3}}
  10: {{2},{3}}
  11: {{1},{2},{3}}
  16: {{1,3}}
  25: {{1},{3},{1,3}}
  32: {{2,3}}
  42: {{2},{3},{2,3}}
  52: {{1,2},{1,3},{2,3}}
  63: {{1},{2},{3},{1,2},{1,3},{2,3}}
  64: {{1,2,3}}
  75: {{1},{2},{3},{1,2,3}}
		

Crossrefs

These are numbers n such that A330231(n) = 1.
Achiral set-systems are counted by A083323.
MG-numbers of planted achiral trees are A214577.
Non-isomorphic achiral multiset partitions are A330223.
Achiral integer partitions are counted by A330224.
BII-numbers of fully chiral set-systems are A330226.
MM-numbers of achiral multisets of multisets are A330232.
Achiral factorizations are A330234.

Programs

  • Mathematica
    bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
    graprms[m_]:=Union[Table[Sort[Sort/@(m/.Rule@@@Table[{p[[i]],i},{i,Length[p]}])],{p,Permutations[Union@@m]}]];
    Select[Range[0,1000],Length[graprms[bpe/@bpe[#]]]==1&]

A330231 Number of distinct set-systems that can be obtained by permuting the vertices of the set-system with BII-number n.

Original entry on oeis.org

1, 1, 1, 1, 1, 2, 2, 1, 1, 1, 1, 1, 3, 6, 6, 3, 1, 2, 3, 6, 3, 3, 6, 6, 2, 1, 6, 3, 6, 6, 3, 3, 1, 3, 2, 6, 3, 6, 3, 6, 2, 6, 1, 3, 6, 3, 6, 3, 3, 6, 6, 3, 1, 3, 3, 3, 3, 6, 6, 3, 3, 3, 3, 1, 1, 3, 3, 3, 3, 6, 6, 3, 3, 3, 3, 1, 3, 6, 6, 3, 3, 6, 3, 6, 3, 3, 6
Offset: 0

Views

Author

Gus Wiseman, Dec 09 2019

Keywords

Comments

A set-system is a finite set of finite nonempty sets.
A binary index of n is any position of a 1 in its reversed binary expansion. The binary indices of n are row n of A048793. We define the set-system with BII-number n to be obtained by taking the binary indices of each binary index of n. Every set-system has a different BII-number. For example, 18 has reversed binary expansion (0,1,0,0,1), and since the binary indices of 2 and 5 are {2} and {1,3} respectively, the BII-number of {{2},{1,3}} is 18. Elements of a set-system are sometimes called edges.

Examples

			30 is the MM-number of {{2},{3},{1,2},{1,3}}, with vertex permutations
  {{1},{2},{1,3},{2,3}}
  {{1},{3},{1,2},{2,3}}
  {{2},{3},{1,2},{1,3}}
so a(30) = 3.
		

Crossrefs

Positions of 1's are A330217.
Positions of first appearances are A330218.
The version for MM-numbers is A330098.
Achiral set-systems are counted by A083323.
BII-numbers of fully chiral set-systems are A330226.

Programs

  • Mathematica
    bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
    graprms[m_]:=Union[Table[Sort[Sort/@(m/.Rule@@@Table[{p[[i]],i},{i,Length[p]}])],{p,Permutations[Union@@m]}]];
    Table[Length[graprms[bpe/@bpe[n]]],{n,0,100}]

Formula

a(n) is a divisor of A326702(n)!.

A330226 BII-numbers of fully chiral set-systems.

Original entry on oeis.org

0, 1, 2, 5, 6, 8, 13, 14, 17, 19, 22, 23, 24, 26, 28, 29, 34, 35, 37, 39, 40, 41, 44, 46, 49, 50, 57, 58, 69, 70, 77, 78, 81, 83, 86, 87, 88, 90, 92, 93, 98, 99, 101, 103, 104, 105, 108, 110, 113, 114, 121, 122, 128, 133, 134, 145, 150, 151, 152, 156, 157, 162
Offset: 1

Views

Author

Gus Wiseman, Dec 08 2019

Keywords

Comments

A set-system is a finite set of finite nonempty sets. It is fully chiral if every permutation of the vertices gives a different representative.
A binary index of n is any position of a 1 in its reversed binary expansion. The binary indices of n are row n of A048793. We define the set-system with BII-number n to be obtained by taking the binary indices of each binary index of n. Every set-system has a different BII-number. For example, 18 has reversed binary expansion (0,1,0,0,1), and since the binary indices of 2 and 5 are {2} and {1,3} respectively, the BII-number of {{2},{1,3}} is 18. Elements of a set-system are sometimes called edges.

Examples

			The sequence of all fully chiral set-systems together with their BII-numbers begins:
   0: {}
   1: {{1}}
   2: {{2}}
   5: {{1},{1,2}}
   6: {{2},{1,2}}
   8: {{3}}
  13: {{1},{1,2},{3}}
  14: {{2},{1,2},{3}}
  17: {{1},{1,3}}
  19: {{1},{2},{1,3}}
  22: {{2},{1,2},{1,3}}
  23: {{1},{2},{1,2},{1,3}}
  24: {{3},{1,3}}
  26: {{2},{3},{1,3}}
  28: {{3},{1,2},{1,3}}
  29: {{1},{3},{1,2},{1,3}}
  34: {{2},{2,3}}
  35: {{1},{2},{2,3}}
  37: {{1},{1,2},{2,3}}
  39: {{1},{2},{1,2},{2,3}}
For example, 28 is in the sequence because all six permutations give different representatives, namely:
  {{1},{1,2},{2,3}}
  {{1},{1,3},{2,3}}
  {{2},{1,2},{1,3}}
  {{2},{1,3},{2,3}}
  {{3},{1,2},{1,3}}
  {{3},{1,2},{2,3}}
		

Crossrefs

A subset of A326947.
Achiral set-systems are counted by A083323.
BII-numbers of achiral set-systems are A330217.
Non-isomorphic, fully chiral multiset partitions are A330227.
Fully chiral partitions are counted by A330228.
Fully chiral covering set-systems are A330229.
Fully chiral factorizations are A330235.
MM-numbers of fully chiral multisets of multisets are A330236.

Programs

  • Mathematica
    bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
    graprms[m_]:=Union[Table[Sort[Sort/@(m/.Rule@@@Table[{p[[i]],i},{i,Length[p]}])],{p,Permutations[Union@@m]}]];
    Select[Range[0,100],Length[graprms[bpe/@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

Views

Author

Gus Wiseman, Jan 21 2024

Keywords

Examples

			The term a(5) = 30 counts all permutations of the graph {{1,2},{1,3},{1,4},{2,3},{2,4}}.
		

Crossrefs

The version without the choice condition is A116508, covering A367863.
The complement is A137916.
Allowing any number of edges gives A367867, covering A367868.
The version with loops is A368596, covering A368730, unlabeled A368835.
For set-systems we have A368600, for any number of edges A367903.
The covering case is A369144.
A006125 counts simple graphs, unlabeled A000088.
A058891 counts set-systems (without singletons A016031), unlabeled A000612.

Programs

  • Mathematica
    Table[Length[Select[Subsets[Subsets[Range[n],{2}], {n}],Length[Select[Tuples[#],UnsameQ@@#&]]==0&]],{n,0,5}]

Formula

a(n) = A116508(n) - A137916(n). - Andrew Howroyd, Feb 02 2024

Extensions

a(8) onwards from Andrew Howroyd, Feb 02 2024
Previous Showing 11-20 of 53 results. Next