ConwayLife.com - A community for Conway's Game of Life and related cellular automata
Home  •  LifeWiki  •  Forums  •  Download Golly

Smallest Spaceships Supporting Specific Speeds (5s) Project

For discussion of other cellular automata.

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

Postby 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:
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.
wildmyron
 
Posts: 1071
Joined: August 9th, 2013, 12:45 am

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

Postby Macbi » February 8th, 2018, 6:06 am

Testing out subperiod elimination in LLS.

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


EDIT:
12c/12 orthogonal, 3 cells:
x = 3, y = 3, rule = B2-c3cjnqy4jkrtw5-cejn6ck/S2aek3eq4aiknqw5-aejq6ck
2bo$2bo$o!
User avatar
Macbi
 
Posts: 650
Joined: March 29th, 2009, 4:58 am

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

Postby 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.

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!
wildmyron
 
Posts: 1071
Joined: August 9th, 2013, 12:45 am

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

Postby AforAmpere » February 14th, 2018, 8:57 pm

For B0:

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


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


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


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


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


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


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


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


9c/10, 4 cells:
x = 2, y = 6, rule = B01c2ckn3acejk4cnqrwz5air6ek7e/S01c2ekn3-cjny4ceqrtw5ac6aci
o3$2o2$o!


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


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


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


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


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


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


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


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


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


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


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


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


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


(5,1)c/10:
x = 2, y = 4, rule = B012-in3ceiqy4eijrtwz5aceiy6ci7e8/S01e2c3aiqr4aeijt5-ijkr6-ac7e
o2$o$bo!
Things to work on:
- Find a (7,1)c/8 ship in a Non-totalistic rule (someone please search the rules)
- Find a C/10 in JustFriends
- Find a C/10 in Day and Night
AforAmpere
 
Posts: 985
Joined: July 1st, 2016, 3:58 pm

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

Postby Majestas32 » February 15th, 2018, 11:29 am

Alright will update tonight or tomorrow
User avatar
Majestas32
 
Posts: 524
Joined: November 20th, 2017, 12:22 pm
Location: 'Merica

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

Postby 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:
x = 2, y = 5, rule = B2aci3acnq4ai5acik6ei7e/S12ikn3knq4-cknz5-nq6cei78
o$bo$bo$bo$o!
Things to work on:
- Find a (7,1)c/8 ship in a Non-totalistic rule (someone please search the rules)
- Find a C/10 in JustFriends
- Find a C/10 in Day and Night
AforAmpere
 
Posts: 985
Joined: July 1st, 2016, 3:58 pm

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

Postby Majestas32 » February 20th, 2018, 2:21 pm

Sorry haven't been on the forum the past few days
Please, stop spam searching Snowflakes.
User avatar
Majestas32
 
Posts: 524
Joined: November 20th, 2017, 12:22 pm
Location: 'Merica

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

Postby 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.
Things to work on:
- Find a (7,1)c/8 ship in a Non-totalistic rule (someone please search the rules)
- Find a C/10 in JustFriends
- Find a C/10 in Day and Night
AforAmpere
 
Posts: 985
Joined: July 1st, 2016, 3:58 pm

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

Postby AforAmpere » March 4th, 2018, 11:30 am

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


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


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


5-cell (8,2)c/10:
x = 3, y = 5, rule = B2aci3jkn4cejty5aeqry6ack7e8/S12e3akqry4-aekn5aknr6-cn7c8
2bo2$2bo$obo$2bo!
Things to work on:
- Find a (7,1)c/8 ship in a Non-totalistic rule (someone please search the rules)
- Find a C/10 in JustFriends
- Find a C/10 in Day and Night
AforAmpere
 
Posts: 985
Joined: July 1st, 2016, 3:58 pm

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

Postby danny » March 4th, 2018, 4:13 pm

A non-B2a ship for a change, (4,22)c/218, 510 cells:
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!
she/they // Please stop using my full name. Refer to me as dani.

"I'm always on duty, even when I'm off duty." -Cody Kolodziejzyk, Ph.D.
User avatar
danny
 
Posts: 934
Joined: October 27th, 2017, 3:43 pm
Location: New Jersey, USA

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

Postby AforAmpere » March 4th, 2018, 4:16 pm

Wow, that is insane! How did you find that? Is there anything else interesting in that rule?
Things to work on:
- Find a (7,1)c/8 ship in a Non-totalistic rule (someone please search the rules)
- Find a C/10 in JustFriends
- Find a C/10 in Day and Night
AforAmpere
 
Posts: 985
Joined: July 1st, 2016, 3:58 pm

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

Postby danny » 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.
she/they // Please stop using my full name. Refer to me as dani.

"I'm always on duty, even when I'm off duty." -Cody Kolodziejzyk, Ph.D.
User avatar
danny
 
Posts: 934
Joined: October 27th, 2017, 3:43 pm
Location: New Jersey, USA

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

Postby Majestas32 » March 4th, 2018, 6:46 pm

Still working on b0 ships
Please, stop spam searching Snowflakes.
User avatar
Majestas32
 
Posts: 524
Joined: November 20th, 2017, 12:22 pm
Location: 'Merica

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

Postby jimmyChen2013 » March 5th, 2018, 1:48 am

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


15-cell 5c/33 orthogonal
x = 3, y = 10, rule = B2in34ce5q/S2-n34ce
bo$obo$obo$obo2$obo$obo$bo$3o$bo!
Failed Replicator!
x = 4, y = 4, rule = B34ce5cen67c8/S2-i3-jqry4cent5j67c8
bo$obo$bobo$2bo!

(That I wish was not failed D:)
User avatar
jimmyChen2013
 
Posts: 126
Joined: December 11th, 2017, 3:28 am

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

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

jimmyChen2013 wrote:13-cell 11,5c/130
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
77topaz
 
Posts: 1345
Joined: January 12th, 2018, 9:19 pm

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

Postby jimmyChen2013 » March 9th, 2018, 12:52 am

77topaz wrote:
jimmyChen2013 wrote:13-cell 11,5c/130
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
Failed Replicator!
x = 4, y = 4, rule = B34ce5cen67c8/S2-i3-jqry4cent5j67c8
bo$obo$bobo$2bo!

(That I wish was not failed D:)
User avatar
jimmyChen2013
 
Posts: 126
Joined: December 11th, 2017, 3:28 am

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

Postby muzik » March 12th, 2018, 7:17 am

Have any attempts been made to search for a ship slower than the c/5648?
Bored of using the Moore neighbourhood for everything? Introducing the Range-2 von Neumann isotropic non-totalistic rulespace!
muzik
 
Posts: 3300
Joined: January 28th, 2016, 2:47 pm
Location: Scotland

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

Postby 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!
googleplex
 
Posts: 219
Joined: January 24th, 2018, 4:36 pm

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

Postby 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.
Things to work on:
- Find a (7,1)c/8 ship in a Non-totalistic rule (someone please search the rules)
- Find a C/10 in JustFriends
- Find a C/10 in Day and Night
AforAmpere
 
Posts: 985
Joined: July 1st, 2016, 3:58 pm

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

Postby muzik » March 13th, 2018, 7:26 pm

...non-systematically?
Bored of using the Moore neighbourhood for everything? Introducing the Range-2 von Neumann isotropic non-totalistic rulespace!
muzik
 
Posts: 3300
Joined: January 28th, 2016, 2:47 pm
Location: Scotland

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

Postby LaundryPizza03 » March 15th, 2018, 8:29 pm

Now that the list has changed substantially, how about updating the LifeWiki database?
x = 4, y = 3, rule = B3-q4z5y/S234k5j
2b2o$b2o$2o!

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

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

Postby 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.
Things to work on:
- Find a (7,1)c/8 ship in a Non-totalistic rule (someone please search the rules)
- Find a C/10 in JustFriends
- Find a C/10 in Day and Night
AforAmpere
 
Posts: 985
Joined: July 1st, 2016, 3:58 pm

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

Postby 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
Bored of using the Moore neighbourhood for everything? Introducing the Range-2 von Neumann isotropic non-totalistic rulespace!
muzik
 
Posts: 3300
Joined: January 28th, 2016, 2:47 pm
Location: Scotland

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

Postby 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.
Things to work on:
- Find a (7,1)c/8 ship in a Non-totalistic rule (someone please search the rules)
- Find a C/10 in JustFriends
- Find a C/10 in Day and Night
AforAmpere
 
Posts: 985
Joined: July 1st, 2016, 3:58 pm

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

Postby 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.
Bored of using the Moore neighbourhood for everything? Introducing the Range-2 von Neumann isotropic non-totalistic rulespace!
muzik
 
Posts: 3300
Joined: January 28th, 2016, 2:47 pm
Location: Scotland

PreviousNext

Return to Other Cellular Automata

Who is online

Users browsing this forum: No registered users and 1 guest