Huh! Interesting. Never thought it was a matter of overpopulation (but it should be obvious given that the spaceship above requires S4w to survive).Bullet51 wrote:Here: http://www.njohnston.ca/2009/10/spacesh ... -automata/Hdjensofjfnen wrote:Maybe unrelated, but does anyone have a proof that any speed greater than c/4 diagonal is unachievable in Life? After all, there's a 2c/7 in a rule one transition from Life:Code: Select all
x = 5, y = 5, rule = B3/S234w 3o$b2o$2b3o$3b2o$4bo!
Unproven conjectures
- Hdjensofjfnen
- Posts: 1743
- Joined: March 15th, 2016, 6:41 pm
- Location: re^jθ
Re: Unproven conjectures
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!
- testitemqlstudop
- Posts: 1367
- Joined: July 21st, 2016, 11:45 am
- Location: in catagolue
- Contact:
Re: Unproven conjectures
Is cellular automaton omnivelocital? (i.e. that 7,1c/8)
Are there spaceships in 1d B3/S23? (credits to hdjen)
What are the least transitions required for Turing-completeness in isotropic non-totalistic 2-dimensional CA? What about non-isotropic?
CA:
Can Life support all sub-c/2 orthogonal velocities? What about diagonal or oblique?
Re: Unproven conjectures
We have proven B2ae/S and B2ac/S to be Turing complete in the discord.testitemqlstudop wrote: What are the least transitions required for Turing-completeness in isotropic non-totalistic 2-dimensional CA?
Code: Select all
x = 140, y = 120, rule = B2ae/S
13$93bo$94bo2$69bo17bo12bo17bo$70bo16bo12bo16bo$121bo$120bo4$40bo$41bo
2$16bo17bo12bo17bo26bo2bo$17bo16bo12bo16bo28b2o9$39bo2bo77b2o$40b2o2$
104bo$103bo$111bo$110bo12bo$20bo89bo13bo$21bo89bo$21bo$20bo3$120b2o3$
39bo2bo$40b2o6$97bo$96bo$8bo$9bo4$120bo$121bo$39bo2bo$40b2o10$8b2o5$
18bo15bo4bo2bo$6bo12bo15bo4b2o$5bo13bo15bo$18bo15bo2$40bo$39bo2$8b2o
17$9bo$8bo!
Code: Select all
x = 249, y = 163, rule = B2ac/S
49bobo$54bo2$52b2o2$52b2o2$51bo2bo2$52b2o4$43bo$41bo3bo$41bo3bo$43bo$
38b2o2$37bo2bo10bo2$38b2o12b2o3$170bobo$24bo2$24bo6bo11bo$27bobo3bo11b
o$27bobo3bo11bo57bo71bo23bo23bo11bo5bo$25bo5bo71bo65b2o4bo23bo23bo11bo
5bo$105bo71bo23bo23bo22bo$171bo$233b2o13bo6$232bo2bo3$214b2o2$216bo18b
obo7$224bo$218bo$218bo$169b2o43b2o8bo4bo2$171bo57bo4$214b2o7$216bobo
11$169b2o2$171bo3$97bobo5$99bo2bo6$86bo13b2o2$86bo34bo23bo23bo$93bo5bo
23bo23bo23bo$93bo5bo23bo23bo23bobo11bo5bo$173bo11bo5bo$175bo22bo2$30bo
bo136b2o12b2o13bo2$171bo4$182bo2bo$33b2o$183bo$179bo$173bo7bo$19bo82b
2o69bo$169b2o8bo$19bo4bo8b2o66bo$30bo$30bo$24bo2$169b2o5$11bobo18bo2$
33b2o136bobo3$13bo2bo6$o13b2o$102b2o$o22bo23bo23bo23bo24bo23bo$7bo5bo
11bo23bo23bo23bo3bo20bo23bo$7bo5bo11bo23bo23bo23bo24bo23bo4bo2$151bo4$
93bo$99bo$99bo$88bo4bo8b2o2$88bo4$102b2o2$51bo2$51bo3$99bobo!
- Hdjensofjfnen
- Posts: 1743
- Joined: March 15th, 2016, 6:41 pm
- Location: re^jθ
Re: Unproven conjectures
Life is known to support all sub-c/4 orthogonal velocities. However, I'm not sure about the speeds between c/4 and c/2. As for diagonal and oblique, I'm not sure either.testitemqlstudop wrote: Can Life support all sub-c/2 orthogonal velocities? What about diagonal or oblique?
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!
Re: Unproven conjectures
From a universal constructor argument (using blinker puffers), you can achieve any rational velocity *strictly* below the vacuum speed limit -- that is to say, you can attain any (a,b)c/d where 2(a + b) < d.Hdjensofjfnen wrote:Life is known to support all sub-c/4 orthogonal velocities. However, I'm not sure about the speeds between c/4 and c/2. As for diagonal and oblique, I'm not sure either.testitemqlstudop wrote: Can Life support all sub-c/2 orthogonal velocities? What about diagonal or oblique?
As a partial converse, it's impossible to attain (a,b)c/d where 2(a + b) > d (originally proved by Conway).
What remains are the velocities where 2(a + b) == d, where there's neither a proof of existence nor non-existence. Currently there are only three known examples: the velocities of the glider, the LWSS, and Sir Robin.
Re: Unproven conjectures
Life's top (orthogonal) spaceship speed is c/2: I'm thinking of a rule where c/2 spaceships cannot be achieved, but speeds approaching c/2 such as 2c/5, 3c/7, 4c/9, 5c/11, ... nc/2n+1 all can.
Also, how far have we enumerated each possible different n-cell rotor in Life?
Re: Unproven conjectures
It's not possible. Because rules with 1 transition cannot have spaceship.Sarp wrote:However I'm not sure if any 1 transition TC rules existtestitemqlstudop wrote: What are the least transitions required for Turing-completeness in isotropic non-totalistic 2-dimensional CA?
Re: Unproven conjectures
You can have infinite but finitely describable universes which would also prove TC'ness without using spaceships. You can use b3i to simulate W22 and b3e for W68 but neither are TC. With finite starting patterns all rules except b2a are easily provable to be non-TC. Also banks and Wireworld are TC rules without spaceships.Hunting wrote:It's not possible. Because rules with 1 transition cannot have spaceship.Sarp wrote:However I'm not sure if any 1 transition TC rules existtestitemqlstudop wrote: What are the least transitions required for Turing-completeness in isotropic non-totalistic 2-dimensional CA?
- toroidalet
- Posts: 1514
- Joined: August 7th, 2016, 1:48 pm
- Location: My computer
- Contact:
Re: Unproven conjectures
Code: Select all
x = 130, y = 197, rule = B2a/S
11$71bo$52bo3bo14bo$56bo12b2o$28bo3bo3bo3bo3bo3bo8b2o21bo$32bo7bo7bo
25b2o4bo$33b2o6b2o6b2o22bo4b2o$52b2o19bo$54bo28b2o$28b2o6b2o6b2o8bo3bo
23bo$30bo7bo7bo35bo$30bo3bo3bo3bo3bo3bo2$62bo$62bo$60b2o$41b2o$65b2o$
64bo$64bo5$33b2o6b2o6$57b2o2$33b2o6b2o25b2o2$65b2o4$57b2o6b2o2$41b2o6b
2o3$77b2o3$57b2o2$49b2o17b2o5$11bo110bo$11bo45b2o63bo$9b2o112b2o$77bo
15bo$14b2o61bo15bo24b2o$13bo106bo$13bo40bo3bo61bo$54bo24bo$30bo3bo3bo
3bo3bo3bob2o25bo$30bo7bo7bo33b2o$28b2o6b2o6b2o$57b2o16b2o$56bo11b2o7bo
$33b2o6b2o6b2obo3bo20bo$32bo7bo7bo$28bo3bo3bo3bo3bo3bo9bo4bo$63bo52bo
4bo$64b2o50bo$114b2o$58b2o$60bo59b2o$60bo4bo7bo15bo29bo$73bo15bo24bo4b
o2$57bo4bo53bo4bo$62bo53bo$63b2o49b2o2$57b2o61b2o$59bo37bo21bo$59bo4bo
32bo16bo4bo2$57bo4bo53bo4bo$62bo53bo$63b2o49b2o2$57b2o61b2o$59bo29bo
15bo13bo$59bo4bo24bo15bo8bo4bo2$57bo4bo53bo4bo$62bo53bo$63b2o49b2o2$
57b2o9b2o50b2o$59bo21bo37bo$59bo4bo16bo32bo4bo2$57bo4bo53bo4bo$62bo53b
o$63b2o49b2o2$57b2o61b2o$59bo13bo15bo29bo$59bo4bo8bo15bo24bo4bo2$57bo
4bo53bo4bo$62bo53bo$63b2o49b2o2$57b2o61b2o$59bo37bo21bo$59bo4bo32bo16b
o4bo2$57bo4bo53bo4bo$62bo53bo$63b2o49b2o2$57b2o61b2o$59bo29bo15bo13bo$
59bo4bo24bo15bo8bo4bo2$57bo4bo53bo4bo$62bo53bo$63b2o49b2o2$57b2o9b2o
50b2o$59bo21bo37bo$59bo4bo16bo32bo4bo2$57bo4bo53bo4bo$62bo53bo$63b2o
49b2o2$57b2o61b2o$59bo13bo15bo29bo$59bo4bo8bo15bo24bo4bo22$68b2o17$68b
o$68bo$66b2o2$71b2o$70bo$70bo!
- Hdjensofjfnen
- Posts: 1743
- Joined: March 15th, 2016, 6:41 pm
- Location: re^jθ
Re: Unproven conjectures
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!
Re: Unproven conjectures
This came up yesterday on Discord, and as Kazyan mentioned it's very easy to disprove this conjecture.Hdjensofjfnen wrote:If a pattern is a Garden of Eden, its inverse cannot be a Garden of Eden.
E.g., the following is a GoE whose inverse is trivially also a GoE:
Code: Select all
x = 12, y = 16, rule = B3/S23
o2b2obo2b3o$b2o2b2obobo$obobo2bobobo$b4o2b2o2bo$o3b3ob4o$2obobo2bob2o$
obo2b3obobo$b4obob4o$o4bobo$bob2o3bobo$2bobob2obo$b3o3bo$o4b2o2b2o$bob
ob2obobo$o2b2o2bobobo$b2o2bob2o!
- Hdjensofjfnen
- Posts: 1743
- Joined: March 15th, 2016, 6:41 pm
- Location: re^jθ
Re: Unproven conjectures
Doh! I forget the questions I've asked and haven't asked.dvgrn wrote:This came up yesterday on Discord, and as Kazyan mentioned it's very easy to disprove this conjecture.Hdjensofjfnen wrote:If a pattern is a Garden of Eden, its inverse cannot be a Garden of Eden.
E.g., the following is a GoE whose inverse is trivially also a GoE:
Code: Select all
x = 12, y = 16, rule = B3/S23 o2b2obo2b3o$b2o2b2obobo$obobo2bobobo$b4o2b2o2bo$o3b3ob4o$2obobo2bob2o$ obo2b3obobo$b4obob4o$o4bobo$bob2o3bobo$2bobob2obo$b3o3bo$o4b2o2b2o$bob ob2obobo$o2b2o2bobobo$b2o2bob2o!
EDIT: Anyway, another conjecture:
Call the set of Gardens of Eden S0. Then call the set of the grandfatherless patterns S1. Then call the set of the great-grandfatherless patterns S2, and so on.
Conjecture a) The number of elements in Sn for arbitrarily large n is smaller than the number of elements in S0. (In essence, there is not necessarily a bijection between the elements of Sn and the elements of Sn-1.)
Conjecture b) There is a nonzero and therefore infinite number of elements in each of S0, S1, S2, ... ad infinitum.
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!
- testitemqlstudop
- Posts: 1367
- Joined: July 21st, 2016, 11:45 am
- Location: in catagolue
- Contact:
Re: Unproven conjectures
- Hdjensofjfnen
- Posts: 1743
- Joined: March 15th, 2016, 6:41 pm
- Location: re^jθ
Re: Unproven conjectures
Call a soup complete if its every cell within its bounding box is contained within its resulting envelope when run. What is the density d so that a random soup with that density has a 50% chance of being complete?
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!
Re: Unproven conjectures
This seems more like a Basic Question than an Unproven Conjecture. There's no well-defined answer as you've stated the question, because the required density will depend on the size and shape of the soup's bounding box. But above 2x2 d will be fairly low, since any soup with three consecutive ON cells along an edge of its bounding box will automatically be not-complete.Hdjensofjfnen wrote:A question:
Call a soup complete if its every cell within its bounding box is contained within its resulting envelope when run. What is the density d so that a random soup with that density has a 50% chance of being complete?
- Hdjensofjfnen
- Posts: 1743
- Joined: March 15th, 2016, 6:41 pm
- Location: re^jθ
Re: Unproven conjectures
Can you clarify what you mean? I'm not sure I understand your meaning exactly. Do you mean OFF cells?dvgrn wrote:...any soup with three consecutive ON cells along an edge of its bounding box will automatically be not-complete.
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!
Re: Unproven conjectures
Semi-active here - recovering from a severe case of LWTDS.
- Extrementhusiast
- Posts: 1966
- Joined: June 16th, 2009, 11:24 pm
- Location: USA
Re: Unproven conjectures
I may have found a counterexample:pcallahan wrote: ↑January 4th, 2018, 3:22 pmA significant question is still life finitization (I think it has been called that). I do not know if it is currently open. I have had some ideas and never made progress. It is hard but seems tractable (unless it's actually easy and I'm missing something).
The question is: given a still life without finite boundaries (e.g. covering the plane; it need not be periodic or have any other properties), can any MxN finite window of it be preserved within a finite still life by adding appropriate unchanging cells around it (no particular bounds on this, though the question could place size limits in terms of M and N).
A natural conjecture based on experience and the prevalence of still lifes is that there is some fairly small constant k such that any MxN window that exists within an infinite still life can be stabilized within an (M+k)x(N+k) still life.
For instance, take a still life consisting of alternating stripes. That is only stable when infinite, but it is not hard to select a rectangle inside it and add a boundary to stabilize it. This appears to be true for less regular still lifes as well.
The first idea I had was backtracking from a row of empty cells to a populated row. The first row facing empty space must not have more than two live cells adjacent, but it is unclear what conditions are on its successor. My guess is that after several iterations, the conditions are identical to a row within an infinite still life, but I don't see how to prove it (I thought about treating these rows as regular languages, which they are, but that hasn't helped).
The second idea, which seems more tractable, is to pick a specific window size (say 10x10). For any still life of this size including with unstable boundaries, if we remove all cells in a centered subwindow (say 6x6) can we restabilize the bordering cells leaving an empty subwindow (I think 2x2 is big enough). If so, we have an algorithm for "punching holes" in any infinite still life and should be able to separate finite windows from the infinite stabilizer given a succession of hole punches.
I believe the second approach is suitable to an automated proof, but it might not result in a very readable explanation of how it works.
Or, again has someone already figured this out (Noam Elkies?) using more elegant mathematics and am I just way behind the state of the art.
Code: Select all
x = 90, y = 3, rule = B3/S23
b2o3b2o2b2o3b2o2b2o3b2o2b2o3b2o2b2o3b2o2b2o3b2o2b2o3b2o2b2o3b2o2b2o3b
2o2b2o3b2o$2o2b2o3b2o2b2o3b2o2b2o3b2o2b2o3b2o2b2o3b2o2b2o3b2o2b2o3b2o
2b2o3b2o2b2o3b2o2b2o$3b2o2b2o3b2o2b2o3b2o2b2o3b2o2b2o3b2o2b2o3b2o2b2o
3b2o2b2o3b2o2b2o3b2o2b2o3b2o2b2o!
Re: Unproven conjectures
Thanks! Yes, anyway it looks like a counterexample to the strongest form of the conjecture:Extrementhusiast wrote: ↑December 28th, 2019, 3:01 pmI may have found a counterexample:According to JLS, the only way to stabilize it is with more copies of itself, bounded by a line of slope -1/3.Code: Select all
x = 90, y = 3, rule = B3/S23 b2o3b2o2b2o3b2o2b2o3b2o2b2o3b2o2b2o3b2o2b2o3b2o2b2o3b2o2b2o3b2o2b2o3b 2o2b2o3b2o$2o2b2o3b2o2b2o3b2o2b2o3b2o2b2o3b2o2b2o3b2o2b2o3b2o2b2o3b2o 2b2o3b2o2b2o3b2o2b2o$3b2o2b2o3b2o2b2o3b2o2b2o3b2o2b2o3b2o2b2o3b2o2b2o 3b2o2b2o3b2o2b2o3b2o2b2o3b2o2b2o!
That rules out some of the approaches I've taken trying to find finite stabilizations. Has anyone else looked into this recently?there is some fairly small constant k such that any MxN window that exists within an infinite still life can be stabilized within an (M+k)x(N+k) still life.
I believe that Dean Hickerson once made the strong form of the conjecture for a specific k like 5 or 6.
I haven't independently verified it, but the top two rows extended infinitely should, I think impose a periodic tiling on the plane. I don't think I've seen that with any other still life pattern. E.g., it's true that an infinite row of all live cells can be stabilized by repeating it alternating over the plane, but you don't need that. Are there finite patterns that impose a periodic stabilization? I would not have thought so but now I don't know.
Re: Unproven conjectures
I think it's not hard to analyze. The initial pattern is a 2x9 rectangle that repeats periodically across the plane. Label the columns of one of these rectangles with letters a through i. The goal is to place a third row of cells to stabilize row 2. The cell in column e has 3 neighbors, so it must not have any more neighbors. This forces the cells to be empty in row 3 for columns d, e, and f.
Code: Select all
a b c d e f g h i
o o . . o o . . . o o . . o o . . . o o . . o o . . . o o . . o o . . . o o . .
. o o . . . o o . . o o . . . o o . . o o . . . o o . . o o . . . o o . . o o .
. . .
Code: Select all
a b c d e f g h i
o o . . o o . . . o o . . o o . . . o o . . o o . . . o o . . o o . . . o o . .
. o o . . . o o . . o o . . . o o . . o o . . . o o . . o o . . . o o . . o o .
o . . .
Code: Select all
a b c d e f g h i
o o . . o o . . . o o . . o o . . . o o . . o o . . . o o . . o o . . . o o . .
. o o . . . o o . . o o . . . o o . . o o . . . o o . . o o . . . o o . . o o .
. o o . . .
If column i row 3 is live, we get a birth in column h.
Code: Select all
a b c d e f g h i a
o o . . o o . . . o o . . o o . . . o o . . o o . . . o o . . o o . . . o o . .
. o o . . . o o . . o o . . . o o . . o o . * . o o . . o o . . . o o . . o o .
. o o . . . . . o .
Code: Select all
a b c d e f g h i a
o o . . o o . . . o o . . o o . . . o o . . o o . . . o o . . o o . . . o o . .
. o o . . . o o . . o o . . . o o . . o o . . * o o . . o o . . . o o . . o o .
. o o . . . . . . .
Finally, this stabilization works and it is unique:
Code: Select all
a b c d e f g h i
o o . . o o . . . o o . . o o . . . o o . . o o . . . o o . . o o . . . o o . .
. o o . . . o o . . o o . . . o o . . o o . . . o o . . o o . . . o o . . o o .
. o o . . . o o .
Are there any other still life stabilizations that force periodicity in this way? I guess a trivial case is this 2x2 block:
Code: Select all
o .
o .
The general question is about still lifes in an n-column universe that is wrapped horizontally but not vertically. If 2 consecutive rows of cells are assigned, is it possible to find some finite m such that the rows and their stabilization fit in an mXn box. The above is a counterexample for n=9. It should be possible to enumerate patterns like this for somewhat larger values of n (maybe up to 20 or a little higher).
Each such pattern should imply that the stabilization must exceed a fixed number of rows when the rectangle is repeated an increasing number of times in a row of an unbounded universe.
How to enumerate?
One way that I think should work for a given n is to construct 3Xn rectangles such that the center row is consistent with still-life constraints with neighbors wrapped horizontally. Next form a directed graph of nodes that are 2Xn rectangles connected by a directed edge if they overlap into one of the above 3xN rectangles.
For finite stabilizations, we should find that there is a path to the 2Xn rectangle consisting of all empty cells (0s). Ones without such a stabilization should be in strongly connected components that do not include the empty rectangle. Note that for n=9, this is a very reasonable-sized problem to solve on a graph of 2^18 nodes. It should be feasible even for significantly larger values of n (I would guess up to at least 20 or so).
Re: Unproven conjectures
Segue to another unproven conjecture: if there's a forced stabilization for a patch of this agar, does that mean that a still life like thispcallahan wrote: ↑December 29th, 2019, 1:07 amFinally, this stabilization works and it is unique:
Because these 9 cells are forced uniquely, the entire periodic row must be forced.Code: Select all
a b c d e f g h i o o . . o o . . . o o . . o o . . . o o . . o o . . . o o . . o o . . . o o . . . o o . . . o o . . o o . . . o o . . o o . . . o o . . o o . . . o o . . o o . . o o . . . o o .
Code: Select all
x = 46, y = 35, rule = B3/S23
2o$o2b2o$2b2o2b2o$5b2o2b2o$2b3o3b2o2b2o$3bo2b2o3b2o2b2o$bo3b2o2b2o3b2o
2b2o$b2o5b2o2b2o3b2o2b2o5b2o$5b3o3b2o2b2o3b2o2b2o3bo$6bo2b2o3b2o2b2o3b
2o2bo$4bo3b2o2b2o3b2o2b2o3b3o$4b2o5b2o2b2o3b2o2b2o5b2o$8b3o3b2o2b2o3b
2o2b2o3bo$9bo2b2o3b2o2b2o3b2o2bo$7bo3b2o2b2o3b2o2b2o3b3o$7b2o5b2o2b2o
3b2o2b2o5b2o$11b3o3b2o2b2o3b2o2b2o3bo$12bo2b2o3b2o2b2o3b2o2bo$10bo3b2o
2b2o3b2o2b2o3b3o$10b2o5b2o2b2o3b2o2b2o5b2o$14b3o3b2o2b2o3b2o2b2o3bo$
15bo2b2o3b2o2b2o3b2o2bo$13bo3b2o2b2o3b2o2b2o3b3o$13b2o5b2o2b2o3b2o2b2o
5b2o$17b3o3b2o2b2o3b2o2b2o3bo$18bo2b2o3b2o2b2o3b2o2bo$16bo3b2o2b2o3b2o
2b2o3b3o$16b2o5b2o2b2o3b2o2b2o5b2o$26b2o2b2o3b2o2b2o3bo$29b2o2b2o3b2o
2bo$32b2o2b2o3b3o$35b2o2b2o$38b2o2b2o$41b2o2bo$44b2o!
I'm not saying this would be a candidate for the Unique Father Problem. At least for small diamonds, there seems to be no shortage of predecessors:
Code: Select all
x = 13, y = 12, rule = B3/S23
2o5b2o$o2bobo2bo$2b2o4bobo$5bob3o2bo$2b3obo2b2obo$bobo2b2obo$5bo2b2obo
$b4o3bo2bo$2bob2o$bobo2b2o2bo$3b2o4b4o$2bobob2o3bo!
Code: Select all
x = 17, y = 18, rule = B3/S23
4bo2bo$3bobob5o2bo$b2o6b4o$2bob2o6bo$bob2o2b2o2bobo$5bob2o2bo3b2o$o2b
2o3bobo5bo$6b2o5bo$3o6b3obo2bo$bo2b2o5bo3bo$o2b2o2bobob3o2bo$o2bo2b2o
2bo$3b2o2b3o3b2obo$2b2o2bo5bo2b2o$b3o7b2obo$2bo2b2o2bobobo$3bob4ob2o$
4bo5bo!
Re: Unproven conjectures
I don't know the answer, but it seems hard to rule out volatile patterns that "magically" stabilize into the required context, or even some period-2 context that could hold it indefinitely for the next glider. I lack the experience with still-life synthesis to guess at the likelihood, but it just seems hard to prove a negative result.dvgrn wrote: ↑December 29th, 2019, 2:10 pmThere would be no incremental way to build it one S-tetromino at a time -- it would have to be built up a full row at a time, at best, and if the rows are long enough there might not be room for enough gliders to get in and make the necessary adjustments. Is there a likely angle of attack for one of these things?
I wonder even in the still life counterexample if there is a narrower stabilization that has constant width but is not a still life. Maybe the conflicting births could be turned into blinking cells (I have not looked at it enough to see if that idea even makes sense).
Aside: another interesting thing about this still life (the periodic part) is that every 3x3 window has exactly 4 live cells, either a live cell with 3 neighbors or 4 cells overcrowding a birth. That's highly constrained, though obviously not unique because it can be shifted.
Re: Unproven conjectures
I made the analysis a lot harder than necessary.pcallahan wrote: ↑December 29th, 2019, 1:07 amFinally, this stabilization works and it is unique:
Code: Select all
a b c d e f g h i o o . . o o . . . o o . . o o . . . o o . . o o . . . o o . . o o . . . o o . . . o o . . . o o . . o o . . . o o . . o o . . . o o . . o o . . . o o . . o o . . o o . . . o o .
Just start with the two forced empty cells as shown, and head left, filling in the ?s.
Code: Select all
o o . . o o . . . o o . . o o . . . o o . . o o . . . o o . . o o . . . o o . .
. o o . . . o o . . o o . . . o o . . o o . . . o o . . o o . . . o o . . o o .
? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? ? . .
- Entity Valkyrie 2
- Posts: 1758
- Joined: February 26th, 2019, 7:13 pm
- Contact:
Re: Unproven conjectures
Conjecture: is there a Thessalonic g-to-h?
Conjecture: is there a Thessalonic glider duplicator?
There is almost a Thessalonic glider reflector:
Code: Select all
x = 24, y = 23, rule = B3/S23
5bo$6b2o$5b2o4$22b2o$22bo$20bobo$20b2o$2b2o$bobo$bo$2o$14b2o$14b2o6b2o
$22b2o3$11b2o$12bo$9b3o$9bo!
Please click here for my own pages.
My recent rules:
StateInvestigator 3.0
B3-kq4ej5i6ckn7e/S2-i34q6a7
B3-kq4ej5y6c/S2-i34q5e
Move the Box
Re: Unproven conjectures
If a still life only has itself as a predecessor, clearly it is its only father, its only grandfather, its only great-grandfather and so on. Does that mean that it would be a Garden of Eden, by induction?