Spaceship Discussion Thread

For discussion of specific patterns or specific families of patterns, both newly-discovered and well-known.
Sokwe
Moderator
Posts: 2643
Joined: July 9th, 2009, 2:44 pm

Re: Spaceship Discussion Thread

Post by Sokwe » September 12th, 2018, 11:00 pm

HartmutHolzwart wrote:here is a backend for a c/5 wick
I searched using qfind at search-width 10 and found this smaller completion that starts the same way:

Code: Select all

x = 108, y = 19, rule = B3/S23
105bobo$92b3o9bob2o2$92bobo3bo4bobo$2bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo
5bo5bo5bo5bobo3bo2bobob2ob3o$3b2obo2b2o4b2obo2b2o4b2obo2b2o4b2obo2b2o
4b2obo2b2o4b2obo2b2o4b2obo2b2o4bobo4b2o5b2o$2ob2o2b4ob2ob2o2b4ob2ob2o
2b4ob2ob2o2b4ob2ob2o2b4ob2ob2o2b4ob2ob2o2b4ob3o2b4o2bob2o3bo$90bob2o
10b3o$88obo3b8o3bo$90bo13bo$88obo3b8o3bo$90bob2o10b3o$2ob2o2b4ob2ob2o
2b4ob2ob2o2b4ob2ob2o2b4ob2ob2o2b4ob2ob2o2b4ob2ob2o2b4ob3o2b4o2bob2o3bo
$3b2obo2b2o4b2obo2b2o4b2obo2b2o4b2obo2b2o4b2obo2b2o4b2obo2b2o4b2obo2b
2o4bobo4b2o5b2o$2bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bobo3bo2bob
ob2ob3o$92bobo3bo4bobo2$92b3o9bob2o$105bobo!
I also tried some larger wicks and found the following backend:

Code: Select all

x = 103, y = 21, rule = B3/S23
82b2o2b2o$81b7o$81bo$2bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bobo13b3o
b2o$3b2obo2b2o4b2obo2b2o4b2obo2b2o4b2obo2b2o4b2obo2b2o4b2obo2b2o4b2o5b
ob2o4b2o4b2o3bo$2ob2o2b4ob2ob2o2b4ob2ob2o2b4ob2ob2o2b4ob2ob2o2b4ob2ob
2o2b4ob2ob2ob4o2b3ob3o5bobobo$81bo3bo6bo2b3ob2o$82o2b9o2bo2bo2bo$93bo
2bo5bo$93o4b5o2$93o4b5o$93bo2bo5bo$82o2b9o2bo2bo2bo$81bo3bo6bo2b3ob2o$
2ob2o2b4ob2ob2o2b4ob2ob2o2b4ob2ob2o2b4ob2ob2o2b4ob2ob2o2b4ob2ob2ob4o2b
3ob3o5bobobo$3b2obo2b2o4b2obo2b2o4b2obo2b2o4b2obo2b2o4b2obo2b2o4b2obo
2b2o4b2o5bob2o4b2o4b2o3bo$2bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bobo
13b3ob2o$81bo$81b7o$82b2o2b2o!
This one looked like it might connect to some known grayship components, but I couldn't get it to work.

Edit: I searched for a 2c/10 backend for a p6 wick using a search-width of 8 with both odd and gutter symmetries, but I had no luck. Here are the longest partials:

Code: Select all

x = 72, y = 84, rule = B3/S23
3bo2bo$2bo$2bo3bo$2b4o4$10o$o9bo$o$bo8bo$4b2ob2o56bo$3bo2b2o46b2o6b2ob
obob3o$bo2bob2o45b3o13bo$o4b3o43b4o5bo4bobob2o$o2b2obo44bobo6b7ob3o$2o
4b2o5bo5bo5bo5bo5bo5bo5b2o10bob2obo3bo$2b5ob2obo2b2obo2b2obo2b2obo2b2o
bo2b2obo2b2o3b2o3b6o5bobo3bo$4bo2b3o2b4o2b4o2b4o2b4o2b4o2b4ob4o4b5o5bo
bo3bo2$4bo2b3o2b4o2b4o2b4o2b4o2b4o2b4ob4o4b5o5bobo3bo$2b5ob2obo2b2obo
2b2obo2b2obo2b2obo2b2obo2b2o3b2o3b6o5bobo3bo$2o4b2o5bo5bo5bo5bo5bo5bo
5b2o10bob2obo3bo$o2b2obo44bobo6b7ob3o$o4b3o43b4o5bo4bobob2o$bo2bob2o
45b3o13bo$3bo2b2o46b2o6b2obobob3o$4b2ob2o56bo$bo8bo$o$o9bo$10o4$2b4o$
2bo3bo$2bo$3bo2bo9$3b2o$2b2ob2o$3b4o$4b2o2$2b8o$b10o$2ob8o$b2o2$5b2ob
2o$4bo55b2o$5bo3bo50bobo$b2obo43b3o3b2o3b2obo2b2o$2o3bo41bo3bo4bo2bo2b
4o2b2obo$b2o6bo5bo5bo5bo5bo5bo5bo4bobob3o2b2obob2obob2o$2b4o4b2o4b2o4b
2o4b2o4b2o4b2o4bobo3bo3bob2ob2o4bo3bo$5bob2ob2ob2ob2ob2ob2ob2ob2ob2ob
2ob2ob2ob4o4bo5bo2b2o7bo$56b2o10b3o$5bob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob
2ob2ob4o4bo5bo2b2o7bo$2b4o4b2o4b2o4b2o4b2o4b2o4b2o4bobo3bo3bob2ob2o4bo
3bo$b2o6bo5bo5bo5bo5bo5bo5bo4bobob3o2b2obob2obob2o$2o3bo41bo3bo4bo2bo
2b4o2b2obo$b2obo43b3o3b2o3b2obo2b2o$5bo3bo50bobo$4bo55b2o$5b2ob2o2$b2o
$2ob8o$b10o$2b8o2$4b2o$3b4o$2b2ob2o$3b2o!
I did not try any of the larger wicks.

Edit 2: Here's a backend for another wick in the series:

Code: Select all

x = 170, y = 21, rule = B3/S23
79bo8bo8b2obo8b2o46bo6bo$2bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo15bobo5b2o9b
2obo8bobo4bo29b2o9b2o4bobo$3b2obo2b2o4b2obo2b2o4b2obo2b2o4b2obo2b2o4b
2obo2b2o4b2ob3o9b2o5bo7b2ob2ob2o4bo3b2o2b3obo14b2o2bobo7b2o5b4obo4b2o$
2ob2o2b4ob2ob2o2b4ob2ob2o2b4ob2ob2o2b4ob2ob2o2b4ob2ob2o15bo2bo4bo7bo4b
3ob2obo3bo21bo3bo2b2o3bo5bo3bob2o3bo$66bo12b5o5b4o3bo3b2o6bo10b2obobob
2o2b4obo2bo2b2o2bobobob6obo5b4o$66o5bo6bo2b2obo4b2o11bo4bo2bo4b3obo3bo
bo4bo2b5o6b4obo4b2o3b2o3bob4o$67bob2ob2o4b3o4b2o6bo15bo9bo2bob5ob2ob2o
8bobo13b2ob2o$70o3bo2bobo6bob4o2bo25bo2b4o5bob2o7b2o17b2o$68bo4b3o5bo
3bo7bo26bo10bobo8b2o17bo2bo$68o6bo4b3o4b7o38bo12bo17b2o2$68o6bo4b3o4b
7o38bo12bo17b2o$68bo4b3o5bo3bo7bo26bo10bobo8b2o17bo2bo$70o3bo2bobo6bob
4o2bo25bo2b4o5bob2o7b2o17b2o$67bob2ob2o4b3o4b2o6bo15bo9bo2bob5ob2ob2o
8bobo13b2ob2o$66o5bo6bo2b2obo4b2o11bo4bo2bo4b3obo3bobo4bo2b5o6b4obo4b
2o3b2o3bob4o$66bo12b5o5b4o3bo3b2o6bo10b2obobob2o2b4obo2bo2b2o2bobobob
6obo5b4o$2ob2o2b4ob2ob2o2b4ob2ob2o2b4ob2ob2o2b4ob2ob2o2b4ob2ob2o15bo2b
o4bo7bo4b3ob2obo3bo21bo3bo2b2o3bo5bo3bob2o3bo$3b2obo2b2o4b2obo2b2o4b2o
bo2b2o4b2obo2b2o4b2obo2b2o4b2ob3o9b2o5bo7b2ob2ob2o4bo3b2o2b3obo14b2o2b
obo7b2o5b4obo4b2o$2bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo15bobo5b2o9b2obo8bo
bo4bo29b2o9b2o4bobo$79bo8bo8b2obo8b2o46bo6bo!
This is the largest of these wicks that can be handled by qfind. This particular backend was found with a width-10 gutter search. The analogous width-10 odd-symmetric search did not find a solution. There are no doubt shorter solutions at larger widths.
-Matthias Merzenich

User avatar
calcyman
Moderator
Posts: 2932
Joined: June 1st, 2009, 4:32 pm

Re: Spaceship Discussion Thread

Post by calcyman » September 13th, 2018, 7:22 pm

calcyman wrote:
HartmutHolzwart wrote:Doesn't work for long:
If someone can find a glider collision that rephases a single component (it can have arbitrarily high repeat-time) in-place, then we can add an assembly of high-period c/2 rakes to incrementally transform the constant-phase wick into the alternating-phase wick, yielding a [pseudo-period] c/2 wickstretcher of the alternating-phase wick.

Then, we actually would obtain a legitimate growing spaceship.
Good news: I entered the following configuration into GRILLS:

Code: Select all

x = 391, y = 30, rule = Grills
40.G49.G49.G49.G49.G49.G49.G49.G$40.G49.G49.G49.G49.G49.G49.G49.G$40.
G49.G49.G49.G49.G49.G49.G49.G$40.G49.G49.G49.G49.G49.G49.G49.G$16.H
23.G25.I23.G25.J23.G25.K23.G25.L23.G25.M23.G25.N23.G25.O23.G$16.F23.G
25.F23.G25.F23.G25.F23.G25.F23.G25.F23.G25.F23.G25.F23.G$16.F23.G25.F
23.G25.F23.G25.F23.G25.F23.G25.F23.G25.F23.G25.F23.G$40.G49.G49.G49.G
49.G49.G49.G49.G$40.G49.G49.G49.G49.G49.G49.G49.G$36A4.G9.36A4.G9.36A
4.G9.36A4.G9.36A4.G9.36A4.G9.36A4.G9.36A4.G$36A4.G9.36A4.G9.36A4.G9.
36A4.G9.36A4.G9.36A4.G9.36A4.G9.36A4.G$2A32C2A4.G9.2A32C2A4.G9.2A32C
2A4.G9.2A32C2A4.G9.2A32C2A4.G9.2A32C2A4.G9.2A32C2A4.G9.2A32C2A4.G$2A
32C2A4.G9.2A32C2A4.G9.2A32C2A4.G9.2A32C2A4.G9.2A32C2A4.G9.2A32C2A4.G
9.2A32C2A4.G9.2A32C2A4.G$2A32C2A4.G9.2A32C2A4.G9.2A32C2A4.G9.2A32C2A
4.G9.2A32C2A4.G9.2A32C2A4.G9.2A32C2A4.G9.2A32C2A4.G$2A32C2A4.G9.2A32C
2A4.G9.2A32C2A4.G9.2A32C2A4.G9.2A32C2A4.G9.2A32C2A4.G9.2A32C2A4.G9.2A
32C2A4.G$2A32C2A4.G9.2A32C2A4.G9.2A32C2A4.G9.2A32C2A4.G9.2A32C2A4.G9.
2A32C2A4.G9.2A32C2A4.G9.2A32C2A4.G$2A32C2A4.G9.2A32C2A4.G9.2A32C2A4.G
9.2A32C2A4.G9.2A32C2A4.G9.2A32C2A4.G9.2A32C2A4.G9.2A32C2A4.G$36A4.G9.
2A32C2A4.G9.2A32C2A4.G9.2A32C2A4.G9.2A32C2A4.G9.2A32C2A4.G9.2A32C2A4.
G9.36A4.G$3AB5AB5AB5AB5AB5AB2A4.G9.4AB5AB5AB5AB5AB5ABA4.G9.2A32CAB4.G
9.BA32C2A4.G9.AB32C2A4.G9.2A32C2A4.G9.2A32C2A4.G9.4AB5AB5AB5AB5AB5ABA
4.G$4A2B4A2B4A2B4A2B4A2B4A2B4.G9.BAB2A2BAB2A2BAB2A2BAB2A2BAB2A2BAB2AB
4.G9.2B4A2B4A2B4A2B4A2B4A2B4A4.G9.AB32CBA4.G9.2A32C2A4.G9.BA32CBA4.G
9.2A32C2B4.G9.BAB2A2BAB2A2BAB2A2B4A2BAB2A2BAB2AB4.G$A2BA2BA2BA2BA2BA
2BA2BA2BA2BA2BA2BA2B4.G9.B2A4B2A4B2A4B2A4B2A4B2A3B4.G9.2BA2BA2BA2BA2B
A2BA2BA2BA2BA2BA2BA2BA4.G9.3B2A4B2A4B2A4B2A4B2A4B2AB4.G9.BA32CAB4.G9.
AB32CBA4.G9.AB32C2B4.G9.B2A4B2A4B2A4BA2BA2B2A4B2A3B4.G$36A4.G9.36A4.G
9.36A4.G9.36A4.G9.36A4.G9.2A32C2A4.G9.36A4.G9.36A4.G$36B4.G9.36B4.G9.
36B4.G9.36B4.G9.36B4.G9.36B4.G9.36B4.G9.36B4.G$36A4.G9.36A4.G9.36A4.G
9.36A4.G9.36A4.G9.36A4.G9.36A4.G9.36A4.G$36B4.G9.36B4.G9.36B4.G9.36B
4.G9.36B4.G9.36B4.G9.36B4.G9.36B4.G$40.G49.G49.G49.G49.G49.G49.G49.G$
40.G49.G49.G49.G49.G49.G49.G49.G$40.G49.G49.G49.G49.G49.G49.G49.G$40.
G49.G49.G49.G49.G49.G49.G49.G$40.G49.G49.G49.G49.G49.G49.G49.G!
and it spat out a solution:

Code: Select all

x = 391, y = 30, rule = Grills
40.G49.G49.G49.G49.G49.G49.G49.G$40.G49.G49.G49.G49.G49.G49.G49.G$40.
G49.G49.G49.G49.G49.G49.G49.G$40.G49.G49.G49.G49.G49.G49.G49.G$16.H
23.G25.I23.G25.J23.G25.K23.G25.L23.G25.M23.G25.N23.G25.O23.G$16.F23.G
25.F23.G25.F23.G25.F23.G25.F23.G25.F23.G25.F23.G25.F23.G$16.F23.G25.F
23.G25.F23.G25.F23.G25.F23.G25.F23.G25.F23.G25.F23.G$40.G49.G49.G49.G
49.G49.G49.G49.G$40.G49.G49.G49.G49.G49.G49.G49.G$36A4.G9.36A4.G9.36A
4.G9.36A4.G9.36A4.G9.36A4.G9.36A4.G9.36A4.G$36A4.G9.36A4.G9.36A4.G9.
36A4.G9.36A4.G9.36A4.G9.36A4.G9.36A4.G$5AB4AB7ABAB2AB2A2B2AB5A4.G9.
19ABAB14A4.G9.7AB12AB15A4.G9.6A2B13AB7A2B5A4.G9.7AB9AB4AB7A2B4A4.G9.
16A2BA2BA2B6ABAB3A4.G9.16A2BA2B2AB12A4.G9.17AB2AB15A4.G$6AB2AB2AB4AB
2ABAB7AB5A4.G9.6A3B3AB3AB3AB8A2B5A4.G9.5A2BAB4ABABA2B2A2B5A4B4A4.G9.
8AB7A3B3A2B7A2B3A4.G9.7AB8A8B6A3B3A4.G9.16ABA2B4AB11A4.G9.13A2B3A3B3A
B11A4.G9.12A4B5ABA2B11A4.G$4ABABA3BA3BA3BAB8ABA2B3A4.G9.3A2BA3B3ABABA
BA2BABA2B3A2BA2B3A4.G9.3A4BAB8ABA2BA2B2A4BA2B3A4.G9.17ABA2B2AB3AB4AB
3A4.G9.13AB2AB3A2BA2B6A2B3A4.G9.12A5B7AB2AB2ABAB3A4.G9.12A2B2A3BAB2AB
ABAB8A4.G9.12A3B2AB3AB2ABA2B8A4.G$3A3B3ABAB2ABAB6A3BABA2B2AB2A4.G9.3A
B10AB8A5B5AB2A4.G9.5AB7ABAB7AB6A2B4A4.G9.2AB9A3B3A2BABAB3AB8A4.G9.12A
3B3A2B2AB3A3B7A4.G9.11AB2A2B3A2BAB3ABAB7A4.G9.11AB7A2B6A3B6A4.G9.11AB
4AB3AB3AB2ABAB6A4.G$3AB2A3B2A2B2ABA3B2ABAB2A3BABAB2A4.G9.2A2B2A3B2AB
5A3BAB4A2B3AB4A4.G9.2A2B2ABAB3A2B5ABAB7A4B3A4.G9.5A2B5AB2AB11AB4AB3A
4.G9.11A2B2AB6AB4A2B7A4.G9.11A2B2A2B3A2B7AB6A4.G9.11A3B2ABAB6AB2A2B6A
4.G9.11A2B5ABAB6ABAB6A4.G$2AB2AB5ABA3B2AB2A4B3AB2AB4A4.G9.6A2B3ABA7BA
2BAB2A4BAB3A4.G9.6ABAB3ABA2B3ABABAB2A6B4A4.G9.12ABAB3A2BAB4A2B4AB3A4.
G9.14A2BABA2B4AB2AB7A4.G9.14AB3A7BABAB7A4.G9.15AB3AB16A4.G9.12AB23A4.
G$36A4.G9.15AB5ABAB12A4.G9.18ABA2BAB3AB8A4.G9.14AB2A3B3A2BA2B8A4.G9.
15A2B2ABABA2B2AB8A4.G9.21A5B10A4.G9.36A4.G9.36A4.G$3AB5AB5AB5AB5AB5AB
2A4.G9.4AB5AB5AB5AB5AB5ABA4.G9.5AB5AB3A3B3A2BAB4AB5AB4.G9.B5AB5AB3A2B
3A2BA2B4AB5A4.G9.AB5AB5AB2A2BA2BABAB6AB4A4.G9.2AB5AB5AB2ABAB4A4B4AB3A
4.G9.3AB5AB5AB5AB5A2B4AB2A4.G9.4AB5AB5AB5AB5AB5ABA4.G$4A2B4A2B4A2B4A
2B4A2B4A2B4.G9.BAB2A2BAB2A2BAB2A2BAB2A2BAB2A2BAB2AB4.G9.2B4A2B4A2B4A
2B4A2B4A2B4A4.G9.A2BAB2A2BAB2AB5AB6ABAB2A2BABA4.G9.2A2B4A2B4ABAB2ABA
2B3A2B4A2B2A4.G9.B2A2BAB2A2B3ABAB5ABAB2A2BAB2A2BA4.G9.4A2B4A2B4A2B3AB
A2B4AB4A2B4.G9.BAB2A2BAB2A2BAB2A2B4A2BAB2A2BAB2AB4.G$A2BA2BA2BA2BA2BA
2BA2BA2BA2BA2BA2BA2B4.G9.B2A4B2A4B2A4B2A4B2A4B2A3B4.G9.2BA2BA2BA2BA2B
A2BA2BA2BA2BA2BA2BA2BA4.G9.3B2A4B2A4B2A4B2A4B2A4B2AB4.G9.BA2BA2BA2BA
4B3A3B3A4BA2BA2BAB4.G9.A4B2A4BA4B2A4B3ABA2B2A4BA4.G9.A2BA2BA2BA2BA2BA
2BA5B2A4BA2BA2B4.G9.B2A4B2A4B2A4BA2BA2B2A4B2A3B4.G$36A4.G9.36A4.G9.
36A4.G9.36A4.G9.36A4.G9.16AB5AB13A4.G9.36A4.G9.36A4.G$36B4.G9.36B4.G
9.36B4.G9.36B4.G9.36B4.G9.36B4.G9.36B4.G9.36B4.G$36A4.G9.36A4.G9.36A
4.G9.36A4.G9.36A4.G9.36A4.G9.36A4.G9.36A4.G$36B4.G9.36B4.G9.36B4.G9.
36B4.G9.36B4.G9.36B4.G9.36B4.G9.36B4.G$40.G49.G49.G49.G49.G49.G49.G
49.G$40.G49.G49.G49.G49.G49.G49.G49.G$40.G49.G49.G49.G49.G49.G49.G49.
G$40.G49.G49.G49.G49.G49.G49.G49.G$40.G49.G49.G49.G49.G49.G49.G49.G!
Can anyone engineer this reaction out of a glider collision?

EDIT: For simplicity, here's the B3/S23 pattern; look at generation 7 of the pattern below:

Code: Select all

x = 189, y = 41, rule = B3/S23
8bo$7b4o6bobo$6bob4o4bo4b2o$5b2o7bobo$6b2o3b4o6b2o$7bob2o5b5o$3bo5b3ob
ob2o2bo$bo5b2o4bobobo$o11b2o51bo4bo7bobo2bo2b2o2bo$o6bo58bo2bo2bo4bo2b
obo7bo$6o4b2o52bobob3ob3ob3obo8bob2o73b2o$7bo2b2o51b3o3bobo2bobo6b3obo
b2o2bo71bo2bo2bo$6bo56bo2b3o2b2o2bob3o2bobo2b3obobo72bob4o$5bo3bo52bo
2bo5bob3o2bo2b4o3bo2bo71b4o7b2o$4bo3bo154bo3bob2obo2bo5bo$3bo4b2o5bo5b
o5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo12b
2ob2ob2obob2obobo$3bo2b3ob2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b
2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o5b5o8bo2bob2o2bo
$3bo3b2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob
2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob
2ob2ob2ob2ob2ob2obobo2b3ob2ob4o4bo3b2o2b2o$4bo153bobobo3b2o5b4ob3o2b2o
2bo$5b155obobo5bobobo4bobobo2bobo$161b4o3b2obobob3o4b4ob2o$5b155obobo
5bobobo4bobobo2bobo$4bo153bobobo3b2o5b4ob3o2b2o2bo$3bo3b2ob2ob2ob2ob2o
b2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob
2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2obobo
2b3ob2ob4o4bo3b2o2b2o$3bo2b3ob2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b
2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o5b5o8bo2bob
2o2bo$3bo4b2o5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo
5bo5bo5bo5bo5bo12b2ob2ob2obob2obobo$4bo3bo154bo3bob2obo2bo5bo$5bo3bo
153b4o7b2o$6bo159bob4o$7bo2b2o153bo2bo2bo$6o4b2o154b2o$o6bo$o11b2o$bo
5b2o4bobobo$3bo5b3obob2o2bo$7bob2o5b5o$6b2o3b4o6b2o$5b2o7bobo$6bob4o4b
o4b2o$7b4o6bobo$8bo!
What do you do with ill crystallographers? Take them to the mono-clinic!

User avatar
calcyman
Moderator
Posts: 2932
Joined: June 1st, 2009, 4:32 pm

Re: Spaceship Discussion Thread

Post by calcyman » September 13th, 2018, 8:00 pm

This one leaves another tick before interacting:

Code: Select all

x = 190, y = 41, rule = B3/S23
8b2o$12bo$6b2o4bo3b3o$6bo2b2o4bo$6bob2ob5obob4o$7b2obo6b6o$8bo3b2o2bo
3b2o$9b4obobo$b2o5b2o3b3o43bob2o2bo5bob2o6bobo2bob2o$2ob3o6b2o46b3o3b
2o2bo2b3ob2o3b3o2b2o$b5obo3b2o46bo2b2o3bo8b2ob2ob2o2bo2bo77b2o$2b6o3b
2o49b3o4b3o2bo2bo2b3o2bo3b2o75bo2bo2bo$7bo3bo48bo3b2o2b2ob2o2b3obobo2b
4obo77bob4o$6bo54bobo3bo3bo3bo3b2obo2b2o3bo73b4o7b2o$5bo3bo154bo3bob2o
bo2bo5bo$4b2o5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo
5bo5bo5bo5bo5bo5bo10b3ob2ob2obob2obobo$3b3obo4b2obo2b2obo2b2obo2b2obo
2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2o
bo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2o4bo12bo2bob2o2bo
$4b2obobob3o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b
4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4ob3o6b2ob3o4bo3b2o2b2o$5b2o154bo
3b4obo3b4obobo2b2o2bo$6b155o4bo2bobo3bo4bobobo2bobo$162bo2bo3b2obobo2b
3o3bo2bob2o$6b155o4bo2bobo3bo4bobobo2bobo$5b2o154bo3b4obo3b4obobo2b2o
2bo$4b2obobob3o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b
4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4ob3o6b2ob3o4bo3b2o2b2o$3b3obo
4b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2o
bo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b
2obo2b2o4bo12bo2bob2o2bo$4b2o5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5b
o5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo10b3ob2ob2obob2obobo$5bo3bo154bo3bob
2obo2bo5bo$6bo157b4o7b2o$7bo3bo155bob4o$2b6o3b2o153bo2bo2bo$b5obo3b2o
154b2o$2ob3o6b2o$b2o5b2o3b3o$9b4obobo$8bo3b2o2bo3b2o$7b2obo6b6o$6bob2o
b5obob4o$6bo2b2o4bo$6b2o4bo3b3o$12bo$8b2o!
What do you do with ill crystallographers? Take them to the mono-clinic!

User avatar
calcyman
Moderator
Posts: 2932
Joined: June 1st, 2009, 4:32 pm

Re: Spaceship Discussion Thread

Post by calcyman » September 13th, 2018, 8:17 pm

Another tick and another row further:

Code: Select all

x = 190, y = 39, rule = B3/S23
7b2o8bo$6b2o3bo4b2o$5b2o2b2o4bo3b3o$6bo4b5obo4bo$10bo4bobo$7b2o3b2ob2o
bo3bo$10b2o4bo46bo3bo12b2obo$5o3b2o5bo39bobobobo2bo4bob2o3bob5o2bo$o4b
2obo2bo43bobo3bob3obob2o3b4o3bob2obo$o6bo51b3o4bo2bo2b2o4bob2obo83b2o$
bo5b2obo44bo3bo5b2obob2o2bobo5bo3bo79bo2bo2bo$3b2o2bo3b2o43bo2b2ob4obo
bo2bob4ob3obo83bob4o$6bo157b4o7b2o$4b3o157bo3bob2obo2bo5bo$3bo8bo5bo5b
o5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo10b
2ob2ob2obob2obobo$3bo4bobo2b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o
4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2ob2o13bo2bob2o
2bo$3bo3b2o2bob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob
2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob
2ob2ob2ob2ob2ob2ob2ob2ob3o3bob6o4bo3b2o2b2o$4bo156bo3b2o3bobob4obobo2b
2o2bo$5b157o2b2o2bobo3bo4bo3bo2bobo$161bo2b3obobo3b2o3bo3b4ob2o$5b157o
2b2o2bobo3bo4bo3bo2bobo$4bo156bo3b2o3bobob4obobo2b2o2bo$3bo3b2o2bob2ob
2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob
2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob
2ob2ob3o3bob6o4bo3b2o2b2o$3bo4bobo2b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o
4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2ob2o13b
o2bob2o2bo$3bo8bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5b
o5bo5bo5bo5bo5bo5bo10b2ob2ob2obob2obobo$4b3o157bo3bob2obo2bo5bo$6bo
157b4o7b2o$3b2o2bo3b2o154bob4o$bo5b2obo155bo2bo2bo$o6bo159b2o$o4b2obo
2bo$5o3b2o5bo$10b2o4bo$7b2o3b2ob2obo3bo$10bo4bobo$6bo4b5obo4bo$5b2o2b
2o4bo3b3o$6b2o3bo4b2o$7b2o8bo!
Surely someone *must* be able to engineer this from a glider collision?


EDIT: Much better still, another tick of predecessorness, and the ash stabilises safely into a block:

Code: Select all

x = 191, y = 39, rule = B3/S23
7b3o7b2o$6bo3b2o5b3obo$6bo4bo2bobob2ob2o$6b2o2bob3obo2bob2o$8bo9b2o$
10b2obob2o$2b3o3bo2b3obob2o54b2o5bob2o2bobobobobobo2bobo$b6ob3obo60bo
2bobo4bo2b2o9b2o$2ob5ob2o61bob4o3b5obobo2bo2bo2bo2bo$b2o7bo60bo3bo2bo
2b2o2bo3bo3bo4bo69b2o$7b3o2bo59bo2bob2o2bo2bobob2obob2ob2o2bo66bo2bo2b
o$7b3o2bo60bobobob2obob2o4bobob2o72bob4o$4bo2b2o156b4o7b2o$5b3o157bo3b
ob2obo2bo5bo$4bobo7bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo
5bo5bo5bo5bo5bo5bo5bo5bo9b2ob2ob2obob2obobo$3b3o2b3obo2b2obo2b2obo2b2o
bo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b
2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2bobobo12bo
2bob2o2bo$4b2o2b3o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o
2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b3o3bo2b3ob2ob2o4bo3b2o2b
2o$5b2o158bobobo3bob4ob2o3b2o2bo$6b155ob2o7bo8bo2b2o2bobo$163b2o2bobob
2ob3o2b3ob2o2bob2o$6b155ob2o7bo8bo2b2o2bobo$5b2o158bobobo3bob4ob2o3b2o
2bo$4b2o2b3o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b
4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b3o3bo2b3ob2ob2o4bo3b2o2b2o$3b
3o2b3obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b
2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo
2b2obo2b2obo2bobobo12bo2bob2o2bo$4bobo7bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5b
o5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo9b2ob2ob2obob2obobo$5b3o
157bo3bob2obo2bo5bo$4bo2b2o156b4o7b2o$7b3o2bo155bob4o$7b3o2bo154bo2bo
2bo$b2o7bo157b2o$2ob5ob2o$b6ob3obo$2b3o3bo2b3obob2o$10b2obob2o$8bo9b2o
$6b2o2bob3obo2bob2o$6bo4bo2bobob2ob2o$6bo3b2o5b3obo$7b3o7b2o!
What do you do with ill crystallographers? Take them to the mono-clinic!

User avatar
calcyman
Moderator
Posts: 2932
Joined: June 1st, 2009, 4:32 pm

Re: Spaceship Discussion Thread

Post by calcyman » September 14th, 2018, 7:13 am

I repaired an efficiency bug in GRILLS, and now it runs much faster. A 7-minute run on my old laptop gave an even wider separation: three blank rows and a relatively clean interaction:

Code: Select all

x = 191, y = 41, rule = B3/S23
8bo$7b4o6bobo$6bob4o4bo4b2o$5b2o7bobo$6b2o3b4o6b2o$7bob2o5b5o$3bo5b3ob
ob2o2bo58b2o2bo3bo5b2o$bo5b2o4bobobo58bo4bo2bo5bo4b2obobo$o11b2o63bobo
b3o2bobo2b3o4bo2bo$o6bo68bo3b2o7b2o2b4o3bo$6o4b2o66bo3bo4bobo2bo2bobo
2bobo65b2o$7bo2b2o64b4o3b3ob4ob3o2b2obo66bo2bo2bo$6bo161bob4o$5bo3bo
155b4o7b2o$4bo3bo156bo3bob2obo2bo5bo$3bo4b2o5bo5bo5bo5bo5bo5bo5bo5bo5b
o5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo14b2ob2ob2obob2obobo$3bo
2b3ob2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b
2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o3b2obo13bo2bob2o2bo$3bo3b2ob2ob2ob2o
b2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob
2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob
4obobob5ob3o4bo3b2o2b2o$4bo155bob3o2bobobobob4ob3o2b2o2bo$5b155o2b2o2b
o4bobo4bo4bo3bobo$164bo6b2o2bo3bobo3b3ob2o$5b155o2b2o2bo4bobo4bo4bo3bo
bo$4bo155bob3o2bobobobob4ob3o2b2o2bo$3bo3b2ob2ob2ob2ob2ob2ob2ob2ob2ob
2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob
2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob2ob4obobob5ob3o4bo
3b2o2b2o$3bo2b3ob2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b
2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o4b2o3b2obo13bo2bob2o2bo$3bo
4b2o5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo
5bo5bo14b2ob2ob2obob2obobo$4bo3bo156bo3bob2obo2bo5bo$5bo3bo155b4o7b2o$
6bo161bob4o$7bo2b2o155bo2bo2bo$6o4b2o156b2o$o6bo$o11b2o$bo5b2o4bobobo$
3bo5b3obob2o2bo$7bob2o5b5o$6b2o3b4o6b2o$5b2o7bobo$6bob4o4bo4b2o$7b4o6b
obo$8bo!
What do you do with ill crystallographers? Take them to the mono-clinic!

User avatar
KittyTac
Posts: 535
Joined: December 21st, 2017, 9:58 am

Re: Spaceship Discussion Thread

Post by KittyTac » September 14th, 2018, 12:54 pm

What is GRILLS?

User avatar
calcyman
Moderator
Posts: 2932
Joined: June 1st, 2009, 4:32 pm

Re: Spaceship Discussion Thread

Post by calcyman » September 14th, 2018, 4:20 pm

KittyTac wrote:What is GRILLS?
https://gitlab.com/apgoucher/metasat/bl ... /grills.py

It's similar to Macbi's LLS (converting a general GoL problem into a SAT instance), but only supports asymmetric and (implicitly) gutter-symmetric configurations in B3/S23. Instead of using bespoke text files as input, it runs as a Golly script and operates on the current universe as an input; if it finds a solution, the current universe is updated to reflect the solution.

The processing pipeline looks like the following:
  1. Compile the GRILLS pattern into an intermediate representation (the same one used by ikpx) comprising a map from (x, y, t) coordinates to variable names.
  2. Optimise this intermediate representation.
  3. Compile the intermediate representation into a SAT problem.
  4. Optimise this SAT problem (using lingeling) for a prespecified duration.
  5. Separate this SAT problem (using march_cc) into smaller subproblems.
  6. Solve the subproblems (using iglucose).
The 'optimise' steps may exit early if they solve the problem.

I'm intending to make the frontend even more user-friendly by allowing a LifeHistory input to be run for several generations to create an 'outline' GRILLS pattern with all of the annoying origin annotations in place.

Incidentally, for this wick problem, we need to synthesise two different reactions in order to assemble the alternating wick:

Code: Select all

x = 192, y = 41, rule = B3/S23
8b2o$12bo$6b2o4bo3b3o$6bo2b2o4bo$6bob2ob5obob4o$7b2obo6b6o$8bo3b2o2bo
3b2o$9b4obobo61bobobo3bobo6bo2bobo$b2o5b2o3b3o61b2o5bo7b3o6b2o$2ob3o6b
2o64b4o2bo3bob2o4b3ob2o$b5obo3b2o64bobob5ob2o4bo4b2obo67b2o$2b6o3b2o
65b3o3b2ob2ob6ob4obo65bo2bo2bo$7bo3bo66b2o5bo3b2o3bo74bob4o$6bo159b4o
7b2o$5bo3bo156bo3bob2obo2bo5bo$4b2o5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5b
o5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo13b2ob2ob2obob2obobo$3b3obo4b
2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo
2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2o
bo2b2o3bo2bo12bo2bob2o2bo$4b2obobob3o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o
2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4obo3bob
4ob6o4bo3b2o2b2o$5b2o154bo3bo4bobo3b4ob3o2b2o2bo$6b155ob2o2bo5bobobo2b
o5bo2bobo$165b2o4b2ob2o3b2o2bobo2bob2o$6b155ob2o2bo5bobobo2bo5bo2bobo$
5b2o154bo3bo4bobo3b4ob3o2b2o2bo$4b2obobob3o2b4o2b4o2b4o2b4ob2ob2o2b4o
2b4o2b4ob2ob2o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o2b4o
2b4obo3bob4ob6o4bo3b2o2b2o$3b3obo4b2obo2b2obo2b2obo2b2obo2b2o4b2obo2b
2obo2b2obo2b2o4b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b
2obo2b2obo2b2obo2b2obo2b2obo2b2obo2b2o3bo2bo12bo2bob2o2bo$4b2o5bo5bo5b
o5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo13b
2ob2ob2obob2obobo$5bo3bo156bo3bob2obo2bo5bo$6bo159b4o7b2o$7bo3bo32bobo
bobo2b2ob2obob2o3bo4bobo95bob4o$2b6o3b2o30bo2bo2b3o3b2o2bo3b2obo2b3obo
94bo2bo2bo$b5obo3b2o36bo2bobob2o5bobo2b2o99b2o$2ob3o6b2o30b2o5b3ob2obo
b5obob2o2b2o$b2o5b2o3b3o29bo2b3o3bobo2bo2bobobo$9b4obobo28bobob2obobob
o4bo6bob2ob2o$8bo3b2o2bo3b2o$7b2obo6b6o23bo$6bob2ob5obob4o$6bo2b2o4bo$
6b2o4bo3b3o$12bo$8b2o!
What do you do with ill crystallographers? Take them to the mono-clinic!

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

Re: Spaceship Discussion Thread

Post by dvgrn » September 14th, 2018, 6:34 pm

calcyman wrote:Surely someone *must* be able to engineer this from a glider collision?
I like your optimism, but at first glance this looks to me like a couple of 120-bit space dust problems -- and we still find 40-bit space dust problems to be pretty tricky.

Also, in this case we only have five of the eight input directions to work from, and a lot of useful lanes in the two parallel-to-wick directions won't be available.

I certainly can't say confidently that there's no way to build some wacky big still lifes, and then crash several somethings into them to get those two patching reactions... but looking at those two reactions sure doesn't give me any ideas about where to start.

If I had to tackle the problem I'd probably try putting a few months of effort into better heuristics for a backtracking algorithm, to try to keep moving the search area farther away from the wick while leaving behind small still lifes whenever that was convenient. Not sure even optimum application of SAT solvers can keep that search area under control, though!

Anyway, it's really quite impressive that there's a way to correct the wick at all. This is one of the closest matches I've seen to the old Dave Buckingham paraphrase about "building a Formula-1 race car whilst it's on the track and travelling at 200mph".

Extrementhusiast and Kazyan and others have built quite a few Conway's Life race cars now, but they mostly start moving only when the construction is finished. For modifications to things traveling at any speed I think we're mostly still just applying decals to coasting bicycles, or maybe removing bike trailers (i.e., minstrels)... it takes a steady hand to do that, for sure, but this seems more like replacing one of the spokes in a bike's front wheel while you're still pedaling it.

Sokwe
Moderator
Posts: 2643
Joined: July 9th, 2009, 2:44 pm

Re: Spaceship Discussion Thread

Post by Sokwe » September 15th, 2018, 7:20 am

Here's a slightly shorter backend for the simplest c/5 orthogonal wick:

Code: Select all

x = 67, y = 19, rule = B3/S23
53bobo$52bo2bo$50b2o$58bo$43b3o5bo3bob2ob3o$46bobo3b2o7b4o$2bo5bo5bo5b
o5bo5bo5bo3bo3bob2o4bo2b2o5bobo$3b2obo2b2o4b2obo2b2o4b2obo2b2o4b2obo
11bo6b2o2b2o$2ob2o2b4ob2ob2o2b4ob2ob2o2b4ob2ob2ob3o12b4o2bo$56bo4b2o$
2ob2o2b4ob2ob2o2b4ob2ob2o2b4ob2ob2ob3o12b4o2bo$3b2obo2b2o4b2obo2b2o4b
2obo2b2o4b2obo11bo6b2o2b2o$2bo5bo5bo5bo5bo5bo5bo3bo3bob2o4bo2b2o5bobo$
46bobo3b2o7b4o$43b3o5bo3bob2ob3o$58bo$50b2o$52bo2bo$53bobo!
I have updated the jslife-moving collection to reflect recent discoveries. This update also finally adds the 2-engine cordership. The collection should now be entirely up-to-date as of this post.
-Matthias Merzenich

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

Re: Spaceship Discussion Thread

Post by dvgrn » September 15th, 2018, 3:16 pm

Sokwe wrote:I have updated the jslife-moving collection to reflect recent discoveries. This update also finally adds the 2-engine cordership. The collection should now be entirely up-to-date as of this post.
What exactly counts as "up-to-date", and if I have a candidate pattern that I want to suggest adding, what's the preferred way to contribute -- should I put together a GitHub pull request, or would logging an issue for the repository be okay? Maybe a README.md could be added to point people in the right direction?

I just added a couple of variants of simsim314's alternate 4-engine Cordership to the LifeWiki. It's used in the infinite Corderships gun, so it seems like it might be famous enough to be included in jslife-moving.

Seems like there are too many Cordership variants to collect them all. The LifeWiki's solution seems to have been to document all the Corderships that were record-breakers at any point in any category (which I guess maybe includes records in the "N-in-a-row" subcategory).

ship-c12d-small.rle can probably be removed. The comments say it's the smallest by population, but that's out of date now thanks to the 2-engine Cordership, and it's already included in ships-c12d.rle as #5.2.

Sokwe
Moderator
Posts: 2643
Joined: July 9th, 2009, 2:44 pm

Re: Spaceship Discussion Thread

Post by Sokwe » September 15th, 2018, 5:14 pm

dvgrn wrote:What exactly counts as "up-to-date"?
The way I was using it, it's when I am personally satisfied that all of the interesting known technology is included. I should probably say that everything except the c/12 diagonal section is up-to-date. I'm not satisfied with that section, but also not ambitious enough to update it. With c/12 technology, it's hard to separate the wheat from the chaff, so I've left it alone. I'm open to any proposals for that section.
dvgrn wrote:if I have a candidate pattern that I want to suggest adding, what's the preferred way to contribute -- should I put together a GitHub pull request, or would logging an issue for the repository be okay? Maybe a README.md could be added to point people in the right direction?
If it's a minor change, then it can be mentioned in an issue and I'll get around to adding it at some point. If it's a more substantial addition, like a collection of all known p96 2-engine puffers, I would hope someone else would do the necessary legwork. I can add people as collaborators if need be. I agree that I should add a readme.
dvgrn wrote:ship-c12d-small.rle can probably be removed. The comments say it's the smallest by population, but that's out of date now thanks to the 2-engine Cordership, and it's already included in ships-c12d.rle as #5.2.
Nice catch. I'll remove it later today. I'll also add the 13-engine Cordership for its historical significance.
-Matthias Merzenich

HartmutHolzwart
Posts: 840
Joined: June 27th, 2009, 10:58 am
Location: Germany

Re: Spaceship Discussion Thread

Post by HartmutHolzwart » September 15th, 2018, 6:31 pm

Could you give the c/6 ants wicks a try?

Code: Select all

x = 26, y = 22, rule = B3/S23
3$3b2o3b2o3b2o3b2o3b2o$b2o3b2o3b2o3b2o3b2o$2b3o2b3o2b3o2b3o2b3o2$26o2$
26o2$2b3o2b3o2b3o2b3o2b3o$b2o3b2o3b2o3b2o3b2o$3b2o3b2o3b2o3b2o3b2o!
Thanks,
Hartmut

Sokwe
Moderator
Posts: 2643
Joined: July 9th, 2009, 2:44 pm

Re: Spaceship Discussion Thread

Post by Sokwe » September 16th, 2018, 2:54 am

HartmutHolzwart wrote:Could you give the c/6 ants wicks a try?
I tried all of the variants with qfind up to a search-width of 10, but there wasn't even a long extension, much less a complete back end. Unfortunately, qfind cannot currently perform searches at widths higher than 10. Incorporating Tomas Rokicki's updates to zfind should allow qfind to search widths 11 or 12, but I have not yet made those modifications.
-Matthias Merzenich

HartmutHolzwart
Posts: 840
Joined: June 27th, 2009, 10:58 am
Location: Germany

Re: Spaceship Discussion Thread

Post by HartmutHolzwart » September 19th, 2018, 4:34 pm

The one c/5 wick end combines nicely with a known c/5 grey ship part:

Code: Select all

x = 193, y = 120, rule = B3/S23
6$82b5o20b5o20b5o$85bobo22bobo22bobo$81bo6bo17bo6bo17bo6bo$81bo3bo20bo
3bo20bo3bo$82b2obo21b2obo21b2obo$85bob2o21bob2o21bob2o$83b2o23b2o23b2o
$84bo24bo24bo$82b2o23b2o23b2o$81bobo22bobo22bobo$81bob2o21bob2o21bob2o
$82bobo22bobo22bobo$84bo24bo24bo2$84bo24bo24bo$82bobo22bobo22bobo$81bo
b2o21bob2o21bob2o$81bobo22bobo22bobo$82b2o23b2o23b2o$84bo24bo24bo$83b
2o23b2o23b2o$85bob2o21bob2o21bob2o$82b2obo21b2obo21b2obo$81bo3bo20bo3b
o20bo3bo$81bo6bo17bo6bo17bo6bo$85bobo22bobo22bobo$82b5o20b5o20b5o$88bo
24bo24bo$87bobo22bobo22bobo$86b2o23b2o23b2o$89bo24bo24bo$91b2o4bo18b2o
4bo18b2o4bo$88b2ob2o3bo2bo13b2ob2o3bo2bo13b2ob2o3bo2bo$88b2o4b2o3bo13b
2o4b2o3bo13b2o4b2o3bo$89b2o3bo4bo14b2o3bo4bo14b2o3bo4bo$94bo4bo19bo4bo
19bo4bo$96b4o21b4o21b4o4$83b2o2b2o6bo2bo3b2o4b2o2b2o6bo2bo3b2o4b2o2b2o
6bo2bo3b2o4b2o2b2o$82b7o5b2ob3o2b2o3b7o5b2ob3o2b2o3b7o5b2ob3o2b2o3b7o$
82bo12bo3b2o6bo12bo3b2o6bo12bo3b2o6bo$3bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5b
o5bo5bo5bobo9bob2ob2o6bobo9bob2ob2o6bobo9bob2ob2o6bobo13b3ob2o$4b2obo
2b2o4b2obo2b2o4b2obo2b2o4b2obo2b2o4b2obo2b2o4b2obo2b2o4b2o5bob2o4bo4b
4o2b2o4bob2o4bo4b4o2b2o4bob2o4bo4b4o2b2o4bob2o4b2o4b2o3bo$b2ob2o2b4ob
2ob2o2b4ob2ob2o2b4ob2ob2o2b4ob2ob2o2b4ob2ob2o2b4ob2ob2ob4o2b3o2bo3bo6b
2o2b3o2b3o2bo3bo6b2o2b3o2b3o2bo3bo6b2o2b3o2b3ob3o5bobobo$82bo3bo2bo2bo
bo3bo8bo3bo2bo2bobo3bo8bo3bo2bo2bobo3bo8bo3bo6bo2b3ob2o$b82o2b6o2b3o2b
10o2b6o2b3o2b10o2b6o2b3o2b10o2b9o2bo2bo2bo$169bo2bo5bo$b168o4b5o2$b
168o4b5o$169bo2bo5bo$b82o2b6o2b3o2b10o2b6o2b3o2b10o2b6o2b3o2b10o2b9o2b
o2bo2bo$82bo3bo2bo2bobo3bo8bo3bo2bo2bobo3bo8bo3bo2bo2bobo3bo8bo3bo6bo
2b3ob2o$b2ob2o2b4ob2ob2o2b4ob2ob2o2b4ob2ob2o2b4ob2ob2o2b4ob2ob2o2b4ob
2ob2ob4o2b3o2bo3bo6b2o2b3o2b3o2bo3bo6b2o2b3o2b3o2bo3bo6b2o2b3o2b3ob3o
5bobobo$4b2obo2b2o4b2obo2b2o4b2obo2b2o4b2obo2b2o4b2obo2b2o4b2obo2b2o4b
2o5bob2o4bo4b4o2b2o4bob2o4bo4b4o2b2o4bob2o4bo4b4o2b2o4bob2o4b2o4b2o3bo
$3bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bo5bobo9bob2ob2o6bobo9bob2ob2o6b
obo9bob2ob2o6bobo13b3ob2o$82bo12bo3b2o6bo12bo3b2o6bo12bo3b2o6bo$82b7o
5b2ob3o2b2o3b7o5b2ob3o2b2o3b7o5b2ob3o2b2o3b7o$83b2o2b2o6bo2bo3b2o4b2o
2b2o6bo2bo3b2o4b2o2b2o6bo2bo3b2o4b2o2b2o4$96b4o21b4o21b4o$94bo4bo19bo
4bo19bo4bo$89b2o3bo4bo14b2o3bo4bo14b2o3bo4bo$88b2o4b2o3bo13b2o4b2o3bo
13b2o4b2o3bo$88b2ob2o3bo2bo13b2ob2o3bo2bo13b2ob2o3bo2bo$91b2o4bo18b2o
4bo18b2o4bo$89bo24bo24bo$86b2o23b2o23b2o$87bobo22bobo22bobo$88bo24bo
24bo$82b5o20b5o20b5o$85bobo22bobo22bobo$81bo6bo17bo6bo17bo6bo$81bo3bo
20bo3bo20bo3bo$82b2obo21b2obo21b2obo$85bob2o21bob2o21bob2o$83b2o23b2o
23b2o$84bo24bo24bo$82b2o23b2o23b2o$81bobo22bobo22bobo$81bob2o21bob2o
21bob2o$82bobo22bobo22bobo$84bo24bo24bo2$84bo24bo24bo$82bobo22bobo22bo
bo$81bob2o21bob2o21bob2o$81bobo22bobo22bobo$82b2o23b2o23b2o$84bo24bo
24bo$83b2o23b2o23b2o$85bob2o21bob2o21bob2o$82b2obo21b2obo21b2obo$81bo
3bo20bo3bo20bo3bo$81bo6bo17bo6bo17bo6bo$85bobo22bobo22bobo$82b5o20b5o
20b5o!
Unfortunately we still lack a further connection from that part to others. If we find a descending part that combines then we can a wickend for an arbitrarily wide strip.

wildmyron
Posts: 1542
Joined: August 9th, 2013, 12:45 am
Location: Western Australia

Re: Spaceship Discussion Thread

Post by wildmyron » September 20th, 2018, 12:22 am

Sokwe wrote:
HartmutHolzwart wrote:Could you give the c/6 ants wicks a try?
I tried all of the variants with qfind up to a search-width of 10, but there wasn't even a long extension, much less a complete back end. Unfortunately, qfind cannot currently perform searches at widths higher than 10. Incorporating Tomas Rokicki's updates to zfind should allow qfind to search widths 11 or 12, but I have not yet made those modifications.
Two phases from the only partial I found at width 11.

Code: Select all

x = 50, y = 25, rule = B3/S23
4bobobobobobo20b2obobob2o$8bobo23bobobobobobo$5bo2bobo2bo20bobobobobob
o$5b2obobob2o24bobo$4bobobobobobo20bo2bobo2bo$4bobobobobobo20b2obobob
2o$8bobo23bobobobobobo$5bo2bobo2bo20bobobobobobo$5b2obobob2o24bobo$4bo
bobobobobo21bobobobo$4bobobobobobo20b2obobob2o$8bobo23b2o2bobo2b2o$5bo
7bo20bo3bobo3bo$2b3ob2o3b2ob3o16b2o2b2ob2o2b2o$b3o2bo5bo2b3o12bob2obob
2ob2obob2obo$2obo11bob2o11b2o3b3obob3o3b2o$4bo2bobobo2bo18bo5bo5bo$9bo
21bo3b2o5b2o3bo$4b4obob4o15bob2obo3bo3bob2obo$3o4bo3bo4b3o10b2o4b2o2bo
2b2o4b2o$bo3bo7bo3bo11b2obo13bob2o$2bo3b2o3b2o3bo13bo3b2o7b2o3bo$o3bo
3b3o3bo3bo11bo2b3o7b3o2bo$o3b2ob5ob2o3bo11bo2bo11bo2bo$6b2o3b2o!
This width 11 result came from ntzfind. Even though I had to constrain the search (because otherwise it searches through the same extensions at every possible length of the wick up to the search limit) I don't believe there's a completion at this width.
The 5S project (Smallest Spaceships Supporting Specific Speeds) is now maintained by AforAmpere. The latest collection is hosted on GitHub and contains well over 1,000,000 spaceships.

Semi-active here - recovering from a severe case of LWTDS.

Sokwe
Moderator
Posts: 2643
Joined: July 9th, 2009, 2:44 pm

Re: Spaceship Discussion Thread

Post by Sokwe » September 28th, 2018, 6:04 am

I ran a total-width 17 (search-width 9) odd-symmetric qfind search for a 2c/10 growing ship backend. Unfortunately it didn't find anything. Here is the longest partial result:

Code: Select all

x = 39, y = 76, rule = B3/S23
8bo6bo7bo6bo$7b3o4b3o5b3o4b3o$2bo4bob2o2b2o2bo3bo2b2o2b2obo4bo$b3o4b3o
2b3obo3bob3o2b3o4b3o$2obo4b3obo2bob2ob2obo2bob3o4bob2o$3o5b2o19b2o5b3o
$b2o5b2obo2b3o5b3o2bob2o5b2o$8b2o2b2o2bobobobo2b2o2b2o$4b2o2b3o6b2ob2o
6b3o2b2o$8b3o17b3o$8b2o8bobo8b2o$18bobo$16bo5bo$17b2ob2o$17b2ob2o2$18b
obo$18bobo$16bo5bo$17b2ob2o$17b2ob2o2$18bobo$18bobo$16bo5bo$17b2ob2o$
17b2ob2o2$18bobo$18bobo$16bo5bo$17b2ob2o$17b2ob2o2$18bobo$18bobo$16bo
5bo$17b2ob2o$17b2ob2o2$18bobo$16bo5bo$18bobo$13b5o3b5o$13bo11bo$13b3o
7b3o$15b2o5b2o$17bo3bo$15bobo3bobo$15b2o5b2o$15b2o5b2o$15b2obobob2o$
15bobobobobo$19bo$13b3ob2ob2ob3o$17b2ob2o$12bo2bo2bobo2bo2bo$13b2ob3ob
3ob2o$14bob3ob3obo2$15bo7bo$14bo2bo3bo2bo$14b5ob5o$14bo3b3o3bo$16b2obo
b2o$13bo5bo5bo$13b2o3b3o3b2o2$18bobo$15bo3bo3bo$15bobo3bobo$11b3obo3bo
3bob3o$11b2o5bobo5b2o$12b3o2bo3bo2b3o$12bob3o5b3obo$12b4obo3bob4o!
Even with 7 threads, the search took about 2 weeks to complete.
-Matthias Merzenich

wildmyron
Posts: 1542
Joined: August 9th, 2013, 12:45 am
Location: Western Australia

Re: Spaceship Discussion Thread

Post by wildmyron » September 28th, 2018, 6:11 am

wildmyron wrote:
Sokwe wrote:
HartmutHolzwart wrote:Could you give the c/6 ants wicks a try?
I tried all of the variants with qfind up to a search-width of 10, but there wasn't even a long extension, much less a complete back end. Unfortunately, qfind cannot currently perform searches at widths higher than 10. Incorporating Tomas Rokicki's updates to zfind should allow qfind to search widths 11 or 12, but I have not yet made those modifications.
Two phases from the only partial I found at width 11.

Code: Select all

<snip rle>
The longest extension I have found so far:

Code: Select all

x = 39, y = 54, rule = B3/S23
15bo2bobo2bo$15b2obobob2o$14bobobobobobo$14bobobobobobo$18bobo$15bo2bo
bo2bo$15b2obobob2o$14bobobobobobo$14bobobobobobo$18bobo$15bo2bobo2bo$
15b2obobob2o$14bobobobobobo$14bobobobobobo$18bobo$15bo2bobo2bo$15b2obo
bob2o$14bobobobobobo$14bobobobobobo$18bobo$16bobobobo$15b2obobob2o$14b
2o2bobo2b2o$14bo3bobo3bo$13b2o2b2ob2o2b2o$10bob2obob2ob2obob2obo$10b2o
3b3obob3o3b2o$13bo5bo5bo$11bo3b2o5b2o3bo$10bob2obo3bo3bob2obo$9b2o4b2o
2bo2b2o4b2o$9b2obo13bob2o$10b2o2b2o7b2o2b2o$10bob4o7b4obo$4b2obo8bo5bo
8bob2o$3bo2bobob2ob2o2bo3bo2b2ob2obobo2bo$3b3ob5o5bo3bo5b5ob3o$4bo4b3o
2b2o7b2o2b3o4bo$9bobob3o7b3obobo$4b2obo2bo4bo7bo4bo2bob2o$2bob5o2bo5bo
3bo5bo2b5obo$bob2o6bo5bo3bo5bo6b2obo$4bo7b3o2bo3bo2b3o7bo$bo5b2o5bo9bo
5b2o5bo$4bo3bobob2o3bo3bo3b2obobo3bo$2bobo2bo5bo3bo3bo3bo5bo2bobo$6bo
8bo7bo8bo$2bob3o4bo15bo4b3obo$2b4o2b2obobo11bobob2o2b4o$3bo2b2o3bob2o
2b2ob2o2b2obo3b2o2bo$5b2o3bo4bob2ob2obo4bo3b2o$2o3bob2o5b2o7b2o5b2obo
3b2o$bo3bo7b2obo5bob2o7bo3bo$obobo2bob4obo9bob4obo2bobobo!
I can't say I'm particularly hopeful of finding a solution...
The 5S project (Smallest Spaceships Supporting Specific Speeds) is now maintained by AforAmpere. The latest collection is hosted on GitHub and contains well over 1,000,000 spaceships.

Semi-active here - recovering from a severe case of LWTDS.

Sokwe
Moderator
Posts: 2643
Joined: July 9th, 2009, 2:44 pm

Re: Spaceship Discussion Thread

Post by Sokwe » September 28th, 2018, 6:23 am

wildmyron wrote:The longest extension I have found so far
At those widths, you're probably already probably outside of the range of searches that can be completed in a reasonable length of time.

Another wick that should have some stretchers/backends is ants. It can travel at both c/6 and 2c/7 (and a number of other speeds).
-Matthias Merzenich

wildmyron
Posts: 1542
Joined: August 9th, 2013, 12:45 am
Location: Western Australia

Re: Spaceship Discussion Thread

Post by wildmyron » September 28th, 2018, 6:48 am

Sokwe wrote:
wildmyron wrote:The longest extension I have found so far
At those widths, you're probably already probably outside of the range of searches that can be completed in a reasonable length of time.
I suspect you're right, but I thought it would be interesting to give ikpx another trial run, so that's where this result is from. I am of course running an asymmetric search and because of the floating rows it could generate solutions which can't be used, but happily the longest partials have all left the central row empty so they're valid.
Sokwe wrote:Another wick that should have some stretchers/backends is ants. It can travel at both c/6 and 2c/7 (and a number of other speeds).
I'll let this one run for a bit longer, though I don't think it will exhaust width 19 before I give up on it. Are you aware of any partial backend results for ants? If there are any with a decent gutter they could get a similar treatment.
The 5S project (Smallest Spaceships Supporting Specific Speeds) is now maintained by AforAmpere. The latest collection is hosted on GitHub and contains well over 1,000,000 spaceships.

Semi-active here - recovering from a severe case of LWTDS.

wildmyron
Posts: 1542
Joined: August 9th, 2013, 12:45 am
Location: Western Australia

Re: Spaceship Discussion Thread

Post by wildmyron » September 30th, 2018, 10:40 am

4c/8 ship with gutter symmetry, min pop 88 cells:

Code: Select all

x = 21, y = 24, rule = B3/S23
bo17bo$3o15b3o$ob2o13b2obo$b3o13b3o$b2o2b3o5b3o2b2o$8bo3bo$5bo3bobo3bo
$6bo2bobo2bo$7bobobobo$6b2obobob2o$5bo3bobo3bo$5b2o2bobo2b2o$7bo5bo5$
2b3o11b3o$bo2bo11bo2bo$4bo11bo$o3bo11bo3bo$o3bo11bo3bo$4bo11bo$bobo13b
obo!
Found with ntzfind.
The 5S project (Smallest Spaceships Supporting Specific Speeds) is now maintained by AforAmpere. The latest collection is hosted on GitHub and contains well over 1,000,000 spaceships.

Semi-active here - recovering from a severe case of LWTDS.

User avatar
gameoflifemaniac
Posts: 1242
Joined: January 22nd, 2017, 11:17 am
Location: There too

Re: Spaceship Discussion Thread

Post by gameoflifemaniac » September 30th, 2018, 10:43 am

wildmyron wrote:4c/8 ship with gutter symmetry, min pop 88 cells:

Code: Select all

x = 21, y = 24, rule = B3/S23
bo17bo$3o15b3o$ob2o13b2obo$b3o13b3o$b2o2b3o5b3o2b2o$8bo3bo$5bo3bobo3bo
$6bo2bobo2bo$7bobobobo$6b2obobob2o$5bo3bobo3bo$5b2o2bobo2b2o$7bo5bo5$
2b3o11b3o$bo2bo11bo2bo$4bo11bo$o3bo11bo3bo$o3bo11bo3bo$4bo11bo$bobo13b
obo!
Found with ntzfind.
Cool. Finally a normal spaceship, not a partial.
I was so socially awkward in the past and it will haunt me for the rest of my life.

Code: Select all

b4o25bo$o29bo$b3o3b3o2bob2o2bob2o2bo3bobo$4bobo3bob2o2bob2o2bobo3bobo$
4bobo3bobo5bo5bo3bobo$o3bobo3bobo5bo6b4o$b3o3b3o2bo5bo9bobo$24b4o!

User avatar
KittyTac
Posts: 535
Joined: December 21st, 2017, 9:58 am

Re: Spaceship Discussion Thread

Post by KittyTac » September 30th, 2018, 11:12 am

wildmyron wrote:4c/8 ship with gutter symmetry, min pop 88 cells:

Code: Select all

x = 21, y = 24, rule = B3/S23
bo17bo$3o15b3o$ob2o13b2obo$b3o13b3o$b2o2b3o5b3o2b2o$8bo3bo$5bo3bobo3bo
$6bo2bobo2bo$7bobobobo$6b2obobob2o$5bo3bobo3bo$5b2o2bobo2b2o$7bo5bo5$
2b3o11b3o$bo2bo11bo2bo$4bo11bo$o3bo11bo3bo$o3bo11bo3bo$4bo11bo$bobo13b
obo!
Found with ntzfind.
Is this the first 4c/8?

wildmyron
Posts: 1542
Joined: August 9th, 2013, 12:45 am
Location: Western Australia

Re: Spaceship Discussion Thread

Post by wildmyron » September 30th, 2018, 11:25 am

KittyTac wrote:
wildmyron wrote:4c/8 ship with gutter symmetry, min pop 88 cells:

Code: Select all

<snip rle>
Is this the first 4c/8?
No, many 4c/8 ships have been known for quite some time.
http://conwaylife.com/wiki/31P8H4V0
https://github.com/Matthias-Merzenich/j ... 008-ss.rle
The 5S project (Smallest Spaceships Supporting Specific Speeds) is now maintained by AforAmpere. The latest collection is hosted on GitHub and contains well over 1,000,000 spaceships.

Semi-active here - recovering from a severe case of LWTDS.

User avatar
KittyTac
Posts: 535
Joined: December 21st, 2017, 9:58 am

Re: Spaceship Discussion Thread

Post by KittyTac » September 30th, 2018, 11:53 am

wildmyron wrote:
KittyTac wrote:
wildmyron wrote:4c/8 ship with gutter symmetry, min pop 88 cells:

Code: Select all

<snip rle>
Is this the first 4c/8?
No, many 4c/8 ships have been known for quite some time.
http://conwaylife.com/wiki/31P8H4V0
https://github.com/Matthias-Merzenich/j ... 008-ss.rle
But is it the first gutter-symmetric one?

wildmyron
Posts: 1542
Joined: August 9th, 2013, 12:45 am
Location: Western Australia

Re: Spaceship Discussion Thread

Post by wildmyron » September 30th, 2018, 12:05 pm

KittyTac wrote:But is it the first gutter-symmetric one?
Again, no. Look at A7 (Edit: I changed the order slightly, so it's A6 now -Sokwe) in the second link I provided.
The 5S project (Smallest Spaceships Supporting Specific Speeds) is now maintained by AforAmpere. The latest collection is hosted on GitHub and contains well over 1,000,000 spaceships.

Semi-active here - recovering from a severe case of LWTDS.

Post Reply