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

Hacking apgsearch

For scripts to aid with computation or simulation in cellular automata.

Re: Hacking apgsearch

Postby muzik » August 15th, 2017, 4:10 pm

There's definitely some object separation issues father down the page, but I guess that was successful.

Why, exactly, is it so slow to search? I'd assume it would be down to the wickstretcher that forms from a single domino, but why does that cause so much lag if it's simple linear growth?
Bored of using the Moore neighbourhood for everything? Introducing the Range-2 von Neumann isotropic non-totalistic rulespace!
muzik
 
Posts: 3466
Joined: January 28th, 2016, 2:47 pm
Location: Scotland

Re: Hacking apgsearch

Postby Apple Bottom » August 15th, 2017, 6:28 pm

Speaking of B2a3r4i/S, there's apparently another bug causing apgsearch 0.54+0.31i to error out when encountering oversized spaceships:

no_ovqs.png
no_ovqs.png (17.52 KiB) Viewed 10097 times
If you speak, your speech must be better than your silence would have been. — Arabian proverb

Catagolue: Apple Bottom • Life Wiki: Apple Bottom • Twitter: @_AppleBottom_

Proud member of the Pattern Raiders!
User avatar
Apple Bottom
 
Posts: 1025
Joined: July 27th, 2015, 2:06 pm

Re: Hacking apgsearch

Postby A for awesome » August 15th, 2017, 10:05 pm

Apple Bottom wrote:Speaking of B2a3r4i/S, there's apparently another bug causing apgsearch 0.54+0.31i to error out when encountering oversized spaceships:

Sorry, everyone — replace
(-period)
with
str(-period)
and it should work.
x₁=ηx
V ⃰_η=c²√(Λη)
K=(Λu²)/2
Pₐ=1−1/(∫^∞_t₀(p(t)ˡ⁽ᵗ⁾)dt)

$$x_1=\eta x$$
$$V^*_\eta=c^2\sqrt{\Lambda\eta}$$
$$K=\frac{\Lambda u^2}2$$
$$P_a=1-\frac1{\int^\infty_{t_0}p(t)^{l(t)}dt}$$

http://conwaylife.com/wiki/A_for_all

Aidan F. Pierce
User avatar
A for awesome
 
Posts: 1877
Joined: September 13th, 2014, 5:36 pm
Location: 0x-1

Re: Hacking apgsearch

Postby Apple Bottom » August 17th, 2017, 4:49 pm

Apple Bottom wrote:Some kind of bug appears to be left in 0.54+0.31i; soup-searching B2e3ai4a5j6n/S2-n3ijr4it finds, among other things, an empty object, supposedly a period-1001 oscillator: xp1001_0.


Bump--

This also affects B35y/S23, BTW -- and both this rule and the previous one have other objects that got classified as p1001 oscillators but aren't actually.
If you speak, your speech must be better than your silence would have been. — Arabian proverb

Catagolue: Apple Bottom • Life Wiki: Apple Bottom • Twitter: @_AppleBottom_

Proud member of the Pattern Raiders!
User avatar
Apple Bottom
 
Posts: 1025
Joined: July 27th, 2015, 2:06 pm

Re: Hacking apgsearch

Postby drc » August 18th, 2017, 2:15 pm

This is for catagolue, but can we have the hauls be colourized? e.g. xs=yellow, xp=blue, xq=green, and other=red.
This post was brought to you by the letter D, for dishes that Andrew J. Wade won't do. (Also Daniel, which happens to be me.)
Current rule interest: B2ce3-ir4a5y/S2-c3-y
User avatar
drc
 
Posts: 1664
Joined: December 3rd, 2015, 4:11 pm
Location: creating useless things in OCA

Re: Hacking apgsearch

Postby Saka » August 18th, 2017, 8:06 pm

drc wrote:This is for catagolue, but can we have the hauls be colourized? e.g. xs=yellow, xp=blue, xq=green, and other=red.

I think we should also be able to customize our profile a bit, and it should also display hauls in other rules for "most recent hauls", not just B3/S23. Maybe we could have small avatars and say, custom username colors when we earn more than 2 badges? What about badges for people that seldom search Life but search other rules instead?
If you're the person that uploaded to Sakagolue illegally, please PM me.
x = 17, y = 10, rule = B3/S23
b2ob2obo5b2o$11b4obo$2bob3o2bo2b3o$bo3b2o4b2o$o2bo2bob2o3b4o$bob2obo5b
o2b2o$2b2o4bobo2b3o$bo3b5ob2obobo$2bo5bob2o$4bob2o2bobobo!

(Check gen 2)
User avatar
Saka
 
Posts: 3108
Joined: June 19th, 2015, 8:50 pm
Location: In the kingdom of Sultan Hamengkubuwono X

Re: Hacking apgsearch

Postby Apple Bottom » August 21st, 2017, 6:05 am

drc wrote:This is for catagolue, but can we have the hauls be colourized? e.g. xs=yellow, xp=blue, xq=green, and other=red.


You can probably already do this with client-side CSS (or alternatively Greasemonkey if you need a bit more power).

Saka wrote:[...] and it should also display hauls in other rules for "most recent hauls", not just B3/S23.


Definitely that!
If you speak, your speech must be better than your silence would have been. — Arabian proverb

Catagolue: Apple Bottom • Life Wiki: Apple Bottom • Twitter: @_AppleBottom_

Proud member of the Pattern Raiders!
User avatar
Apple Bottom
 
Posts: 1025
Joined: July 27th, 2015, 2:06 pm

Re: Hacking apgsearch

Postby muzik » August 21st, 2017, 12:15 pm

How about some more random pseudosymmetries? I wouldn't mind 32x32 (which seems to have been investigate but I can't get to work), 64x64, 1x512 and 1x1024.

Also, how about something like this? Searching one of those adjustable orthogonal speeds rules with a symmetry like this would be kind of interesting.

x = 255, y = 3, rule = B3/S23
o2b3obo2b2obo6bo2b2obobo2bo3bo2bob4obobo2b2o5bo3b2ob3o4bo3b2ob3o3bob5o
bo2bo2bob4o5b4ob2o2b3ob3o3bob2o2b2obobob3ob3ob6obo2bo2bob7o2b3obo4bobo
8b2o2bo3b2o3b5obo2bob3ob2o2b3obo4bo3bo2b4ob2o2b3obo$2b2o3b2ob2o2bobob
2o3b3obo2b5o2bobo2bo3bo2bobob3o2b2obo4bo3bob4ob3o2bo2bo5bo3b2obo3bobob
2ob3obob2o4b2obo6b3ob3o2b2o2b2obobobob3o2b2o2bo4b2o3b2ob2o4bobo4b4o2bo
b2o2b2o2b2obobo4bob3o3bo2bobo5b2ob3o4bo3b2o4bo$o2b3obo2b2obo6bo2b2obob
o2bo3bo2bob4obobo2b2o5bo3b2ob3o4bo3b2ob3o3bob5obo2bo2bob4o5b4ob2o2b3ob
3o3bob2o2b2obobob3ob3ob6obo2bo2bob7o2b3obo4bobo8b2o2bo3b2o3b5obo2bob3o
b2o2b3obo4bo3bo2b4ob2o2b3obo!
Last edited by muzik on August 21st, 2017, 1:31 pm, edited 1 time in total.
Bored of using the Moore neighbourhood for everything? Introducing the Range-2 von Neumann isotropic non-totalistic rulespace!
muzik
 
Posts: 3466
Joined: January 28th, 2016, 2:47 pm
Location: Scotland

Re: Hacking apgsearch

Postby Apple Bottom » August 21st, 2017, 12:38 pm

muzik wrote:How about some more random pseudosymmetries? I wouldn't mind 32x32 (which seems to have been investigate DHUT I can't get to work), 64x64, 1x512 and 1x1024.

Also, how about something like this? Searching one of those adjustable orthogonal speeds rules with a symmetry like this would be kind of interesting.


Why not just implement it yourself? It's fairly easy to do in apgsearch 1.x (or Aidan's hacked version). Be sure to submit results to a _Test symmetry first, and share your efforts.

Take a look at how others have implemented additional new (pseudo-)symmetries before, and if you have further (specific) questions or if you get stuck, post here again.
If you speak, your speech must be better than your silence would have been. — Arabian proverb

Catagolue: Apple Bottom • Life Wiki: Apple Bottom • Twitter: @_AppleBottom_

Proud member of the Pattern Raiders!
User avatar
Apple Bottom
 
Posts: 1025
Joined: July 27th, 2015, 2:06 pm

Re: Hacking apgsearch

Postby Apple Bottom » August 23rd, 2017, 4:38 am

Apologies for double-posting, but here's another bug--

Wickstretchers in B3-c4i/S1c2-ck34a sometimes get misclassified as oversized still lifes in 0.54+0.3i.
If you speak, your speech must be better than your silence would have been. — Arabian proverb

Catagolue: Apple Bottom • Life Wiki: Apple Bottom • Twitter: @_AppleBottom_

Proud member of the Pattern Raiders!
User avatar
Apple Bottom
 
Posts: 1025
Joined: July 27th, 2015, 2:06 pm

Re: Hacking apgsearch

Postby wwei23 » August 23rd, 2017, 12:17 pm

This is misclassified as yl120, zz_LINEAR, zz_REPLICATOR, and zz_EXPLOSIVE. When will it realize that it's an x+log(x)?
x = 3, y = 6, rule = B3ai6i/S2ai3aei5i
bo$bo$bo2$bo$3o!
User avatar
wwei23
 
Posts: 936
Joined: May 22nd, 2017, 6:14 pm
Location: The (Life?) Universe

Re: Hacking apgsearch

Postby muzik » August 23rd, 2017, 1:19 pm

Apple Bottom wrote:
muzik wrote:How about some more random pseudosymmetries? I wouldn't mind 32x32 (which seems to have been investigated but I can't get to work), 64x64, 1x512 and 1x1024.

Also, how about something like this? Searching one of those adjustable orthogonal speeds rules with a symmetry like this would be kind of interesting.


Why not just implement it yourself?

...I knew I shouldn't have dropped computing science.
Bored of using the Moore neighbourhood for everything? Introducing the Range-2 von Neumann isotropic non-totalistic rulespace!
muzik
 
Posts: 3466
Joined: January 28th, 2016, 2:47 pm
Location: Scotland

Re: Hacking apgsearch

Postby toroidalet » August 23rd, 2017, 7:45 pm

wwei23 wrote:When will it realize that it's an x+log(x)?
weird growth

Never. Also it's not x+log(x). It's the addition of a sawtooth function and x.
"Build a man a fire and he'll be warm for a day. Set a man on fire and he'll be warm for the rest of his life."

-Terry Pratchett
User avatar
toroidalet
 
Posts: 1002
Joined: August 7th, 2016, 1:48 pm
Location: my computer

Re: Hacking apgsearch

Postby muzik » August 24th, 2017, 1:36 pm

Could apgsearch be modified as to support certain explosive rules, by ignoring any patterns that still show any activity after a set number of generations?
Bored of using the Moore neighbourhood for everything? Introducing the Range-2 von Neumann isotropic non-totalistic rulespace!
muzik
 
Posts: 3466
Joined: January 28th, 2016, 2:47 pm
Location: Scotland

Re: Hacking apgsearch

Postby toroidalet » August 24th, 2017, 8:07 pm

muzik wrote:Could apgsearch be modified as to support certain explosive rules, by ignoring any patterns that still show any activity after a set number of generations?

That would be problematic in rules that are very nearly explosive (patterns in rules like B2c3ajk46-ak/S1c237e8 can last more than 900000 generations). It would also skew the selection.
But how would this skew the selection? Let's find out! (Yay science)
In B37/S23 (Drylife) there exists a highly dirty puffer:
x = 11, y = 3, rule = B37/S23
b3o3b3o$o2bo3bo2bo$4bobo!

This puffer's trail doesn't explode, but the base does (this can be stabilized with some junk, but that's not important.). Upon excluding patterns which are somehow determined to be explosive (This hypothetical method is 100% correct, never labelling an explosive pattern as stable or a stable pattern as explosive (Which is pretty much impossible to achieve)) we arrive at the conclusion that this puffer, yl160_[rest of apgcode] (I don't know how to label this) is much rarer than it actually is, because a soup that produces it is less likely to produce ash which stabilizes the exploding back than it is for a soup to produce this puffer in a way that makes the junk at the base explode (even discounting the other part of the soup already exploding). And the statistical algorithm reports incorrect values for any rule containing long-lasting patterns.
EDIT: typos
Last edited by toroidalet on August 25th, 2017, 11:03 am, edited 1 time in total.
"Build a man a fire and he'll be warm for a day. Set a man on fire and he'll be warm for the rest of his life."

-Terry Pratchett
User avatar
toroidalet
 
Posts: 1002
Joined: August 7th, 2016, 1:48 pm
Location: my computer

Re: Hacking apgsearch

Postby muzik » August 25th, 2017, 3:21 am

Then maybe said search should be dedicated to a certain pseudo symmetry,
Bored of using the Moore neighbourhood for everything? Introducing the Range-2 von Neumann isotropic non-totalistic rulespace!
muzik
 
Posts: 3466
Joined: January 28th, 2016, 2:47 pm
Location: Scotland

Re: Hacking apgsearch

Postby muzik » August 28th, 2017, 2:38 am

3 pathologicals:

x = 60, y = 31, rule = B2c3ae4ai5iy6c/S2-kn3ijry4cit
4bo16b4obob2obob3o8bobob2o3b5o$bo2bo2bo15bo4bob2o4bo7bobob4ob2ob2o$3b
2o2bob4ob2o9b4ob2o2bo10b2o4bo3bobobo$2bo2b2o2b2ob3o6b2obob3obobo2b2o7b
2o4bob2o3bobo$4bobobo2b2o2bo8bobobo3bob2o8b5ob3o3b2obo$obobobob4obo7b
3obo4bobob2o9bobob2o2bo2bo$ob2o2b3obobobo7b5o2b2o2bo2bo10bo2b2o3b5o$2o
b2obob5obo8bo3bo3bobob2o7b3o2b2ob4ob3o$2bo2bobobob2o2bo5bo4b3ob3o2b2o
7bo2b2obobobo4bo$5obo2bo3b2o7b3obo2bo2b2ob2o11b3obo4b3o$obob3ob5o9bo2b
4o5bobo7b2o3bobobo2bo2bo$3b2obobo2bo10bo2b2o2b2o3b3o9b2obo2bo2b2ob2o$b
3o2b2obo2bo2bo5b2ob3o3b3o2b2o10b3o4b4obo$4o2bobo4b2o8bo2b3obo4b2o7bobo
3b2o6b2o$bob6o2b3obo5bo3bob2ob4o10b2obo2bobobob3o$o3bo2bo6bo6b2obo4b2o
2b3o8bo4bo3b3o2bo$bob6o2b3obo5bo3bob2ob4o10b2obo2bobobob3o$4o2bobo4b2o
8bo2b3obo4b2o7bobo3b2o6b2o$b3o2b2obo2bo2bo5b2ob3o3b3o2b2o10b3o4b4obo$
3b2obobo2bo10bo2b2o2b2o3b3o9b2obo2bo2b2ob2o$obob3ob5o9bo2b4o5bobo7b2o
3bobobo2bo2bo$5obo2bo3b2o7b3obo2bo2b2ob2o11b3obo4b3o$2bo2bobobob2o2bo
5bo4b3ob3o2b2o7bo2b2obobobo4bo$2ob2obob5obo8bo3bo3bobob2o7b3o2b2ob4ob
3o$ob2o2b3obobobo7b5o2b2o2bo2bo10bo2b2o3b5o$obobobob4obo7b3obo4bobob2o
9bobob2o2bo2bo$4bobobo2b2o2bo8bobobo3bob2o8b5ob3o3b2obo$2bo2b2o2b2ob3o
6b2obob3obobo2b2o7b2o4bob2o3bobo$3b2o2bob4ob2o9b4ob2o2bo10b2o4bo3bobob
o$bo2bo2bo15bo4bob2o4bo7bobob4ob2ob2o$4bo16b4obob2obob3o8bobob2o3b5o!


I think I know what's happening on the right two, but don't know how to explain it.
Bored of using the Moore neighbourhood for everything? Introducing the Range-2 von Neumann isotropic non-totalistic rulespace!
muzik
 
Posts: 3466
Joined: January 28th, 2016, 2:47 pm
Location: Scotland

Re: Hacking apgsearch

Postby Apple Bottom » August 28th, 2017, 7:48 am

This is a question for wwei23, primarily -- you've searched the "25p" pseudo-symmetry earlier this summer, which I understand is based on taking the Kronecker product of a C1 soup with itself:

wwei23 wrote:Basically, take a 16x16 soup, and replace each cell with a 16x16 block of cells. Then replace each 16x16 block of cells with the original soup. It was the only way I could get 25p to work.


Can you share the code you used for this, either the entire modified apgsearch script or the hashsoup() routine it uses? Thanks.
If you speak, your speech must be better than your silence would have been. — Arabian proverb

Catagolue: Apple Bottom • Life Wiki: Apple Bottom • Twitter: @_AppleBottom_

Proud member of the Pattern Raiders!
User avatar
Apple Bottom
 
Posts: 1025
Joined: July 27th, 2015, 2:06 pm

Re: Hacking apgsearch

Postby drc » August 29th, 2017, 9:50 pm

This post was brought to you by the letter D, for dishes that Andrew J. Wade won't do. (Also Daniel, which happens to be me.)
Current rule interest: B2ce3-ir4a5y/S2-c3-y
User avatar
drc
 
Posts: 1664
Joined: December 3rd, 2015, 4:11 pm
Location: creating useless things in OCA

Re: Hacking apgsearch

Postby A for awesome » August 29th, 2017, 9:55 pm

drc wrote:xp1001's can really get out of hand. Here's a rule with 13731183 of them, with only 2000000 soups.

Thanks for pointing that out! I'll try to see what's happening there — although I'm really busy right now in general, I should have a bit of time tonight to look at that.
x₁=ηx
V ⃰_η=c²√(Λη)
K=(Λu²)/2
Pₐ=1−1/(∫^∞_t₀(p(t)ˡ⁽ᵗ⁾)dt)

$$x_1=\eta x$$
$$V^*_\eta=c^2\sqrt{\Lambda\eta}$$
$$K=\frac{\Lambda u^2}2$$
$$P_a=1-\frac1{\int^\infty_{t_0}p(t)^{l(t)}dt}$$

http://conwaylife.com/wiki/A_for_all

Aidan F. Pierce
User avatar
A for awesome
 
Posts: 1877
Joined: September 13th, 2014, 5:36 pm
Location: 0x-1

Re: Hacking apgsearch

Postby A for awesome » August 30th, 2017, 10:06 am

apgsearch-2017-8-07-v0.54+0.32i.py.zip
(160.28 KiB) Downloaded 232 times
Several bugfixes, including fixing the bug that was causing the xp1001s, one that made the script error out on actual oversized spaceships, and another that made the script inoperable and very difficult to exit when the rule was entered in all lowercase.

Hopefully coming soon: speed improvements.

P.S. It turned out that the cause of the xp1001 bug was a quite insidious one where I was decrementing a non-existing variable, which Python didn't error on for some reason. It only affected patterns oriented a certain way, causing some of the strange observed behavior.
x₁=ηx
V ⃰_η=c²√(Λη)
K=(Λu²)/2
Pₐ=1−1/(∫^∞_t₀(p(t)ˡ⁽ᵗ⁾)dt)

$$x_1=\eta x$$
$$V^*_\eta=c^2\sqrt{\Lambda\eta}$$
$$K=\frac{\Lambda u^2}2$$
$$P_a=1-\frac1{\int^\infty_{t_0}p(t)^{l(t)}dt}$$

http://conwaylife.com/wiki/A_for_all

Aidan F. Pierce
User avatar
A for awesome
 
Posts: 1877
Joined: September 13th, 2014, 5:36 pm
Location: 0x-1

Re: Hacking apgsearch

Postby muzik » August 30th, 2017, 1:32 pm

Will B0 non-totalistic ever be supported?
Bored of using the Moore neighbourhood for everything? Introducing the Range-2 von Neumann isotropic non-totalistic rulespace!
muzik
 
Posts: 3466
Joined: January 28th, 2016, 2:47 pm
Location: Scotland

Re: Hacking apgsearch

Postby A for awesome » August 30th, 2017, 4:04 pm

muzik wrote:Will B0 non-totalistic ever be supported?

Probably not, unless it gets added to apgluxe (or apgsearch v5).
x₁=ηx
V ⃰_η=c²√(Λη)
K=(Λu²)/2
Pₐ=1−1/(∫^∞_t₀(p(t)ˡ⁽ᵗ⁾)dt)

$$x_1=\eta x$$
$$V^*_\eta=c^2\sqrt{\Lambda\eta}$$
$$K=\frac{\Lambda u^2}2$$
$$P_a=1-\frac1{\int^\infty_{t_0}p(t)^{l(t)}dt}$$

http://conwaylife.com/wiki/A_for_all

Aidan F. Pierce
User avatar
A for awesome
 
Posts: 1877
Joined: September 13th, 2014, 5:36 pm
Location: 0x-1

Re: Hacking apgsearch

Postby Apple Bottom » August 30th, 2017, 4:04 pm

muzik wrote:Will B0 non-totalistic ever be supported?


Will you ever stop posting questions like this every time some piece of software updates?

Honestly, the signal-to-noise ratio of these posts is not very high, and it's starting to get just a little bit annoying to constantly receive topic reply notifications for posts that are frankly fairly pointless.
If you speak, your speech must be better than your silence would have been. — Arabian proverb

Catagolue: Apple Bottom • Life Wiki: Apple Bottom • Twitter: @_AppleBottom_

Proud member of the Pattern Raiders!
User avatar
Apple Bottom
 
Posts: 1025
Joined: July 27th, 2015, 2:06 pm

Re: Hacking apgsearch

Postby muzik » August 31st, 2017, 2:43 pm

You should probably make the script simplify rulestrings, since I've managed to submit this and this, which should be simplified to b2-ce3-i45678s012345678 and b2cs, respectively.
Bored of using the Moore neighbourhood for everything? Introducing the Range-2 von Neumann isotropic non-totalistic rulespace!
muzik
 
Posts: 3466
Joined: January 28th, 2016, 2:47 pm
Location: Scotland

PreviousNext

Return to Scripts

Who is online

Users browsing this forum: No registered users and 0 guests