Sokwe wrote: ↑November 30th, 2023, 8:45 pm
Here is a collection of what I think are the smallest known "true" ships for different speeds (2c/4, 2c/5, c/3, c/4o, c/4d) and symmetry types (gutter, odd, even, even-glide) that do not match the smallest "ship" as measured in the
LifeWiki table:
Code: Select all
x = 113, y = 112, rule = B3/S23
51bo$50bobo$50bo$50bo3bo$52bobo49b2o$49b2o2bo49b2o$49bo54bo2bo$48b3o
53b2obo$47bo56b2o3bo$47bo2bo$5o42bo2b2o55bobob2o$o4bo44bo54bobo3bo$o
48b2o45bo8b3o2bo$bo3bo44b2o43b5o6b2o$95bo2b2o2b2o$bo3bo44b2o51b2o$o48b
2o46b2o2b4o$o4bo44bo$5o42bo2b2o47bobo$47bo2bo52bo$47bo53b2o$48b3o50bo$
49bo$49b2o2bo$52bobo$50bo3bo$50bo$50bobo$51bo3$28b2o2b2o39bobo$27b2o
42b2o3b2o$28bob2o39bobo34b2o$4o20bo6bo41bo34bobo$o3bo19bo45bo37bo$o22b
o46b2o3bo35bo$bo2bo19b2obob2o47b2o30bobo$24b2o5b2o40b2o3bo31bobo$5b4o
17b4o44bobo4b2o27bo$4bo2bo21bobo42b7obo27bo$4bo2bo23bo41bo32bo3bo$4bo
2bo21bobo42b7obo22b3obo$5b4o17b4o44bobo4b2o21b2o$24b2o5b2o40b2o3bo24b
2o$bo2bo19b2obob2o47b2o24bo$o22bo46b2o3bo19b3o$o3bo19bo45bo24bo8bo$4o
20bo6bo41bo22bo2b5o$28bob2o39bobo24bo$27b2o42b2o3b2o21b2o$28b2o2b2o39b
obo13$4o$o3bo$o24b2o$bo3bo18b3o$6bo16bo3b3o$3b2ob2o16b2o2bobo5bo$3bo
21bo2bob2o4b3o$3bo4b2o18b2ob2o2bo2bo$4b2ob2obo18bo3bo2bo$8bo21b3o3bo$
31bo$31bo$8bo21b3o3bo$4b2ob2obo18bo3bo2bo$3bo4b2o18b2ob2o2bo2bo$3bo21b
o2bob2o4b3o$3b2ob2o16b2o2bobo5bo$6bo16bo3b3o$bo3bo18b3o$o24b2o$o3bo$4o
13$3b2o$bo4bo$o$o5bo$6o2$5bobo$4bo2bo$5bo$3b2o2bo$bo5bo$o$o5bo$6o!
I'm not sure if it's feasible to have LLSSS confirm any of these.
I think I've convinced myself problems occur at twice the pop of a symmetric ship (or four times an asymmetric ship since it can be paired with itself to produce what LLSSS would consider a symmetric ship). Some of the above are thus in range and I think some are not. I'll start working through them...
2c/4 odd to pop 32 completed very quickly with very little memory, finding only *WSSes and that one pop 32 ship (I may have seen someone call it "big A" before?).
2c/4 gse to pop 32 also completely quickly, finding only *WSSes and that one pop 32 ship. EDIT: Nope, nope, nope, this is wrong: the weighting doesn't make sense for gse where I need to not double the weights of reflected columns but rather count two different generations of pattern towards two different generations of bounds. This isn't gonna be fixable without some rather finicky hacking on the code.
EDIT: 2c/4 even to pop 48 is out of range (max is 4x9-1 = 35).
EDIT: c/3 odd to pop 52 finished pretty quickly, finding only silly pairs, dart, and that one "true gutter" pop 52 ship.