A326031 -id:A326031 - cp's OEIS frontend

A367908 Numbers n such that there is only one way to choose a different binary index of each binary index of n.

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, 56, 67, 69, 70, 73, 74, 81, 88, 98, 104, 128, 129, 130, 131, 133, 134, 136, 137, 138, 139, 141, 142, 145, 147, 149, 150, 152, 154, 156, 162, 163, 165, 166, 168

Offset: 1

Gus Wiseman, Dec 11 2023

Also BII-numbers of set-systems (sets of nonempty sets) satisfying a strict version of the axiom of choice in exactly one way.
A binary index of n (row n of A048793) is any position of a 1 in its reversed binary expansion. A set-system is a finite set of finite nonempty sets. We define the set-system with BII-number n to be obtained by taking the binary indices of each binary index of n. Every finite set of finite nonempty sets has a different BII-number. For example, 18 has reversed binary digits (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.
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 set-system {{1},{1,2},{1,3}} with BII-number 21 satisfies the axiom in exactly one way, namely (1,2,3), so 21 is in the sequence.
The terms together with the corresponding set-systems begin:
   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}}

John Tyler Rascoe, Table of n, a(n) for n = 1..2000
Wikipedia, Axiom of choice.

These set-systems are counted by A367904.
Positions of 1's in A367905, firsts A367910, sorted firsts A367911.
If there is at least one choice we get A367906, counted by A367902.
If there are no choices we get A367907, counted by A367903.
If there are multiple choices we get A367909, counted by A367772.
The version for MM-numbers of multiset partitions is A368101.
A048793 lists binary indices, length A000120, reverse A272020, sum A029931.
A058891 counts set-systems, covering A003465, connected A323818.
A059201 counts covering T_0 set-systems.
A070939 gives length of binary expansion.
A096111 gives product of binary indices.
A326031 gives weight of the set-system with BII-number n.
A368098 counts unlabeled multiset partitions for axiom, complement A368097.
Cf. A000612, A059519, A309326, A326675, A326702, A326753, A326872, A355529, A367902, A367912.
BII-numbers: A309314 (hyperforests), A326701 (set partitions), A326703 (chains), A326704 (antichains), A326749 (connected), A326750 (clutters), A326751 (blobs), A326752 (hypertrees), A326754 (covers), A326783 (uniform), A326784 (regular), A326788 (simple), A330217 (achiral).

bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
Select[Range[100], Length[Select[Tuples[bpe/@bpe[#]], UnsameQ@@#&]]==1&]

from itertools import count, islice, product
def bin_i(n): #binary indices
    return([(i+1) for i, x in enumerate(bin(n)[2:][::-1]) if x =='1'])
def a_gen(): #generator of terms
    for n in count(1):
        p = list(product(*[bin_i(k) for k in bin_i(n)]))
        x,c = len(p),0
        for j in range(x):
            if len(set(p[j])) == len(p[j]): c += 1
            if j+1 == x and c == 1: yield(n)
A367908_list = list(islice(a_gen(), 100)) # John Tyler Rascoe, Feb 10 2024

A367907 U A367908 U A367909 = A000027.

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

Original entry on oeis.org

1, 2, 4, 7, 14, 24, 39, 61, 122, 203, 315, 469, 676, 952, 1307, 1771, 3542, 5708, 8432, 11877, 16123, 21415, 27835, 35757, 45343, 57010, 70778, 87384, 106479, 129304, 155802, 187223, 374446, 588130, 835800, 1124981, 1456282, 1841361, 2281772, 2791896, 3367162

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) = 1 through a(4) = 14 subsets:
  {}  {}   {}     {}     {}
      {1}  {1}    {1}    {1}
           {2}    {2}    {2}
           {1,2}  {3}    {3}
                  {1,2}  {4}
                  {1,3}  {1,2}
                  {2,3}  {1,3}
                         {1,4}
                         {2,3}
                         {2,4}
                         {3,4}
                         {1,2,4}
                         {1,3,4}
                         {2,3,4}

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

Simple graphs of this type are counted by A133686, covering A367869.
Unlabeled graphs of this type are counted by A134964, complement A140637.
Simple graphs not of this type are counted by A367867, covering A367868.
Set systems of this type are counted by A367902, ranks A367906.
Set systems not of this type are counted by A367903, ranks A367907.
Set systems uniquely of this type are counted by A367904, ranks A367908.
Unlabeled multiset partitions of this type are A368098, complement A368097.
A version for MM-numbers of multisets is A368100, complement A355529.
Factorizations are counted by A368414/A370814, complement A368413/A370813.
For prime indices we have A370582, differences A370586.
The complement for prime indices is A370583, differences A370587.
The complement is A370637, differences A370589, without ones A370643.
The case of a unique choice is A370638, maxima A370640, differences A370641.
First differences are A370639.
The minimal case of the complement 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, A326702, A355739, A355740, A367772, A367905, A367909, A367912, 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) = A367902(n).

Partial sums of A370639.

a(19)-a(40) from Alois P. Heinz, Mar 09 2024

A326750 BII-numbers of clutters (connected antichains of nonempty sets).

Original entry on oeis.org

0, 1, 2, 4, 8, 16, 20, 32, 36, 48, 52, 64, 128, 256, 260, 272, 276, 292, 304, 308, 320, 512, 516, 532, 544, 548, 560, 564, 576, 768, 772, 784, 788, 800, 804, 816, 820, 832, 1024, 1040, 1056, 1072, 1088, 2048, 2064, 2068, 2080, 2084, 2096, 2100, 2112, 2304

Offset: 1

Gus Wiseman, Jul 23 2019

A binary index of n is any position of a 1 in its reversed binary expansion. We define the set-system with BII-number n to be obtained by taking the binary indices of each binary index of n. Every finite set of finite nonempty sets 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. In an antichain, no edge is a subset or superset of any other edge.

			The sequence of all clutters together with their BII-numbers begins:
    0: {}
    1: {{1}}
    2: {{2}}
    4: {{1,2}}
    8: {{3}}
   16: {{1,3}}
   20: {{1,2},{1,3}}
   32: {{2,3}}
   36: {{1,2},{2,3}}
   48: {{1,3},{2,3}}
   52: {{1,2},{1,3},{2,3}}
   64: {{1,2,3}}
  128: {{4}}
  256: {{1,4}}
  260: {{1,2},{1,4}}
  272: {{1,3},{1,4}}
  276: {{1,2},{1,3},{1,4}}
  292: {{1,2},{2,3},{1,4}}
  304: {{1,3},{2,3},{1,4}}
  308: {{1,2},{1,3},{2,3},{1,4}}
  320: {{1,2,3},{1,4}}

John Tyler Rascoe, Table of n, a(n) for n = 1..6834
John Tyler Rascoe, Python program.

The number of clutters spanning n vertices is A048143(n).
Cf. A000120, A001187, A048793, A070939, A072639, A304986, A326031, A326702, A326753.
Other BII-numbers: A309314 (hyperforests), A326701 (set partitions), A326703 (chains), A326704 (antichains), A326749 (connected), A326751 (blobs), A326752 (hypertrees), A326754 (covers).

bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
csm[s_]:=With[{c=Select[Tuples[Range[Length[s]],2],And[OrderedQ[#],UnsameQ@@#,Length[Intersection@@s[[#]]]>0]&]},If[c=={},s,csm[Sort[Append[Delete[s,List/@c[[1]]],Union@@s[[c[[1]]]]]]]]];
stableQ[u_,Q_]:=!Apply[Or,Outer[#1=!=#2&&Q[#1,#2]&,u,u,1],{0,1}];
Select[Range[0,1000],stableQ[bpe/@bpe[#],SubsetQ]&&Length[csm[bpe/@bpe[#]]]<=1&]

Python
```
# see linked program
```

Intersection of A326749 and A326704.

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}]

A326876 BII-numbers of finite topologies without their empty set.

Original entry on oeis.org

0, 1, 2, 4, 5, 6, 7, 8, 16, 17, 24, 25, 32, 34, 40, 42, 64, 65, 66, 68, 69, 70, 71, 72, 76, 80, 81, 82, 85, 87, 88, 89, 93, 96, 97, 98, 102, 103, 104, 106, 110, 120, 121, 122, 127, 128, 256, 257, 384, 385, 512, 514, 640, 642, 1024, 1025, 1026, 1028, 1029, 1030

Offset: 1

Gus Wiseman, Jul 29 2019

nonn

A finite topology is a finite set of finite sets closed under union and intersection and containing {} and the vertex set.
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 finite set of finite nonempty sets 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.
The enumeration of finite topologies by number of points is given by A000798.

			The sequence of all finite topologies without their empty set together with their BII-numbers begins:
   0: {}
   1: {{1}}
   2: {{2}}
   4: {{1,2}}
   5: {{1},{1,2}}
   6: {{2},{1,2}}
   7: {{1},{2},{1,2}}
   8: {{3}}
  16: {{1,3}}
  17: {{1},{1,3}}
  24: {{3},{1,3}}
  25: {{1},{3},{1,3}}
  32: {{2,3}}
  34: {{2},{2,3}}
  40: {{3},{2,3}}
  42: {{2},{3},{2,3}}
  64: {{1,2,3}}
  65: {{1},{1,2,3}}
  66: {{2},{1,2,3}}
  68: {{1,2},{1,2,3}}
  69: {{1},{1,2},{1,2,3}}

Wikipedia Topological space

Cf. A000798, A001930, A003465, A048793, A102894, A102896, A326031, A326872, A326875, A326878.

bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
Select[Range[0,100],SubsetQ[bpe/@bpe[#],Union[Union@@@Tuples[bpe/@bpe[#],2],DeleteCases[Intersection@@@Tuples[bpe/@bpe[#],2],{}]]]&]

A326703 BII-numbers of chains of nonempty sets.

Original entry on oeis.org

0, 1, 2, 4, 5, 6, 8, 16, 17, 24, 32, 34, 40, 64, 65, 66, 68, 69, 70, 72, 80, 81, 88, 96, 98, 104, 128, 256, 257, 384, 512, 514, 640, 1024, 1025, 1026, 1028, 1029, 1030, 1152, 1280, 1281, 1408, 1536, 1538, 1664, 2048, 2056, 2176, 4096, 4097, 4104, 4112, 4113, 4120

Offset: 1

Gus Wiseman, Jul 21 2019

A binary index of n is any position of a 1 in its reversed binary expansion. We define the set-system with BII-number n to be obtained by taking the binary indices of each binary index of n. Every finite set of finite nonempty sets 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, it follows that the BII-number of {{2},{1,3}} is 18.

Elements of a set-system are sometimes called edges. In a chain of sets, every edge is a subset or superset of every other edge.

			The sequence of all chains of nonempty sets together with their BII-numbers begins:
    0: {}
    1: {{1}}
    2: {{2}}
    4: {{1,2}}
    5: {{1},{1,2}}
    6: {{2},{1,2}}
    8: {{3}}
   16: {{1,3}}
   17: {{1},{1,3}}
   24: {{3},{1,3}}
   32: {{2,3}}
   34: {{2},{2,3}}
   40: {{3},{2,3}}
   64: {{1,2,3}}
   65: {{1},{1,2,3}}
   66: {{2},{1,2,3}}
   68: {{1,2},{1,2,3}}
   69: {{1},{1,2},{1,2,3}}
   70: {{2},{1,2},{1,2,3}}
   72: {{3},{1,2,3}}
   80: {{1,3},{1,2,3}}
   81: {{1},{1,3},{1,2,3}}
   88: {{3},{1,3},{1,2,3}}
   96: {{2,3},{1,2,3}}
   98: {{2},{2,3},{1,2,3}}

John Tyler Rascoe, Table of n, a(n) for n = 1..4860

Chains of nonempty sets are counted by A000629.
MM-numbers of chains of multisets are A318991.
BII-numbers of antichains of nonempty sets are A326704.
Cf. A000120, A014466, A029931, A035327, A048793, A070939, A326031, A326701, A326702.

bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
stableQ[u_,Q_]:=!Apply[Or,Outer[#1=!=#2&&Q[#1,#2]&,u,u,1],{0,1}];
Select[Range[0,100],stableQ[bpe/@bpe[#],!SubsetQ[#1,#2]&&!SubsetQ[#2,#1]&]&]

from itertools import chain, count, combinations, islice
from sympy.combinatorics.subsets import ksubsets
def subsets(x):
    for i in range(1,len(x)):
        for j in ksubsets(x,i):
            yield(list(j))
def a_gen(): #generator of terms
    yield 0
    for n in count(1):
        t,v,j = [[]],[],0
        for i in chain.from_iterable(combinations(range(1, n+1), r) for r in range(n+1)):
            if n in i:
                t[j].append([list(i)])
        while n:
            t.append([])
            for i in t[j]:
                if len(i[-1]) > 1:
                    for k in list(subsets(i[-1])):
                        t[j+1].append(i.copy()+[k])
            if len(t[j+1]) < 1:
                break
            j += 1
        for j in chain.from_iterable(t):
            v.append(sum(2**(sum(2**(m-1) for m in k)-1) for k in j))
        yield from sorted(v)
A326703_list = list(islice(a_gen(), 55)) # John Tyler Rascoe, Jun 07 2024

A326787 Non-spanning edge-connectivity of the set-system with BII-number n.

Original entry on oeis.org

0, 1, 1, 0, 1, 2, 2, 1, 1, 0, 0, 0, 0, 0, 0, 0, 1, 2, 0, 0, 2, 3, 1, 1, 2, 1, 0, 0, 1, 1, 1, 1, 1, 0, 2, 0, 2, 1, 3, 1, 2, 0, 1, 0, 1, 1, 1, 1, 2, 1, 1, 1, 3, 2, 2, 2, 3, 1, 1, 1, 2, 2, 2, 2, 1, 2, 2, 1, 2, 3, 3, 2, 2, 1, 1, 1, 1, 1, 1, 1, 2, 3, 1, 1, 3, 4, 2

Offset: 0

Gus Wiseman, Jul 25 2019

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. We define the set-system with BII-number n to be obtained by taking the binary indices of each binary index of n. Every finite set of finite nonempty sets 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. The non-spanning edge-connectivity of a graph is the minimum number of edges that must be removed to obtain a graph whose edge-set is disconnected or empty.

			Positions of first appearances of each integer together with the corresponding set-systems:
     0: {}
     1: {{1}}
     5: {{1},{1,2}}
    21: {{1},{1,2},{1,3}}
    85: {{1},{1,2},{1,3},{1,2,3}}
   341: {{1},{1,2},{1,3},{1,4},{1,2,3}}
  1365: {{1},{1,2},{1,3},{1,4},{1,2,3},{1,2,4}}
  5461: {{1},{1,2},{1,3},{1,4},{1,2,3},{1,2,4},{1,3,4}}

Wikipedia, k-edge-connected graph

Cf. A000120, A013922, A048793, A070939, A095983, A322336, A322338 (same for MM-numbers), A326031, A326749, A326753, A326786 (vertex-connectivity).

bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
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]]]]]]]]];
eConn[sys_]:=Length[sys]-Max@@Length/@Select[Subsets[sys],Length[csm[#]]!=1&];
Table[eConn[bpe/@bpe[n]],{n,0,100}]

A327041 a(n) is the number whose binary indices are the union of the set-system with BII-number n.

Original entry on oeis.org

0, 1, 2, 3, 3, 3, 3, 3, 4, 5, 6, 7, 7, 7, 7, 7, 5, 5, 7, 7, 7, 7, 7, 7, 5, 5, 7, 7, 7, 7, 7, 7, 6, 7, 6, 7, 7, 7, 7, 7, 6, 7, 6, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7, 7

Offset: 0

Gus Wiseman, Aug 19 2019

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

			22 is the BII-number of {{2},{1,2},{1,3}}, and 7 has binary indices {1,2,3}, so a(22) = 7.

Tilman Piesk, Illustration of the first 128 terms

Indices of records are A253317.

Cf. A000120, A001511, A029931, A035327, A048793, A070939, A072639, A326031, A326702, A326947, A261283 (XOR equivalent).

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

A327144 Spanning edge-connectivity of the set-system with BII-number n.

Original entry on oeis.org

0, 1, 1, 0, 1, 1, 1, 1, 1, 0, 0, 0, 0, 0, 0, 0, 1, 1, 0, 0, 1, 1, 1, 1, 1, 1, 0, 0, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 0, 1, 0, 1, 1, 1, 1, 1, 1, 1, 1, 2, 2, 2, 2, 1, 1, 1, 1, 2, 2, 2, 2, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 2, 2, 2

Offset: 0

Gus Wiseman, Aug 31 2019

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. 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 (finite set of finite nonempty sets) 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.

The spanning edge-connectivity of a set-system is the minimum number of edges that must be removed (without removing incident vertices) to obtain a set-system that is disconnected or covers fewer vertices.

			Positions of first appearances of each integer together with the corresponding set-systems:
     0: {}
     1: {{1}}
    52: {{1,2},{1,3},{2,3}}
   116: {{1,2},{1,3},{2,3},{1,2,3}}
  3952: {{1,3},{2,3},{1,4},{2,4},{3,4},{1,2,3},{1,2,4}}
  8052: {{1,2},{1,3},{2,3},{1,4},{2,4},{3,4},{1,2,3},{1,2,4},{1,3,4}}

Dominated by A327103.
The same for cut-connectivity is A326786.
The same for non-spanning edge-connectivity is A326787.
The same for vertex-connectivity is A327051.
Positions of 1's are A327111.
Positions of 2's are A327108.
Positions of first appearance of each integer are A327147.
Cf. A000120, A048793, A070939, A322338, A323818, A326031, A327041, A327069, A327076, A327130, A327145.

bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
csm[s_]:=With[{c=Select[Tuples[Range[Length[s]],2],And[OrderedQ[#],UnsameQ@@#,Length[Intersection@@s[[#]]]>0]&]},If[c=={},s,csm[Sort[Append[Delete[s,List/@c[[1]]],Union@@s[[c[[1]]]]]]]]];
spanEdgeConn[vts_,eds_]:=Length[eds]-Max@@Length/@Select[Subsets[eds],Union@@#!=vts||Length[csm[#]]!=1&];
Table[spanEdgeConn[Union@@bpe/@bpe[n],bpe/@bpe[n]],{n,0,100}]

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

cp's OEIS Frontend

A367908 Numbers n such that there is only one way to choose a different binary index of each binary index of n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Python

Formula

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

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Formula

Extensions

A326750 BII-numbers of clutters (connected antichains of nonempty sets).

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Python

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

A326876 BII-numbers of finite topologies without their empty set.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

A326703 BII-numbers of chains of nonempty sets.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

Python

A326787 Non-spanning edge-connectivity of the set-system with BII-number n.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

A327041 a(n) is the number whose binary indices are the union of the set-system with BII-number n.

Views

Author