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

A309314 BII-numbers of hyperforests.

Original entry on oeis.org

0, 1, 2, 3, 4, 8, 9, 10, 11, 12, 16, 18, 20, 32, 33, 36, 48, 64, 128, 129, 130, 131, 132, 136, 137, 138, 139, 140, 144, 146, 148, 160, 161, 164, 176, 192, 256, 258, 260, 264, 266, 268, 272, 274, 276, 288, 292, 304, 320, 512, 513, 516, 520, 521, 524, 528, 532
Offset: 1

Views

Author

Gus Wiseman, Jul 23 2019

Keywords

Comments

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. A hyperforest is an antichain of nonempty sets whose connected components are hypertrees, meaning they have density -1, where density is the sum of sizes of the edges minus the number of edges minus the number of vertices.

Examples

			The sequence of all hyperforests together with their BII-numbers begins:
    0: {}
    1: {{1}}
    2: {{2}}
    3: {{1},{2}}
    4: {{1,2}}
    8: {{3}}
    9: {{1},{3}}
   10: {{2},{3}}
   11: {{1},{2},{3}}
   12: {{1,2},{3}}
   16: {{1,3}}
   18: {{2},{1,3}}
   20: {{1,2},{1,3}}
   32: {{2,3}}
   33: {{1},{2,3}}
   36: {{1,2},{2,3}}
   48: {{1,3},{2,3}}
   64: {{1,2,3}}
  128: {{4}}
  129: {{1},{4}}
  130: {{2},{4}}
  131: {{1},{2},{4}}
  132: {{1,2},{4}}
  136: {{3},{4}}
  137: {{1},{3},{4}}
		

Crossrefs

Other BII-numbers: A326701 (set partitions), A326703 (chains), A326704 (antichains), A326749 (connected), A326750 (clutters), A326751 (blobs), A326752 (hypertrees), A326754 (covers).

A326788 BII-numbers of simple labeled graphs.

Original entry on oeis.org

0, 4, 16, 20, 32, 36, 48, 52, 256, 260, 272, 276, 288, 292, 304, 308, 512, 516, 528, 532, 544, 548, 560, 564, 768, 772, 784, 788, 800, 804, 816, 820, 2048, 2052, 2064, 2068, 2080, 2084, 2096, 2100, 2304, 2308, 2320, 2324, 2336, 2340, 2352, 2356, 2560, 2564
Offset: 1

Views

Author

Gus Wiseman, Jul 25 2019

Keywords

Comments

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.
Also numbers whose binary indices all belong to A018900.

Examples

			The sequence of all simple labeled graphs together with their BII-numbers begins:
    0: {}
    4: {{1,2}}
   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}}
  256: {{1,4}}
  260: {{1,2},{1,4}}
  272: {{1,3},{1,4}}
  276: {{1,2},{1,3},{1,4}}
  288: {{2,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}}
  512: {{2,4}}
  516: {{1,2},{2,4}}
  528: {{1,3},{2,4}}
  532: {{1,2},{1,3},{2,4}}
		

Crossrefs

Other BII-numbers: A309314 (hyperforests), A326701 (set partitions), A326703 (chains), A326704 (antichains), A326749 (connected), A326750 (clutters), A326751 (blobs), A326752 (hypertrees), A326754 (covers).

Programs

  • Mathematica
    bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
    Select[Range[0,100],SameQ[2,##]&@@Length/@bpe/@bpe[#]&]

A367909 Numbers n such that there is more than one way to choose a different binary index of each binary index of n.

Original entry on oeis.org

4, 12, 16, 18, 20, 32, 33, 36, 48, 52, 64, 65, 66, 68, 72, 76, 80, 82, 84, 96, 97, 100, 112, 132, 140, 144, 146, 148, 160, 161, 164, 176, 180, 192, 193, 194, 196, 200, 204, 208, 210, 212, 224, 225, 228, 240, 256, 258, 260, 264, 266, 268, 272, 274, 276, 288
Offset: 1

Views

Author

Gus Wiseman, Dec 11 2023

Keywords

Comments

Also BII-numbers of set-systems (sets of nonempty sets) satisfying a strict version of the axiom of choice in more than 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.

Examples

			The set-system {{1},{1,2},{1,3}} with BII-number 21 satisfies the axiom in only one way (1,2,3), so 21 is not in the sequence.
The terms together with the corresponding set-systems begin:
   4: {{1,2}}
  12: {{1,2},{3}}
  16: {{1,3}}
  18: {{2},{1,3}}
  20: {{1,2},{1,3}}
  32: {{2,3}}
  33: {{1},{2,3}}
  36: {{1,2},{2,3}}
  48: {{1,3},{2,3}}
  52: {{1,2},{1,3},{2,3}}
  64: {{1,2,3}}
  65: {{1},{1,2,3}}
  66: {{2},{1,2,3}}
  68: {{1,2},{1,2,3}}
  72: {{3},{1,2,3}}
		

Crossrefs

These set-systems are counted by A367772.
Positions of terms > 1 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 is one unique choice we get A367908, counted by A367904.
A048793 lists binary indices, length A000120, reverse A272020, sum A029931.
A058891 counts set-systems, covering A003465, connected A323818.
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 per axiom, complement A368097.
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).

Programs

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

Formula

A371294 Numbers whose binary indices are connected and pairwise indivisible, where two numbers are connected iff they have a common factor. A hybrid ranking sequence for connected antichains of multisets.

Original entry on oeis.org

1, 2, 4, 8, 16, 32, 40, 64, 128, 160, 256, 288, 296, 416, 512, 520, 544, 552, 640, 672, 800, 808, 928, 1024, 2048, 2176, 2304, 2432, 2560, 2688, 2816, 2944, 4096, 8192, 8200, 8224, 8232, 8320, 8352, 8480, 8488, 8608, 8704, 8712, 8736, 8744, 8832, 8864, 8992
Offset: 1

Views

Author

Gus Wiseman, Mar 28 2024

Keywords

Comments

A prime index of n is a number m such that prime(m) divides n. The multiset of prime indices of n is row n of A112798.
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.

Examples

			The terms together with their prime indices of binary indices begin:
    1: {{}}
    2: {{1}}
    4: {{2}}
    8: {{1,1}}
   16: {{3}}
   32: {{1,2}}
   40: {{1,1},{1,2}}
   64: {{4}}
  128: {{1,1,1}}
  160: {{1,2},{1,1,1}}
  256: {{2,2}}
  288: {{1,2},{2,2}}
  296: {{1,1},{1,2},{2,2}}
  416: {{1,2},{1,1,1},{2,2}}
  512: {{1,3}}
  520: {{1,1},{1,3}}
  544: {{1,2},{1,3}}
  552: {{1,1},{1,2},{1,3}}
  640: {{1,1,1},{1,3}}
  672: {{1,2},{1,1,1},{1,3}}
  800: {{1,2},{2,2},{1,3}}
  808: {{1,1},{1,2},{2,2},{1,3}}
  928: {{1,2},{1,1,1},{2,2},{1,3}}
		

Crossrefs

Connected case of A087086, relatively prime A328671.
For binary indices of binary indices we have A326750, non-primitive A326749.
For prime indices of prime indices we have A329559, non-primitive A305078.
Primitive case of A371291 = positions of ones in A371452.
For binary indices of prime indices we have A371445, non-primitive A325118.
A001187 counts connected graphs.
A007718 counts non-isomorphic connected multiset partitions.
A048143 counts connected antichains of sets.
A048793 lists binary indices, A000120 length, A272020 reverse, A029931 sum.
A070939 gives length of binary expansion.
A096111 gives product of binary indices.
A326964 counts connected set-systems, covering A323818.

Programs

  • Mathematica
    stableQ[u_,Q_]:=!Apply[Or,Outer[#1=!=#2&&Q[#1,#2]&,u,u,1],{0,1}];
    bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
    prix[n_]:=If[n==1,{},Flatten[Cases[FactorInteger[n],{p_,k_}:>Table[PrimePi[p],{k}]]]];
    Select[Range[1000],stableQ[bpe[#],Divisible]&&connectedQ[prix/@bpe[#]]&]

Formula

Intersection of A087086 and A371291.

A327100 BII-numbers of antichains of sets with cut-connectivity 1.

Original entry on oeis.org

1, 2, 8, 20, 36, 48, 128, 260, 272, 276, 292, 304, 308, 320, 516, 532, 544, 548, 560, 564, 576, 768, 784, 788, 800, 804, 1040, 1056, 2064, 2068, 2080, 2084, 2096, 2100, 2112, 2304, 2308, 2324, 2336, 2352, 2560, 2564, 2576, 2596, 2608, 2816, 2820, 2832, 2848
Offset: 1

Views

Author

Gus Wiseman, Aug 22 2019

Keywords

Comments

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.
We define the cut-connectivity of a set-system to be the minimum number of vertices that must be removed (along with any resulting empty edges) to obtain a disconnected or empty set-system, with the exception that a set-system with one vertex has cut-connectivity 1. Except for cointersecting set-systems (A326853, A327039, A327040), this is the same as vertex-connectivity (A327334, A327051).

Examples

			The sequence of all antichains of sets with vertex-connectivity 1 together with their BII-numbers begins:
    1: {{1}}
    2: {{2}}
    8: {{3}}
   20: {{1,2},{1,3}}
   36: {{1,2},{2,3}}
   48: {{1,3},{2,3}}
  128: {{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}}
  516: {{1,2},{2,4}}
  532: {{1,2},{1,3},{2,4}}
  544: {{2,3},{2,4}}
  548: {{1,2},{2,3},{2,4}}
  560: {{1,3},{2,3},{2,4}}
  564: {{1,2},{1,3},{2,3},{2,4}}
		

Crossrefs

Positions of 1's in A326786.
The graphical case is A327114.
BII numbers of antichains with vertex-connectivity >= 1 are A326750.
BII-numbers for cut-connectivity 2 are A327082.
BII-numbers for cut-connectivity 1 are A327098.

Programs

  • Mathematica
    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}];
    cutConnSys[vts_,eds_]:=If[Length[vts]==1,1,Min@@Length/@Select[Subsets[vts],Function[del,csm[DeleteCases[DeleteCases[eds,Alternatives@@del,{2}],{}]]!={Complement[vts,del]}]]];
    Select[Range[0,100],stableQ[bpe/@bpe[#],SubsetQ]&&cutConnSys[Union@@bpe/@bpe[#],bpe/@bpe[#]]==1&]

Formula

If (+) is union and (-) is complement, we have A327100 = A058891 + (A326750 - A326751).

A371445 Numbers whose distinct prime indices are binary carry-connected and have no binary containments.

Original entry on oeis.org

2, 3, 4, 5, 7, 8, 9, 11, 13, 16, 17, 19, 23, 25, 27, 29, 31, 32, 37, 41, 43, 47, 49, 53, 55, 59, 61, 64, 65, 67, 71, 73, 79, 81, 83, 89, 97, 101, 103, 107, 109, 113, 115, 121, 125, 127, 128, 131, 137, 139, 143, 145, 149, 151, 157, 163, 167, 169, 173, 179, 181
Offset: 1

Views

Author

Gus Wiseman, Mar 30 2024

Keywords

Comments

Also Heinz numbers of binary carry-connected integer partitions whose distinct parts have no binary containments, counted by A371446.
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.
A binary carry of two positive integers is an overlap of binary indices. A multiset is said to be binary carry-connected iff the graph whose vertices are the elements and whose edges are binary carries is connected.
A binary containment is a containment of binary indices. For example, the numbers {3,5} have binary indices {{1,2},{1,3}}, so there is a binary carry but not a binary containment.

Examples

			The terms together with their prime indices begin:
     2: {1}            37: {12}              97: {25}
     3: {2}            41: {13}             101: {26}
     4: {1,1}          43: {14}             103: {27}
     5: {3}            47: {15}             107: {28}
     7: {4}            49: {4,4}            109: {29}
     8: {1,1,1}        53: {16}             113: {30}
     9: {2,2}          55: {3,5}            115: {3,9}
    11: {5}            59: {17}             121: {5,5}
    13: {6}            61: {18}             125: {3,3,3}
    16: {1,1,1,1}      64: {1,1,1,1,1,1}    127: {31}
    17: {7}            65: {3,6}            128: {1,1,1,1,1,1,1}
    19: {8}            67: {19}             131: {32}
    23: {9}            71: {20}             137: {33}
    25: {3,3}          73: {21}             139: {34}
    27: {2,2,2}        79: {22}             143: {5,6}
    29: {10}           81: {2,2,2,2}        145: {3,10}
    31: {11}           83: {23}             149: {35}
    32: {1,1,1,1,1}    89: {24}             151: {36}
		

Crossrefs

Contains all powers of primes A000961 except 1.
Case of A325118 (counted by A325098) without binary containments.
For binary indices of binary indices we have A326750 = A326704 /\ A326749.
For prime indices of prime indices we have A329559 = A305078 /\ A316476.
An opposite version is A371294 = A087086 /\ A371291.
Partitions of this type are counted by A371446.
Carry-connected case of A371455 (counted by A325109).
A001187 counts connected graphs.
A007718 counts non-isomorphic connected multiset partitions.
A048143 counts connected antichains of sets.
A048793 lists binary indices, A000120 length, A272020 reverse, A029931 sum.
A070939 gives length of binary expansion.
A326964 counts connected set-systems, covering A323818.

Programs

  • Mathematica
    stableQ[u_,Q_]:=!Apply[Or,Outer[#1=!=#2&&Q[#1,#2]&,u,u,1],{0,1}];
    bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
    prix[n_]:=If[n==1,{},Flatten[Cases[FactorInteger[n], {p_,k_}:>Table[PrimePi[p],{k}]]]];
    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]]]]]]]]];
    Select[Range[100],stableQ[bpe/@prix[#],SubsetQ] && Length[csm[bpe/@prix[#]]]==1&]

Formula

Intersection of A371455 and A325118.

A326873 BII-numbers of connectedness systems without singletons.

Original entry on oeis.org

0, 4, 16, 32, 64, 68, 80, 84, 96, 100, 112, 116, 256, 288, 512, 528, 1024, 1028, 1280, 1284, 1536, 1540, 1792, 1796, 2048, 2052, 4096, 4112, 4352, 4368, 6144, 6160, 6400, 6416, 8192, 8224, 8704, 8736, 10240, 10272, 10752, 10784, 16384, 16388, 16400, 16416
Offset: 1

Views

Author

Gus Wiseman, Jul 29 2019

Keywords

Comments

We define a connectedness system (investigated by Vim van Dam in 2002) to be a set of finite nonempty sets (edges) that is closed under taking the union of any two overlapping edges.
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 enumeration of these set-systems by number of covered vertices is given by A326877.

Examples

			The sequence of all connectedness systems without singletons together with their BII-numbers begins:
     0: {}
     4: {{1,2}}
    16: {{1,3}}
    32: {{2,3}}
    64: {{1,2,3}}
    68: {{1,2},{1,2,3}}
    80: {{1,3},{1,2,3}}
    84: {{1,2},{1,3},{1,2,3}}
    96: {{2,3},{1,2,3}}
   100: {{1,2},{2,3},{1,2,3}}
   112: {{1,3},{2,3},{1,2,3}}
   116: {{1,2},{1,3},{2,3},{1,2,3}}
   256: {{1,4}}
   288: {{2,3},{1,4}}
   512: {{2,4}}
   528: {{1,3},{2,4}}
  1024: {{1,2,4}}
  1028: {{1,2},{1,2,4}}
  1280: {{1,4},{1,2,4}}
  1284: {{1,2},{1,4},{1,2,4}}
		

Crossrefs

Connectedness systems without singletons are counted by A072446, with unlabeled case A072444.
Connectedness systems are counted by A326866, with unlabeled case A326867.
BII-numbers of connectedness systems are A326872.
The connected case is A326879.

Programs

  • Mathematica
    bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
    connnosQ[eds_]:=!MemberQ[Length/@eds,1]&&SubsetQ[eds,Union@@@Select[Tuples[eds,2],Intersection@@#!={}&]];
    Select[Range[0,1000],connnosQ[bpe/@bpe[#]]&]

A371446 Number of carry-connected integer partitions whose distinct parts have no binary containments.

Original entry on oeis.org

1, 1, 2, 2, 3, 2, 4, 2, 5, 4, 4, 4, 8, 4, 7, 7, 12, 10, 14, 12, 15, 19, 19, 21, 32, 27, 33, 40, 46, 47, 61, 52, 75, 89, 95, 104, 129, 129, 149, 176, 188, 208, 249, 257, 296, 341, 373, 394, 476, 496, 552
Offset: 0

Views

Author

Gus Wiseman, Apr 02 2024

Keywords

Comments

These partitions are ranked by A371445.
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.
A binary carry of two positive integers is an overlap of binary indices. An integer partition is binary carry-connected iff the graph with one vertex for each part and edges corresponding to binary carries is connected.
A binary containment is a containment of binary indices. For example, the numbers {3,5} have binary indices {{1,2},{1,3}}, so there is a binary carry but not a binary containment.

Examples

			The a(12) = 8 through a(14) = 7 partitions:
  (12)             (13)                         (14)
  (6,6)            (10,3)                       (7,7)
  (9,3)            (5,5,3)                      (9,5)
  (4,4,4)          (1,1,1,1,1,1,1,1,1,1,1,1,1)  (6,5,3)
  (6,3,3)                                       (5,3,3,3)
  (3,3,3,3)                                     (2,2,2,2,2,2,2)
  (2,2,2,2,2,2)                                 (1,1,1,1,1,1,1,1,1,1,1,1,1,1)
  (1,1,1,1,1,1,1,1,1,1,1,1)
		

Crossrefs

The first condition (carry-connected) is A325098.
The second condition (stable) is A325109.
Ranks for binary indices of binary indices are A326750 = A326704 /\ A326749.
Ranks for prime indices of prime indices are A329559 = A305078 /\ A316476.
Ranks for prime indices of binary indices are A371294 = A087086 /\ A371291.
Ranks for binary indices of prime indices are A371445 = A325118 /\ A371455.
A001187 counts connected graphs.
A007718 counts non-isomorphic connected multiset partitions.
A048143 counts connected antichains of sets.
A048793 lists binary indices, reverse A272020, length A000120, sum A029931.
A070939 gives length of binary expansion.
A326964 counts connected set-systems, covering A323818.

Programs

  • Mathematica
    stableQ[u_,Q_]:=!Apply[Or,Outer[#1=!=#2&&Q[#1,#2]&,u,u,1],{0,1}];
    bix[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
    prix[n_]:=If[n==1,{},Flatten[Cases[FactorInteger[n], {p_,k_}:>Table[PrimePi[p],{k}]]]];
    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[IntegerPartitions[n], stableQ[bix/@Union[#],SubsetQ]&&Length[csm[bix/@#]]<=1&]],{n,0,30}]

A329626 Smallest BII-number of an antichain with n edges.

Original entry on oeis.org

0, 1, 3, 11, 139, 820, 2868, 35636, 199476, 723764
Offset: 0

Views

Author

Gus Wiseman, Nov 28 2019

Keywords

Comments

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 of positive integers) 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.
A set-system is an antichain if no edge is a proper subset of any other.

Examples

			The sequence of terms together with their corresponding set-systems begins:
       0: {}
       1: {{1}}
       3: {{1},{2}}
      11: {{1},{2},{3}}
     139: {{1},{2},{3},{4}}
     820: {{1,2},{1,3},{2,3},{1,4},{2,4}}
    2868: {{1,2},{1,3},{2,3},{1,4},{2,4},{3,4}}
   35636: {{1,2},{1,3},{2,3},{1,4},{2,4},{3,4},{5}}
  199476: {{1,2},{1,3},{2,3},{1,4},{2,4},{3,4},{1,5},{2,5}}
  723764: {{1,2},{1,3},{2,3},{1,4},{2,4},{3,4},{1,5},{2,5},{3,5}}
		

Crossrefs

The connected case is A329627.
The intersecting case is A329628.
BII-numbers of antichains are A326704.
Antichain covers are A006126.

Programs

  • Mathematica
    bpe[n_]:=Join@@Position[Reverse[IntegerDigits[n,2]],1];
    stableQ[u_]:=!Apply[Or,Outer[#1=!=#2&&SubsetQ[#1,#2]&,u,u,1],{0,1}];
    First/@GatherBy[Select[Range[0,10000],stableQ[bpe/@bpe[#]]&],Length[bpe[#]]&]

A329627 Smallest BII-number of a clutter (connected antichain) with n edges.

Original entry on oeis.org

0, 1, 20, 52, 308, 820, 2868, 68404, 199476, 723764
Offset: 0

Views

Author

Gus Wiseman, Nov 28 2019

Keywords

Comments

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 of positive integers) 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.
A set-system is an antichain if no edge is a proper subset of any other.
For n > 1, a(n) appears to be the number whose binary indices are the first n terms of A018900.

Examples

			The sequence of terms together with their corresponding set-systems begins:
       0: {}
       1: {{1}}
      20: {{1,2},{1,3}}
      52: {{1,2},{1,3},{2,3}}
     308: {{1,2},{1,3},{2,3},{1,4}}
     820: {{1,2},{1,3},{2,3},{1,4},{2,4}}
    2868: {{1,2},{1,3},{2,3},{1,4},{2,4},{3,4}}
   68404: {{1,2},{1,3},{2,3},{1,4},{2,4},{3,4},{1,5}}
  199476: {{1,2},{1,3},{2,3},{1,4},{2,4},{3,4},{1,5},{2,5}}
  723764: {{1,2},{1,3},{2,3},{1,4},{2,4},{3,4},{1,5},{2,5},{3,5}}
		

Crossrefs

The version for MM-numbers is A329555.
BII-numbers of clutters are A326750.
Clutters of sets are counted by A048143.
Minimum BII-numbers of connected set-systems are A329625.
Minimum BII-numbers of antichains are A329626.
MM-numbers of connected weak antichains of multisets are A329559.

Programs

  • Mathematica
    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}];
    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]]]]]]]]];
    First/@GatherBy[Select[Range[0,10000],stableQ[bpe/@bpe[#]]&&Length[csm[bpe/@bpe[#]]]<=1&],Length[bpe[#]]&]
Previous Showing 11-20 of 21 results. Next