A326870 -id:A326870 - cp's OEIS frontend

A326879 BII-numbers of connected connectedness systems.

0, 1, 2, 4, 5, 6, 7, 8, 16, 17, 24, 25, 32, 34, 40, 42, 64, 65, 66, 67, 68, 69, 70, 71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93, 94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112

Offset: 1

Gus Wiseman, Jul 29 2019

nonn

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. It is connected if it contains an edge containing all the vertices.
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 connected connectedness systems by number of vertices is given by A326868.

			The sequence of all connected connectedness systems 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}}
  67: {{1},{2},{1,2,3}}
  68: {{1,2},{1,2,3}}

Gus Wiseman, Every Clutter Is a Tree of Blobs, The Mathematica Journal, Vol. 19, 2017.

Connected connectedness systems are counted by A326868, with unlabeled version A326869.
Connected connectedness systems without singletons are counted by A072447.
The not necessarily connected case is A326872.
Cf. A029931, A048793, A072445, A072446, A326031, A326749, A326753, A326866, A326867, A326870, A326876.

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

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

Gus Wiseman, Jul 29 2019

nonn

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.

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

Gus Wiseman, Every Clutter Is a Tree of Blobs, The Mathematica Journal, Vol. 19, 2017.

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.
Cf. A029931, A048793, A072447, A326031, A326749, A326750, A326870, A326875, A326877.

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[#]]&]

A326899 Number of unlabeled connectedness systems covering n vertices without singletons.

Original entry on oeis.org

1, 0, 1, 4, 41, 3048, 26894637

Offset: 0

Gus Wiseman, Aug 02 2019

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.

			Non-isomorphic representatives of the a(3) = 4 connectedness systems:
  {{1,2,3}}
  {{2,3},{1,2,3}}
  {{1,3},{2,3},{1,2,3}}
  {{1,2},{1,3},{2,3},{1,2,3}}

The case with singletons is A326871.
First differences of A072444 (the non-covering case).
Euler transform of A072445 (the connected case).
The labeled version is A326877.
Cf. A072446, A072447, A193674, A323818, A326866, A326867, A326868, A326869, A326870.

a(6) corrected by Andrew Howroyd, Oct 28 2023

cp's OEIS Frontend

A326879 BII-numbers of connected connectedness systems.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

A326873 BII-numbers of connectedness systems without singletons.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

A326899 Number of unlabeled connectedness systems covering n vertices without singletons.

Views

Author

Keywords

Comments

Examples

Crossrefs

Extensions