A058891 -id:A058891 - cp's OEIS frontend

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

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

Offset: 1

Richard Stanley, Mar 15 2020

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)

			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).

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

Thomas Selig, The stochastic sandpile model on complete graphs, arXiv:2209.07301 [math.PR], 2022.

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.
Cf. A000169, A000666, A057500, A062740, A129271, A133686, A367863, A367903, A369146, A369199.

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

A367912 Number of multisets that can be obtained by choosing a binary index of each binary index of n.

Original entry on oeis.org

1, 1, 1, 1, 2, 2, 2, 2, 1, 1, 1, 1, 2, 2, 2, 2, 2, 2, 2, 2, 4, 4, 4, 4, 2, 2, 2, 2, 4, 4, 4, 4, 2, 2, 2, 2, 4, 4, 4, 4, 2, 2, 2, 2, 4, 4, 4, 4, 4, 4, 4, 4, 7, 7, 7, 7, 4, 4, 4, 4, 7, 7, 7, 7, 3, 3, 3, 3, 5, 5, 5, 5, 3, 3, 3, 3, 5, 5, 5, 5, 5, 5, 5, 5, 8, 8, 8, 8

Offset: 0

Gus Wiseman, Dec 12 2023

nonn

A binary index of n (row n of A048793) is any position of a 1 in its reversed binary expansion. For example, 18 has reversed binary expansion (0,1,0,0,1) and binary indices {2,5}.

The run-lengths are all 4 or 8.

			The binary indices of binary indices of 52 are {{1,2},{1,3},{2,3}}, with multiset choices {1,1,2}, {1,1,3}, {1,2,2}, {1,2,3}, {1,3,3}, {2,2,3}, {2,3,3}, so a(52) = 7.

Positions of ones are A253317.
The version for multisets and divisors is A355733, for sequences A355731.
The version for multisets is A355744, for sequences A355741.
For a sequence of distinct choices we have A367905, firsts A367910.
Positions of first appearances are A367913, sorted A367915.
Choosing a sequence instead of multiset gives A368109, firsts A368111.
Choosing a set instead of multiset gives A368183, firsts A368184.
A048793 lists binary indices, length A000120, sum A029931.
A058891 counts set-systems, covering A003465, connected A323818.
A070939 gives length of binary expansion.
A096111 gives product of binary indices.
Cf. A072639, A309326, A326031, A326702, A326753, A355735, A355739, A355740, A355745, A367771, A367906.

bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n, 2]],1];
Table[Length[Union[Sort/@Tuples[bpe/@bpe[n]]]], {n,0,100}]

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

Gus Wiseman, Jan 04 2024

nonn

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.

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

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

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.
Cf. A000272, A000666, A057500, A129271, A133686, A367769, A367863, A367867, A367869, A367901, A367907, A368097, A369199.

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

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

A053287 Euler totient function (A000010) of 2^n - 1.

Original entry on oeis.org

1, 2, 6, 8, 30, 36, 126, 128, 432, 600, 1936, 1728, 8190, 10584, 27000, 32768, 131070, 139968, 524286, 480000, 1778112, 2640704, 8210080, 6635520, 32400000, 44717400, 113467392, 132765696, 533826432, 534600000, 2147483646, 2147483648, 6963536448, 11452896600

Offset: 1

Labos Elemer, Mar 03 2000

Number of elements of multiplicative order 2^n - 1 in GF(2^n).
n divides a(n) because 2^a(n) mod 2^n - 1 is 1, 2^n mod 2^n - 1 is 1, so n | a(n). A011260(n) = a(n)/n. - Jinyuan Wang, Oct 31 2018
The set {a(n)/(2^n-1)} is dense in [0, 1] (Luca, 2003). - Amiram Eldar, Mar 04 2021

Amiram Eldar, Table of n, a(n) for n = 1..1206 (terms 1..100 from T. D. Noe, terms 101..250 from Jianing Song, terms 251..400 from Michel Marcus)
Florian Luca, On the sum of divisors of the Mersenne numbers, Mathematica Slovaca, Vol. 53. No. 5 (2003), pp. 457-466.

Cf. A000010, A000225, A051953, A057764, A011260.

List([1..35],n->Phi(2^n-1)); # Muniru A Asiru, Oct 31 2018

[EulerPhi(2^n-1): n in [1..40]]; // Vincenzo Librandi, Jul 15 2015

a := n -> numtheory:-phi(2^n - 1): seq(a(n), n=1..32); # Zerinvary Lajos, Oct 05 2007

EulerPhi[2^Range[25] - 1] (* Giovanni Resta, Sep 06 2019 *)

a(n) = eulerphi(2^n-1) \\ Michael B. Porter, Oct 06 2009

a(n) = A000010(A000225(n)).
a(A000079(n-1)) = A058891(n).
a(n) = A000010(2^n-1) or also a(n) = A062401(2^(n-1)) = phi(sigma(2^(n-1))). - Labos Elemer, Jul 19 2004

A191363 Numbers m such that sigma(m) = 2*m - 2.

Original entry on oeis.org

3, 10, 136, 32896, 2147516416

Offset: 1

Luis H. Gallardo, May 31 2011

Let k be a nonnegative integer such that F(k) = 2^(2^k) + 1 is prime (a Fermat prime A019434), then m = (F(k)-1)*F(k)/2 appears in the sequence.
Conjecture: a(1)=3 is the only odd term of the sequence.
Conjecture: All terms of the sequence are of the above form derived from Fermat primes.
The sequence has 5 (known) terms in common with sequences A055708 (k-1 | sigma(k)) and A056006 (k | sigma(k)+2) since {a(n)} is a subsequence of both.
The first five terms of the sequence are respectively congruent to 3, 4, 4, 4, 4 modulo 6.
After a(5) there are no further terms < 8*10^9.
Up to m = 1312*10^8 there are no further terms in the class congruent to 4 modulo 6.
a(6) > 10^12. - Donovan Johnson, Dec 08 2011
a(6) > 10^13. - Giovanni Resta, Mar 29 2013
a(6) > 10^18. - Hiroaki Yamanouchi, Aug 21 2018
See A125246 for numbers with deficiency 4, i.e., sigma(m) = 2*m - 4, and A141548 for numbers with deficiency 6. - M. F. Hasler, Jun 29 2016 and Jul 17 2016
A term m of this sequence multiplied by a prime p not dividing it is abundant if and only if p < m-1. For each of a(2..5) there is such a prime near this limit (here: 7, 127, 30197, 2147483647) such that a(k)*p is a primitive weird number, cf. A002975. - M. F. Hasler, Jul 19 2016
Any term m of this sequence can be combined with any term j of A088831 to satisfy the property (sigma(m) + sigma(j))/(m+j) = 2, which is a necessary (but not sufficient) condition for two numbers to be amicable. [Proof: If m = a(n) and j = A088831(k), then sigma(m) = 2m-2 and sigma(j) = 2j+2. Thus, sigma(m) + sigma(j) = (2m-2) + (2j+2) = 2m + 2j = 2(m+j), which implies that (sigma(m) + sigma(j))/(m+j) = 2(m+j)/(m+j) = 2.] - Timothy L. Tiffin, Sep 13 2016
At least the first five terms are a subsequence of A295296 and of A295298. - David A. Corneth, Antti Karttunen, Nov 26 2017
Conjectures: all terms are second hexagonal numbers (A014105). There are no terms with middle divisors. - Omar E. Pol, Oct 31 2018
The symmetric representation of sigma(m) of each of the 5 numbers in the sequence consists of 2 parts of width 1 that meet at the diagonal (subsequence of A246955). - Hartmut F. W. Hoft, Mar 04 2022
The first five terms coincide with the sum of two successive terms of A058891. The same is not true for a(6), if such exists. - Omar E. Pol, Mar 03 2023

			For n=1, a(1) = 3 since sigma(3) = 4 = 2*3 - 2.

Gianluca Amato, Maximilian Hasler, Giuseppe Melfi, and Maurizio Parton, Primitive weird numbers having more than three distinct prime factors, Riv. Mat. Univ. Parma, 7(1), (2016), 153-163, arXiv:1803.00324 [math.NT], 2018.

Cf. A000203, A002975, A056006, A055708, A088831 (abundance 2).
Cf. A033880, A125246 (deficiency 4), A141548 (deficiency 6), A125247 (deficiency 8), A125248 (deficiency 16).
Cf. A295296, A295298.
Cf. A014105, A237593, A246955.
Cf. A058891.

[n: n in [1..9*10^6] | (SumOfDivisors(n)-2*n) eq -2]; // Vincenzo Librandi, Sep 15 2016

ok[n_] := DivisorSigma[1,n] == 2*n-2; Select[ Table[ 2^(2^k-1) * (2^(2^k)+1), {k, 0, 5}], ok] (* Jean-François Alcover, Sep 14 2011, after conjecture *)
Select[Range[10^6], DivisorSigma[1, #] == 2 # - 2 &] (* Michael De Vlieger, Sep 14 2016 *)

zp(a,b) = {my(c,c1,s); c = a; c1 = 2*c-2;
while(c

a(k)=(2^2^k+1)<<(2^k-1) \\ For k<6. - M. F. Hasler, Jul 27 2016

a(n) = (A019434(n)-1)*A019434(n)/2 for all terms known so far. - M. F. Hasler, Jun 29 2016

A319190 Number of regular hypergraphs spanning n vertices.

Original entry on oeis.org

1, 1, 3, 19, 879, 5280907, 1069418570520767

Offset: 0

Gus Wiseman, Dec 17 2018

We define a hypergraph to be any finite set of finite nonempty sets. A hypergraph is regular if all vertices have the same degree. The span of a hypergraph is the union of its edges.

			The a(3) = 19 regular hypergraphs:
                 {{1,2,3}}
                {{1},{2,3}}
                {{2},{1,3}}
                {{3},{1,2}}
               {{1},{2},{3}}
            {{1},{2,3},{1,2,3}}
            {{2},{1,3},{1,2,3}}
            {{3},{1,2},{1,2,3}}
            {{1,2},{1,3},{2,3}}
           {{1},{2},{3},{1,2,3}}
           {{1},{2},{1,3},{2,3}}
           {{1},{3},{1,2},{2,3}}
           {{2},{3},{1,2},{1,3}}
        {{1,2},{1,3},{2,3},{1,2,3}}
       {{1},{2},{1,3},{2,3},{1,2,3}}
       {{1},{3},{1,2},{2,3},{1,2,3}}
       {{2},{3},{1,2},{1,3},{1,2,3}}
      {{1},{2},{3},{1,2},{1,3},{2,3}}
  {{1},{2},{3},{1,2},{1,3},{2,3},{1,2,3}}

Column sums of A188445.

Cf. A002829, A005176, A049311, A058891, A110100, A110101, A116539, A283877, A295193, A306017, A319189.

Table[Sum[SeriesCoefficient[Product[1+Times@@x/@s,{s,Subsets[Range[n],{1,n}]}],Sequence@@Table[{x[i],0,k},{i,n}]],{k,1,2^n}],{n,5}]

a(6) from Andrew Howroyd, Mar 12 2020

A326965 Number of set-systems on n vertices where every covered vertex is the unique common element of some subset of the edges.

Original entry on oeis.org

1, 2, 5, 46, 19181, 2010327182, 9219217424630040409, 170141181796805106025395618012972506978, 57896044618658097536026644159052312978532934306727333157337631572314050272137

Offset: 0

Gus Wiseman, Aug 10 2019

nonn

A set-system is a finite set of finite nonempty sets. The dual of a set-system has, for each vertex, one edge consisting of the indices (or positions) of the edges containing that vertex. For example, the dual of {{1,2},{2,3}} is {{1},{1,2},{2}}. An antichain is a set-system where no edge is a subset of any other. This sequence counts set-systems whose dual is a (strict) antichain, also called T_1 set-systems.

			The a(0) = 1 through a(2) = 5 set-systems:
  {}  {}     {}
      {{1}}  {{1}}
             {{2}}
             {{1},{2}}
             {{1},{2},{1,2}}

Set-systems are A058891.
T_0 set-systems are A326940.
The covering case is A326961.
The version with empty edges allowed is A326967.
Set-systems whose dual is a weak antichain are A326968.
The unlabeled version is A326972.
The BII_numbers of these set-systems are A326979.
Cf. A059052, A326951, A326966, A326970, A326971, A326976, A326977.

tmQ[eds_]:=Union@@Select[Intersection@@@Rest[Subsets[eds]],Length[#]==1&]==Union@@eds;
Table[Length[Select[Subsets[Subsets[Range[n],{1,n}]],tmQ]],{n,0,3}]

Binomial transform of A326961.

a(n) = A326967(n)/2.

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

Gus Wiseman, Dec 05 2023

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.

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

Wikipedia, Axiom of choice.

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.
Cf. A007716, A092918, A102896, A283877, A306445, A326031, A355739, A355740, A355741, A367904, A367905.

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

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

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

A370637 Number of subsets of {1..n} such that it is not possible to choose a different binary index of each element.

Original entry on oeis.org

0, 0, 0, 1, 2, 8, 25, 67, 134, 309, 709, 1579, 3420, 7240, 15077, 30997, 61994, 125364, 253712, 512411, 1032453, 2075737, 4166469, 8352851, 16731873, 33497422, 67038086, 134130344, 268328977, 536741608, 1073586022, 2147296425, 4294592850, 8589346462, 17179033384

Offset: 0

Gus Wiseman, Mar 08 2024

nonn

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.

			The a(0) = 0 through a(5) = 8 subsets:
  .  .  .  {1,2,3}  {1,2,3}    {1,2,3}
                    {1,2,3,4}  {1,4,5}
                               {1,2,3,4}
                               {1,2,3,5}
                               {1,2,4,5}
                               {1,3,4,5}
                               {2,3,4,5}
                               {1,2,3,4,5}

Wikipedia, Axiom of choice.
Gus Wiseman, Statistics, classes, and transformations of standard compositions

Simple graphs not of this type are counted by A133686, covering A367869.
Unlabeled graphs of this type are counted by A140637, complement A134964.
Simple graphs of this type are counted by A367867, covering A367868.
Set systems not of this type are counted by A367902, ranks A367906.
Set systems of this type are counted by A367903, ranks A367907.
Set systems uniquely not of this type are counted by A367904, ranks A367908.
Unlabeled multiset partitions of this type are A368097, complement A368098.
A version for MM-numbers of multisets is A355529, complement A368100.
Factorizations are counted by A368413/A370813, complement A368414/A370814.
The complement for prime indices is A370582, differences A370586.
For prime indices we have A370583, differences A370587.
First differences are A370589.
The complement is counted by A370636, differences A370639.
The case without ones is A370643.
The version for a unique choice is A370638, maxima A370640, diffs A370641.
The minimal case is A370642, without ones A370644.
A048793 lists binary indices, A000120 length, A272020 reverse, A029931 sum.
A058891 counts set-systems, A003465 covering, A323818 connected.
A070939 gives length of binary expansion.
A096111 gives product of binary indices.
A326031 gives weight of the set-system with BII-number n.
Cf. A000612, A072639, A355739, A355740, A367772, A367905, A367909, A367912, A368094, A368095, A368109.

bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
Table[Length[Select[Subsets[Range[n]], Select[Tuples[bpe/@#],UnsameQ@@#&]=={}&]],{n,0,10}]

a(2^n - 1) = A367903(n).

Partial sums of A370589.

a(21)-a(34) from Alois P. Heinz, Mar 09 2024

A020491 Numbers k such that sigma_0(k) divides phi(k).

Original entry on oeis.org

1, 3, 5, 7, 8, 9, 10, 11, 13, 15, 17, 18, 19, 21, 23, 24, 26, 28, 29, 30, 31, 33, 34, 35, 37, 39, 40, 41, 43, 45, 47, 49, 51, 52, 53, 55, 56, 57, 58, 59, 61, 63, 65, 67, 69, 70, 71, 72, 73, 74, 76, 77, 78, 79, 82, 83, 84, 85, 87, 88, 89, 90, 91, 93, 95, 97, 98, 99, 101, 102, 103, 104

Offset: 1

David W. Wilson

nonn

In other words, numbers k such that d(k) divides phi(k).
From Enrique Pérez Herrero, Aug 11 2010: (Start)
sigma_0(k) divides phi(k) when:
k is an odd prime: A065091;
k is an odd squarefree number: A056911;
k = 2^m, where m <> 1 is a Mersenne number (A000225).
If d divides (p-1), with p prime, then p^(d-1) is in this sequence, as are p^(p-1), p^(p-2) and p^(-1+p^n).
(End)
phi(n) and d(n) are multiplicative functions, so if m and n are coprime and both of them are in this sequence then m*n is also in this sequence. - Enrique Pérez Herrero, Sep 05 2010
From Bernard Schott, Aug 14 2020: (Start)
The corresponding quotients are in A289585.
About the 3rd case of Enrique Pérez Herrero's comment: if k = 2^M_m, where M_m = 2^m - 1 is a Mersenne number >= 3 (A000225), then the corresponding quotient phi(k)/d(k) is the integer 2^(2^m-m-2) = A076688(m); hence, these numbers k, A058891 \ {2}, form a subsequence. (End)

Enrique Pérez Herrero, Table of n, a(n) for n = 1..5000
Psychedelic Geometry Blogspot, Fermat and Mersenne Numbers Conjecture-(2)

Cf. A000005, A000010.
Complement of A015733. [Enrique Pérez Herrero, Aug 11 2010]
Cf. A058891, A076688, A289585.

Select[ Range[ 105 ], IntegerQ[ EulerPhi[ # ]/DivisorSigma[ 0, # ] ]& ]

isok(k) = !(eulerphi(k) % numdiv(k)); \\ Michel Marcus, Aug 10 2020

cp's OEIS Frontend

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

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Formula

A367912 Number of multisets that can be obtained by choosing a binary index of each binary index of n.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

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.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Extensions

A053287 Euler totient function (A000010) of 2^n - 1.

Views

Author

Keywords

Comments

Links

Crossrefs

Programs

GAP

Magma

Maple

Mathematica

PARI

Formula

A191363 Numbers m such that sigma(m) = 2*m - 2.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Magma

Mathematica

PARI

PARI

Formula

A319190 Number of regular hypergraphs spanning n vertices.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

Extensions

A326965 Number of set-systems on n vertices where every covered vertex is the unique common element of some subset of the edges.

Views

Author

Keywords

Comments

Examples

Crossrefs

Programs

Mathematica

Formula

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