Requests for Searches - Non-apgsearch

For discussion of other cellular automata.
User avatar
Macbi
Posts: 903
Joined: March 29th, 2009, 4:58 am

Re: Requests for Searches - Non-apgsearch

Post by Macbi » July 11th, 2019, 6:52 am

wildmyron wrote:
LaundryPizza03 wrote:A power surge killed all my LLS searches.
That is very unfortunate. The lack of check-pointing in LLS is a significant drawback to using it for hard search problems.
Do any of the common SAT solvers offer this feature? If they do then I'll try to support it in LLS.

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

Re: Requests for Searches - Non-apgsearch

Post by AforAmpere » July 11th, 2019, 12:58 pm

LaundryPizza, can you post what search parameters failed for those speeds and what you were running? That would help if any of us try to find those speeds.
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
LaundryPizza03
Posts: 2298
Joined: December 15th, 2017, 12:05 am
Location: Unidentified location "https://en.wikipedia.org/wiki/Texas"

Re: Requests for Searches - Non-apgsearch

Post by LaundryPizza03 » July 16th, 2019, 2:52 am

For the (7,1)c/8 it was a box 11 cells long, 20 cells wide, and population no more than 20. I don't recall the paramaters for any of the other searches, but my guess for 12c/31d would be a square box, 16 cells on a side, with population 3 cells.
EDIT: The 12c/31d search was actually in an 18*18 box and had D2\ symmetry.
Last edited by LaundryPizza03 on July 16th, 2019, 7:29 pm, edited 1 time in total.

Code: Select all

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

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

Re: Requests for Searches - Non-apgsearch

Post by LaundryPizza03 » July 16th, 2019, 2:59 am

I have also decided that I am running too many searches in LLS right now. I decided to outsource my searches for period multiples of c/2 diagonal with population 4 cells. For simplicity, I have assumed that the ships are glide-symmetric and exist in rules with B2ac/S1, but you can certainly search without.
Specifically, I am looking for:
  • 18c/36d, 13*13 bounding box (smallest unknown multiple)
  • 19c/38d, 14*14 bounding box (current record is 5 cells)
  • 20c/40d, 14*14 bounding box (current record is 13 cells)
Oddly, both high-period c/2d searches at the 5s thread seemed to strongly favor odd period multiples of c/2 diagonal, e.g. 21c/42d.

Code: Select all

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

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

Re: Requests for Searches - Non-apgsearch

Post by wildmyron » July 19th, 2019, 9:23 am

wildmyron wrote:
LaundryPizza03 wrote:I now request that it be carried out for finding spaceships of the following speeds for 5s:
  • (7,1)c/8
  • 12c/31d
  • (7,3)c/17
  • 12c/20 (3 cells)
(There were two more searches, but I forgot what they were.)
<snip>

I'll have a go at the 12c/31d.
Unfortunately the computer I was running this on had a forced update before the solver completed
LaundryPizza03 wrote:
  • 18c/36d, 13*13 bounding box (smallest unknown multiple)
  • 19c/38d, 14*14 bounding box (current record is 5 cells)
  • 20c/40d, 14*14 bounding box (current record is 13 cells)
I posted 4-cell ships of the first two to the 5S thread
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
LaundryPizza03
Posts: 2298
Joined: December 15th, 2017, 12:05 am
Location: Unidentified location "https://en.wikipedia.org/wiki/Texas"

Re: Requests for Searches - Non-apgsearch

Post by LaundryPizza03 » July 19th, 2019, 3:02 pm

wildmyron wrote:
LaundryPizza03 wrote:
  • 18c/36d, 13*13 bounding box (smallest unknown multiple)
  • 19c/38d, 14*14 bounding box (current record is 5 cells)
  • 20c/40d, 14*14 bounding box (current record is 13 cells)
I posted 4-cell ships of the first two to the 5S thread
Where? I don't see them.

Code: Select all

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

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

Re: Requests for Searches - Non-apgsearch

Post by wildmyron » July 22nd, 2019, 1:47 am

LaundryPizza03 wrote:
wildmyron wrote:
LaundryPizza03 wrote:
  • 18c/36d, 13*13 bounding box (smallest unknown multiple)
  • 19c/38d, 14*14 bounding box (current record is 5 cells)
  • 20c/40d, 14*14 bounding box (current record is 13 cells)
I posted 4-cell ships of the first two to the 5S thread
Where? I don't see them.
As I mentioned to you elsewhere, I'd included them in a previous update to the 5S project but didn't get around to posting them to the thread. For the record:

18c/36 diagonal, 4 cells

Code: Select all

x = 3, y = 3, rule = B2ac3cr4jnrty5-jnr6eik/S1e2n3cjk4-crwy5ceiry6ik7
o2$3o!
19c/38 diagonal, 4 cells

Code: Select all

x = 3, y = 3, rule = B2acn3ky4eintwyz5ajry6i7e/S01e3ciqy4eyz5aejnq6k7e
o2$3o!
4-cell examples of 20c/40, 21c/42, and 22c/44 diagonal were recently posted to the 5S thread. 23c/46 currently has a 5-cell example. Have you tried the 4-cell search for that speed or higher periods?
wildmyron wrote:
wildmyron wrote:I'll have a go at the 12c/31d.
Unfortunately the computer I was running this on had a forced update before the solver completed
I reran the search with cadical and it completed in 15 hours, as opposed to the longer than 1 week I had glucose-syrup running for (with 4 threads)! Posted to the 5S thread.
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.

CoolCreeper39
Posts: 58
Joined: June 19th, 2019, 12:18 pm

Re: Requests for Searches - Non-apgsearch

Post by CoolCreeper39 » August 2nd, 2019, 8:54 pm

Can someone search for oscillators or spaceships in Seeds (B2/S)?

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

Re: Requests for Searches - Non-apgsearch

Post by LaundryPizza03 » August 2nd, 2019, 9:51 pm

CoolCreeper39 wrote:Can someone search for oscillators or spaceships in Seeds (B2/S)?
Which ones? Perhaps a c/6 orthogonal forerake matching this?

Code: Select all

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

CoolCreeper39
Posts: 58
Joined: June 19th, 2019, 12:18 pm

Re: Requests for Searches - Non-apgsearch

Post by CoolCreeper39 » August 3rd, 2019, 12:10 am

LaundryPizza03 wrote:
CoolCreeper39 wrote:Can someone search for oscillators or spaceships in Seeds (B2/S)?
Which ones? Perhaps a c/6 orthogonal forerake matching this?
Yes.

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

Re: Requests for Searches - Non-apgsearch

Post by LaundryPizza03 » August 5th, 2019, 1:29 am

CoolCreeper39 wrote:
LaundryPizza03 wrote:
CoolCreeper39 wrote:Can someone search for oscillators or spaceships in Seeds (B2/S)?
Which ones? Perhaps a c/6 orthogonal forerake matching this?
Yes.
Hmm... I am getting the same nonsense in LLS as the last person who tried c/6o.

Code: Select all

0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0
0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0
0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0
0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0
0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0
0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0
0   a1  a2  a3  a4  a5  a6  a7  a8  a9  a10 a11 a12 a12 a11 a10 a9  a8  a7  a6  a5  a4  a3  a2  a1  0
0   b1  b2  b3  b4  b5  b6  b7  b8  b9  b10 b11 b12 b12 b11 b10 b9  b8  b7  b6  b5  b4  b3  b2  b1  0
0   c1  c2  c3  c4  c5  c6  c7  c8  c9  c10 c11 c12 c12 c11 c10 c9  c8  c7  c6  c5  c4  c3  c2  c1  0
0   d1  d2  d3  d4  d5  d6  d7  d8  d9  d10 d11 d12 d12 d11 d10 d9  d8  d7  d6  d5  d4  d3  d2  d1  0
0   e1  e2  e3  e4  e5  e6  e7  e8  e9  e10 e11 e12 e12 e11 e10 e9  e8  e7  e6  e5  e4  e3  e2  e1  0
0   f1  f2  f3  f4  f5  f6  f7  f8  f9  f10 f11 f12 f12 f11 f10 f9  f8  f7  f6  f5  f4  f3  f2  f1  0
0   g1  g2  g3  g4  g5  g6  g7  g8  g9  g10 g11 g12 g12 g11 g10 g9  g8  g7  g6  g5  g4  g3  g2  g1  0
0   h1  h2  h3  h4  h5  h6  h7  h8  h9  h10 h11 h12 h12 h11 h10 h9  h8  h7  h6  h5  h4  h3  h2  h1  0
0   i1  i2  i3  i4  i5  i6  i7  i8  i9  i10 i11 i12 i12 i11 i10 i9  i8  i7  i6  i5  i4  i3  i2  i1  0
0   j1  j2  j3  j4  j5  j6  j7  j8  j9  j10 j11 j12 j12 j11 j10 j9  j8  j7  j6  j5  j4  j3  j2  j1  0
0   k1  k2  k3  k4  k5  k6  k7  k8  k9  k10 k11 k12 k12 k11 k10 k9  k8  k7  k6  k5  k4  k3  k2  k1  0
0   l1  l2  l3  l4  l5  l6  l7  l8  l9  l10 l11 l12 l12 l11 l10 l9  l8  l7  l6  l5  l4  l3  l2  l1  0
0   m1  m2  m3  m4  m5  m6  m7  m8  m9  m10 m11 m12 m12 m11 m10 m9  m8  m7  m6  m5  m4  m3  m2  m1  0
0   n1  n2  n3  n4  n5  n6  n7  n8  n9  n10 n11 n12 n12 n11 n10 n9  n8  n7  n6  n5  n4  n3  n2  n1  0
0   o1  o2  o3  o4  o5  o6  o7  o8  o9  o10 o11 o12 o12 o11 o10 o9  o8  o7  o6  o5  o4  o3  o2  o1  0
0   p1  p2  p3  p4  p5  p6  p7  p8  p9  p10 p11 p12 p12 p11 p10 p9  p8  p7  p6  p5  p4  p3  p2  p1  0
0   q1  q2  q3  q4  q5  q6  q7  q8  q9  q10 q11 q12 q12 q11 q10 q9  q8  q7  q6  q5  q4  q3  q2  q1  0
0   r1  r2  r3  r4  r5  r6  r7  r8  r9  r10 r11 r12 r12 r11 r10 r9  r8  r7  r6  r5  r4  r3  r2  r1  0
0   s1  s2  s3  s4  s5  s6  s7  s8  s9  s10 s11 s12 s12 s11 s10 s9  s8  s7  s6  s5  s4  s3  s2  s1  0
0   t1  t2  t3  t4  t5  t6  t7  t8  t9  t10 t11 t12 t12 t11 t10 t9  t8  t7  t6  t5  t4  t3  t2  t1  0
*'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'

*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'

*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'

*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'

*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'

*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'  *'

0   0   0   0   0   1   1   0   0   0   0   0   1   1   0   0   0   0   0   1   1   0   0   0   0   0
0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0
0   0   0   0   1   0   0   1   0   0   0   1   0   0   1   0   0   0   1   0   0   1   0   0   0   0
0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0
0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0   0
0   a1  a2  a3  a4  a5  a6  a7  a8  a9  a10 a11 a12 a12 a11 a10 a9  a8  a7  a6  a5  a4  a3  a2  a1  0
0   b1  b2  b3  b4  b5  b6  b7  b8  b9  b10 b11 b12 b12 b11 b10 b9  b8  b7  b6  b5  b4  b3  b2  b1  0
0   c1  c2  c3  c4  c5  c6  c7  c8  c9  c10 c11 c12 c12 c11 c10 c9  c8  c7  c6  c5  c4  c3  c2  c1  0
0   d1  d2  d3  d4  d5  d6  d7  d8  d9  d10 d11 d12 d12 d11 d10 d9  d8  d7  d6  d5  d4  d3  d2  d1  0
0   e1  e2  e3  e4  e5  e6  e7  e8  e9  e10 e11 e12 e12 e11 e10 e9  e8  e7  e6  e5  e4  e3  e2  e1  0
0   f1  f2  f3  f4  f5  f6  f7  f8  f9  f10 f11 f12 f12 f11 f10 f9  f8  f7  f6  f5  f4  f3  f2  f1  0
0   g1  g2  g3  g4  g5  g6  g7  g8  g9  g10 g11 g12 g12 g11 g10 g9  g8  g7  g6  g5  g4  g3  g2  g1  0
0   h1  h2  h3  h4  h5  h6  h7  h8  h9  h10 h11 h12 h12 h11 h10 h9  h8  h7  h6  h5  h4  h3  h2  h1  0
0   i1  i2  i3  i4  i5  i6  i7  i8  i9  i10 i11 i12 i12 i11 i10 i9  i8  i7  i6  i5  i4  i3  i2  i1  0
0   j1  j2  j3  j4  j5  j6  j7  j8  j9  j10 j11 j12 j12 j11 j10 j9  j8  j7  j6  j5  j4  j3  j2  j1  0
0   k1  k2  k3  k4  k5  k6  k7  k8  k9  k10 k11 k12 k12 k11 k10 k9  k8  k7  k6  k5  k4  k3  k2  k1  0
0   l1  l2  l3  l4  l5  l6  l7  l8  l9  l10 l11 l12 l12 l11 l10 l9  l8  l7  l6  l5  l4  l3  l2  l1  0
0   m1  m2  m3  m4  m5  m6  m7  m8  m9  m10 m11 m12 m12 m11 m10 m9  m8  m7  m6  m5  m4  m3  m2  m1  0
0   n1  n2  n3  n4  n5  n6  n7  n8  n9  n10 n11 n12 n12 n11 n10 n9  n8  n7  n6  n5  n4  n3  n2  n1  0
0   o1  o2  o3  o4  o5  o6  o7  o8  o9  o10 o11 o12 o12 o11 o10 o9  o8  o7  o6  o5  o4  o3  o2  o1  0
0   p1  p2  p3  p4  p5  p6  p7  p8  p9  p10 p11 p12 p12 p11 p10 p9  p8  p7  p6  p5  p4  p3  p2  p1  0
0   q1  q2  q3  q4  q5  q6  q7  q8  q9  q10 q11 q12 q12 q11 q10 q9  q8  q7  q6  q5  q4  q3  q2  q1  0
0   r1  r2  r3  r4  r5  r6  r7  r8  r9  r10 r11 r12 r12 r11 r10 r9  r8  r7  r6  r5  r4  r3  r2  r1  0
0   s1  s2  s3  s4  s5  s6  s7  s8  s9  s10 s11 s12 s12 s11 s10 s9  s8  s7  s6  s5  s4  s3  s2  s1  0
0   t1  t2  t3  t4  t5  t6  t7  t8  t9  t10 t11 t12 t12 t11 t10 t9  t8  t7  t6  t5  t4  t3  t2  t1  0
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *
*   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   *   * 

Code: Select all

x = 26, y = 21, rule = B2/S
5b2o5b2o5b2o2$4bo2bo3bo2bo3bo2bo3$5b2o5b2o5b2o2$4bo2bo3bo2bo3bo2bo3$5b
2o5b2o5b2o2$4bo2bo3bo2bo3bo2bo3$5b2o5b2o5b2o2$5bobo3bo2bo3bobo$6bob3ob
2ob3obo$b4o16b4o$o6bo2bo4bo2bo6bo!
Changing all instances of f5 to 0 returns UNSAT. Anyone have any other ideas?

Code: Select all

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

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

Re: Requests for Searches - Non-apgsearch

Post by LaundryPizza03 » August 5th, 2019, 2:19 am

Run this object in searchRule-matchPatt2.py, matching 12 generations:

Code: Select all

x = 5, y = 3, rule = B2cen3q4ekqrt5-ajry6ek7/S02ci3-ejnr4-cekz5-kqy6eik7
o3bo$o$2bobo!
It's a bit slow for me.

Code: Select all

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

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

Re: Requests for Searches - Non-apgsearch

Post by LaundryPizza03 » August 5th, 2019, 3:05 am

wildmyron wrote:I'm not sure about the correctness either, but gfind does seem to work for speeds between c/2 and c. At light speed gfind can only find p1 photons. I ran a gfind search for 9c/10 in B2acn3aenr4-cinq5aek6cin7e8/S12i3-cnr4kqwy5ckny6-e78. The search tree seems to just completely peter out beyond about 7 rows, by which I mean that increasing the search width (up to the maximum of a full width of 55) results in almost no increase to the maximum depth reached (which was about 70, or 7 rows).

To find such a ship I can see two possibilities:
1) Scan the rulespace where this frontend works and hope that a gfind search in one of those candidate rules turns up a result. This would require a bit of work to polish ntgfind to a point where it can be programmatically run without being manually built for every rule (and also adapting the get_all_iso_rules script to ignore the chaos at the back of the ship).
2) Adapt LLS to simplify iterated searching for successively longer partials (a bit like ikpx, but not so rigid).
Here, convert this to an LLS search:

Code: Select all

x = 47, y = 53, rule = B2acn3aenr4-cinq5aek6cin7e8/S12i3-cnr4kqwy5ckny6-e78History
12.2B12D21B$12.2B12DBA19B$12.2B12D2A4B5A10B$12.2B12D2ABA2BA3BA10B$12.
2B12DB4A3BAB2A9B$12.2B12DA2BA4BA2BA9B$12.2B12D2ABA2BABA12B$12.2B12DB
2A3B2ABABA9B$6.3E3.2B12DB2AB2A15B$5.E3.E2.2B12DBA4BA4BA9B$5.E2.2E2.2B
12DA3BA4BA11B$5.E.E.E2.2B12DABA2BAB2AB2A9B$5.2E2.E2.2B12DA3BA4BA11B$
5.E3.E2.2B12DBA4BA4BA9B$6.3E3.2B12DB2AB2A15B$12.2B12DB2A3B2ABABA9B$
12.2B12D2ABA2BABA12B$12.2B12DA2BA4BA2BA9B$12.2B12DB4A3BAB2A9B$12.2B
12D2ABA2BA3BA10B$12.2B12D2A4B5A10B$12.2B12DBA19B$12.2B12D21B2$26.E2$
26.E2$26.E2$12.11B12D12B$12.11B12DBA10B$12.11B12D2A4B5AB$12.11B12D2AB
A2BA3BAB$12.11B12DB4A3BAB2A$12.11B12DA2BA4BA2BA$12.11B12D2ABA2BABA3B$
12.11B12DB2A3B2ABABA$.E4.3E3.11B12DB2AB2A6B$2E3.E3.E2.11B12DBA4BA4BA$
.E3.E2.2E2.11B12DA3BA4BA2B$.E3.E.E.E2.11B12DABA2BAB2AB2A$.E3.2E2.E2.
11B12DA3BA4BA2B$.E3.E3.E2.11B12DBA4BA4BA$3E3.3E3.11B12DB2AB2A6B$12.
11B12DB2A3B2ABABA$12.11B12D2ABA2BABA3B$12.11B12DA2BA4BA2BA$12.11B12DB
4A3BAB2A$12.11B12D2ABA2BA3BAB$12.11B12D2A4B5AB$12.11B12DBA10B$12.11B
12D12B!
where green = live, dark blue = dead, and red = unknown.

If there is a ship with length less than 24, it will come out as SAT. Else, try

Code: Select all

x = 46, y = 53, rule = B2acn3aenr4-cinq5aek6cin7e8/S12i3-cnr4kqwy5ckny6-e78History
12.C12D21B$12.C12DBA19B$12.C12D2A4B5A10B$12.C12D2ABA2BA3BA10B$12.C12D
B4A3BAB2A9B$12.C12DA2BA4BA2BA9B$12.C12D2ABA2BABA12B$12.C12DB2A3B2ABAB
A9B$6.3E3.C12DB2AB2A15B$5.E3.E2.C12DBA4BA4BA9B$5.E2.2E2.C12DA3BA4BA
11B$5.E.E.E2.C12DABA2BAB2AB2A9B$5.2E2.E2.C12DA3BA4BA11B$5.E3.E2.C12DB
A4BA4BA9B$6.3E3.C12DB2AB2A15B$12.C12DB2A3B2ABABA9B$12.C12D2ABA2BABA
12B$12.C12DA2BA4BA2BA9B$12.C12DB4A3BAB2A9B$12.C12D2ABA2BA3BA10B$12.C
12D2A4B5A10B$12.C12DBA19B$12.C12D21B2$25.E2$25.E2$25.E2$12.10C12D12B$
12.10C12DBA10B$12.10C12D2A4B5AB$12.10C12D2ABA2BA3BAB$12.10C12DB4A3BAB
2A$12.10C12DA2BA4BA2BA$12.10C12D2ABA2BABA3B$12.10C12DB2A3B2ABABA$.E4.
3E3.10C12DB2AB2A6B$2E3.E3.E2.10C12DBA4BA4BA$.E3.E2.2E2.10C12DA3BA4BA
2B$.E3.E.E.E2.10C12DABA2BAB2AB2A$.E3.2E2.E2.10C12DA3BA4BA2B$.E3.E3.E
2.10C12DBA4BA4BA$3E3.3E3.10C12DB2AB2A6B$12.10C12DB2A3B2ABABA$12.10C
12D2ABA2BABA3B$12.10C12DA2BA4BA2BA$12.10C12DB4A3BAB2A$12.10C12D2ABA2B
A3BAB$12.10C12D2A4B5AB$12.10C12DBA10B$12.10C12D12B!
where off-white = don't care.

If you find an additional segment, repeat similar searches with the newly extended partial, and continue until you come up with a ship or are unable to complete the partial. (I would do this myself, but composing the search will be too tedious, especially trying to reproduce the frontend exactly.)

(It would be interesting to see this idea implemented as an automated script...)

How would we determine the rulespace of this partial (and the shorter one mentioned earlier in 5s):

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!
The alternative would be to find a 9c/10o directly, at a width greater than 21, perhaps what you are already doing.

Code: Select all

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

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

Re: Requests for Searches - Non-apgsearch

Post by wildmyron » August 5th, 2019, 4:56 am

LaundryPizza03 wrote:<snip nested quote>
LaundryPizza03 wrote:
CoolCreeper39 wrote:Can someone search for oscillators or spaceships in Seeds (B2/S)?
Which ones? Perhaps a c/6 orthogonal forerake matching this?
Hmm... I am getting the same nonsense in LLS as the last person who tried c/6o.

Code: Select all

<snip search pattern>
I would suggest that a c/6 forerake is particularly ambitious - and what's more you are searching for a triple forerake. However, I wouldn't call the original result you got nonsense - it's a perfectly valid solution to the search problem.
LaundryPizza03 wrote:Changing all instances of f5 to 0 returns UNSAT. Anyone have any other ideas?
I would suggest JLS or WLS for this search problem. Here's a partial for a single barrelled c/6 forerake from JLS:

Code: Select all

x = 19, y = 26, rule = B2/S
16bo$10bo$10bobobo3bo$8b3o4bob2o$16bo$6bobo6bo$8bo3bo$5b2o6bo$13b3obo$
2bo11b2o$bo3bob2obob2o$4b2obo10bo$o13b2obo$o13b2obo$4b2obo10bo$bo3bob
2obob2o$2bo11b2o$13b3obo$5b2o6bo$8bo3bo$6bobo6bo$16bo$8b3o4bob2o$10bob
obo3bo$10bo$16bo!
Unfortunately it can't be extended at that width and I suspect it would need to be a fair bit wider to find a solution (but I might be wrong).

How about something less ambitious - like c/3 orthogonal or c/4 orthogonal - it seems as though no one has found one of those. For reference, there is a c/3 orthogonal in B2/S0 (p6, width 29, odd bilateral symmetry)
LaundryPizza03 wrote:<snip details of 9c/10 partial spaceship extension method>

(It would be interesting to see this idea implemented as an automated script...)
Well, that was precisely what I meant. I have no intention of attempting to manually extend the partial further - I'm fairly sure an automated process would be required to get deep enough into the search space.
LaundryPizza03 wrote:How would we determine the rulespace of this partial (and the shorter one mentioned earlier in 5s):

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!
By modification to the rulespace finding script (or functions within sss.py) which would only require that the front-most rows (or columns in this case) of the partial spaceship match under the modified rules. To be a bit more specific, consider the following code from the getRuleRangeElems function in sss.py:

Code: Select all

    # Record behavior of pattern in current rule
    clist = []
    poplist = []
    for i in range(0,period):
        g.run(1)
        clist.append(g.getcells(g.getrect()))
        poplist.append(g.getpop())
    finalpop = g.getpop()
Instead of the line "clist.append(g.getcells(g.getrect()))" a pre-determined selection rectangle should be used to determine which cells are copied into "clist". And then that same rectangle should be used when testing if the pattern evolves the same in each modified rule. It would probably make sense for the rect to be per generation specific, particularly for frontends moving as fast as this one.
LaundryPizza03 wrote:The alternative would be to find a 9c/10o directly, at a width greater than 21, perhaps what you are already doing.
Perhaps, but the 9c10 search I previously mentioned is still running and I'm no more hopeful of it finishing prior to either the machine it's running on losing power or being forced to reboot, or me giving up on it.
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.

fluffykitty
Posts: 1175
Joined: June 14th, 2014, 5:03 pm
Contact:

Re: Requests for Searches - Non-apgsearch

Post by fluffykitty » August 12th, 2019, 11:54 pm

LaundryPizza03 wrote:If you find an additional segment, repeat similar searches with the newly extended partial, and continue until you come up with a ship or are unable to complete the partial.
[...]
(It would be interesting to see this idea implemented as an automated script...)
I think calcyman already did this with ikpx.

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

Re: Requests for Searches - Non-apgsearch

Post by wildmyron » August 13th, 2019, 12:22 am

fluffykitty wrote:
LaundryPizza03 wrote:If you find an additional segment, repeat similar searches with the newly extended partial, and continue until you come up with a ship or are unable to complete the partial.
[...]
(It would be interesting to see this idea implemented as an automated script...)
I think calcyman already did this with ikpx.
Indeed, that is pretty much ikpx's algorithm, with some clever interleaving of the rows and columns from the individual phases in the representation of the partial spaceship. However, it is CGoL only, so the conversion to SAT problem would need to be replaced with something like the one that LLS uses for isotropic rules
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
Hdjensofjfnen
Posts: 1742
Joined: March 15th, 2016, 6:41 pm
Location: re^jθ

Re: Requests for Searches - Non-apgsearch

Post by Hdjensofjfnen » August 14th, 2019, 8:51 pm

LaundryPizza03 wrote:A power surge killed all my LLS searches.
Usually laptops are immune to those, right? (I agree with Macbi, though: that's a huge bummer, especially with the LLS searches spanning days or weeks.)

Code: Select all

x = 5, y = 9, rule = B3-jqr/S01c2-in3
3bo$4bo$o2bo$2o2$2o$o2bo$4bo$3bo!

Code: Select all

x = 7, y = 5, rule = B3/S2-i3-y4i
4b3o$6bo$o3b3o$2o$bo!

User avatar
phdanielli
Posts: 114
Joined: May 21st, 2013, 6:15 am
Location: Virtuality Cyberverse 6174
Contact:

Re: Requests for Searches - Non-apgsearch

Post by phdanielli » August 15th, 2019, 11:39 pm

is this rule searchable?
Conquerors and Colonizers (B2ace3acei4ace5acei6ace/S)
viewtopic.php?f=11&t=4087&p=81297#p81297
Why yall so good at life?
-Expert in non-23/3 rules (not really)

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

Re: Requests for Searches - Non-apgsearch

Post by LaundryPizza03 » August 16th, 2019, 12:07 am

phdanielli wrote:is this rule searchable?
Conquerors and Colonizers (B2ace3acei4ace5acei6ace/S)
viewtopic.php?f=11&t=4087&p=81297#p81297
Definitely not. Your scribble in the linked post produces a dot agar that expands to infinity.
Very few rules beginning with B2a are apgsearchable, since patterns tend to expand at the speed of light. If you do want to search such a rule, you could begin with B2ac3q/S0 or a close variant.

Code: Select all

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

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

Re: Requests for Searches - Non-apgsearch

Post by LaundryPizza03 » August 20th, 2019, 12:14 am

Does this pattern become a spaceship in some rule (matching at least 6 generations)?

Code: Select all

x = 8, y = 8, rule = B2cin3ai4ky5ae6e/S23-a5a6e
2bobo$b3obo$3o3bo$bo5bo$o5bo$bo5bo$2bobo$3bo!
B2cin3ai4y5ace6e/S2-i3-ae5a6e - B2cin3aiqy4-cejr5-q678/S23-a4-cn5-cejk678

If a spaceship exists, it is likely to travel at a high period multiple of c/3 diagonal. The smallest undiscovered period is 87.

Code: Select all

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

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

Re: Requests for Searches - Non-apgsearch

Post by LaundryPizza03 » November 16th, 2019, 3:23 am

It’s quite surprising that it is so hard to find a 26c/52 diagonal spaceship using LLS. Would anyone like to try it?

Code: Select all

./lls -S cadical -b 18 18 -s p26 x13 y13 "RE\\" -p "=4" -a p4 x2 y2 -a "D2\\" -r pB2a345678/S012345678 --parameters="simplify=false"
Alternatively, the rule with the 13c/26 diagonal in 5s looks quite engineerable. It includes a linear and a quadratic replicator.

Code: Select all

x = 95, y = 86, rule = B2ac3cy4ey/S12ack3c4ky
62bo$61bo3bo$60bo5bobo$66b2obo$62bobobob3obo$63bobobo5bo$73bo$68b3obo$
63bo3bobo$68bo2$68bo$63bo3bobo$68b3obo$73bo$63bobobo5bo$62bobobob3obo$
66b2obo$60bo5bobo$61bo3bo$62bo8$62bo$61bobo$60bob3obo$61b2ob2obobo$62b
obobobobo$69bob2o$69bob2o$61bo6bobo$63bo3bobo$60bo3bo2$4bo$5bo4$3bobo
10$3bo3bo$2bo5bo$3bo3bo11$90bobobo$92bo9$23bo11bo$2o10bo9bo11bo11bo18b
o$2o41bobo17b2obo$11b2o8b2o8bob2o9bo22bo$10bo9bo9bobo9bob2o15bo4bo$43b
o17bo4bo$60bo$61bob2o$62bo!

Code: Select all

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

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

Re: Requests for Searches - Non-apgsearch

Post by LaundryPizza03 » February 20th, 2020, 8:46 pm

Bump (Does anyone read this thread?)

I'm looking for a c/4 diagonal spaceship in B2e3-cnqr5e78/S1c23-q4eqz6. Repeatedly extending with LLS is too tedious to do manually; ntzfind is too memory-intensive. The largest partial so far is the upper-right 5*8 box in the following pattern:

Code: Select all

x = 11, y = 14, rule = B2e3-cnqr5e78/S1c23-q4eqz6
bbbbbbbbbbb$
bbbbbbbbbbb$
bbbbbbbobbb$
bbbbooooobb$
bbbbboobobb$
bbbooobbbbb$
bbobbbooobb$
bobbbbboobb$
bbboobbbbbb$
bbobooboobb$
bbbbbbobobb$
bbbobobbobb$
bbbbbobobbb$
bbbbbbbbbbb!

Code: Select all

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

Hunting
Posts: 4395
Joined: September 11th, 2017, 2:54 am

Re: Requests for Searches - Non-apgsearch

Post by Hunting » March 7th, 2020, 2:11 am

bump!!!

Can anyone run The Synthesis Component Search Script on LeapLife? Especially on boat-with-tail.

GUYTU6J
Posts: 2200
Joined: August 5th, 2016, 10:27 am
Location: 拆哪!I repeat, CHINA! (a.k.a. 种花家)
Contact:

Re: Requests for Searches - Non-apgsearch

Post by GUYTU6J » June 9th, 2020, 5:40 am

1) Can someone make a SMOS with this counterfeit LWSS:

Code: Select all

x = 11, y = 11, rule = B3aijr4nw/S2-cn3ijnr6an
8b2o$7b3o$6b2ob2o$7b2o3$2bo$b3o$2obo$3o$2bo!
2) Can someone find a big RRO such that its engine goes "diagonally"? The recent record-breakers you see in that thread involve engines that advances at c/2 "orthogonally".
3) Related to 2), did someone search for wickships based on this?

Code: Select all

x = 9, y = 6, rule = B3-cn/S234q
8bo$7bo$b2o3bo$o4bo$b2obo$2b2o!
I've made attempts but did not get results.

Code: Select all

# Search results matching pattern 8b2o$7b3o$6b2ob2o$7b2o3$2bo$b3o$2obo$3o$2bo! for 10 gen in rule B3aijr4nw/S2-cn3ijnr6an with searchRule-matchPatt2.py using seed=214
8, B2i3-enqy4cknqrwz5-anr6-an8/S2-cn3-aky4cityz5acenr6-ek8, 0, 0, 794, 4bo2$2bobo$4bo$ob3o!
12, B3-y4-ajqz5-aen6cik7e8/S2-cn3-aky4cejyz5r6acn, 0, 0, 1398, bobo$2ob2o$2b2o$3o$bo!
23, B3-ny4-ajqyz5cikqy6ek/S2-cn3-acky4int5nr6an7e8, 0, 0, 580, 5bo$4bo2bo$3bobo2bo$2bob2o2bo$bob2o2b2o$ob2o2$bo2bo$2b3o!
10, B3-cnq4eknrtwz5cekqr6ack/S2-cn3-aeky4i5acn6ain8, 0, 0, 576, 13bo$13b2o$12b2o10$2bo$3o$bo!
22, B3-cey4iknqtwy5ijkq6ik7e8/S2-cn3-aek4ceityz5ar6ain7e8, 7, 7, 549, 8b3o$10bo$10bo2b3o$7b3o4$3bo$o2bo$o2bo$3o3$2bo$2bo$2bo!
12, B2i3-ceky4nqtwz5-aer6cik8/S2-cn3-aekq4inty5cenr6-ek7e8, 0, 0, 934, b3o$o$o$o6bo$5b2o$4bo$4bo$3bo!
7, B2i3-cq4-aej5cnr6-en7e8/S2-cn3-aeky4ityz5cn6an8, 0, 0, 616, b3o$o$o$o2bo!
13, B2i3-cek4ceinrwz5cej6ak7e/S2-cn3-aek4eintz5acer6ain8, 0, 0, 612, 3bo$3b3o$5bo$2o3bo$bo2bo$b3o!
12, B2i3-c4cknrwyz5ekqry6-an7e/S2-cn3-akqy4ceijty5anr6an, 0, 0, 1098, 6bo$7bo$6b2o$5bobo2$3bo$obo$b3o!
7, B3-cey4knqrtwy5eijk6ik7e8/S2-cn3-ak4ceinz5a6an7e, 0, 0, 554, 2b2o$bo$o2bo$obo!
14, B2i3-k4enrtwz5ceiky6ei8/S2-cn3-aek4centyz5ac6an8, 0, 0, 622, 4bo$2b2obo$bo3b2o$bo3bo$o$b3o$2bo!
16, B34ceiknwy5jnry6eik/S2-cn3-aek4cijntz5an6acn7e, 0, 0, 608, 5b2o$5bobo$7bo$5b3o2$2obo$o2bo$b3o!
10, B3-ceny4inrtwz5-ajkn6ei7e8/S2-cn3-aeky4int5ar6-ek7e, 3, 3, 341, 3bo$2b3o$bo2bo$2o$b2o!
12, B2i3-ky4-acijz5cjk6c7e/S2-cn3-ak4cntz5aen6ain, 0, 0, 624, 3o$o2bo$o3bo$bo2bo$2b3o!
10, B2i3-cn4cinrwy5-aijr6e8/S2-cn3ijnqr4ceiz5aer6-ek7e8, 18, 18, 157, 8bo$8b2obo$8bo6$3o$bo2$bo!
9, B2i3-ekn4-aejyz5-ajnq6ck7e8/S2-cn3ijnqr4ceint5acr6-ek, 0, 0, 540, 2b2o$bobo$o2bo$3o!

Code: Select all

# Search results matching pattern 8bo$7bo$b2o3bo$o4bo$b2obo$2b2o! for 16 gen in rule B3-cn/S234q with searchRule-matchPatt2.py using seed=492
13, B2n3-cn4qwz5aej6i7c8/S23-cy4ekqt5cejr6cin, 0, 0, 1696, 2b2o$2o2bo$o4bo$2bobo$3bo$7bo$7bo$7bo!
17, B2n3-cn4eqz5aj6in8/S23-cy4eqyz5cj6-ck78, 0, 0, 1032, 2b2o$3bo$2b2o$bo$obo$bo$o$b2obo$2b3o$3bo!
6, B2n3-cn4q5ajn6ci7c/S23-cy4ckqtyz5ckn6ein78, 0, 0, 1252, 3b2o$2b2o$o$o!
16, B2n3-cn4e5an6cn7c/S23-cy4eqtz5cejn6-ak78, 0, 0, 1032, 5b2o$bo4bo$2o2b2o$2o5bo$o5b2o$bo4bo!
8, B2n3-ckn4ekq5acn6ci7c8/S23-c4qty5cjr6cin7e8, 0, 0, 2084, b2o$ob2o$obo$bo!
6, B2n3-ckn4ekqw5ejn6i7c/S23-cy4eqz5-aiqy6ekn7e8, 6, 5, 224, bobo$ob2o$bo!
7, B3-cn4w5acej6in7c/S23-cy4ekqtyz5cejkr6-kn, 12, 3, 353, b2o$o2bo$b3o!
14, B2n3-cn4ekw5acej6in/S23-cy4eqz5jnr6ain8, 0, 0, 1204, 9b2o$2o6bo2bo$2o7b2o$bo$bo$obo!

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

Re: Requests for Searches - Non-apgsearch

Post by LaundryPizza03 » June 15th, 2020, 1:40 am

Is there a clean 2c/3 orthogonal fuse for this wick?

Code: Select all

x = 20, y = 7, rule = B267/S012:T20,0
2bo3bo3bo3bo3bo$b3ob3ob3ob3ob3o2$obobobobobobobobobo$obobobobobobobobo
bo2$20o!

Code: Select all

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

Post Reply