Smallest Spaceships Supporting Specific Speeds (5s) Project

For discussion of other cellular automata.
wildmyron
Posts: 1542
Joined: August 9th, 2013, 12:45 am
Location: Western Australia

Re: Smallest Spaceships Supporting Specific Speeds (5s) Project

Post by wildmyron » February 7th, 2018, 6:25 am

vyznev wrote:
wildmyron wrote:I'm not sure I agree with you about what happens in long running searches though. The SAT solver has no concept of partial patterns and, as I understand it, takes a much more global approach to finding a solution which satisfies the problem, or finding a contradiction which rules out the existence of a solution.
Well, sorta. Unless LLS is doing something really odd in mapping the search to a SAT instance, most of the SAT variables should directly correspond to the states of individual cells. (Some will correspond to rule string bits, and there might be some auxiliary variables used to simplify the encoding of some constraints.) So in that sense, the current variable assignments made by the SAT solver at any given time should in fact be interpretable as a partial pattern of cells (and possibly rule transitions).
I see what you mean now. Just like for WLS it doesn't make sense to make trial variable assignments with variables that represent cells which are disconnected from each other. And with each trial variable assignment further deductions can be made about variables that represent nearby cells, and so as you say the solver builds what we could interpret as a partial solution.
AforAmpere wrote:<snip fast p12 ships>
Has anyone done manual searches for a 9c/10 frontend?
Nice work with p12 there. I had done some exploration of 9c/10 but hadn't found anything promising. I was inspired to give it another go and I've been dabbling with using lls to find partials. Here's my first result - front 3 columns reappear after 10 generations:

Code: Select all

x = 4, y = 21, rule = B2-in3-ain4einqtz5-eij6cen7/S02an3jnqry4ijkqrty5-ekn6ai7c8
bo$obo$b2o$o$bobo$2bo$obo$bobo$2b2o$bo$b3o$bo$2b2o$bobo$obo$2bo$bobo$o
$b2o$obo$bo!
I'm out of time, maybe someone else can complete this.
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
Macbi
Posts: 903
Joined: March 29th, 2009, 4:58 am

Re: Smallest Spaceships Supporting Specific Speeds (5s) Project

Post by Macbi » February 8th, 2018, 6:06 am

Testing out subperiod elimination in LLS.

11c/11 orthogonal, 3 cells:

Code: Select all

x = 2, y = 3, rule = B2aen4acikw5q6k/S2cen3jk4eknt
bo$bo$o!
EDIT:
12c/12 orthogonal, 3 cells:

Code: Select all

x = 3, y = 3, rule = B2-c3cjnqy4jkrtw5-cejn6ck/S2aek3eq4aiknqw5-aejq6ck
2bo$2bo$o!

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

Re: Smallest Spaceships Supporting Specific Speeds (5s) Project

Post by wildmyron » February 9th, 2018, 4:38 am

This is the longest partial for 9c/10 I have found so far. I think it is probable that such a ship exists, but it seems to be at the limit of what can be found with lls.

Code: Select all

x = 12, y = 21, rule = B2acn3aenr4-cinq5aek6cin7e8/S12i3-cnr4kqwy5ckny6-e78
bo$2o4b5o$2obo2bo3bo$b4o3bob2o$o2bo4bo2bo$2obo2bobo$b2o3b2obobo$b2ob2o
$bo4bo4bo$o3bo4bo$obo2bob2ob2o$o3bo4bo$bo4bo4bo$b2ob2o$b2o3b2obobo$2ob
o2bobo$o2bo4bo2bo$b4o3bob2o$2obo2bo3bo$2o4b5o$bo!
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.

AforAmpere
Posts: 1334
Joined: July 1st, 2016, 3:58 pm

Re: Smallest Spaceships Supporting Specific Speeds (5s) Project

Post by AforAmpere » February 14th, 2018, 8:57 pm

For B0:

C/10:

Code: Select all

x = 4, y = 3, rule = B012ein3cjqy4ijknq5cqy6in7e/S2ce3acijq4ceqrtw5aiy6kn
2o2$3bo!
2c/10:

Code: Select all

x = 3, y = 2, rule = B01e2ain3jny4cwz5einr6-ak7e/S12-i3ainr4ci5cnq6in
o$b2o!
3c/10:

Code: Select all

x = 3, y = 2, rule = B012aci3ejk4ajnqrtz5-jkqy6ce7c8/S1c2n3-eqr4jrwy5aek6cei
obo$o!
4c/10:

Code: Select all

x = 3, y = 2, rule = B01c2-ce3-eny4acitw5-i6i7c/S1e2-k3-cikq4acjknqw5-jnqy6e
b2o$o!
5c/10:

Code: Select all

x = 2, y = 4, rule = B012ein3aeij4inrty5ijn6cei7c/S02k3ceiq4ijw5aciq6cik
bo$o2$bo!
6c/10:

Code: Select all

x = 2, y = 3, rule = B013-aiq4ijknwyz5-aeir6ci/S2-ak3aery4cejnwy5er6en7e
o$bo$o!
7c/10:

Code: Select all

x = 2, y = 4, rule = B012aek3ekqy4cr5eijq6ac/S02ei3einqr4ekqrw5ekqy6-ac7e
bo2$bo$o!
8c/10:

Code: Select all

x = 4, y = 3, rule = B01c2-cn3cjkn4acirty6-ei/S1e2-ai3aeiqr4aqw5ciry6ae
3bo$o$3bo!
9c/10, 4 cells:

Code: Select all

x = 2, y = 6, rule = B01c2ckn3acejk4cnqrwz5air6ek7e/S01c2ekn3-cjny4ceqrtw5ac6aci
o3$2o2$o!
C/10 diagonal:

Code: Select all

x = 4, y = 2, rule = B012-in3cein4eknqrt5eiy6ack7c8/S2ce3-anq4ijkwz5-q6-ae
o2bo$bo!
2c/10 diagonal:

Code: Select all

x = 2, y = 4, rule = B01c2-kn3a4aceiq5jkqr6ain7e/S01e2k3cenr4ckqryz5-jnr6ck
bo3$2o!
3c/10 diagonal:

Code: Select all

x = 2, y = 2, rule = B02-n3cijkn4aekty5ciny6ae7/S1e2ace3anry4-einqr5-cn6a
2o$o!
4c/10 diagonal:

Code: Select all

x = 2, y = 2, rule = B01e2e3ak4acnqr5acinq6acn8/S1c2ei3ejnqr4ikw5-eijq6ck7e
2o$o!
5c/10 diagonal:

Code: Select all

x = 2, y = 2, rule = B012-e3ekqy4cijnrz5acnr6kn/S1c2ein3aenry4aijkryz5cek6-kn
2o$o!
6c/10 diagonal:

Code: Select all

x = 2, y = 2, rule = B02-ce3-ijqr4acit5ij6ae7c/S12-ei3ackq4ceinwz5aq6c
bo$2o!
7c/10 diagonal:

Code: Select all

x = 2, y = 2, rule = B023-cijk4-ainwz5jq6ekn8/S12ce3-ajkq4cer5ckr6e7e
bo$2o!
(2,1)c/10:

Code: Select all

x = 3, y = 3, rule = B012-an3enqy4jnqw5aknqy6-ei7c8/S2ack3aeiqr4aeiknq5-ceir6n
o$2bo$2bo!
(3,1)c/10:

Code: Select all

x = 2, y = 5, rule = B012ac3acey4cijktwy5acejn6en78/S12ein3-aiqy4eitz5cir6ein
o2$bo2$bo!
(3,2)c/10:

Code: Select all

x = 2, y = 3, rule = B012n3cikqr4cij5eiqr6-kn8/S1e2-en3ikn4acjkrwz5eikq6ik
bo2$2o!
(4,1)c/10:

Code: Select all

x = 4, y = 3, rule = B012ace3ceiqy4cijn5cijqr6-ei8/S1e2-ce3ny4cjkyz5-eij6kn7e
3bo2$o2bo!
(4,2)c/10:

Code: Select all

x = 2, y = 4, rule = B01e2acn3ajkry4cinrtw5-cijr6ce/S012cin3ajkry4k5ceq6ae
bo2$bo$o!
(4,3)c/10:

Code: Select all

x = 3, y = 2, rule = B01c2ain3ijqy4ijkqwz5eijnr6aei/S1e2aci3-aknq4aektwz5-cekn6i
b2o$o!
(5,1)c/10:

Code: Select all

x = 2, y = 4, rule = B012-in3ceiqy4eijrtwz5aceiy6ci7e8/S01e2c3aiqr4aeijt5-ijkr6-ac7e
o2$o$bo!
I manage the 5S project, which collects all known spaceship speeds in Isotropic Non-totalistic rules. I also wrote EPE, a tool for searching in the INT rulespace.

Things to work on:
- Find (7,1)c/8 and 9c/10 ships in non-B0 INT.
- EPE improvements.

User avatar
Majestas32
Posts: 549
Joined: November 20th, 2017, 12:22 pm
Location: 'Merica

Re: Smallest Spaceships Supporting Specific Speeds (5s) Project

Post by Majestas32 » February 15th, 2018, 11:29 am

Alright will update tonight or tomorrow

AforAmpere
Posts: 1334
Joined: July 1st, 2016, 3:58 pm

Re: Smallest Spaceships Supporting Specific Speeds (5s) Project

Post by AforAmpere » February 17th, 2018, 4:34 pm

Majestas32 wrote:Alright will update tonight or tomorrow
Is the file still in the same place, or has it been moved?
9c/13, unoptimized:

Code: Select all

x = 2, y = 5, rule = B2aci3acnq4ai5acik6ei7e/S12ikn3knq4-cknz5-nq6cei78
o$bo$bo$bo$o!
I manage the 5S project, which collects all known spaceship speeds in Isotropic Non-totalistic rules. I also wrote EPE, a tool for searching in the INT rulespace.

Things to work on:
- Find (7,1)c/8 and 9c/10 ships in non-B0 INT.
- EPE improvements.

User avatar
Majestas32
Posts: 549
Joined: November 20th, 2017, 12:22 pm
Location: 'Merica

Re: Smallest Spaceships Supporting Specific Speeds (5s) Project

Post by Majestas32 » February 20th, 2018, 2:21 pm

Sorry haven't been on the forum the past few days
Searching:
b2-a5k6n7cs12-i3ij4k5j8
b2-a3c7cs12-i

Currently looking for help searching these rules.

AforAmpere
Posts: 1334
Joined: July 1st, 2016, 3:58 pm

Re: Smallest Spaceships Supporting Specific Speeds (5s) Project

Post by AforAmpere » February 24th, 2018, 3:06 pm

Sorry for the lack of updates lately, even though not much to add to the files. I am currently trying (probably a waste of time) searching for a (7,1)c/8, in a 11x15 and 12x14 bounding box at the moment, and the search has been going for over a week and a half. I hope the speed is possible somewhere.
I manage the 5S project, which collects all known spaceship speeds in Isotropic Non-totalistic rules. I also wrote EPE, a tool for searching in the INT rulespace.

Things to work on:
- Find (7,1)c/8 and 9c/10 ships in non-B0 INT.
- EPE improvements.

AforAmpere
Posts: 1334
Joined: July 1st, 2016, 3:58 pm

Re: Smallest Spaceships Supporting Specific Speeds (5s) Project

Post by AforAmpere » March 4th, 2018, 11:30 am

4-cell (7,2)c/9:

Code: Select all

x = 2, y = 4, rule = B2ac3j4aceiqrt5-cjkn6ai7/S12ak3eijry4eikwy5cknr6ai7
bo$o$o$o!
4-cell (8,1)c/10:

Code: Select all

x = 3, y = 4, rule = B2ac3jqy4einrtz5acknr6-ei7c/S02-cn3ae4ackqry5-aijq6-k7e8
2bo$obo2$2bo!
EDIT, 4 cell 8c/10:

Code: Select all

x = 2, y = 7, rule = B2ack3r4aenqrz5jnqry6ci7c/S01e3aeiky4-eijqz5eknq6ace8
bo2$o2$o2$bo!
5-cell (8,2)c/10:

Code: Select all

x = 3, y = 5, rule = B2aci3jkn4cejty5aeqry6ack7e8/S12e3akqry4-aekn5aknr6-cn7c8
2bo2$2bo$obo$2bo!
I manage the 5S project, which collects all known spaceship speeds in Isotropic Non-totalistic rules. I also wrote EPE, a tool for searching in the INT rulespace.

Things to work on:
- Find (7,1)c/8 and 9c/10 ships in non-B0 INT.
- EPE improvements.

dani
Posts: 1222
Joined: October 27th, 2017, 3:43 pm

Re: Smallest Spaceships Supporting Specific Speeds (5s) Project

Post by dani » March 4th, 2018, 4:13 pm

A non-B2a ship for a change, (4,22)c/218, 510 cells:

Code: Select all

x = 98, y = 99, rule = B3aij4a5/S3a4a56-i7
41bobobobo$41b7o$40bob7o$42bo2bob2o$46b3o$42b2o2b3o$41bob5o$42b6o$43bo
bo2$90bobobobo$88bo2b6o$89bob7o$89bob2obob2o$2bob2o86b2ob3o$b4o88bob3o
$7o84b6o$2o3b4o83b5o$2o3b2o3bo81bobo$11o$b4ob6o$bob8o$5b6o$7b2o$63bobo
$27bo34b5o2bo$25b5o31b6o$26b3o32b2ob3obobo$25bo2b2o31b2ob3o$23bo37b6o$
25bo2b2o32b6o$23bo3b2o33bobo$27b3o$27bo4$79b4obo$24bobo52b6o$24b5o46bo
bob6o$23b5o48b5o2bo$26b3o46b5o3b3o3bo$26b2o48b5o6bobobo$25b4o49b2o9bo$
22bo3b4o51bo$21b5ob4o6bo$22b3ob6o6b2o$22b12o2b4o37bo$24b5o2b4o2b3o37b
2o4bo$26b5ob4o2b3o35b5ob4o$28b5ob3ob2o39b3ob4o4b2o$30b5ob5o38b3ob6o2b
2obo$32b8o39b5o2b2o5b2o$34b4o43b5o2b2o2b4o$83b5ob2o2b2o$85b5ob5o$87b8o
$89b4o29$35bo$35b3o$34b3o10bo$36bo8b3o$46b3o8bo$46bo10b3o$56b3o10bo$
58bo8b3o$68b3o10bo$68bo10b3o$78b3o$80b2o$79bo!

AforAmpere
Posts: 1334
Joined: July 1st, 2016, 3:58 pm

Re: Smallest Spaceships Supporting Specific Speeds (5s) Project

Post by AforAmpere » March 4th, 2018, 4:16 pm

Wow, that is insane! How did you find that? Is there anything else interesting in that rule?
I manage the 5S project, which collects all known spaceship speeds in Isotropic Non-totalistic rules. I also wrote EPE, a tool for searching in the INT rulespace.

Things to work on:
- Find (7,1)c/8 and 9c/10 ships in non-B0 INT.
- EPE improvements.

dani
Posts: 1222
Joined: October 27th, 2017, 3:43 pm

Re: Smallest Spaceships Supporting Specific Speeds (5s) Project

Post by dani » March 4th, 2018, 4:29 pm

AforAmpere wrote:Wow, that is insane! How did you find that? Is there anything else interesting in that rule?
Random rule hopping in a promising area and searching big soups. The rule itself isn't *too* interesting, although variants definitely could make it more prone to finding cool stuff. It's a nice rulespace although it tends to get pretty explosive. Luckily this one is stable.

User avatar
Majestas32
Posts: 549
Joined: November 20th, 2017, 12:22 pm
Location: 'Merica

Re: Smallest Spaceships Supporting Specific Speeds (5s) Project

Post by Majestas32 » March 4th, 2018, 6:46 pm

Still working on b0 ships
Searching:
b2-a5k6n7cs12-i3ij4k5j8
b2-a3c7cs12-i

Currently looking for help searching these rules.

User avatar
jimmyChen2013
Posts: 184
Joined: December 11th, 2017, 3:28 am

Re: Smallest Spaceships Supporting Specific Speeds (5s) Project

Post by jimmyChen2013 » March 5th, 2018, 1:48 am

13-cell 11,5c/130

Code: Select all

x = 9, y = 9, rule = B2k3-k4k5k6k/S2-k3-k4k5k6k
5bo$4b2obo$8bo$5b3o3$3o$2bo$2bo!
15-cell 5c/33 orthogonal

Code: Select all

x = 3, y = 10, rule = B2in34ce5q/S2-n34ce
bo$obo$obo$obo2$obo$obo$bo$3o$bo!

Code: Select all

x = 8, y = 13, rule = B3aeiqr4-aijn5c6cei7/S2cn3-ajr4ceiqt5eijkq6-a7c8
2bo$b3o$5o$b5o$2b5o$3b5o$2b5o$b5o$5o$4o$3o$2o$o!

User avatar
77topaz
Posts: 1496
Joined: January 12th, 2018, 9:19 pm

Re: Smallest Spaceships Supporting Specific Speeds (5s) Project

Post by 77topaz » March 5th, 2018, 4:28 am

jimmyChen2013 wrote:13-cell 11,5c/130

Code: Select all

x = 9, y = 9, rule = B2k3-k4k5k6k/S2-k3-k4k5k6k
5bo$4b2obo$8bo$5b3o3$3o$2bo$2bo!
Hmm, I wonder why you decided to search that particular rule. :roll:

User avatar
jimmyChen2013
Posts: 184
Joined: December 11th, 2017, 3:28 am

Re: Smallest Spaceships Supporting Specific Speeds (5s) Project

Post by jimmyChen2013 » March 9th, 2018, 12:52 am

77topaz wrote:
jimmyChen2013 wrote:13-cell 11,5c/130

Code: Select all

x = 9, y = 9, rule = B2k3-k4k5k6k/S2-k3-k4k5k6k
5bo$4b2obo$8bo$5b3o3$3o$2bo$2bo!
Hmm, I wonder why you decided to search that particular rule. :roll:
klife huh? lol

Code: Select all

x = 8, y = 13, rule = B3aeiqr4-aijn5c6cei7/S2cn3-ajr4ceiqt5eijkq6-a7c8
2bo$b3o$5o$b5o$2b5o$3b5o$2b5o$b5o$5o$4o$3o$2o$o!

User avatar
muzik
Posts: 5614
Joined: January 28th, 2016, 2:47 pm
Location: Scotland

Re: Smallest Spaceships Supporting Specific Speeds (5s) Project

Post by muzik » March 12th, 2018, 7:17 am

Have any attempts been made to search for a ship slower than the c/5648?

googleplex
Posts: 308
Joined: January 24th, 2018, 4:36 pm
Location: The hertzsprung gap

Re: Smallest Spaceships Supporting Specific Speeds (5s) Project

Post by googleplex » March 12th, 2018, 7:25 am

I believe it was found with gsearch, if anyone wants to try promising rules.
Look at me! I make patterns in golly and go on the forums! I wanna be Famous!

AforAmpere
Posts: 1334
Joined: July 1st, 2016, 3:58 pm

Re: Smallest Spaceships Supporting Specific Speeds (5s) Project

Post by AforAmpere » March 12th, 2018, 4:24 pm

muzik wrote:Have any attempts been made to search for a ship slower than the c/5648?
Well, with the C/2n and C/2n+1 ships, you could make a C/1000000.
I manage the 5S project, which collects all known spaceship speeds in Isotropic Non-totalistic rules. I also wrote EPE, a tool for searching in the INT rulespace.

Things to work on:
- Find (7,1)c/8 and 9c/10 ships in non-B0 INT.
- EPE improvements.

User avatar
muzik
Posts: 5614
Joined: January 28th, 2016, 2:47 pm
Location: Scotland

Re: Smallest Spaceships Supporting Specific Speeds (5s) Project

Post by muzik » March 13th, 2018, 7:26 pm

...non-systematically?

User avatar
LaundryPizza03
Posts: 2297
Joined: December 15th, 2017, 12:05 am
Location: Unidentified location "https://en.wikipedia.org/wiki/Texas"

Re: Smallest Spaceships Supporting Specific Speeds (5s) Project

Post by LaundryPizza03 » March 15th, 2018, 8:29 pm

Now that the list has changed substantially, how about updating the LifeWiki database?

Code: Select all

x = 4, y = 3, rule = B3-q4z5y/S234k5j
2b2o$b2o$2o!
LaundryPizza03 at Wikipedia

AforAmpere
Posts: 1334
Joined: July 1st, 2016, 3:58 pm

Re: Smallest Spaceships Supporting Specific Speeds (5s) Project

Post by AforAmpere » March 15th, 2018, 8:58 pm

LaundryPizza03 wrote:Now that the list has changed substantially, how about updating the LifeWiki database?
I will, I just would also like some help on porting the other periods to the tables. I will add the updated p12 and p13 soon, sorry for the wait.
I manage the 5S project, which collects all known spaceship speeds in Isotropic Non-totalistic rules. I also wrote EPE, a tool for searching in the INT rulespace.

Things to work on:
- Find (7,1)c/8 and 9c/10 ships in non-B0 INT.
- EPE improvements.

User avatar
muzik
Posts: 5614
Joined: January 28th, 2016, 2:47 pm
Location: Scotland

Re: Smallest Spaceships Supporting Specific Speeds (5s) Project

Post by muzik » March 16th, 2018, 3:50 pm

Speaking of the LifeWiki database, could we have "brief overview" pages for each direction?

Something along the lines of this: http://www.conwaylife.com/w/index.php?t ... ldid=40700

AforAmpere
Posts: 1334
Joined: July 1st, 2016, 3:58 pm

Re: Smallest Spaceships Supporting Specific Speeds (5s) Project

Post by AforAmpere » March 16th, 2018, 4:07 pm

muzik wrote:Speaking of the LifeWiki database, could we have "brief overview" pages for each direction?

Something along the lines of this: http://www.conwaylife.com/w/index.php?t ... ldid=40700
If you want to help me out on figuring out a format for that, and help work on the pages themselves. There are an infinite number of slopes, so how should it be structured? It's hard for one person to tackle all of the parts on the wiki, along with other stuff at the same time.
I manage the 5S project, which collects all known spaceship speeds in Isotropic Non-totalistic rules. I also wrote EPE, a tool for searching in the INT rulespace.

Things to work on:
- Find (7,1)c/8 and 9c/10 ships in non-B0 INT.
- EPE improvements.

User avatar
muzik
Posts: 5614
Joined: January 28th, 2016, 2:47 pm
Location: Scotland

Re: Smallest Spaceships Supporting Specific Speeds (5s) Project

Post by muzik » March 16th, 2018, 4:11 pm

AforAmpere wrote:There are an infinite number of slopes, so how should it be structured?
I'd assume they'd just be links, listed below/to the right of all the periods.

Post Reply