TE
TechEcho
Home24h TopNewestBestAskShowJobs
GitHubTwitter
Home

TechEcho

A tech news platform built with Next.js, providing global tech news and discussions.

GitHubTwitter

Home

HomeNewestBestAskShowJobs

Resources

HackerNews APIOriginal HackerNewsNext.js

© 2025 TechEcho. All rights reserved.

Wolfram Rule 30 Prizes

176 pointsby soofyover 5 years ago

14 comments

lackerover 5 years ago
It is pretty hard in general to prove that calculating things takes at least O(n) time, so I wouldn&#x27;t expect that one to be solved any time soon.<p>Personally, I am curious if there is any cellular automaton that has something like 3-dimensional rotational symmetry. If our universe can be described by a cellular automaton, it isn&#x27;t obvious to me how such a symmetry could arise, but I wouldn&#x27;t be surprised if someone figured it out.
评论 #21131966 未加载
评论 #21131089 未加载
评论 #21131722 未加载
评论 #21131130 未加载
评论 #21131327 未加载
评论 #21133242 未加载
wwarnerover 5 years ago
An aside: 3D cellular automata <a href="https:&#x2F;&#x2F;www.youtube.com&#x2F;watch?v=_W-n510Pca0" rel="nofollow">https:&#x2F;&#x2F;www.youtube.com&#x2F;watch?v=_W-n510Pca0</a>
评论 #21131468 未加载
aarestadover 5 years ago
What are the implications of positive&#x2F;negative answers to these questions, and&#x2F;or what else aside from &quot;because it&#x27;s there&quot; motivates answering these questions?
评论 #21130624 未加载
评论 #21131824 未加载
评论 #21131801 未加载
评论 #21130626 未加载
评论 #21130709 未加载
DonHopkinsover 5 years ago
Oh My Gosh, It’s Covered in Rule 30s<p><a href="http:&#x2F;&#x2F;blog.stephenwolfram.com&#x2F;2017&#x2F;06&#x2F;oh-my-gosh-its-covered-in-rule-30s&#x2F;" rel="nofollow">http:&#x2F;&#x2F;blog.stephenwolfram.com&#x2F;2017&#x2F;06&#x2F;oh-my-gosh-its-covere...</a><p>HN discussion:<p><a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=14458955" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=14458955</a>
DonHopkinsover 5 years ago
I gave some links to visualizations of CA basins of attraction including Rule 30 in my previous post about &quot;Garden of Eden&quot; configurations:<p><a href="https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=14468707" rel="nofollow">https:&#x2F;&#x2F;news.ycombinator.com&#x2F;item?id=14468707</a><p>There&#x27;s a thing called a &quot;Garden of Eden&quot; configuration that has no predecessors, which is impossible to get to from any other possible state.<p>For a rule like Life, there are many possible configurations that must have been created by God or somebody with a bitmap editor (or somebody who thinks he&#x27;s God and uses Mathematica as a bitmap editor, like Stephen Wolfram ;), because it would have been impossible for the Life rule to evolve into those states. For example, with the &quot;Life&quot; rule, no possible configuration of cells could ever evolve into all cells with the value &quot;1&quot;.<p><a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Garden_of_Eden_(cellular_automaton)" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Garden_of_Eden_(cellular_autom...</a><p>For a rule that simply sets the cell value to zero, all configurations other than pure zeros are garden of eden states, and they all lead directly into a one step attractor of all zeros which always evolves back into itself, all zeros again and again (the shortest possible attractor loop that leads directly to itself).<p>There is a way of graphically visualizing that global rule state space, which gives insight into the behavior of the rule and the texture and complexity of its state space!<p>Andrew Wuensche and Mike Lesser published a gorgeous coffee table book entitled &quot;The Global Dynamics of Cellular Automata&quot; that plots out the possible &quot;Garden of Eden&quot; states and the &quot;Basins of Attraction&quot; they lead into of many different one-dimensional cellular automata like rule 30.<p><a href="http:&#x2F;&#x2F;users.sussex.ac.uk&#x2F;~andywu&#x2F;gdca.html" rel="nofollow">http:&#x2F;&#x2F;users.sussex.ac.uk&#x2F;~andywu&#x2F;gdca.html</a><p>The beautiful color plates begin on page 79 in the free pdf file:<p><a href="http:&#x2F;&#x2F;users.sussex.ac.uk&#x2F;~andywu&#x2F;downloads&#x2F;papers&#x2F;global_dynamics_of_CA.pdf" rel="nofollow">http:&#x2F;&#x2F;users.sussex.ac.uk&#x2F;~andywu&#x2F;downloads&#x2F;papers&#x2F;global_dy...</a><p>I&#x27;ve uploaded the money shots to imgur:<p><a href="http:&#x2F;&#x2F;imgur.com&#x2F;gallery&#x2F;s3dhz" rel="nofollow">http:&#x2F;&#x2F;imgur.com&#x2F;gallery&#x2F;s3dhz</a><p>Those are not pictures of 1-d cellular automata rule cell states on a grid themselves, but they are actually graphs of the abstract global state space, showing merging and looping trajectories (but not branching since the rules are deterministic -- time flows from the garden of eden leaf tips around the perimeter into (then around) the basin of attractor loops in the center, merging like springs (GOE) into tributaries into rivers into the ocean (BOA)).<p>The rest of the book is an atlas of all possible 1-d rules of a particular rule numbering system (like rule 30, etc), and the last image is the legend.<p>He developed a technique of computing and plotting the topology network of all possible states a CA can get into -- tips are &quot;garden of eden&quot; states that no other states can lead to, and loops are &quot;basins of attraction&quot;.<p>Here is the illustration of &quot;rule 30&quot; from page 144 (the legend explaining it is the last photo in the above album). [I am presuming it&#x27;s using the same rule numbering system as Wolfram but I&#x27;m not sure -- EDIT: I visually checked the &quot;space time pattern from a singleton seed&quot; thumbnail against the illustration in the article, and yes it matches rule 30!]<p><a href="http:&#x2F;&#x2F;imgur.com&#x2F;a&#x2F;lKAbP" rel="nofollow">http:&#x2F;&#x2F;imgur.com&#x2F;a&#x2F;lKAbP</a><p>&quot;The Global Dynamics of Cellular Automata introduces a powerful new perspective for the study of discrete dynamical systems. After first looking at the unique trajectory of a system&#x27;s future, an algoritm is presented that directly computes the multiple merging trajectories of the systems past. A given cellular automaton will &quot;crystallize&quot; state space into a set of basins of attraction that typically have a topology of trees rooted on attractor cycles. Portraits of these objects are made accessible through computer generated graphics. The &quot;Atlas&quot; presents a complete class of such objects, and is inteded , with the accompanying software, as an aid to navigation into the vast reaches of rule behaviour space. The book will appeal to students and researchers interested in cellular automata, complex systems, computational theory, artificial life, neural networks, and aspects of genetics.&quot;<p><a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Attractor" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Attractor</a><p>&quot;Basins of attraction in cellular automata&quot;, by Andrew Wuensche:<p><a href="http:&#x2F;&#x2F;onlinelibrary.wiley.com&#x2F;doi&#x2F;10.1002&#x2F;1099-0526(200007&#x2F;08)5:6%3C19::AID-CPLX5%3E3.0.CO;2-J&#x2F;full" rel="nofollow">http:&#x2F;&#x2F;onlinelibrary.wiley.com&#x2F;doi&#x2F;10.1002&#x2F;1099-0526(200007&#x2F;...</a><p>&quot;To achieve the global perspective. I devised a general method for running CA backwards in time to compute a state&#x27;s predecessors with a direct reverse algorithm. So the predecessors of predecessors, and so on, can be computed, revealing the complete subtree including the &quot;leaves,&quot; states without predecessors, the so-called “garden-of-Eden&quot; states.<p>Trajectories must lead to attractors in a finite CA, so a basin of attraction is composed of merging trajectories, trees, rooted on the states making up the attractor cycle with a period of one or more. State-space is organized by the &quot;physics&quot; underlying the dynamic behavior into a number of these basins of attraction, making up the basin of attraction field.&quot;<p>Pencil drawing from the very early days before automatic computer drawing was perfected:<p><a href="http:&#x2F;&#x2F;www.ddlab.com&#x2F;r30Pencil.gif" rel="nofollow">http:&#x2F;&#x2F;www.ddlab.com&#x2F;r30Pencil.gif</a><p>If you like the book, you&#x27;ll love the code!<p><a href="http:&#x2F;&#x2F;www.ddlab.com&#x2F;" rel="nofollow">http:&#x2F;&#x2F;www.ddlab.com&#x2F;</a><p><a href="http:&#x2F;&#x2F;www.ddlab.com&#x2F;screensave3.png" rel="nofollow">http:&#x2F;&#x2F;www.ddlab.com&#x2F;screensave3.png</a><p><a href="http:&#x2F;&#x2F;uncomp.uwe.ac.uk&#x2F;wuensche&#x2F;2006_ddlab_slides1.pdf" rel="nofollow">http:&#x2F;&#x2F;uncomp.uwe.ac.uk&#x2F;wuensche&#x2F;2006_ddlab_slides1.pdf</a><p><a href="http:&#x2F;&#x2F;uncomp.uwe.ac.uk&#x2F;wuensche&#x2F;meta.html" rel="nofollow">http:&#x2F;&#x2F;uncomp.uwe.ac.uk&#x2F;wuensche&#x2F;meta.html</a><p><a href="http:&#x2F;&#x2F;uncomp.uwe.ac.uk&#x2F;wuensche&#x2F;boa_idea.html" rel="nofollow">http:&#x2F;&#x2F;uncomp.uwe.ac.uk&#x2F;wuensche&#x2F;boa_idea.html</a><p><a href="http:&#x2F;&#x2F;uncomp.uwe.ac.uk&#x2F;wuensche&#x2F;downloads&#x2F;papers&#x2F;2008_dd_overview_preprint.pdf" rel="nofollow">http:&#x2F;&#x2F;uncomp.uwe.ac.uk&#x2F;wuensche&#x2F;downloads&#x2F;papers&#x2F;2008_dd_ov...</a>
评论 #21130899 未加载
评论 #21132062 未加载
d-dover 5 years ago
Haha, this is just P versus NP for $970,000 less in prizes.
mar77iover 5 years ago
So I typed a couple of digits into OEIS, which returned <a href="http:&#x2F;&#x2F;oeis.org&#x2F;A080847" rel="nofollow">http:&#x2F;&#x2F;oeis.org&#x2F;A080847</a>, &quot;mu(n) + 2&quot;, where mu is the <a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;M%C3%B6bius_function" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;M%C3%B6bius_function</a><p>This doesn&#x27;t appear to be true for arbitrarily many digits, and I&#x27;m struggling to see how the two fields may even be connected. Some properties appear similar, eg. the Möbius function, too, appears to sum up to 0.
mhrothover 5 years ago
If I were still in grad school, I would get lost in this. Alas, days gone by...
Havocover 5 years ago
I love the fact that this is #1 on hn with a 30k prize.<p>Meanwhile the major tech corps would kill for that kind of bang per buck.
评论 #21131308 未加载
评论 #21131415 未加载
anderskaseorgover 5 years ago
Computing the nth cell clearly takes at least 1 time unit, and by the definition of O(), we have 1 = O(n). I’ll be claiming my $10,000 now.<p>(More seriously, don’t confuse O() with Ω() and Θ(), folks: <a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Big_O_notation." rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Big_O_notation.</a>)
评论 #21146089 未加载
wwarnerover 5 years ago
love this phrase: &quot;naturally constructed&quot; numbers, suggesting that the numbers we use every day are themselves computational conveniences, and possibly that another number construction could be useful at other scales.
评论 #21131032 未加载
breckover 5 years ago
Has anyone seen a version of Rule 30 for a 2D array, instead of 1D? I&#x27;m doing some searching but can&#x27;t find one. Somewhat tangential to my angle of attack, but would be helpful to me.
评论 #21131604 未加载
评论 #21131540 未加载
评论 #21131173 未加载
AnimalMuppetover 5 years ago
Anybody got a mirror? The link seems to be dead (or overwhelmed).
abetuskover 5 years ago
For some context, Wolfram published a book of collected papers called &quot;Cellular Automata and Complexity&quot; [1] where he classified Cellular Automata (CA) into four broad categories:<p><pre><code> I. Convergent uniform final state II. Convergent simple pattern final state III. &quot;Random&quot; IV. &quot;Complexity&quot; </code></pre> Where &quot;Complexity&quot; essentially means Turing Machine Equivalent [2]. See also [3].<p>Later, Wolfram self-published &quot;A New Kind of Science&quot; (ANKoS). ANKoS is abysmal and barely readable but, from what I can understand from what little I read of it, Wolfram updated his understanding and instead basically classified CA into two categories, either &#x27;simple&#x27; or &#x27;complex&#x27;, where, again, &#x27;complex&#x27; means Turing Machine Equivalent.<p>If I remember correctly, I think Wolfram even used Rule 30 as a basis for random number generators somewhere (Mathematica?).<p>Considering the tenor of the problems, maybe Wolfram is still essentially classifying CA into his four initial categories as it looks like he&#x27;s pushing for the idea that &quot;Rule 30 == &#x27;random&#x27;&quot;.<p>My personal take on this is that the idea that there are basically &quot;two&quot; classifications of CA, either &#x27;simple&#x27; (non-Turing Machine equivalent) and &#x27;complex&#x27; (Turing Machine equivalent) is correct. Though it might be the case where the more &#x27;random&#x27; a CA looks, the harder it is to do the reduction to TME, maybe even going so far as having a diverging reduction cost.<p>Regardless, this is why these questions might be interesting. Is Rule 30 TME? If so, then that answers question 3 (O(n) simulation is essentially saying there&#x27;s no &quot;shortcut&quot; and you&#x27;re basically doing full computation). Questions 1 and 2 are, in my opinion, shades of the same TME question, where non-periodic is another way of saying there&#x27;s no short-circuit computation and calculating the average is getting at the unpredictability (read &#x27;required computability&#x27;) of the cells.<p>If Rule 30 isn&#x27;t TME but still requires O(n) cost to predict, that&#x27;s also pretty interesting as it requires as much computing power to predict it but isn&#x27;t as powerful as a Turing Machine. From a broader perspective, this gets at the whole &quot;randomness vs. determinism&quot; idea, as this is a deterministic system that, for many purposes, behaves randomly. This idea is probably old news to this crowd but there&#x27;s a close link to TME and randomness that is still not completely understood and investigations into CA of this sort are another way to tackle this idea.<p>[1] <a href="https:&#x2F;&#x2F;www.amazon.com&#x2F;Cellular-Automata-Complexity-Collected-Papers&#x2F;dp&#x2F;0201626640&#x2F;" rel="nofollow">https:&#x2F;&#x2F;www.amazon.com&#x2F;Cellular-Automata-Complexity-Collecte...</a><p>[2] <a href="https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Turing_machine_equivalents" rel="nofollow">https:&#x2F;&#x2F;en.wikipedia.org&#x2F;wiki&#x2F;Turing_machine_equivalents</a><p>[3] <a href="https:&#x2F;&#x2F;www.wolframscience.com&#x2F;nks&#x2F;p231--four-classes-of-behavior&#x2F;" rel="nofollow">https:&#x2F;&#x2F;www.wolframscience.com&#x2F;nks&#x2F;p231--four-classes-of-beh...</a>