lifeplets - enumerating small connected still lifes

For scripts to aid with computation or simulation in cellular automata.
Post Reply
User avatar
vyznev
Posts: 27
Joined: April 23rd, 2016, 4:08 am

lifeplets - enumerating small connected still lifes

Post by vyznev » January 19th, 2018, 3:38 pm

So there was a recent question on MathOverflow by Sebastien Palcoux about polyplets (i.e. connected patterns of cells) that vanish in one step in CGoL, and specifically about enumerating all of them with up to N cells.

Given that such vanishing polyplets in CGoL are equivalent to connected still lifes in the "dual" rule B3/S0145678, I figured this should be a simple task for standard Life pattern finding programs, but none of the programs I tried actually did quite what I wanted (specifically, doing an exhaustive search for all matching patterns up to N cells, and not wasting time on disconnected constellations), so I decided to write my own.

My answer on MathOverflow has some more detail on the search algorithm, but basically it's a straightforward row-by-row depth first search on an N+2 cell cylindrical lattice (which is just wide enough that the two sides of a connected N cell pattern cannot possibly wrap around and interact). The clever bit is that the code keeps track of the connected components of the partial pattern, and backtracks as soon as any component becomes fully surrounded by dead cells, or if the minimum number of extra live cells needed to connect all the components exceeds the number still available.

The code (and some output) is here on GitHub, in case anyone is curious. The current code is written in Python, and fairly ugly and inefficient Python at that, and should really be regarded more as a proof of concept than as an efficient search tool. I'd expect that just porting the code to C or C++ and using more efficient data structures ought to speed it up at least 10-fold. Since it's a DFS, it could also be fairly easily parallelized, and I can already think of several possible improvements to the pruning scheme (such as recursively propagating forced cell states into yet-to-be-searched cells, while keeping track of the cell count limit) that should hopefully also cut down the runtime by a significant factor.

Nonetheless, I did manage to produce this collection of all one-step vanishing polyplets in CGoL with up to 20 cells using just the current Python code:

Code: Select all

x = 158, y = 450, rule = B3/S23
o7$2o2bo$5bo7$bo7bo$2bobo4bo$b3o3b5o$obo6bo$3bo5bo7$2b2o$6o$2b2o7$2bo
7bo7bo$2bo7bo7bo$4obo2b4o5b3obo$2b3o5b4o2bob3o$3bo7bo7bo$3bo7bo7bo7$bo
8bo8bo9bo8bo8bo8bo8bo8bo8bo$2bo8bo8bo8bo8bo8bo8bo8bo8bo8bo$b4obo3b4obo
3b4o4b5obo2b5o4b4o5b4o6b4obo3b3o6b3o$ob4o3bob4o3bob5o4b4o5b5o4bobobo4b
obo4bob4o3bobobobo2bobobo$4bo8bo8bo8bo8bo7b3o6b4o6bo7b3o6b4o$4bo9bo7bo
8bo8bo8bo8bo8bo8bo8bo$49bo8bo17bo7bo7$2bobo$2bobo$7o$2bobo$2bobo7$ob2o
bo4bob2obo4bob2obo4bob2o6bob2o6bob2o6bob2o6bob2o6bob2o6bob2o7bob2o6bob
o7bobo7bo2bo6bo2bo6bo3bo$b4o6b4o6b4o6b5o5b5o5b5o5b5o5b5obo3b5o5b5o6b5o
4bobo7bobo8bo2bobo4bo2bobo4bobo$2b2o8b4o6b4o4b2obo8b2o8b2o8b2o8bob3o5b
ob4o4bob4o2bobobo5b6o4b5o6b6o4b6o4b5o$b3o7bob2obo4bo2bobo3b3o8b3o8b4o
6b4o5bo3bo5bo3bo6bo2bo5b3o6b4o6b4obo4bob2obo4bobo2bo4bob3obo$obo20bo7b
o8bobo10bo9bo11bo9bo8bo7bo8bo9bo14bo6bo2bo6bo$3bo27bo11bo8bo10bo38bo8b
o9bo31bo3$bo10b2o8b2o8b2o8bobo7bobo7bobo7bo2bo6bo9bo9bo9bo9bo9bo9bo9bo
$2bob2obo2b6o4b6o4b6o6bobo7bobo7bobo7bo2bo6bo3bo5bo3bo5bo3bo5bo9bo9bo
9bo9bo$b6o5b6o4b6o4bob4o2b7o3b6o5b5o4b8o2b4obo4b4obo5b3obo4b4o6b4o6b4o
6b4o6b4o$ob2obo8b2o9bo6bo2bo6b3o7b3obo3bob3obo5bo2bo6b5o5bob3o3bob5o5b
4obo4b4o6b4o6b2o8b2o$6bo17bo9bo8bo9bo9bo8bo2bo9bobo4bo2bobo7bobo6b3o7b
4o6b4o6b2obo6b2o$43bo9bo9bo20bo9bo9bo10bo9bo9bo8b3o7b4o$115bo8bo10bo9b
o9bo$145bo9bo3$2bo9bo9bo9bo10bo9bo9bo9bo9bo9bo9bo9bo9bo$2bo9bo9bo9bo7b
obo2bo7bo6bobo2bo4bobo2bo4bobo9bo2bo6bo2bo6bo9bo$b3o7b3o7b3o7b3o7b4o7b
3o6b3obo5b3obo5b5o4b4obo4b4obo4b6o4b4o$ob4obo2bob4o4bob2o6bob2o8b4o4b
3ob3o5bob4o4bob3o5bob4o4b6o4bob4o4b6o4b4o$4b3o7b4o6b2obo6b2o5bo2bobo5b
3o7bo2bo6bo2bobo4bo2bo9bo6bo2bo9bo8b4o$5bo9bo8b3o7b4o5bo9bo10bo9bo9bo
9bo9bo9bo10bo$5bo8bo10bo9bo17bo70bo$25bo8bo7$ob2ob2o4bob2ob2o4bob2ob2o
4bob2ob2o5bo10bo10bo10bo10bo11b2ob2o6b2ob2o6b2ob2o6b2ob2o6b2ob2o$b8o3b
8o3b8o3b8o4bo2b2obo4bo2b2obo4bo2b2o6bo2b2o6bo2b2o4b9o2b9o2b9o2b9o2b9o$
2bo2b2o6bo2b2o6bo3bo6bo3bo5b7o4b7o4b8o3b8o3b8o4b2ob2o6b2o2bo6b2o2bo6bo
3bo6bo3bo$bo11bo9bo3bo7bo2bo5bob2o2bo4bob2o2bo4bob2o2bo4bob2o2bo4bobo
2b2o20bo11bo6bo2bo8bobo$50bo11bo8bo11bo7bo3$2bo10bo10bo10bo10bo10bo10b
o10bo10bo10bo11bo10bo10bo$2bo11bobo7bo2b2obo4bo2b2obo4bo2b2o6bo2b2o6bo
2b2o6bo2b2o6bo2b2o6bo2b2o7bo9bo2b2o6bo2b2o$5o8b3o6b8o4b7o3b9o2b9o2b9o
2b9o3b8o3b8o4b3o6b9o2b9o$2b5o4b3ob2o7b2o2bo4bob2o2bo6b2o2bo6b2o2bo6bo
2b2o6bo2b2o4bob2o2bo4bobo2b2o4b7o6b2o2bo6bo2b2o$2b3o8b3obo10bo10bo9bo
11bo6bo11bo12bo8bo9b3o11bo8bo$3bo10bo98bo$3bo10bo98bo7$ob2obo6bob2obo
6bob2obo6bob2obo6bob2obo6bob2o8bo2bo8bo12bob2o8bob2o8bob2o8bob2o8bob2o
$b4o8b4o8b4o8b4o8b4o8b5o7bo2bobo6bob2obo7b5o7b5o7b5o7b5o7b5o$4o10b2o
10b4o8b3obo7bob2o8b2o8b6o6b6o6bob3o8b4o10b2o10b2o10b2o$3obo8b4o9b3obo
6bob3o8bob4o5b5o6b3obo7b3obo8b3o8bob3o9b2o10b2o10bo$bo10bob2obo9bo12bo
12bo6bob2o9bo3bo7bo3bo8bobo10bo8b4o8b4o8b5o$bo25bo12bo12bo19bo11bo11bo
13bo10bo11bo11bo$122bo12bo10bo3$bo2bo8bo2bo8bo2bo8bo3bo7bo3bo7bo3bo7bo
3bo7bo3bo7bo3bo7bo3bo7bo4bo6bo11bo$2bo2bo8bo2bo8bo2bo8bobo9bobo9bo2bo
8bo2bo8bo2bo8bo2bo8bo2bo8bo2bo7bo11bo$b7o5b7o5b7o5b5o7b5o7b7o5b7o5b7o
5b6o6b6o6b6o5b3obo7b3obo$ob4o6bob4o6bob4o6bob6o4bob6o4bob4o6bob4o6bob
4o6bob4obo4bob4obo4bob4obo4b3obo7b3obo$3bo12bo11bo11b2o11bo9bo12bo11bo
10bo12bo10bo9bob4o6bob3o$3bo12bo12bo22bo10bo12bo12bo9bo12bo10bo9bo2bo
8bo2bobo$135bo11bo3$bo11bo11bo11bo11bo11bo11bo11bo12b2obo8b2obo8b2obo
8b2o10b2o2b2o$bo12bobo9bo11bob2o8bob2o8bob2o8bobo9bo9b5o7b5o7b5o7b6o6b
10o$3o10b3o9b4o8b7o5b7o5b7o5b3o2bo6b4obo7b4o8b4o8bob2o8b2o10b2o2b2o$5o
7bob3o7bob5o5bob4o6bob4o6bob4o6bob4o6bob4o10b4o8b4o6bob4o4b6o$bob4o7b
5o7b3o10bo12bo11bo11b3o9b3o10bo11bo11bo8b2o$bo2bo8bo2bo8bobo11bo12bo
12bo11bobo9bobo8bo12bo11bo$3bo11bo12bo47bo11bo3$2b2o10b2o10b2o10b2o10b
2o10bobo9bobo9bobo9bo2bo8bo2bo8bo2bo8bo2bo8bo2bo$6obo4b6o6b6o6b6o6b6o
8bobo9bobo9bobo9bo2bo8bo2bo8bo2bo8bo2bo8bo2bo$2b5o7b6o6b2o10b2o10bob4o
4b6o6b6o7b5o6b8o4b8o4b7o5b7o5b7o$3bobo9bobo10b2o10b2o9b3o8b6o6bob4o4bo
b6o6b4o8b4o8b4obo6b4obo6b4obo$3bobo9bobo10b4o8b4o8bo12bo8bo2bo11bo9bo
11bo11bo11bo12bo$29bo11bo10bo11bo11bo11bo9bo12bo10bo12bo12bo$28bo12bo
3$2bo2bo8bo11bo11bo11bo11bo11bo11bo11bo11bo11bo11bo11bo$2bo2bo8bo11bo
12bobo8bo3bo7bo3bo7bo11bo11bo11bo11bo11bo11bo$b6o5b5obo6b4o9b3o7b4obo
7b3obo6b5obo5b4obo6b4obo6b4obo6b4obo6b4o9b4obo$ob4obo6b4o6bob5o5b6o8bo
b3o5bobob3o7b4o8b3o9b3o9b2obo8b2obo8b4o6bob4o$3bo10b3o9b3o9b3obo8b3obo
7b3obo8b3o9b2o10b2o9b5o7b4o8b5o8b3o$3bo11bobo7bobo11bo12bo11bo12bobo8b
4o8b4o6bo2bo8bo2bobo6bo2bo11bobo$14bo13bo10bo12bo11bo11bo12bo11bo10bo
11bo11bo11bo$88bo12bo3$2bo12bo11bo11bo11bo$2bo11bo2bo8bo2bo8bo2bo8bo$b
3obo6b5o7b4obo6b4obo6b6o$ob3o9b4o8bob4o6bob3o7bob4o$4b2o10b4o7b3o9b3ob
o7b3o$4b4o9bo10bo11bo11bo$5bo10bo11bo11bo11bo$4bo7$ob2ob2obo2bob2ob2o
4bob2obo5bob2obo5bo3bo6bo10bo10bo10bo10bo11bo2bo7bo3bo6bo3bo6bo3bo$b7o
4b8o3b4o2bo4b4o2bo4bo3bo6bo2b2obo4bo2b2obo4bo2b2o6bo2b2o6bo2b2o6bo3bo
7bo2bo7bo2bo7bo2bo$2bobobo6bobobo6bo2b2o6bo2b2o4b8o3b7o4b7o4b8o3b8o3b
8o3b8o4b6obo3b6obo3b6o$2bobobo6bobobo5bo3b3o5bo2b3o3b3ob2o5b3o2bo5b3o
2bo5b3ob2o5b3o2bo5b3o2bo5b3ob2o5bob2ob3o3bobo2b3o3bob2ob4o$28bobo8bobo
3bo10bo3bo6bo4bo5bo10bo2bo7bo3bo6bo15bo7bo2bo10bo$27bo10bo6bo10bo10bo
10bo10bo10bo10bo15bo10bo10bo3$bo3bo6bo4bo5bo4bo5bo10bo10bo10bo10bo10bo
10bo10bo10bo10bo10bo$2bo2bo7bo2bo7bo2bo6bo2b2obo4bo2b2obo4bo2b2o6bo2b
2o6bo2b2o7bobo8bobo8bobo8bobo8bo10bo$b6o5b6o5b6o4b7o4b7o4b8o3b8o3b8o4b
3o8b3o8b3o8b3o8b4o7b4o$obo2b4o2bob2ob4o2bobo2b4o2b3o2bo5b3o2bo5b3ob2o
5b3o2bo5b3o2bo5bob5obo2bob5obo2bob5obo2bob5o4bob5obo2bob5obo$3bo2bo10b
o7bo2bo5bo3bo6bo4bo5bo10bo2bo7bo3bo9b4o7b4o8b3o7b5o6b4o7b4o$6bo10bo10b
o5bo10bo10bo10bo10bo15bo10bo8bobo10bo10bo10bo$94bo11bo10bo9bo10bo11bo
3$bo11b2ob2o6b2obo7b2o9bobobo6bobobo6bobobo6bobobo6bobobo6bobobo6bobo
8bobo8bobo8bobo$2bo8b9o2b5o2bo3b6obo5bobobo6bobobo6bobobo6bobobo6bobob
o6bobobo6bobo8bobo8bobo8bobo$b4o8bobobo6bo2b2o6bob3o4b9o2b9o2b8o3b8o3b
8o4b7o3b7o4b7o4b7o4b6o$ob5o6bobobo6bo2b3o6b3o7b2o2bo6b2o2bo6b2o2bobo4b
o2b2obo4bo2b2obo2bob2o2bobo4b3o8bobo8bobo8bobobo$4b5o19bobo6bobo9bo11b
o9bo7bo11bo12bo7b3o6b4o7b4o7b4o$6bo20bo8bo76bo9bo10bo10bo$6bo106bo9bo
11bo10bo3$2bobo8bobo8bobo8bobo8bobo8bobo8bobo8bobo8bobo8bobo8bobo8bo2b
o7bo2bo7bo2bo$2bobo8bobo8bobo8bobo8bobo8bobo8bobo8bobo8bobo8bobo8bobo
8bo2bo7bo2bo7bo2bo$7obo2b7obo2b7obo2b7o4b7o4b7o4b7o5b6obo3b6obo3b6o5b
6o4b7obo2b7obo2b7obo$2b2ob3o5bo2b3o5bo2b3o5b2ob4o4bo2b4o4bo2b4o4bo2b4o
2bob2ob3o3bobo2b3o3bob2ob4o2bobo2b4o4b2ob3o5bo2b3o5bo2b3o$6bo6bo3bo7bo
2bo10bo6bo3bo6bo3bo7bo2bo10bo7bo2bo10bo7bo2bo10bo6bo3bo7bo2bo$6bo10bo
10bo10bo9bo11bo10bo10bo10bo10bo10bo10bo10bo10bo3$2bo2bo7bo2bo7bo2bo7bo
2bo7bo2bo7bo2bo7bo2bo7bo2bo7bo2bo7bo2bo7bo2bo7bo2bo7bo2bo7bo2bo$2bo2bo
7bo2bo7bo2bo7bo2bo7bo2bo7bo2bo7bo2bo7bo2bo8bo2bobo5bo2bobo5bo2bobo5bo
2bobo5bo2bo7bo2bo$7o4b7o4b7o4b7o5b6obo3b6obo3b6o5b6o6b6o5b6o5b6o5b6o5b
7o4b7o$2b2ob4o4bo2b4o4bo2b4o4bo2b4o2bob2ob3o3bobo2b3o3bob2ob4o2bobo2b
4o2b4o2bo4b4o2bo4b4o2bo4b4o2bo4b4ob2o4b4o2bo$6bo6bo3bo6bo3bo7bo2bo10bo
7bo2bo10bo7bo2bo6bo3bo6bo3bo6bo4bo5bo4bo5bo10bo2bo$6bo9bo11bo10bo10bo
10bo10bo10bo6bo11bo9bo11bo9bo10bo3$2bo2bo7bo2bo7bo3bo6bo3bo6bo3bo6bo3b
o6bo3bo6bo3bo6bo3bo6bo3bo6bo3bo6bo10bo10bo$3bo2bo7bo2bo6bo2bo7bo2bo7bo
2bo7bo2bo7bo2bo7bo2bo7bo3bo6bo3bo6bo3bo7bo10bo9bo2bo$2b7o4b7o2b7o4b7o
4b7o4b7o5b6o5b6o4b4ob4o2b4ob3o4b3ob3o5b4o7b4o5b4o2bo$4o2bo4b4o2bo6b2ob
4o4bo2b4o4bo2b4o4bo2b4o2bob2ob4o2bobo2b4o4b5o6b5obo2bob5obo2b3ob4o3b3o
b4o5b7o$2bo3bo6bo3bo10bo6bo3bo6bo3bo7bo2bo10bo7bo2bo8bo10bo10bo8b4o7b
4o8bob2o$2bo11bo13bo9bo11bo10bo10bo10bo8bo10bo10bo9bo10bo9bo$123bo11bo
3$2bo10bo10bo10bo10bo10bo10bo10bo10bo10bo11bobo8bobo8bo10bo$2bo3bo6bo
3bo6bo4bo5bo10bo10bo10bo11bob2obo5bob2obo5bob2o4bobo3bo6bo3bo6bo11bo$
4o2bo4b4o2bo4b4o2bo4b5o6b5o6b4ob2o5b4o8b6o5b6o5b7o3b3ob4o2b4ob4o2b6obo
5b4o$2b7o4b6o5b6o5b5obo4b5o6b7o2bob5obo2b4o2bo4b4o2bo4b4o2bo6bob3o6b5o
6bob3o4b3ob4o$3bob2o7bob2obo5bob2obo6b4o7b5o5bob2o8b4o5bo3bo6bo4bo5bo
3bo5bo3bo9bo9b3o7b4o$2bo10bo10bo14bo10bo6bo14bo7bo10bo10bo12bo9bo10bob
o7bo$39bo10bo21bo62bo10bo7$ob2obo6bob2obo6bob2obo6bob2ob2o5bob2obo6bob
2obo6bob2obo6bob2obo6bob2obo6bob2obo2bo3bob2obo6bob2obo6bob2o$b4o8b4o
8b4o8b8o4b4o8b4o8b4o8b4o8b4o8b4o2bo5b4o8b4o8b5o$2b2o10b2o10b2o10bob3o
7b4o8bob2o8bob2o8bob2o8bobobo7bo2b4o5bo2b3obo4bo2b3o6b2o$2b2o10b2o10b
2o9bo3bo7bob5o5bo2b2o7bo2b2o7bo2b2o7bo2b2o7bo2bob2obo3bo2bob3o4bo2bob
4o4b2o$6o6b5o8b4o12bo11bo10b4o8b4o8b3o9b3o24bo11bo4b6o$2b2o10b2obo6bob
2obo23bo11bo11bo11bobo9bobo23bo11bo6b2o$64bo12bo10bo11bo3$ob2o8bob2o8b
ob2o2b2obo2bob2o2b2obo2bob2o2b2obo2bob2o2b2obo2bob2o2b2o4bob2o2b2o4bob
2o2b2o4bob2o8bob2o8bob2o8bob2o$b5o7b5o7b8o4b8o4b8o4b8o4b9o3b9o3b9o3b5o
7b5o7b5o7b5o$2b2o10b2o10bob2obo6bobo2bo6bobo2bo6bobo2bo6bobo2bo6bo2bob
o6bo2bobo6b2o10b2o10b6o6b6o$2b2o10b2o9bo6bo4bo3bo2bo5bobo2bo6bobo3bo5b
obo2bo5bo3bobo6bo2bobo5bob2obo7b3obo6bob3o8b4o$5o8b5o93b3o9b3o10bo10bo
$2b2obo6bob2o94bobo9bobo11bo9bo$113bo11bo3$ob2o8bob2o4bo3bob2o4bo3bob
2o8bob2o8bob2o8bo2bo8bo2bo8bo3bo7bo3bo7bo3bo7bo3bo7bo3bo$b5o7b5obo5b5o
bo5b5o7b5o7b5o7bo2bo8bo2bo8bobo9bobo9bobo9bo2bo8bo2bo$2b6o6bob5o5bob5o
5bob4obo4bob4o6bob4o4b7o5b7o5b5o7b5o7b5o7b7o5b6o$2b4o7bo4b2obo3bo5bobo
3bo4b3o4bo4b4o3bo4b4o2b5o7b5o7b7o5b7o5b7o5b5o7b5obo$3bo26bo12bo11bo11b
o5bobo9bobo9bob2o8bo2bo8bo2bo8bobo9bobo$3bo39bo10bo12bo4bo3bo8bobo8bo
11bo3bo8bo2bo8bobo9bobo3$o3bo7bo3bo7bo4bo6bo11bo11bo11bo11bo11bo11bo
11bo11bo11bo$bo3bobo5bo3bobo5bo2bo8bob2o8bobo2bo6bobo2bo6bobo9bobo9bob
o9bobo9bobo9bobo9bo2b2obo$7o5b7o5b6o6b7o5b3o2bo6b3o2bo6b3o9b3o9b3o9b3o
9b3o9b3o9b7o$4obo6b4obo6b5obo5b5o7b7o5b7o5b6obo4b6obo4b6o6b6o6b6o6b6o
6b4obo$bo4bo6bo4bo6bobo9bobo9bo2b2obo5bo2b2obo5bo2b3o6bo2b3o6bo2b4o5bo
2b4o5bo2b4o5bo2b4o5bo4bo$o12bo11bobo9bobo8bo12bo10bo4bo7bo3bo6bo4bo6bo
4bo7bo3bo7bo3bo6bo$77bo11bo10bo12bo10bo12bo3$o11bo11bo11bo11bo11bo11bo
11bo11bo12bob2o8bob2o8bob2o8bobo$bo2b2obo5bo4bo6bo4bo6bo11bo11bo11bo
11bo11bo12b5o7b5o7b5o6bobo$7o5b4obo6b4obo6b4o8b4o8b4o8b4o8b4o8b4o9b4o
10b2o8b3ob4o3b5obo$4obo6b7o5b7o5b6obo4b6obo4b6o6b6o6b6o6b6o6bob5o7b2o
8bobo3bo5b6o$bo4bo6bo2b2obo5bo3bobo5bo2b3o6bo2b3o6bo2b4o5bo2b4o5bo2b4o
5bo2b4o8bo7b5o10bobo7bo2bo$bo11bo11bo2bo7bo4bo7bo3bo6bo4bo6bo4bo7bo3bo
7bo3bo10bo9b2obo19bo2bo$41bo11bo10bo12bo10bo12bo3$bobo9bobo9bo2bo8bo2b
o8bo2bo8bo2bo8bo2bo8bo2bo8bo2bo8bo3bo7bo3bo7bo3bo7bo3bo$bobo9bobo9bo2b
o8bo3bobo6bo2bobo6bo2bo8bo2bo8bo2bo8bo2bo8bobo9bobo9bobo9bobo$5obo5b5o
7b6o6b7o6b6o6b7o5b7obo3b7o5b7o5b5o7b5o7b5o7b5o$6o6b7o5b6o6b4obo6bobob
2o6bobob2o6bob2o2b3o3bob2o2b4o2bob2o2b4o2bob6o4bob4o6bob4o6bob4o$bo2bo
8bo2bo8bo2bo8bo4bo8b3o9b3o13bo11bo11bo7bobo10b4o8b4o8b3o$bo3bo7bo2bo8b
o2bo8bo14bo11bo14bo10bo12bo7bobo11bo11bo11bobo$52bo11bo59bo12bo10bo3$b
o3bo7bo3bo7bo3bo7bo3bo7bo3bo7bo3bo7bo3bo7bo3bo7bo3bo7bo3bo7bo11bo11bo$
2bobo9bo2bo8bo3bobo5bo3bo7bobo9bobo9bobo9bo2bo8bo2bo8bo2bo7bo11bo2b2ob
o5bo$b5o7b7o5b7o5b8o4b7obo3b7o5b7o5b7obo3b7o5b7o4b4obo6b7o5b4o$obob4o
4bobob2o6bob3obo5bob5o5bob2o2b3o3bob2o2b4o2bob2o2b4o2bob2o2b3o3bob2o2b
4o2bob2o2b4o2b5o7b4obo6b6obo$3b3o9b3o9bo3bo8bo14bo11bo11bo11bo11bo11bo
5bob3o7bo4bo6bo2b3o$4bo11bo10bo12bo14bo10bo12bo11bo10bo12bo5bo2bobo6bo
10bo4bo$4bo11bo106bo25bo3$bo11bo11bo11bo11bo11bo11bo11bo11bo11bo11bo
11bo11bo6bo$bo11bo11bo11bo11bo12bob2obo6bob2o8bobo9bobo9bobo9bobo9bo
11bob2obo$4o8b4o8b4o8b4o8b4o9b6o6b7o5b3o2bo6b3o9b3o9b3o9b4obo6b8o$6obo
4b6o6b6o6b6o6b6o6bobob2o6bobob2o6bob4o6bobo9bobo9bobo9bob4o6bob2o3bobo
$bo2b3o6bo2b4o5bo2b4o5bo2b4o5bo2b4o7b3o9b3o10b2obo6b4obo6b4obo6b4o10b
2obo10bo$bo3bo6bo4bo6bo4bo7bo3bo7bo3bo10bo11bo11b3o6bob4o6bob4o6bob5o
8b3o$5bo10bo12bo10bo12bo10bo11bo12bo11bo11bo11bo11bo$89bo11bo12bo10bo
11bo3$bo6bo4bo11bo11bo11bo11bo11bo11bo11bo11bo11bo11bo11bo$2bob2obo6bo
bo9bobo9bobo9bobo9bo2b2obo5bo2b2o7bo11bob2o8bob2o8bob2o8bob2o8bob2o$b
8o4b3o2bo6b3o2bo6b3o9b3o9b7o5b8o4b4o8b7obo3b7obo3b7o5b7o5b7o$obo4bobo
2bob3obo5bob3obo5bob5o5bob3o7bob3obo5bob5o5bob5o5bob2o2b3o3bobo3b3o3bo
b2o2b4o2bob2o2b4o2bobo3b4o$3bo2bo8bob4o6bob3o7bob4o7b3obo6bo3bo8bo10bo
b4o10bo7bo3bo11bo11bo7bo3bo$15bo2bo8bo2bobo6bo2bo10b3o7bo12bo10bo2bo
12bo11bo10bo12bo10bo$17bo11bo11bo10bobo34bo$55bo3$bo12b2ob2o7b2obo8b2o
bo8b2obo8b2obo8b2obo8b2obo8b2obo8b2obo8b2obo8b2o2b2o6b2o$2bob2o6b9o3b
5o7b5o7b5o7b5o7b5o7b5o7b5o7b5o7b5o7b10o2b6o$b7o6b5o7b4o8b4o8b4o8b4o8b
4o8b3obo7b4o8b4o8b4o8bobo2bo6b6o$obo3b4o6bo10b5o7b5o8b2o10b2o10b2o10b
2o10bobobo7bobo9bobo7bobo2bo6b4o$3bo3bo8bo9bob2o8bo2bo10b4o8b4o8b3o9b
3o10b3o9b4o8b4o18bo$7bo32bo12bo11bo11bobo9bobo10bo11bo11bo19bo$52bo12b
o10bo11bo13bo10bo12bo3$2b2o10b2o10b2o10b2o10bobo9bobo9bobo9bobo9bobo9b
obo9bobo9bobo9bobo$6o6b6o6b6o6b6o8bobo9bobo9bobo9bobo9bobo9bobo9bobo9b
obo9bobo$2b6o6b6o6b2o10b2o8b6o6b6obo4b6o6b6o6b6o6b6o6b6o6b6o7b5obo$2b
4o9b3o9b3o10b2o8b3obo7b5o7b6o6b4o8b4o8b4o8bob4o6bob2o6bob5o$3bo10bobo
9bob4o6b6o6b3o10bobo9bobo10b4o8b4o8b3o8b3o8bob4o7bobo$3bo13bo11bo10b2o
9bobo9bobo9bobo11bo11bo11bobo8bo12bo9bobo$29bo20bo37bo12bo10bo11bo12bo
3$2bobo9bobo9bobo9bobo9bo2bo8bo2bo8bo2bo8bo2bo8bo2bo8bo2bo8bo2bo8bo2bo
8bo2bo$2bobo9bobo9bobo9bobo9bo2bo8bo2bo8bo3bobo5bo3bobo5bo3bo7bo3bo8bo
2bobo5bo2bo8bo2bo$b5o7b5o7b5o7b5o6b8o4b7o5b8o5b7o4b9o4b8o5b6o4b8obo2b
8o$ob4o6bob4o6bob4o6bobob4o6b2obo8b2obobo6b3obo5bob3obo7b5o5bob5o5b5ob
o7b2o2b3o5b2o2b4o$4b4o8b4o8b3o8b3o8b3o9b3o10bo3bo7bo3bo8bo11bo9bo4bo
11bo11bo$5bo11bo11bobo8bo10bo11bo11bo11bo12bo11bo9bo16bo10bo$4bo12bo
10bo11bo10bo11bo3$2bo2bo8bo2bo8bo2bo8bo2bo8bo3bo7bo3bo7bo3bo7bo3bo7bo
3bo7bo3bo7bo4bo6bo4bo6bo4bo$2bo2bo8bo2bo8bo2bo8bo2bo8bo4bo6bo4bo6bo4bo
6bo4bo6bo4bo6bo4bo6bo4bo6bo4bo6bo4bo$8o5b7obo3b7o5b7o4b4o2b4o2b4o2b4o
2b4o2b4o3b3o2b4o3b3o2b4o3b3o2b4o2b4o2b4o2b4o2b4o2b4o2b3o$2b2o2b4o2bob
2o2b3o3bob2o2b4o2bob2o2b4o4b6o6b6o6b6o4bob6o4bob6o4bob6o6b6o6b6o6b6obo
$7bo11bo11bo11bo8b2o10bo12bo10b2o10bo12bo10b2o10bo11b2o$7bo11bo10bo12b
o21bo10bo24bo10bo24bo3$2bo4bo6bo4bo6bo4bo6bo4bo6bo11bo11bo11bo11bo11bo
11bo11bo11bo$2bo4bo6bo4bo6bo4bo6bo4bo6bo3bo7bo3bo7bo11bo11bo11bo11bo
11bo11bo$4o2b3o3b4o2b3o4b3o2b3o4b3o2b3o3b4obo6b4obo6b5obo5b5obo5b4obo
6b4obo6b4obo6b4obo6b4obo$2b6obo4b6obo2bob6obo2bob6obo4b5o7b5o7b4o8b4o
8b3o9b2obo8b2obo8b2obo8b2obo$4bo12bo10b2o10bo9b4obo6b4obo7b4o9b2obo7b
3o9b5o7b4o9b4o8b4o$5bo10bo24bo9bo11bo10bo2bobo8b3o7bob4o7b3o9b3obo6b4o
8b4o$50bo12bo12bo12bo11bo10bo11bo11bo11bo$89bo11bo10bo11bo11bo12bo3$2b
o11bo11bo11bo11bo11bo11bo11bo11bo11bo11bo11bo11bo$2bo11bo11bo11bo11bo
12bobo9bobo9bo11bo11bo11bo11bo11bo$4o9b4obo6b3obo7b3obo7b3o10b3o9b3o9b
4obo6b4obo6b4o8b4o8b4o8b4o$2b4o6bob4o6bob2obo6bob2obo6bob4o6b6o6b6o8b
5o7b5o5b8o4b8o4b8o4b8o$3b5o8b2obo7b5o7b4o8b5o6b6o6bob4o4b4obo7b3obo8b
4o8b4o8b4o8b4o$3b3o10b3o8b3o9b3obo7b3o11bo8bo2bo8bo2bo6bobo2bo9bo11bo
12bo11bo$4bo12bo10bo11bo11bo11bo11bo10bo11bo10bo12bo12bo12bo$4bo12bo
10bo11bo11bo3$2bo11bo11bo11bo11bo11bo11bo11bo11bo11bo11bo11bo11bo$3bo
11bo11bo11bo10bo2b2obo5bo2b2obo5bo2b2o7bo2b2o7bo2bo8bo2bo8bo2bo8bo2bo
8bo2bo$2b4o8b4o8b4o8b4o6b8o5b7o4b9o4b8o3b4o2bo5b4o2bo5b4o2bo5b4o2bo6b
3o2bo$2b6o6b6o6b6o6b6o6b3obo5bob3obo7b5o5bob5o7b7o5bob5o5bob5o5bob5o3b
ob7o$6o6b4obo7b5o7b3obo9bo3bo7bo3bo8bo11bo11b3o7bob3o8b4o8b4o9b3o$2bo
11bo2bo6bobo9bobo2bo9bo11bo12bo11bo12bo11bo10bo11bo12bo$3bo11bo11bo11b
o61bo11bo9bo12bo12bo3$2bo11bo11bo11bo11bo11bo11bo11bo11bo11bo11bo11bo
11bo$2bo2bo8bo2bo8bo3bo7bo3bo7bo3bo7bo3bo7bo3bo7bo3bo7bo4bo6bo4bo6bo4b
o6bo11bo$b3o2bo6b3o2bo5b4obo6b4o2bo5b4o2bo6b3obo7b3o2bo6b3o2bo5b5obo5b
4o2bo6b3o2bo5b5o7b4ob2o$obob5o3bobob5o5b5o7b7o5b6o4bob5o5bob7o3bob6o6b
6o6b6o4bob6o6b5o7b7o$3b4o8b4o9b5o7b3o9b3obo7b5o7b3o9b3obo6bob2obo7b3ob
o7b3obo6bob4o7b3o$4bo11bo13bo10bo11bo12bo10bo11bo8bo14bo11bo9bo2bo10bo
$3bo12bo13bo10bo11bo12bo10bo11bo23bo11bo11bo11bo3$2bo11bo11bo11bo11bo
11bo11bo11bo11bo11bo11bo11bo11bo$2bo11bo11bo11bo11bo11bo11bo11bo11bo
11bo11bo11bo11bo$4ob2o5b4ob2o5b4ob2o5b4o2bo5b4o2bo5b4o3bo4b4o9b4o8b3ob
2o6b3ob2o6b3ob2o6b3o2bo6b3o2bo$2bob5o5bob5o5bob5o5b2o2bo7b2o2bo7b2o2bo
7bobo7bob5o5bob7o3bobob5o3bobob5o3bob2o2bo5bob2o2bo$2bob3o8b4o8b4o9b5o
7b4o8b4o7b4o8bob4o7b3o8b4o8b4o9b5o7b4o$5bo10bo11bo11b3o9b3obo7b3obo7b
5o6bo2bo10bo10bo11bo11b3o9b3obo$5bo9bo12bo12bo11bo11bo9bo2bo10bo11bo9b
o12bo12bo11bo$41bo11bo11bo11bo59bo11bo3$2bo11bo11bo11bo11bo11bo11bo11b
o11bo11bo11bo11bo11bo$2bo11bo11bo11bo11bo11bo11bo11bo11bo11bo11bo11bo
11bo$b3o3bo5b3o8b4obo6b4obo6b4o2b2o4b4o2b2o4b4o4bo3b4o8b4o8b4o9b3obo7b
3o2b2o5b3o4bo$ob2o2bo5bobobo9b3o9b3o9b8o4b8o4b4obo6b4o8b4o8b4o6bob3o7b
ob8o2bob4obo$4b4o7b4o10b3obo7b3o7bo2b2o7bo2b2o8b5o7b4obo6b4o8b4o9b3obo
5bo2b2o8b5o$4b3obo7b5o7bob3o7bob4o4bo12bo15bobo8b3o9b4o8b4o6bob3o6bo
15bobo$5bo9bo2bo12bo11bo34bo12bo11bo11bo11bo22bo$5bo11bo13bo11bo47bo
10bo12bo11bo3$2bo11bo11bo12bobo9bobo9bobo9bobo9bobo9bobo9bo2bo8bo2bo8b
o11bo$2bo11bo12bo2b2o4bobo3bobo3bobo3bo5bobo3bo5bobo3bo5bobo3bo7bo3bo
7bo4bo6bo4bo4bobo2bo6bobo2bo$b3o9b3o10b8o3b3ob3o5b8o4b3ob4o4b3ob4o4b3o
b4o3b9o3b4o2b4o2b4o2b4o3b3obo7b3obo$ob4o6bob4o6b4o2b2o6b3obo7bob3o7b5o
7b5o7b3obo7b5o7b6o6b6o6b6o6b6o$4b4obo6b4o6bo10bobo2bo6bo3bo7bobo9bo2bo
8bobo2bo9bo11b2o10bo8bob3o8b4o$6b3o9b4o5bo12bo12bo10bo10bo12bo11bo24bo
10bo10bo$7bo11bo116bo10bo$7bo10bo3$3bo11bo11bo11bo11bo11bo11bo11bo11bo
11bo11bo11bo11bo$obo2bo6bobo2bo6bobo9bobo11bo2bo8bo2bo8bo2bo8bo12bo11b
o11bo8bobo2b2o7bo2b2obo$b3obo7b3obo7b5o7b5o6b5o7b4obo6b4obo6b6o8b4o8b
4o8b3o8b8o3b8o$2b5o7b5o7b6o6b6o6b4o8b6o6b5o7b6o4b8o4b8o4b4obo8bob3o7b
3obo$bob3obo6b4obo5bob3o8b4o9b5o6b4o8b4obo6b4o8b4o8b4o8bob4o5bo3bo9bo
3bo$4bo10bo12bo10bo10bo2bo9bo11bo11bo11bo12bo10b3o11bo9bo$4bo10bo12bo
10bo12bo10bo11bo11bo11bo12bo11bo$124bo3$3bo11bo11bo11bo11bo11bo11bo11b
o11bo11bo11bo11bo$2bo2b2o7bo2bo8bo3bo7bo3bo7bo4bo6bo11bo11bo9bobo5bo3b
obo11bo11bo$9o3b5o7b4o2bo5b4o2bo5b4o2bo5b4o2bo5b4o2bo5b4o3bo5b5obo5b5o
6b4o2b2o4b4o$2b5o7b4o8b7o5b6o6b6o6b2o2bo7b2o2bo7b2o2bo7bob5o5bob4o6b8o
4b4o$4bo11bobo9b3o9b3obo7b3obo7b5o7b4o8b4o5bo5bobo3bo4b4o5bo2b2o8b4o$
4bo12b4o8bo11bo11bo10b3o9b3obo7b3obo9bo12bo7bo14b4o$18bo10bo11bo11bo
11bo11bo11bo24bo24bo$17bo47bo11bo11bo48bo!
Also, as a simple test, here are all the connected still lifes in CGoL with up to 12 cells, generated using the same code:

Code: Select all

x = 157, y = 181, rule = B3/S23
2o4bo$2o3bobo$6bo7$2o$obo$bo7$2o4b2obo3b2o4bo$obo3bob2o2bo2bo2bobo$b2o
10b2o4bobo$20bo7$2o5b2o5b2o6b2o$obo4bobo4bobobo2bo2bo$bobo5bo7b2o2bobo
$2bo6b2o11bo7$2o6b2o6b2o6b2o6b2o6b2o7b2o6b2o6bo$obo5bobo5bo2b2o4bo7bo
6bobo5bo2bo4bo2bo4bobo$bobo7bo5b2obo4bob2o4bobo7bobo2bo2bo5bo2bo4bobo$
2b2o8bo13bobo5bobo7b2o3b2o7b2o6bobo$11b2o22bo31bo7$2ob2o4b2o2b2o3b2o7b
2o7b2o7b2o7b2o7b2o7b2o7bob2o$bobo5bobo2bo3bobo6bobo6bobo7bo7bobo7bo2b
2o3bobo6b2o2bo$bobo8b2o5bobo6bobo7bo7bob2o7bo6bobobo6bo8bobo$2bo17bobo
7bo7bobo6bobo8bo6bo10bobo6bo$21bo8b2o7b2o7bo10bo17b2o$58b2o7$2ob2o5b2o
b2obo3b2o8b2o3b2o3b2o8b2o8b2o8b2o8b2o8b2o8b2o8b2o8b2o8b2o8b2o8b2o$bobo
6bob2ob2o3bobo7bobo2bo4bobo7bobo7bobo7bo2b2o5bo2bo6bo3b2o4bo10bo2bo6bo
9bo9bo8bobo2b2o$o2bo17bobo9bobo5bo2b2o6bo9bo8b2o2bo5b2obo6bo2bo6bo2b2o
5bobobo5bob2o6bobo7bobo9bo2bo$b2o19bobo9bo7b2obo6bob2o6bobo9b2o8bo7bob
o7bo2bo6bobo7bo2bo6bobo7bobo9b2o$23b2o28bobo7bobo18b2o7bo9b2o8bo9b2o8b
obo8bo$64bo69bo9b2o3$2o8b2o9b2o8bo9bo9bo$obo7bobo7bo2bo6bobo7bobo7bobo
2b2o$3bo9bo6bobobo6b2o8bobo7bo2bobo$4bo9bo6bobo9b2o7bobo7b2o$5bo9bobo
4bo10bobo7bobo$6bo9b2o16bo9bo$5b2o7$2ob2o6b2ob2o6b2ob2o6b2ob2o6b2obo7b
2o2b2o5b2o2b2o5b2o2bo6b2o9b2o9b2o9b2o9b2o9b2o$bobo8bobobo5bob2obo5bob
2obobo3bob2o7bobo2bo5bo2bo2bo4bo2bobo5bobob2o5bobo8bobo8bobo8bobo8bobo
$o2bo8bo2bo11bo11b2o7b2o7bobo7b2o2b2o5b2o2bo7bobo7b2o9bobo8bobo8bobo9b
o$obo10b2o12b2o19bobo6b2o23b2o6bobo9b2o8bobo8bobo9bo9b3o$bo47bo41bo10b
obo8bobo9bo9bobo10bo$103bo10bo10b2o9b2o9b2o3$2o9b2o9b2o9b2o9b2o4bo4b2o
9b2o9b2o9b2o9b2o9b2o9b2o9b2o9b2o$obo9bo2b2o6bo2bo7bo9bobo2bobo3bobo2b
2o4bobo8bo2b2obo4bo2b2o6bo4bo5bo10bo10bo11bo2bo$2bo9bobobo6bobobo6bob
2o9bo2bo5bo2bobo6bo2b2o5bobob2o5b2o2bo6bo2bobo5b3ob2o5bo3b2o5bo10bobob
o$2bob2o7bobo8bo2bo7bo2bo9b2o7b2o9bobobo6bo12bobo6bo2bo8b2obo6bo2bo7bo
2b2o6bo2bo$3bobo8bo10b2o9bobo30bo23bo8b2o20bobo8bo2bo9b2o$4bo32bo87bo
10b2o3$2o9b2o9b2o9b2o9b2o9bob2o7bob2o7bobo8bobo9b2o9bo$bo9bobo3b2o3bob
o8bobo8bobo8b2o2bo6b2o2bo6b2obo7b2obo7bo2bo7bobo$bob2o9bo2bo7bo2b2o6bo
10bo10bobo8bo10bo10bo7bobobo7bobo$2bo2bo9bobo8bo2bo7bo10bo10bobo8b3o7b
ob2o7bobo6bo2bo9bo$4bobo9bo10b2o9bo10bo10bo11bo8bobo8bobo6b2o10bobo$5b
o33bo10bobo40bo20bobo$40bo10b2o62bo$39b2o7$2ob2o7b2ob2o7b2obo8b2obo8b
2obo8b2o2b2o6b2o2b2o6b2o2bo7b2o2bobo5b2o2bo7b2o3b2o5b2o3b2o5b2o3b2o$ob
2obo6bob2obo6bob2o8bob2o8bob2o8bobo2bo6bo2bo2bo5bo2bobo6bo2bob2o5bo2bo
bo6bobo3bo5bo4bo7bo3bo$6bo11bobo7b2o10b2o10b2obo6bobo8b2o2bobo5bobobo
7bobo9bobo2bo7bo2bo7b3obo7bobobo$7bo11b2o7bo11bobo9bob2o5bobo14bo7bobo
9b2o10bo2b2o7bobo10b2o9bobo$6b2o21bo11b2o19bo24bo35bo23bo$28b2o3$2o3b
2o5b2o3bo6b2o3bo6b2o3bo6b2o10b2o10b2o10b2o10b2o10b2o10b2o10b2o10b2o$bo
2bo2bo5bo2bobo5bobobobo6bo2bobo5bobob2o6bobob2o6bobo9bobo9bobo9bobo9bo
2b2o7bo2b2o8bo3bo$bobo2b2o5bobobo9b2o2bo5bobo2bo7bobo9bobo8b2o10bobo
10bo11bo10b2o2bo7bobobo7bob3o$2bo11bobo13b2o6bo3b2o5bo2bo9bo2bo9b2o9bo
bo8bob2o8bob2o10bobo8bo2bo8bo$15bo34b2o11b2o10bobo9bobo8bo2bo8bo2bo9b
2o10b2o10bo$76b2o10b2o9b2o11b2o32b2o3$2o10b2o4bo5b2o4b2o4b2o10b2o10b2o
10b2o10b2o10b2o10b2o10b2o10b2o10b2o$bo11bo2b3o5bobo2bobo4bobo9bobo9bob
o9bobo9bobo9bobo9bobo9bobo9bobo9bobo$o12bobo9bo2bo8bobo9bobo9bobo9bo2b
2o7bo2bo9bo2bo8bo11bo11bo11bo$2o12bobo9b2o10bo2b2o8bo11bo10b2o2bo7b2ob
o8bobobo7b3o9bob2o8bob2o8bobo$2bob2o9bo23b2obo8bob2o8bobo11b2o10bo9bob
o11bo9bo2bo8bo2bo8bobo$2b2obo46bobo9bobo22b2o9bo11bobo9b2o11b2o9bobo$
65bo47bo35bo3$2o10b2o10b2o10b2o10b2o10b2o10b2o10b2o10b2o10b2o10b2o10b
2o10b2o$obo9bo2b2o7bo4b2o5bo4b2o5bo11bo12bo2b2o7bo11bo11bo11bo11bo11bo
$2bo10bobobo7b3o2bo6bo2bobo6b3o9b3o9bobo2bo5bo12bob2o8bob2o8bobo9bobo
9bobo$2bobo9bo2bo9bobo8bo2bo9b3o9bo10bo2bo7b3ob2o7b2obo8bo2bo8b2o10bob
o9bobo$3bobo11b2o9bo10b2o13bo8bob2o8b2o10b2obo10bo9bo2bo9b2o9bobo9bobo
$5bo47b2o9bobo34b2o9b2o10bobo9bobo10bo$5b2o118bo11bo11b2o3$2o10b2o10b
2o10b2o10b2o10b2o10b2o10b2o10b2o10b2o10b2o10b2o10b2o$bo10bobob2o6bobob
o7bobo3b2o4bo2b2ob2o4bo5b2o4bo11bo11bo12bo2b2o7bo10bobob2o6bobo4bo$bob
o11b2obo8b2o9bo2bobo5b2ob2obo5b3obobo5bo4bo6bo11bo11bobo2bo6bob2ob2o7b
2obobo6bo2bobo$2bobo13bo10b2o7bobo22b2o9bo2bobo6bo3b2o6bo11bo2bobo6bob
2obo11b2o7bo2bo$3bo14b2o9bobo7bo35bo2bo8bo2bo8bo2b2o10bo34b2o$4b3o23bo
45b2o10bobo9bo2bo$6bo82bo11b2o3$2o10b2o10b2o10b2o10bob2o8bob2o8bob2o8b
obo9bobo9bobo9bo12b2o10b2o$obo9bobo9bobo9bobo9b2obo8b2ob3o6b2o2bo7b2ob
ob2o5b2obo8b2obo8b3o9bobo9bobo$3bo3b2o6bo11bo11bo11bob2o11bo8bo2b2o7bo
bo9bo11bo2b2o7bo2b2o4bobob2o6bo$4bo2bo8bo2b2o7bo11bo10b2obo10bobo8b2ob
o7bobo9bob2o8bobobo6bo2bobo5bobobo7bo2b2o$5bobo9bo2bo8bo11bo24bo21bo
11bobo9bo10b2o9bo11bo2bo$6bo11b2o10bo11bo58bo45b2o$31bo11bobo$32bo11b
2o$31b2o3$b2o10b2o10b2o10bo11bo11bo11bo11bo11bo11bo11bo11bo12b2o$o2bo
8bobo9bo2bo2b2o4bobob2o6bobo2b2o5bobo2b2o5bobo9bobo9bobo9bobo9bobo9bob
o10bo2bo$b2obo8bo10b2o2bo2bo4bobobo8b2o3bo6bobo2bo6b2o10bobob2o6bobo9b
obo2b2o5bobo9bo2b2o6bob2obo$3bobo8b3o12b2o6bo2bo10b3o9bobo9b2o10bobo8b
obo9bo2bobo7bo2b2o6b2o2bo6bo2bo$3bobo11bo20b2o11bo11b2o10bobo9bobo9bob
o9b2o10bobobo9bobo6b2o$4bo11bobo57bobo9bo11bobo21bo13bo$17bo59bo23bo3$
2bo$bobo$bo2bo$2o3bo$2b3o$2bo!
(I'm pretty sure these collections should be exhaustive, but there's always the possibility that I might still have some subtle bug in my code that none of my own tests have caught. If anyone else can confirm these results, that would be appreciated. Note that these results deliberately exclude patterns with more than one island, such as the aircraft carrier, and so are not directly comparable with conventional still life counts.)

Any feedback is, of course, welcome.

User avatar
dvgrn
Moderator
Posts: 10669
Joined: May 17th, 2009, 11:00 pm
Location: Madison, WI
Contact:

Re: lifeplets - enumerating small connected still lifes

Post by dvgrn » January 19th, 2018, 3:57 pm

vyznev wrote:(I'm pretty sure these collections should be exhaustive, but there's always the possibility that I might still have some subtle bug in my code that none of my own tests have caught. If anyone else can confirm these results, that would be appreciated...)
It would take me a little while to write and run an independent check that you haven't missed any polyplets, but there certainly aren't any obvious ones missing at the lower bit counts.

As a quick spot check, I looked at Catagolue's 12-bit still life collection and confirmed that 29 of the 121 still lifes in the list contain two or more islands -- which leaves your remaining count of 92 connected 12-bit still lifes.

Post Reply