Here is a proof that lets you disprove periodic patterns of a given population and period using LLS:
We are considering period-p periodic patterns in range-1 Moore-neighborhood rules with minimum population of n. We want to find the maximum bounding box size, aka the maximum value of of max(width ...
Search found 109 matches
- Yesterday, 8:27 pm
- Forum: Other Cellular Automata
- Topic: Speed limits and theorems about the existence of periodic objects
- Replies: 14
- Views: 4606
- September 1st, 2026, 3:57 pm
- Forum: Other Cellular Automata
- Topic: The AROSICA project: A Real OS In CA
- Replies: 14
- Views: 358
Re: The AROSICA project: A Real OS In CA
... I think speedydelete is developing software that can simulate meta-patterns like this?
One day it will be complete... I've figured out how to run Very Large assortments of circuitry, but it's quite hard to implement, and you have to make a whole new editor to actually use it with. It is the ...
- August 31st, 2026, 4:19 pm
- Forum: Other Cellular Automata
- Topic: Non-explosive B2a rules
- Replies: 35
- Views: 10479
Re: Non-explosive B2a rules
Partially tamed B2a3i rule:
Code: Select all
#C [[ RANDWIDTH 64 RANDHEIGHT 64 RANDOMIZE ]]
x = 0, y = 0, rule = B2ac3iq/S02i3e4r5i6c7c8
!
- August 31st, 2026, 3:51 pm
- Forum: Other Cellular Automata
- Topic: Rules with small adjustable spaceships
- Replies: 214
- Views: 168897
Re: Rules with small adjustable spaceships
And an equivalent for diagonal ships, this covers all speeds less than or equal to c/7d:
x = 24, y = 24, rule = B3aeijn4ajkq5an6e7c/S12cn3aik4cjqz5an6en8
o$bo$2bo$3bo$4bo$5b3o$5b2o$5bobo$8bo$9bobo$10b2o$9b3o$12bo$13bo$14bo$
15bobo$16b2o$15b3o$18bo$19bo2bo$20bo2bo$21bo$19bo$20bo!
True-period c/7d ...
x = 24, y = 24, rule = B3aeijn4ajkq5an6e7c/S12cn3aik4cjqz5an6en8
o$bo$2bo$3bo$4bo$5b3o$5b2o$5bobo$8bo$9bobo$10b2o$9b3o$12bo$13bo$14bo$
15bobo$16b2o$15b3o$18bo$19bo2bo$20bo2bo$21bo$19bo$20bo!
True-period c/7d ...
- August 30th, 2026, 1:12 pm
- Forum: Other Cellular Automata
- Topic: Rules with small adjustable spaceships
- Replies: 214
- Views: 168897
Re: Rules with small adjustable spaceships
All speeds less than or equal to c/7o are possible:
x = 28, y = 5, rule = B2cei3ajqry4ajy5aij6a/S1e2i3aeqy4eit5ijq6aci8
6bo8bo5bo3bo$5bo10bo5bo2bo$25ob2o$5bo10bo5bo2bo$6bo8bo5bo3bo!
True-period c/7o:
x = 50, y = 5, rule = B2cei3ajqry4ajy5aij6a/S1e2i3aeqy4eit5ijq6aci8
bo2bo$2bobo$4ob2o$2bobo ...
x = 28, y = 5, rule = B2cei3ajqry4ajy5aij6a/S1e2i3aeqy4eit5ijq6aci8
6bo8bo5bo3bo$5bo10bo5bo2bo$25ob2o$5bo10bo5bo2bo$6bo8bo5bo3bo!
True-period c/7o:
x = 50, y = 5, rule = B2cei3ajqry4ajy5aij6a/S1e2i3aeqy4eit5ijq6aci8
bo2bo$2bobo$4ob2o$2bobo ...
- August 23rd, 2026, 3:35 pm
- Forum: The Sandbox
- Topic: NNlk05's Junkyard
- Replies: 71
- Views: 1856
Re: NNlk05's Junkyard
Note that you could make a new account if all attempts have failed.NNlk05 wrote: August 23rd, 2026, 3:22 pm The reason is that I can't find the device I ave Discord 2FA on after I moved.
Edit: Also, I have forwarded your post to the Discord.
- August 23rd, 2026, 3:33 pm
- Forum: General Discussion
- Topic: Making rulestrings more consistent and readable
- Replies: 6
- Views: 165
Re: Making rulestrings more consistent and readable
The current format(s) work as is. Unless someone makes new software/updates current ones. And that isn't likely to happen if a majority of people uses the current ones.
Refer to xkcd #927: "Standards"
Do they work as is though? I've seen several people be confused by the Generations and HROT ...
- August 22nd, 2026, 9:03 pm
- Forum: Patterns
- Topic: Instant deaths
- Replies: 17
- Views: 497
Re: Instant deaths
It's worth noting that the set of patterns that die out on generation 1 in B3/S23 is also the set of patterns that are still lifes in the OCA rule B3/S0145678:
Note that said OCA rule also has oscillators and spaceships (spaceship found by RLS, only took about a minute of searching, maybe I ...
- August 21st, 2026, 6:52 pm
- Forum: General Discussion
- Topic: Making rulestrings more consistent and readable
- Replies: 6
- Views: 165
Re: Making rulestrings more consistent and readable
That said -- if a new theoretically-superior rulestring format came into common use, it would mostly be a matter of Golly and LifeViewer having to be updated to support them, but there's a highly non-trivial amount of other parser code out there, written and maintained (or not) by lots of ...
- August 21st, 2026, 5:28 pm
- Forum: General Discussion
- Topic: Making rulestrings more consistent and readable
- Replies: 6
- Views: 165
Making rulestrings more consistent and readable
This is a tentative suggestion , I'm not trying to force this at all, and I'm welcome to feedback about it.
The current way rulestrings are written is very ad-hoc. We have:
- B3/S23
- B3/S23H
- /2/3
- /2/3H
- R2,C3,S4-5,B4
- R3,C2,S2,B3,N+
- R5,C2,S33-57,B34-45
The neighborhood type and state ...
The current way rulestrings are written is very ad-hoc. We have:
- B3/S23
- B3/S23H
- /2/3
- /2/3H
- R2,C3,S4-5,B4
- R3,C2,S2,B3,N+
- R5,C2,S33-57,B34-45
The neighborhood type and state ...
- August 19th, 2026, 9:14 pm
- Forum: Other Cellular Automata
- Topic: Objectively classifying 2D cellular automata
- Replies: 16
- Views: 450
Re: Objectively classifying 2D cellular automata
Life without death has linear growth and is even Turing complete if you allow infinite patterns (lines of unit cells), but does not have any oscillators or spaceships.
I don't allow infinite patterns, because a infinite line can be replicator in Life, and B/S01245678 is Turing Complete but ...
- August 19th, 2026, 8:41 pm
- Forum: Scripts
- Topic: Grouping pattern editor
- Replies: 7
- Views: 284
Re: Grouping pattern editor
First step I took is renaming the orientations, here’s the new orientation renaming:
F -> 0
Fx -> 1
R -> 2
Rx -> 3
L -> 4
Lx -> 5
B -> 6
Bx -> 7
Why rename the orientations? Aren't they fine as is? (I'm not trying to shut you down, I just want to hear your reasoning.)
Also, what about multi ...
- August 18th, 2026, 10:43 am
- Forum: Help / Support
- Topic: Problems with software
- Replies: 55
- Views: 13635
Re: Problems with software
What does this output text in my apgluxe mean?
(I am currently censusing b2cei3eiy4cikqtw5aciqr6ei7es2ack3-cejr4inqwyz5-k6aik78/C2_4)
Oh, that one's tricky... in my experience, it means that it is stuck on a quadratic replicator, that is the only place where I have encountered it. (Apologies if ...
- August 17th, 2026, 9:11 pm
- Forum: Help / Support
- Topic: Problems with software
- Replies: 55
- Views: 13635
Re: Problems with software
Oh, try "make INT" instead.NNlk05 wrote: August 17th, 2026, 8:30 pmspeedydelete wrote: August 17th, 2026, 8:27 pm There's no file named "EPE" in your current directory? If so, try reinstalling and recompiling...
- August 17th, 2026, 8:27 pm
- Forum: Help / Support
- Topic: Problems with software
- Replies: 55
- Views: 13635
Re: Problems with software
There's no file named "EPE" in your current directory? If so, try reinstalling and recompiling...
- August 15th, 2026, 10:09 am
- Forum: Patterns
- Topic: The Hunting of the Spark Conduits
- Replies: 104
- Views: 48809
Re: The Hunting of the Spark Conduits
I had the idea of "drifty spark conduits". Basically, search for drifty catalysts which can take a spark/active region as an input and output a spark. These could be used to make signal loops, attached to sparkers to increase their clearance or change the spark type. The only example I know of is ...
- August 13th, 2026, 8:06 pm
- Forum: General Discussion
- Topic: Unproven conjectures
- Replies: 530
- Views: 299195
Re: Unproven conjectures
Conjecture: In DryLife and similar rules, chaotic growth patterns will eventually produce every possible still life and oscillator.
Could this even be proven?
If an unsynthesizable still life or an unsynthesizable oscillator can be found in DryLife or any other rule, this conjecture would be ...
- August 13th, 2026, 3:37 pm
- Forum: Scripts
- Topic: Grouping pattern editor
- Replies: 7
- Views: 284
Re: Grouping pattern editor
Instead of running the pattern itself, it recognizes that the Herschel is "expected" and treats it as a signal, this is added to the RPFReference, so it becomes like "L156 at (x, y) with rotation F and a Herschel in it at generation 0"
Is this a good time to elaborate on my proposed conduit ...
- August 13th, 2026, 12:15 pm
- Forum: Patterns
- Topic: Clearing Ash
- Replies: 20
- Views: 10811
Re: Clearing Ash
Dvgrn has noted that we don't need regenerative shielding, we can just use "enough" blocks, and that the ash clearer is by far the hardest part. As for running it, I eventually plan to finish a "recursive runner" based on ideas here which may be better at running it, it will run them as circuits ...
- August 10th, 2026, 10:09 am
- Forum: Other Cellular Automata
- Topic: A 'life-emerging' INT rule?
- Replies: 30
- Views: 1247
Re: A 'life-emerging' INT rule?
It's probably better to use one of the smaller patterns in the top row. We should EPE each one of those up to p3 and systematically figure out which ones are the best.
How are we then supposed to "systematically figure out which ones are the best"?
EDIT: I don't know how to do EPE wizardry ...
- August 9th, 2026, 5:40 pm
- Forum: Other Cellular Automata
- Topic: A 'life-emerging' INT rule?
- Replies: 30
- Views: 1247
Re: A 'life-emerging' INT rule?
Thanks for the suggestion! For these rules, what do you think could be the common stable splitter? Dot cannot work since the spaceship fails with S0, and the minrule B2ce/S01 is already quite expanding with natural puffers present.
In your reference topic, I noticed the rule having near-splitters ...
- August 4th, 2026, 2:12 pm
- Forum: Other Cellular Automata
- Topic: A 'life-emerging' INT rule?
- Replies: 30
- Views: 1247
Re: A 'life-emerging' INT rule?
I shall double post here for a near-good rule satisfying goals 1 and 3, but is unfortunately expanding in soups:
I've been developing some workarounds for a bug in EPE that prevents the "--slicestat" option from being able to detect splitters.
Specifically, this custom_result function, place ...
- August 2nd, 2026, 6:38 pm
- Forum: General Discussion
- Topic: Unproven conjectures
- Replies: 530
- Views: 299195
Re: Unproven conjectures
This shouldn't be too hard to make with some ECCA stuff...NNlk05 wrote: August 2nd, 2026, 9:55 amYes.speedydelete wrote: August 2nd, 2026, 8:23 am Do you mean a spaceship that is lively in at least 1 phase?
- August 2nd, 2026, 8:23 am
- Forum: General Discussion
- Topic: Unproven conjectures
- Replies: 530
- Views: 299195
Re: Unproven conjectures
Do you mean a spaceship that is lively in at least 1 phase?NNlk05 wrote: August 2nd, 2026, 1:22 am Yet another conjecture regarding lively.
There exists a lively spaceship, I think this have been investigated before, let me find it.
- July 30th, 2026, 5:47 pm
- Forum: General Discussion
- Topic: Unproven conjectures
- Replies: 530
- Views: 299195
Re: Unproven conjectures
I came up with a conjecture, but then I proved it, so here's the proof:
This is a procedure for turning any 3SAT problem into a LLS input file, therefore proving that the "generalized lifesrc problem" (the problem solved by LLS) is NP-complete
It is built out of a series of 5x5 parts, each part ...
This is a procedure for turning any 3SAT problem into a LLS input file, therefore proving that the "generalized lifesrc problem" (the problem solved by LLS) is NP-complete
It is built out of a series of 5x5 parts, each part ...