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

Author

Gus Wiseman, Nov 28 2019

Keywords

• nonn

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.

Examples

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

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.

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