OFFSET
1,3
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.
EXAMPLE
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
KEYWORD
nonn
AUTHOR
Gus Wiseman, Jul 23 2019
STATUS
approved