A329561 BII-numbers of intersecting antichains of sets.

0, 1, 2, 4, 8, 16, 20, 32, 36, 48, 52, 64, 128, 256, 260, 272, 276, 320, 512, 516, 544, 548, 576, 768, 772, 832, 1024, 1040, 1056, 1072, 1088, 2048, 2064, 2080, 2096, 2112, 2304, 2320, 2368, 2560, 2592, 2624, 2816, 2880, 3072, 3088, 3104, 3120, 3136, 4096

Offset

1,3

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 intersecting if no two edges are disjoint. It is an antichain if no edge is a proper subset of any other.

Links

Table of n, a(n) for n=1..50.

Example

The sequence of terms together with their corresponding set-systems 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}}
  320: {{1,2,3},{1,4}}
  512: {{2,4}}
  516: {{1,2},{2,4}}

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}];
Select[Range[0, 1000], stableQ[bpe/@bpe[#], SubsetQ[#1, #2]||Intersection[#1, #2]=={}&]&]

Crossrefs

Intersection of A326704 (antichains) and A326910 (intersecting).

Covering intersecting antichains of sets are counted by A305844.

BII-numbers of antichains with empty intersection are A329560.

Cf. A000120, A048143, A048793, A070939, A087086, A305857, A306007, A326031, A326361, A326912, A329628.

Sequence in context: A241582 A082003 A326750 * A326752 A093107 A125508

Adjacent sequences: A329558 A329559 A329560 * A329562 A329563 A329564

Keyword

nonn

Author

Gus Wiseman, Nov 28 2019

Status

approved