3 ms·
Backwards game of life: https://m.youtube.com/watch?v=g8pjrVbdafY https://m.youtube.com/watch?v=g8pjrVbdafY
by dvh 10mo ago
Backwards game of life: https://m.youtube.com/watch?v=g8pjrVbdafY https://m.youtube.com/watch?v=g8pjrVbdafY
- froobius 10mo agoI couldn't see any citations or references in that video or its description. It presents it as him solving the problem himself, but I'm sure other people have written about solving the Game of Life in reverse with SAT solvers prior to this... Edit: here's a paper on it from 2006, https://link.springer.com/chapter/10.1007/978-3-540-76928-6_63 https://link.springer.com/chapter/10.1007/978-3-540-76928-6_...
- robot-wrangler 10mo agoGarden of Eden[0] is a related concept where time-reversal comes up. Mentions NFAs, DFAs, backtracking and brute-force analysis. I see no mention of it but the latter was probably doing custom SAT implicitly, even if there was no access to our nice fast modern solvers. [0]: https://en.wikipedia.org/wiki/Garden_of_Eden_(cellular_automaton) https://en.wikipedia.org/wiki/Garden_of_Eden_(cellular_autom...