This puzzle took me three years and required thinking in 3721 dimensions

  Рет қаралды 321,001

AlphaPhoenix

AlphaPhoenix

Күн бұрын

Пікірлер: 1 000
@AlphaPhoenixChannel
@AlphaPhoenixChannel 2 ай бұрын
FAQ and corrections in this comment! 1) Check out today's sponsor at brilliant.org/alphaphoenix/ for 20% off! 2) Yes, there will be a part 2 video, but no, it's not coming out next. these programming videos are monstrous to edit because they're all animations and I can't stand to look at this project anymore. hopefully the next video is something fun with the high speed camera! 3) I'd love to see more people take a crack at this! Someone on Patreon wrote a fantastic algorithm this week that could take loads of steps backwards on a glider, but apparently struggled with the larger "play button" pattern I was using. 4) A LOT of people are complaining about the complexity section, but I chose my words very carefully there. I said “NP complete is AT WORST exponential”. I also said “there’s no KNOWN algorithm” to solve NP hard questions in polynomial time. 5) AI would be awful for this problem. Neural nets also likes smooth parameter spaces, and they are good at finding “good” solutions not “exact” solutions. 6) a lot of people are pointing out that there can be more than one GoL board that leads to any given desired GoL board. On the surface it feels like this would make the problem easier, because there are more solutions to find, but it’s also this property that guarantees you will have “Eden” game boards that cannot be produced by a previous step. 7) Tile solver: a bunch of people have suggested pre solving tiles, and I love this idea - it’s one that I tossed around too late down my path of pixel-by-pixel SAT. You’re trading precompute time and memory to build an enormous library: find every way to back up a 3x3 area and save them, then catalog if a tile is used to back up a particular state, what tiles could be adjacent (this will chop down the long list to a less but still quite long list), then you can build a solution from tiles. Maybe by making tiles from tiles iteratively you could precompute solutions for quite large patterns. This may be an interesting way to cut down run-time complexity pretty massively. I didn’t initially go this way because I felt it would be difficult to keep the simulation small while taking multiple steps backwards, but that could be sorted by your tile selection method/biases (a sat solver would be faster but it’s not easily biasable)
@tomholroyd7519
@tomholroyd7519 2 ай бұрын
Garden of Eden patterns were proven to exist. So in the worst case it is irreversible. It may be hard to find examples of Gardens of Eden --- oh, it seems you found some!
@youngbloodbear9662
@youngbloodbear9662 2 ай бұрын
Why couldn’t you invert the rules and check the possibilities that meet those rules?
@yaksher
@yaksher 2 ай бұрын
Minor correction is that "NP" (which as you say at one point) is "nondeterministic polynomial" which does _not_ mean it is not polynomial. We're "pretty sure" that NP-complete problems cannot be done in polynomial time, but proving it is literally a million dollar problem and it's not _known_ to be impossible to do in polynomial time.
@yorthundir7343
@yorthundir7343 2 ай бұрын
It's not really important to the eventual purpose of the video, but I got caught up by the map at 17:30. I assume the edges wrap, which would account for the odd shape of the ring, but a lot of the top points on the ring are unbalanced despite being of equal height to full solutions next to them. I also don't see any space for solutions that are 3/4 one density and 1/4 of the other. In the end it's either just an imperfect example that demonstrates what it needs to just fine and I shouldn't be thinking about it this hard, or I'm missing something glaring, which is equally possible.
@georhodiumgeo9827
@georhodiumgeo9827 2 ай бұрын
Can you say what that library was and maybe a link? Python I'm assuming? Great video! I watch everything p vs np related and all of your videos so today was a great watch.
@brothertyler
@brothertyler 2 ай бұрын
Surpised you didn't show a solved rubics cube and ask the viewer to try to figure out what unsolved state it began from
@AlphaPhoenixChannel
@AlphaPhoenixChannel 2 ай бұрын
lol I love that
@DeadJDona
@DeadJDona 2 ай бұрын
on step -1 of solving cube you could only rotate slices from single spatial direction, on step -2 from another (or same), etc. this kinda decrease field of possibilities
@HolmesHobbies
@HolmesHobbies 2 ай бұрын
Perfect analogy!
@BryanLu0
@BryanLu0 2 ай бұрын
​@@DeadJDonabut a Rubix cube solve could've taken 20+ moves
@Jone952
@Jone952 2 ай бұрын
@@HolmesHobbies Is it? Every starting state is a valid one for a solved rubics cube
@Tandanuu
@Tandanuu 2 ай бұрын
Bro just made a whole series about entropy and thermodynamics and now he’s surprised that reversing something like Game of Life is hard? :D
@Windows__2000
@Windows__2000 2 ай бұрын
It is kinda unintuitive that a system can be deterministic in only one direction...
@ckq
@ckq 2 ай бұрын
@@Windows__2000not really if there's multiple ways to undo a step but 1 way to go forward. Or just create a measure of entropy
@GigsTaggart
@GigsTaggart 2 ай бұрын
​@@Windows__2000a little bit but it's the idea behind cryptographic hashing and RNGs and a lot of CS stuff.
@hadensnodgrass3472
@hadensnodgrass3472 2 ай бұрын
​@Windows__2000 Hashing is the fundamental principle of privacy on the internet, computers in general. Hashing is crazy simple in one direction, while becoming an NP Hard problem in reverse. Large prime encryption key methods work in a similarly way. However they encryption is easily reverseable if you have the private prime key. To compute the private key is an NP Hard problem. Gotta love NP problems, that is why it is one of the Millennium Problems.
@321ooo123
@321ooo123 2 ай бұрын
Actually it's not as simple as that. Entropy can be decreased locally at the expense of an even bigger global increase. So it could be that you'd be able to reorder GoL at the expense of some other increase of entropy. (Not the case with GoL, however).
@procedurecall4219
@procedurecall4219 2 ай бұрын
Computer scientist here. If you're just using the SAT-solver built-in to Z3 (as opposed to SMT constraints), you should really instead be using a specialized sat solver like cadical or kissat. They're much much much faster. >1 week for one sat solve at the problem scale you're dealing with is almost always unnecessary. The annual sat competition does a good job keeping track of what's currently fastest. If you're actually using SMT constraints in Z3 (like you were previously with integers), you should almost certainly switch to CVC5. It is also much faster than Z3 in almost all cases (save for some theories that you won't use). Also, you almost certainly should not be doing manual a local search for multiple steps like you are now. It should be very straightforward and fairly efficient to encode multiple steps of your constraints at once into SAT (or SMT). Then you don't implement manual backtracking (which I'm assuming is what you're doing currently with your "edens") - that's already what DPLL does (and hence what CDCL emulates). I'm not sure what your constraint formulation looks like, but also see if you can add any "symmetry breaking constraints". It shouldn't be too hard to find good resources on why these are useful and what they look like. Not super important, but also the thing you're calling a "phase space" is what would be called a "reconfiguration graph" in my field, since it's a graph over the space of configurations whose edges correspond to a certain type of "reconfiguration move" (in this case, flipping the colour of a grid point). There are some much cooler reconfiguration graphs. Fun fact the simplex method for linear programming is a greedy reconfiguration graph traversal.
@AlphaPhoenixChannel
@AlphaPhoenixChannel 2 ай бұрын
The most successful algorithm I’ve tried takes a number of steps backwards at once - as many as I can until it hits a computational limit of multiple days. I’d be very interested to know if there’s a solver optimized for inequalities - my best-performing single-step iterative solver was seeking to leave as few live cells as possible.
@AlphaPhoenixChannel
@AlphaPhoenixChannel 2 ай бұрын
I know it’s not kosher, but I colloquially call phase spaces, configuration spaces, and parameter spaces the same thing
@procedurecall4219
@procedurecall4219 2 ай бұрын
@@AlphaPhoenixChannel You're much further along than I thought if you have a multi-step implementation, nice! For inequalities, ILP solvers are often recommended, but in my experience they don't perform very well on these sorts of highly combinatorial problems. Z3 has an optimizer built-in that I'm sure you've already found, but it is extremely slow, even on much smaller problems than what you're dealing with. Since actually finding the absolute minimum is actually a very strong constraint (requiring either exhaustion or a lower bound, or some combination of the two), you might get better results by relaxing it to some heuristic bound on the number of living cells - say, at most 10% more living cells than what you started with. Any chance you're planning to publish your code? I'm curious to see if there are low-hanging improvements. Also, if academic publications in overlapping math/cs ever interest you, this is exactly the kind of thing the folks at jcdcggg really like.
@AlphaPhoenixChannel
@AlphaPhoenixChannel 2 ай бұрын
@@procedurecall4219 I had luck with the SMT solver using an inequality to limit the number of live cells and slowly climbing with that limit until I got a solve. It didn’t work well (ground to a halt) for multi-step solves where I tried to limit the number of live cells in the final step, and I couldn’t come up with a way to limit the number of live cells once I went full Boolean (aside from just giving it a small bounding box)
@AlphaPhoenixChannel
@AlphaPhoenixChannel 2 ай бұрын
That 10% more limit is startlingly close to what I was actually able to attain lol
@satibel
@satibel 2 ай бұрын
"we did it not because it was easy, but because we thought it would be easy" (Naive developer discovering that the algorithm they are trying to reverse is not bijective)
2 ай бұрын
Bijective or not doesn't necessarily make much of a difference for how hard it is to compute. Eg mapping between positive integers and their prime factorisation is bijective, but one direction is hard to compute.
@imsleepy620
@imsleepy620 2 ай бұрын
Bijectivity doesn't imply ease of computability in each direction, but lack of bijectivity might imply a lack of ease of computability to find the inverse image, for some general enough class of functions?
@gabrielfonseca1642
@gabrielfonseca1642 Ай бұрын
@@imsleepy620 I don't think that's true either. As a simple example, consider the problem "for a source and a sink node, find the shortest path between them". There may be multiple shortest paths, but it's solved easily. The inverse "given a shortest path, find the source and the sink" is completely trivial, and has only one solution.
@imsleepy620
@imsleepy620 Ай бұрын
@@gabrielfonseca1642 You're right, revisiting my comment I realize I was definitely wrong.
@Drawliphant
@Drawliphant 2 ай бұрын
"Conways Game of Death" completely fair name because it kills the developer
@sumner1107
@sumner1107 2 ай бұрын
Covid 19 killed the developer (Conway)
@jasonhildebrand1574
@jasonhildebrand1574 2 ай бұрын
He survived this round.
@haph2087
@haph2087 2 ай бұрын
Agreed.
@8bit_cat72
@8bit_cat72 2 ай бұрын
During the video I considered this "what if you just checked every possible combination" but turns out that with a 10 by 10 board, if each combination takes one microsecond it'll take 40 quadrillion years to check them all.
@AsmodeusMictian
@AsmodeusMictian 2 ай бұрын
That's the weird thing about problems like this. There's almost always a solution that's intuitive. "Well of COURSE it would work like this!" Then you try it out and it fails almost immediately and you're left scratching your head like "how? how did that possibly fail??" I have to admit, it's that fact that keeps me endlessly fascinated even about math I can barely comprehend :D
@sykes1024
@sykes1024 14 күн бұрын
In practice, the way a lot of problems with massive search spaces like this are solved is by simply giving up on a perfect solution and using algorithms that are very fast at finding solutions that are "close enough". This is usually what is done in practical applications where you need to solve the travelling salesman problem. You *want* a solution that is the fastest route possible, but a route that is "probably only 1% slower than the fastest possible solution and *might* actually be the fastest solution" is good enough. Because while the laws of NP-hardness can't be broken and magically solved in polynomial time, depending on the problem and how close is close enough, there might be very fast algorithms that can solve the problem close enough. Obviously, in APC's case, finding specific backwards steps that only "almost meet the criterion" aren't good enough. At the end, he wants a solution that follows the rules exactly when played forwards to produce the youtube logo. But what might have worked is to allow for some "good enough" solutions is to simply relax the shape of the play button. There might be other patterns that look like a play button as well, and algorithms that maybe could find one of these other ones quickly. Though, I kind of doubt it given his other criterion that he wanted the ending play button pattern to be stable. I imagine an algorithm that was good at finding sequences that lead to approximate solutions of a pattern at the end would almost always find patterns that only fleetingly look like you want and then decay since most random patterns in the game of life are fleeting rather than stable.
@bacicinvatteneaca
@bacicinvatteneaca 12 күн бұрын
Really? 10¹⁰ is that much? Shouldn't it just take at most 10¹⁰ microseconds to test them all? That's 10⁷ milliseconds, 10⁴ seconds, less than 10³ minutes, less than less than 10² hours, less than less than less than 10 days...
@8bit_cat72
@8bit_cat72 12 күн бұрын
@@bacicinvatteneaca The amount of combinations is actually 2^100. A 10 by 10 board has 100 cells, each can be either dead or alive, 0 or 1. So each combination can be represented by 100 bits or 2^100. 2^100 = 1,267,650,600,228,229,401,496,703,205,376 while 10^10 is only 10,000,000,000.
@SkoddieAltair
@SkoddieAltair 2 ай бұрын
I’m a software engineer, and I used to work with data that required n-dimensional arrays. At first I was really confused trying to imagine a hypercube of cubes in my brain. As you’ve noted, it’s extremely difficult. One day I was staring across my office at my file cabinet, and I realized that when dealing with arrays using grids & cubes are just an abstraction. There’s no reason to conceptualize arrays in dimensions, it’s much easier to imagine them as containers. Like squares -> grid -> cube -> drawer -> cabinet -> storage room -> building -> etc. It’s not a complex shift in metaphor, but for me it made the notion of distance between cells much easier to understand. I use the same logic when thinking about configuration space. Containers of containers of containers of containers. It’s surprisingly effective!
@alexpetrov3289
@alexpetrov3289 2 ай бұрын
Same for me, i wondered how to solve a place-time problem and while thinking about higher dimensions, i stumbled upon the realization, that it is just simply a matter of simplifying the complex system and separating each of the dimensions until we get something which is manageable by the human brain to comprehend. Basically shadow projections. And i have it noted somewhere (as this was a passion project more than anything), but transforming each dimension to a lower one takes some amount of calculations and translating between dimensions is a matter of reversing the calculations, and communicating between the created layers of lower dimension objects is a matter of finding the correct path. Somehow i thought about optimal path cost adjustment, but sadly it was quite some time ago and i need to revise my notes.
@sykes1024
@sykes1024 14 күн бұрын
That works pretty well to keep some of the meanings straight, but it's not as useful if the actual distances or geometry is what's relevant. Thinking of it in terms of containers of containers kind of obscures the fact that [1][0][0][0][0][0][0][0] is actually quite close to [0][0][0][0][0][0][0][1]. From the container perspective, these two would be completely different neighborhoods.
@oafkad
@oafkad 2 ай бұрын
That false solution thing is also the mechanism behind a lot of "Why didn't evolution lead to X!" conversations. You basically never will go down a hill, even if the evolutionary mountain on the other side is four times as high. Creates these feedback loops where animals keep terrible systems because in order to improve they'd have to "unwind" first.
@bozodragojevic
@bozodragojevic 2 ай бұрын
Meteors are the "unwind"
@CoolAsFreya
@CoolAsFreya 2 ай бұрын
The maths term is "local maxima" which might not be as high as the "global maxima" (largest peak)
@theapexsurvivor9538
@theapexsurvivor9538 2 ай бұрын
Yep, it's also what causes convergence, as certain local maxima are really massive in the phase space of selective pressure solutions, and thus regardless of how inefficient they might be, they continuously pull in more species. (Crabs aren't the ultimate body plan for most niches, but they're a Very attractive one due to how much their traits reinforce each other)
@Appletank8
@Appletank8 2 ай бұрын
my favorite fact is the laryngeal nerve needing to make a detour down to the heart before going to the neck. It'd be nice for the nerve to connect the right way from the start but there's no practical way to disconnect and reconnect elsewhere during embryo development. making it longer is way easier, which resulted in the poor giraffe not able to make proper sounds.
@VeryLostFisherman
@VeryLostFisherman 2 ай бұрын
Yeah the common one I hear is, apart from flagella, why don't we see more wheels in nature for movement? Everything that is not quite a rotating wheel is bad. It requires walking down too much in phase space relative to competition
@moth.monster
@moth.monster 2 ай бұрын
Another problem which is NP-hard is placing conveyor belts in Factorio. Someone made a modified SAT solver that just makes custom belt balancers for you.
@DackelDelay
@DackelDelay 2 ай бұрын
got a link by chance?👀
@adrianozambranamarchetti2187
@adrianozambranamarchetti2187 2 ай бұрын
​@@DackelDelayI concur
@user-nj1qc7uc9c
@user-nj1qc7uc9c 2 ай бұрын
link plz
@submachinegun5737
@submachinegun5737 2 ай бұрын
Been playing factorio for a while now and I think I’ve mastered or at least understood most systems but compact belt balancers are just black magic to me, just grab a blueprint online and pray to the omnissiah it keeps working fine
@evanbarnes9984
@evanbarnes9984 2 ай бұрын
Dude I NEED that
@joshuascholar3220
@joshuascholar3220 2 ай бұрын
I get SO frustrated with other people's videos because they DON'T understand the problem they're looking at to the depth you do and they don't explain it. Thank you for making the first video I've seen in a long time that lacks the hand waving of incomprehension.
@MooImABunny
@MooImABunny 2 ай бұрын
I really love how Gerrymandering is relatively much more computationally easier than reversing GoL states. Like, oh, making this cool pattern pop out? insanely hard, computationally intensive. Abusing loopholes in a democratic system leading to political corruption? yeah dude, it's a walk in the park
@user-nj1qc7uc9c
@user-nj1qc7uc9c 2 ай бұрын
the reason it is easier is because we are just looking for a "good" solution; we are okay with reaching false summits with our gradient ascent algorithm with reversing GOL, we are specifically looking for a *perfect* solution so yeah, as it turns out, election rigging is computationally easy! :D
@NgenDoesGaming
@NgenDoesGaming 2 ай бұрын
Relevant XKCD: 1425
@Dong_Harvey
@Dong_Harvey 2 ай бұрын
Get rid of the "representative" part, nobody can represent a group
@AsmodeusMictian
@AsmodeusMictian 2 ай бұрын
@@Dong_Harvey Well, I'm convinced. No need for any context for your remark or data or that pesky "proof". Just a bold, clear, and very inaccurate statement. I'm SOLD!!!
@Axolotine
@Axolotine 2 ай бұрын
Heartbreaking: someone has solved your non trivial problem but used completely different terminology you were unaware of meaning that if you just knew what you didn't know you didn't know you would have saved yourself endless headache
@AlphaPhoenixChannel
@AlphaPhoenixChannel 2 ай бұрын
Care to enlighten?
@Axolotine
@Axolotine 2 ай бұрын
@@AlphaPhoenixChannel I mean to say, I didn't know about SAT solvers and it could have saved me a lot of time lol
@Houshalter
@Houshalter 2 ай бұрын
​@@Axolotinethere are people who have spent years writing custom solvers for problems that are easily done by SAT solvers. It is the worst marketed field of computer science.
@mshonle
@mshonle 2 ай бұрын
The N always stands for Nondeterministic. The NP-hard problems in NP are those that can be *verified* in polynomial time. It’s an open problem (with a million dollar prize!) to prove or disprove if all the problems verifiable in polynomial time can be decided in polynomial time. - So, polynomials are still very much involved! (Note: the qualifier of “NP-hard in NP” in necessary, because there are undecidable problems that are NP-hard: the Halting problem is famously undecidable, but it’s trivially easy to reduce any NP problem to the halting problem: simply prepend a string representing a Turing machine that solves that NP problem. Likewise, if the N actually stood for “non” then it would include the halting problem as well.)
@3211learza
@3211learza 2 ай бұрын
while that's *true* (and I would assume alphaphoenix knows it is), I read that "Not Polynomial" more as a simplification for the viewers that might be less involved in computer science; as all simplifications do, it leaves out some detail, but since we're not here to solve a millenium problem, we might as well treat NP problems as not solvable in polynomial time
@jacksonmagas9698
@jacksonmagas9698 2 ай бұрын
Its easier to just say NP complete, and only say NP hard if you actually mean to include EXP and beyond.
@MadocComadrin
@MadocComadrin Ай бұрын
​@@3211learzaThe problem with using "Not" instead of "Nondeterministic" is that you actually make a statement that's kind of false if you use an equivalent definition of NP: the class of algoritms decided by a Nondeterministic Turing Machine in polynomial time. To say it's not polynomial is wrong without being more specific.
@Arkios64
@Arkios64 2 ай бұрын
I'm incredibly chuffed at the recent trend of not deciding that "this video idea takes way too long to arrive at the final stage to be worth a video" and instead adapting it to "this incredibly simple looking thing took me incredible effort, let me explain to you the surprising reasons why". A lot of my favourite channels have been putting out partial successes or outright failures and creating absolutely wonderful pieces of content.
@jonasmaier6631
@jonasmaier6631 2 ай бұрын
24:10 to be completely precise, it is not known if NP-complete problems require non-polynomial time to solve (but it is widely believed to require exponential time and all current SAT solvers are running in exponential time (with some heuristics to hopefully be fast in easy cases)). Just one of those open problems in computer science.
@columbus8myhw
@columbus8myhw 2 ай бұрын
Arguably it's _the_ open problem in computer science. It's the most famous one: P=NP.
@Frank01985
@Frank01985 2 ай бұрын
In addition, although the entire class of SAT problems is NP-complete, that does not mean any one instance of a SAT problem can not be solved in polynomial time. In fact, it's quite easy to come up with subsets of SAT problems that can be solved in polynomial time (e.g. those that can be separated into smaller, fixed-size SAT problems because variables do not overlap). So it is very well possible that the problem of finding the previous state in game of life, expressed as a SAT problem, could be solved in polynomial time, even if it was proven that the entire class of SAT problems could not be solved in polynomial time.
@jonasmaier6631
@jonasmaier6631 2 ай бұрын
@@Frank01985 reversing game of life is NP-hard. You can do Turing machines in game of life, hence you can also do boolean circuits in game of life, and if you try to reverse those you're essentially solving SAT.
@Frank01985
@Frank01985 2 ай бұрын
@@jonasmaier6631 That makes sense when considering reversing more than one step. I wonder if this still holds for reversing just one step into one feasible solution (instead of enumerating all solutions). A boolean circuit will need more steps to compute a more complex circuit. I could see it being the case that reversing one step can be done in polynomial time, but considering the combinatorial explosion of all possibilities that need to be searched for multiple reverse steps, that that is not feasible in polynomial time.
@gabrielfonseca1642
@gabrielfonseca1642 Ай бұрын
@@Frank01985 Yeah he reduced game of life into SAT, which doesn't say anything about game of life's complexity. But I don't think the point of the video was to show reversing game of life is NP-hard. Other people pointed him to the SAT solver already knowing the problem was NP-hard. I think solving even one time step is NP-hard. If it was solvable in polynomial time, I don't see why you couldn't just iteratively solve it to get the desired starting configuration "n time steps ago" (I could be wrong though).
@digantamukhopadhyaydex
@digantamukhopadhyaydex 2 ай бұрын
also afaik z3 doesn't have any progress bar, did u find that at all anxiety inducing? like if you had stopped the solve 1.9wk after start, maybe you would have missed a solution that you could have found with just one more day of solving
@AlphaPhoenixChannel
@AlphaPhoenixChannel 2 ай бұрын
I don't even remember what its solving right now, but there's been one going for like the past month that I haven't wanted to shut down. it's got to be close... right??
@ignaloidas
@ignaloidas 2 ай бұрын
It's the nature of the fact that the solving involves random guessing - you can't know how close to a solution are you. Some pure SAT solvers like Kissat can give you numbers on how many variables they have left, which essentially shows you the search space that is still left, but that still isn't that useful, because often that remaining search space could take until the heat death of the universe to complete.
@ivanovtv9817
@ivanovtv9817 2 ай бұрын
99% of z3 users terminate the program right before they find a solution
@Momi_V
@Momi_V 2 ай бұрын
​@@ivanovtv9817 *right before being a relative term in relation to the end of time itself
@Joonazan
@Joonazan 2 ай бұрын
It has been shown that restarting after some (steadily increasing) time is optimal for certain SAT-solving algorithms. Probably Z3 already does this, though.
@Kargoneth
@Kargoneth 2 ай бұрын
It's like trying to reverse a hash.
@jimburton5592
@jimburton5592 2 ай бұрын
What season did Barry Allen finally defeat the Reverse Hash?
@dcnick3
@dcnick3 2 ай бұрын
Reversing a (cryptographically strong) hash is kinda even worse, because there's no metric of how close you are, the only real algorithm is an exhaustive search of the inputs
@deltamico
@deltamico 2 ай бұрын
I searched if simple hashes are threatened by quantum computing and apparently not as much as assymetric keys
@jimburton5592
@jimburton5592 2 ай бұрын
@@deltamico I like adding color codes for an added layer of security. My favorite is hash browns
@spicybaguette7706
@spicybaguette7706 2 ай бұрын
Imagine using a game-of-life simulation as a hash function. It would perform terribly, but it would be super cool XD
@jokebird6479
@jokebird6479 2 ай бұрын
This has given me a really good understanding of configuration space and p vs. np problems. I’ve always wondered about p vs. np problems but I could never find an explanation I found intuitive. Also, I can’t imagine just how useful configuration space will be to me, being able to think and compute higher dimensions! Thank you for this video, it’s awesome!
@NorthOfEarth
@NorthOfEarth 2 ай бұрын
At 10:00 I noticed something interesting. Traversing diagonally across a face always flips the same two pixels. Look a the front face. The top two pixels change along each diagonal, but the bottom one is never affected. Along the top face, diagonals flip the left and bottom pixels, but never the right one. Similarly, traversing the 3D diagonal flips all 3 pixels. A 4D diagonal four flip 4 pixels, etc. This means a path length of sqrt(n) would always flip n pixels, making plotting a path much easier to calculate. You could imagine a large image with huge chunks of pixels being the wrong color. Instead of navigating through configuration space in cardinal directions only, you could take a shortcut by pre-calculating and caching the diagonal that corresponds to flipping that entire chunk. Maybe divide the whole pixel array into smaller square chunks for faster processing, etc, etc.
@pykapuka
@pykapuka 2 ай бұрын
Thanks Brian, I love this video so much! I didnt know something like Z3 existed. This is like telling me "Did you know: if you wiggle your arms like that, you can fly?"
@steubens7
@steubens7 2 ай бұрын
did you hear about Golly during this investigation? it runs finite automata extremely quickly because of a method called hashlife. it memoizes computed blocks to advance larger and larger patterns more quickly than evaluating the rules. you can use it to look backwards by looking forwards, unless there's an *incredibly* improbable situation that can never happen under a certain sized starting condition, it will find it
@SimonClarkstone
@SimonClarkstone 2 ай бұрын
I was wondering if you could do something like Hashlife too. It would start with all the ways to reverse a 2*2 configuration to get some 4*4 configurations, then try following back only the parts in the end image and matching the overlaps together to build up the ways to run the needed 4*4 configurations backwards 2 steps to get 8*8 configurations, then match up the edges of those (by the recursive hash) etc. I expect the hash tables would soon get impractically huge though.
@Avidiax
@Avidiax 2 ай бұрын
For much of the video, I was wondering why there would not be a way to precompute all (k+1)*(k+1) automata as a way to stitch together a k*k solution. If k^2^2 ends up being too large for memory, then a variation of rainbow tables could be used, albeit with the problem that many states evolve to "everything dead", and for large k there are many states that are translations of each other that should ideally be coalesced.
@momom6197
@momom6197 2 ай бұрын
It would indeed help a lot for reversing large configurations when you have some canonical preceding configuration (e.g. there are a lot of gliders in the figure and you make their ancestor another glider), but it wouldn't help with the hard part of the problem which is finding some ancestor in the first place.
@manuelpena3988
@manuelpena3988 2 ай бұрын
I once heard a very clever computer scientist say: We programmers do no choose what we work on because it is easy. We choose it because we thought it would be easy!
@heh2393
@heh2393 2 ай бұрын
27:48 in practice we encode such "sum" constraints for SAT solving in a different way that's much more succint; see Tseitin's encoding
@AlphaPhoenixChannel
@AlphaPhoenixChannel 2 ай бұрын
Oooooh
@AlphaPhoenixChannel
@AlphaPhoenixChannel 2 ай бұрын
I tried to find something like this and didn’t know what to google! Thanks
@lukatambourgi9372
@lukatambourgi9372 2 ай бұрын
4:00 its impossible to compute THE previous state. Easy example: an empty board. Was the previous state an empty board too? 1 cell? 2 cells aligned but spaced by 2 empty ones? Or the space between was 3? 4? 99999? Graams number? Tree(3)?????? We cant know
@berserkforce1809
@berserkforce1809 2 ай бұрын
Good s example
@acf2802
@acf2802 2 ай бұрын
I bet reddit still thinks it can't be done after watching this video.
@guy9360
@guy9360 2 ай бұрын
"He didn't ACTUALLY do it, he simply ..."
@Respectable_Username
@Respectable_Username Ай бұрын
I think I've been taught 3SAT in at least 3 different courses and had to create a solver as an assignment for at least one of them (which I successfully did). Do I still forget how it works every single time? Yes, yes I do.
@harold2718
@harold2718 2 ай бұрын
Have you looked at zero-suppressed decision diagrams also, they "break down" (by running out of memory) more often than SAT solvers but when they work they enable you to ask questions about the entire space of solutions (instead of just getting one of them, as SAT would, making you generate them one-by-one with extra constraints). Such as you can ask how many solutions there are, or even a list of pairs of how many solutions there are for each number of "live" cells, or find the solutions with the most or least life cells.
@Mikee512
@Mikee512 2 ай бұрын
A ZDD is an efficient* way to encode solutions to a boolean function, but you still need to calculate the solutions, which I think is a significant portion of the difficulty here. *ZDDs are efficient in that they encode the solutions in the smallest possible datastructure which, because boolean logic, also turns out to be maximally efficient to search/query (assuming you can figure out how to write an efficient algorithm to query it for what you want to know, which is part of what SAT helps with in the first place.) However, just because it's maximally efficient doesn't mean a complete solution set (or even a sufficiently-interesting subset of solutions) will fit within storage/RAM constraints, or be traversable in a reasonable amount of time. The solutions the SAT solver finds could be used to build up a ZDD, perhaps incrementally, for efficient searching later? There's a software package called CUDD that helps working with ZDDs. Anyway, it's interesting to think about how it might be useful in this context. A few caveats may limit its usefulness: * Because building a ZDD presupposes having solutions to encode into it, if finding the raw solutions is the primary difficulty, then ZDD's usefulness may be limited * And while a ZDD is a highly efficient datastructure, whether you can express the precise query you want to ask in a form that runs efficiently, depends on whether you can reuse existing efficient queries or figure out how to craft your own, which can be non-trivial.
@harold2718
@harold2718 2 ай бұрын
@@Mikee512 You wouldn't create the ZDD by finding all the solutions and then converting them to a ZDD though (you could, but it's not efficient, as you identified), you'd build it by melding together ZDDs representing individual constraints
@ohadcohen9813
@ohadcohen9813 2 ай бұрын
5 minutes into the video and I was screaming at the screen USE SAT SOLVERS! Glad you went there eventually, and I hope you had a wonderful eureaka moment :)
@jacksonmagas9698
@jacksonmagas9698 2 ай бұрын
I saw the thumbnail, thought about it for about a minute, and then said "this is just SAT isn't it" Boolean variables (cells) with constraints, and you want to see if there is a satisfying assignment to those variables.
@carnac333
@carnac333 2 ай бұрын
Awesome video and explanation!! This reminds me of my research area of inverse problems, where one aims to reconstruct the object of interest from indirect measurements. As an example, in Computed Tomography (CT), we reconstruct the image of the imaged target from x-rays projected through the target. The information of the inner structures is encoded into the measured x-rays, which have been attenuated proportionally to the attenuation different tissues (for example very high in bones and lower in soft tissues). Commonly, the inverse problem is formulated using a model for the x-ray attenuation, known as the forward model and the sough after image is obtained by iteratively minimising the difference between the measured data and the predicted data produced by the forward model applied to the estimated image. Often, however, the problems are ill-posed, meaning that the solution might be non-unique, have many local maximum/minima, or noise can have a detrimental effect on the solution. In these cases we often employ regularisation, which imposes assumptions on the solution (such as smoothing) and makes the problem less ill-posed and more feasible to solve. Although this problem is completely different to ones I'm accustomed to, there are many parallels. The forward model is the algorithm that runs the game of life, the indirect measurements (measured x-rays in CT) are the starting point, the final sough after image (CT image) is the final image you are after for and problems with optimisation (local minima/maximima) are common. Very cool to video!
@Schlimbinger
@Schlimbinger 2 ай бұрын
This reminds me of something. A while ago a buddy and me made something similar using langtons ant. We used multiple ants at different starting positions to “encrypt” a message. The world the ants reside in basically was a 2d-grid representation of the input message bytes. They then would do their thing for many iterations. Just a fun project, nothing serious. But it was nice to see your message emerge from “random” noise :D Never thought about how one could crack it but it would not surprise me if it’s relatively easy lol
@MrAppleGuySnake
@MrAppleGuySnake 2 ай бұрын
That's amazing, how did you implement it?
@OrangeC7
@OrangeC7 2 ай бұрын
Oh yeah! My favorite Blokus tile is the pentomino that's, like, a 2x2 square with another square attached to it. I don't really think it's the *coolest* one but, it's pretty unique all things considered so it ends up being my favorite
@AlphaPhoenixChannel
@AlphaPhoenixChannel 2 ай бұрын
i always thought that was one kind of a weird lump shape - granted when you can use it perfectly to flatten a rough wall, its extremely satisfying
@fuuryuuSKK
@fuuryuuSKK 2 ай бұрын
so the P-pentomino. Also, the "r" mentioned earlier in the video is actually more commonly called the F-pentomino
@typicwhisper6569
@typicwhisper6569 2 ай бұрын
@fuuryuuSKK It's almost always referred to as an R-pentomino in the context of Conway's Game of life, as Conway had his own names for the pentominos.
@GDTerietto
@GDTerietto 2 ай бұрын
i gotta go with the C-pentomino
@fuuryuuSKK
@fuuryuuSKK 2 ай бұрын
@@GDTerietto Pretty sure that one's commonly called the U?
@jeffpkamp
@jeffpkamp 2 ай бұрын
Videos like this can destroy somebody's entire year! I'm glad you were able to set the project down every now and then.
@top1cpvper
@top1cpvper 2 ай бұрын
Putting Alice and Bob outside of a cryptography problem should be considered a war crime
@AlphaPhoenixChannel
@AlphaPhoenixChannel 2 ай бұрын
😁
@dwightk.schrute8696
@dwightk.schrute8696 2 ай бұрын
You sound like Mallory!
@evannibbe9375
@evannibbe9375 2 ай бұрын
Using exile as punishment is now a crime under international law (similar to stripping Alice and Bob of their citizenship to Cryptography land).
@Dong_Harvey
@Dong_Harvey 2 ай бұрын
They know what they did. Or maybe did not.
@bretonkyle
@bretonkyle 2 ай бұрын
You know you've watched too much This Old Tony when the music at 7:09 reminds you of TIG welding and drilling holes
@Ergosphere2357
@Ergosphere2357 Ай бұрын
You managed to find a way to undo steps in Conway's Game of Life!? Hats off to you!
@bennettpalmer1741
@bennettpalmer1741 2 ай бұрын
It's funny, because my first instinct when I saw this was "Oh, this is basically minesweeper, that's an NP complete problem we are pretty good at solving, you should just convert it to that to solve it" and after messing around with configuration space for a bit, making me worried I was doing it wrong, you eventually decided "this is basically the SAT problem, I'll just convert it to that to solve it". I basically had the solution right off the bat, but we picked different NP-complete problems to use. I wonder if one is better/more efficient?
@BetaDude40
@BetaDude40 2 ай бұрын
That's the thing about NP-Completeness, they're all basically the same problem just phrased a little differently. If you could solve one in polynomial time, you could apply the same algorithms to all of the problems in NP-Complete.
@Houshalter
@Houshalter 2 ай бұрын
There has probably been a lot more work put into SAT solvers. They have competitions and investment from industries that use it. Also most computer scientists are familiar with boolean logic, and can probably figure out how to encode their problem into it. I wouldn't even know where to begin encoding something into minesweeper.
@FAT9L
@FAT9L Ай бұрын
FINALLY, an answer to the burning question I've been asking myself for decades: whether it's more difficult to reverse Conway's Game of Life or to gerrymander the state of North Carolina
@Krunked
@Krunked 2 ай бұрын
that is extremely abstract. but i love it. tickles my brain. i dont get this sorta thing at my work (site reliability engineer), but this reminds me of cool science classes i loved in higher ed. i love these vids thank you for making them :)
@andytroo
@andytroo 2 ай бұрын
the game of life is turing complete - assuming you have enough grid space ... does that mean solving this is a limited space halting problem? also, solution to sat: "I can't get no satisfaction 'cause I try and i try and i try" - Description of brute force SAT solving strategies, [Jagger, Richards, et al.; published in "Out of Our Hands, 1965, available online]
@AlphaPhoenixChannel
@AlphaPhoenixChannel 2 ай бұрын
What a great application of lyrics 😂
@typeswitch
@typeswitch 2 ай бұрын
> the game of life is Turing complete This only matters if you're running the game of life forwards for an indefinite number of steps (& an unbounded grid space). Trying to reverse a finite game of life configuration by a single step is in NP, so it can be solved using a SAT solver, as practically demonstrated in this video.
@jeffreyblack666
@jeffreyblack666 2 ай бұрын
This is going backwards, not forwards. Comparing it to the halting problem, this is more like looking at the "end state" of the halting problem, in this case a program which never halts, and asking what input gets there.
@gamekiller0123
@gamekiller0123 2 ай бұрын
It's not the halting problem. It's related to the existence of one-way functions, but the "reverse game of life" problem might be easy even if one way functions exist. The reason is that reductions rely on encoding Turing machines into the game of life, but you can reverse into states that aren't encoded Turing machines, which then won't give you the inverse of the one-way function.
@JTCF
@JTCF 2 ай бұрын
33:33 "Eden found" did the computer just die and ascend to heaven?..
@googleyoutubechannel8554
@googleyoutubechannel8554 2 ай бұрын
'SAT solvers' in general seem like some of the most useful frameworks humans have come up with for formulating problems. Most of the 'work' in any model or problem solving is just formulating the problem in a way that computers can apply their 'dumb' brute force processing to, there's something very deep about this reformulation that I think we've been uncovering ever since Turing lit the spark 80 years ago.
@tonydai782
@tonydai782 2 ай бұрын
26:06 Hexagons *are* the Bestagons after all.
@talis1063
@talis1063 2 ай бұрын
Just did a university homework on local search yesterday. The algorithm that selects the best next step based on a heuristic from a neighborhood of nodes is called the hill climbing algorithm. Even if finding the optimal solution is NP-complete, finding a solution might not be with a metaheuristic algorithm like hill climbing with random restarts. But of course there is no guarantee that a solution is found in a reasonable time, especially if the solution space is very sparse (which seems to be the case here). Not trying to say that anything is wrong in the video, just find it cool that this video popped in my feed with perfect timing and wanted to share.
@flexico64
@flexico64 2 ай бұрын
As much as I love math(s), the tables problem makes me want to say, "Shut up and eat."
@Wackylemon64
@Wackylemon64 2 ай бұрын
I love your explanations and visualizations! Your passion is clear! I've been trying to improve my intuition of latent/configuration spaces, and explanations like this are always welcome!
@arc8dia
@arc8dia 2 ай бұрын
Maybe this is why entropy and causality go in one direction, and we call it time.
@The-EJ-Factor
@The-EJ-Factor Ай бұрын
6:03 this seems similar to situations like anti derivatives where data is lost during a derivative such as any constant, and are unable to retrieve the constant that was lost, which is why with anti derivatives you add a character that represents a constant such as c. To make it more understandable, generally if a*b=c then c/b = a. But if you multiply a number by 0 it would become 0 and you can’t use 0/0 to return it back to its original number.
@The-EJ-Factor
@The-EJ-Factor Ай бұрын
This is also why 0/0 is undefined rather then 0,1 or infinity. Even when you look at the rules 0 divided by any number is 0 Any number decided by itself is 1 And you can make a equation that uses limits to basically “prove” that 0/0 = any number
@johnreiland9180
@johnreiland9180 2 ай бұрын
Around the 7:30 mark, when you are explaining Configuration Space, the music is quite loud, to the degree that I think it becomes an obstacle to cognition. Love your videos, not hating on you or them, just wanted to mention this small spot that I think can be improved.
@y00t00b3r
@y00t00b3r 2 ай бұрын
grr, hate that
@StuartWoodwardJP
@StuartWoodwardJP 2 ай бұрын
Yep. music behind an explanation is really distracting. I didn’t enjoy that segment.
@SamChaneyProductions
@SamChaneyProductions 2 ай бұрын
You make some of the best content on the platform. Incredibly informative without being dry
@jsbarretto
@jsbarretto 2 ай бұрын
I've found it's very common for Redditors to over-generalise their knowledge. They might have read "solving P for all configurations of X is impossible in general" and will translate that, in their mind, to "solving P for any configuration of X is impossible". This video is a great example of the fact that 99% of the time you don't need to solve the general problem to find a solution that satisfies a more constrained subset of the problem!
@czer096
@czer096 Ай бұрын
Yeah it's reddit Bunch of idiot with slightly more knowledge
@Rudxain
@Rudxain Ай бұрын
I guess that's known as "over-fitting"
@OtterSwims
@OtterSwims 2 ай бұрын
incredible work on this video, you have made a major, meaningful contribution to educating the world about this!
@zncon
@zncon 2 ай бұрын
It took a while of watching for this to dawn on me, but the game of life is essentially a one-way hashing function. For the sake of all the worlds digital security I'm glad you didn't manage to conjure up a universal solution.
@SpontaneousProcess
@SpontaneousProcess 2 ай бұрын
Well, power to you! Discovering that your question is equivalent to SAT was already further than I would have gotten. When someone asks me “can you go backwards in the algorithm”, my usual answer is “no” without even thinking about it.
@JochemKuijpers
@JochemKuijpers 2 ай бұрын
The main lesson from this video seems to be that you should use the right tool for the job 😄 SAT problems are "too discrete" for a gradient descent algorithm. Arbitrary changes don't result in predictable increases in the result space as there's no real continuous output of a SAT-solver that can tell you how close you are to a solution. The number of requirements met is not a useful metric here, a single requirement may prevent you from solving a problem even if you hit all other requirements. So any notion of 'derivative' or 'gradient' doesn't really make sense for these types of problems. A couple times you referred to the configuration space as 'continuous', but it really isn't continuous at all. Even in the city example you're dealing with discrete cells and boolean assignments. The parameters you used to divide the city may have been continuous but the output is discrete, which should've been the first hint that gradient descent may not have been the best tool for the job. The parameter space also excluded many valid solutions, such as a checkerboard pattern, that would've evenly divided the city. Unless you're certain that your simplifications in parameter space don't exclude the valid solution you're looking for, that's almost always a bad idea. (though, I understand that was a simplified example to make a point 🙂).
@MrTomyCJ
@MrTomyCJ 2 ай бұрын
I really wanted to see someone try a neural network approach to this. I feel like "deep intuition" may help traverse the messy configuration space.
@cannot-handle-handles
@cannot-handle-handles 2 ай бұрын
True, it's not continuous, but it is at least Lipschitz. The checkerboard pattern isn't simply connected, however. Among the simply connected solutions, I would have liked to see those containing either 1 or 3 city quadrants.
@I.____.....__...__
@I.____.....__...__ 2 ай бұрын
3:47 As Brian found out, that's a specious question. The fact that the GoL has stable loops in the finite-state-machine, means that there's no deterministic way to find a unique pattern that would result in anything in particular. For example, the standard solid 2×2 block configuration could arise as the next step from a very large number of permutations of states from even just the surround few cells, or… another 2×2 block. … 33:12 👍 This video is speeding into NP-completeness territory. … 23:30 👍 34:19 Yeah, that makes sense, because the target pattern will be made from a LARGER pattern, which itself will be made from a larger pattern, and so on. You might get lucky and have a target pattern (or intermediate pattern) that can be made with gliders and spinners and such which can reduce the size of then parent pattern, but most patterns will usually be made from physically-larger non-repetetive patterns.
@H_fromDiscord_real
@H_fromDiscord_real 2 ай бұрын
0:52 this is called the f-pentomino, and it's mirror image is called the e-pentomino
@andreyzyablikov9891
@andreyzyablikov9891 2 ай бұрын
Спасибо за это увлекательное путешествие в мир NP-задач, теперь я стал понимать, в чём проблема NP. И ваше стремление найти решение в этой "тёмной комнате", где даже не известно, есть ли в ней "кошка", меня восхищает! Удачи и сил продолжать подобные поиски и спасибо за видео!
@duncanbyrne1134
@duncanbyrne1134 2 ай бұрын
To me this sounds like a perfect inverse problem. Pretty much how do we go from a current state and work our way backwards to find the initial state, given that the initial state has pretty much infinite possibilities and there are infinite solutions. Inverse problems are pretty heavily studied at least in geophysics and hence there are some solid algorithms for them. That might be another approach to solve this problem which could make it much faster.
@Sidewinder0010
@Sidewinder0010 2 ай бұрын
13:00 thank you so much! I have watched countless videos of people explaining higher dimensional spaces over the years and this finally clicked for me!
@typeswitch
@typeswitch 2 ай бұрын
Oh when I started the video I thought "I hope he's using a SAT solver" and I wasn't disappointed hehe :-) 24:35 NP-hard doesn't mean "not polynomial time" and NP-complete doesn't mean "it can be solved in exponential time". I know this isn't a CS channel but I wish you were a little more precise at explaining these concepts the first time for people who might not already be familiar with them. The visualisation of (CDCL) SAT solvers as crossing out whole swathes of solution space where only suboptimal solutions exist, is really good! Thanks for this insight.
@AlphaPhoenixChannel
@AlphaPhoenixChannel 2 ай бұрын
I know those aren't the rigorous definitions, but they are true statements. I went back and forth a LOT about that segment trying to say what needed to be said relevant to this video (and not too much), but not be incorrect. Edit: The verbiage I used to describe NP complete in the video was “at worst exponential time”, which is a very precise way to phrase it. Claiming that NP is “not polynomial time” in the graphic and saying “no known algorithm to solve in polynomial time” is also I think a very precise way to phrase it. The graphic annotation is practical and the part I said out loud was exact
@typeswitch
@typeswitch 2 ай бұрын
@@AlphaPhoenixChannel Well, they're not entirely true, no. NP-hard doesn't imply "not polynomial time", it only implies "we don't know a polynomial time algorithm to solve this (and probably never will)". NP-complete does imply "can be solved in exponential time" but so does NP. So does P. etc. It just doesn't feel like a good explanation for why SAT in particular can be used to solve this problem. I think a better explanation would talk about how NP problems have easy to verify solutions, and how this problem has easy to verify solutions (just run the solution forward one step & check that it matches the desired output), and then link that to a brief discussion of NP-complete & SAT solvers (which you kinda already have in the video).
@ruroruro
@ruroruro 2 ай бұрын
​@@typeswitchmeh, I think that for all intents and purposes NP-hard does kind of imply "not polynomial time". Sure, it doesn't technically imply "we can prove that it's not polynomial time", but "there is no polynomial time algorithm" and "there is no known polynomial time algorithm and it's almost certain that there never will be" are basically equivalent in colloquial use (and I'd argue they are definitely equivalent in the Bayesian sense).
@theqwert3305
@theqwert3305 2 ай бұрын
I saw a *really* cool video recently that rephrased NP vs P as "Can you reverse every polynomial algorithm in polynomial time" The moment I saw the title I went "of course running it backwards is hard, it's NP!"
@AlphaPhoenixChannel
@AlphaPhoenixChannel 2 ай бұрын
@@typeswitch The verbiage I used to describe NP complete in the video was “at worst exponential time”, which is a very precise way to phrase it. Claiming that NP is “not polynomial time” in the graphic and saying “no known algorithm to solve in polynomial time” is also I think a very precise way to phrase it. The graphic annotation is practical and the part I said out loud was precise
@BoogsMcNoogs
@BoogsMcNoogs 2 ай бұрын
I have no memory how I stumbled on your channel but I am very, very glad I did. Keep these coming, they make my brain satisfied.
@rieduciumaratonas
@rieduciumaratonas 2 ай бұрын
I worked on a similar problem, difference being that my solution did not have to be exact, just similar. I used genetic programing, but didn't get anything. Maybe I will revisit it with new ideas.
@SenorSiesta
@SenorSiesta 2 ай бұрын
Seriously underrated KZbin channel. Most this stuff is way above my intelligence but can’t stop watching these videos super interesting stuff!
@stanleydodds9
@stanleydodds9 2 ай бұрын
Nobody knows that NP complete problems cannot be solved in polynomial time. It is generally considered unlikely that they could be, but we do not know any reason that NP complete problems cannot be solved in polynomial time; that is, NP may be no larger than P, which of course would make it equal to P (trivially all P problems are also non-deterministic P). All that "NP complete" or "NP hard" means is that it is a problem that can be solved non-deterministically in polynomial time (that is, it is in NP), and also it is maximally hard. A maximally hard NP problem is one where a solution to this problem can be reduced to a solution to any NP problem (with at most polynomial slow-down). The typical example of such a problem is, of course, SAT. It's no coincidence that we use SAT solvers to solve all NP problems - SAT being NP hard exactly means that a SAT solver can solve all NP problems without significant slow-down. We also know many other NP complete problems, i.e. many problems that can be reduced to all NP problems, including each other. It's just that SAT is quite probably the "simpl. Secondly (but similarly), EXP (algorithms that run in exponential time) is weakly larger than NP, and it is suspected to be strictly larger than NP. Or put another way, NP is closely related to polynomial time (it's about a more general idea of polynomial time than P); it is not really about exponential time per se, although it is trivial that NP problems can be solved in exponential time by the naive brute force algorithm of checking all possible solutions. But note that also P problems, or indeed any easy problems, can be solved in exponential time. It's trivial in the same way that solving NP problems in exponential time is trivial. That doesn't necessarily mean exponential time is the fastest we can do for NP problems, and it doesn't mean that all exponential time problems can be verified / solved non-deterministically in polynomial time (they probably can't all be).
@andersama2215
@andersama2215 2 ай бұрын
When you opened with this video and started to explain the project, my initial thought was, oh this is like backtracking algorithms to solve sudoku, and then immediately was reminded of SAT solvers like Z3.
@BrianJorgensenAbides
@BrianJorgensenAbides 2 ай бұрын
YOU underestimated this? My lecturing fingers were all ready to go for nothing. For everyone else, it's the exact thesis of Stephen Wolfram's entire life that you can't do this (I'm a fan, but poor guy, he'd never heard of church-turing, or long division, or the weather ;)
@backwashjoe7864
@backwashjoe7864 2 ай бұрын
I think I've been nerd sniped on whether or not Brian's comment has a dangling parenthesis.
@dracuul78
@dracuul78 2 ай бұрын
This is a captivating topic and an amazing presentation, thanks for putting in so much effort!
@powndy24
@powndy24 2 ай бұрын
2^36 *1ms /16 cores =2 months. Just saying
@ivanjermakov
@ivanjermakov 2 ай бұрын
Best case, don't forget parallelization overhead.
@AlphaPhoenixChannel
@AlphaPhoenixChannel 2 ай бұрын
And the fact we’ve got a LOT more than 36 pixels to consider
@GerinoMorn
@GerinoMorn 2 ай бұрын
I know that it ain't gonna help for like doing many steps in parallel, but in general it looks like it could be GPU accelerated... Is this something the Z3 already leverages? Or at least maybe SIMD...
@AlphaPhoenixChannel
@AlphaPhoenixChannel 2 ай бұрын
@@GerinoMorn if you're literally just trying all the solutions, that's parallelization with zero loss. they can each work on a subset. the problem is that you double the number of cores you need each time you add a pixel to the solution space
@jmacd8817
@jmacd8817 2 ай бұрын
​@AlphaPhoenixChannel but the 16,000 CUDA cores in a RTX 4090 can't hurt. I'm not sure if the ~2.2 Ghz would slow you down too much. With the likely pending of the 5090 and friends coming at some point in the not too distant future, more compute is coming.
@naukowiec
@naukowiec 2 ай бұрын
Have you considered a wave function collapse in causality space ( populate the 2d prediction list with all possible 3x3 starter grids for the current state), solve for overlap in the 3x3 grids ( as graphs) and then run wave function collapse from a random starting point to see if it has a solution?
@straft5759
@straft5759 Ай бұрын
Might actually work! But on the other hand WFC gets itself into situations where it needs to backtrack multiple times with a lot of rule sets, especially complicated ones, so I'm not too optimistic. Maybe a larger overlap area could do the trick? Maybe you could even use dynamic programming for that? I think I'd have to test it out
@justindie7543
@justindie7543 2 ай бұрын
Gotta love redditors. Never ask reddit for advice with anything if you want to be optimistic about it in any way.
@fakesilver746
@fakesilver746 2 ай бұрын
this was so cool! I took a course in uni that included sat solvers and i always thought they were really cool but this is the first time I see someone using one in the wild. I didn't really understand how you encoded the pixels into numbers, with rules and everything, but i really liked the video! subscribed :)
@Veptis
@Veptis 2 ай бұрын
So, Injective functions... now the fun part... This can be applied to Jpeg Compression as well. Which is a esoteric paper I want to write one day. Some configurations can't be reached, so they only ever are an initial setup. meaning there is some order to this too.
@AlphaPhoenixChannel
@AlphaPhoenixChannel 2 ай бұрын
hahahaha i didn't know there were jpeg edens
@Veptis
@Veptis 2 ай бұрын
​​@@AlphaPhoenixChannel Think about it this way: there are fewer possible compressed images than uncompressed sources. So you eventually have to map two slightly different images to the same compressed one. It's sorta a form of noise reduction. Jepg isn't deterministic, since you can chose the quantization tables arbitrarily (which means some jpegs look better than others, even if they are the same resulting file size/entropy). but you should be able to do the reverse and find a whole set of images that compress to the same result. Now one fun idea would be to figure out all of these (I assume mostly noise). But the more interesting idea would be finding a more appropriate comrpessed image you want.... And then finding it's input. You might think that all compressed versions are the best possible ones but that's not quite true. Things like text compressed with jepg look horrible. But by adding extract lines, you can improve how the compressed result looks by targeting a specific compression table. Maybe sorta think of it like the extreme patterns that were needed in near UV lithography? Or people putting thin cavities in their 3D models so the slicer adds internal walls for additional support. Since jepg is meant to be visually lossless, that means the mapping won't be uniform.
@La4geas
@La4geas 2 ай бұрын
3:55 It shouldn't be easy, especially when you consider patterns that disappear into nothingness, meaning an infinite amount of patterns can lead to the exact same result.
@Petch85
@Petch85 2 ай бұрын
Loved the video. I love optimization so I guess that is no surprise. But I think you failed in explaining (the first step of) why the rules in conway's game of life are so hard to run backwards. It seems like if you have a live pixel you could calculate one step back for the 8 pixels around it. And even if you get 2 or 3 possible configurations that could have birthed that pixel, you could just make a "tree" and explore all solutions, that might end up with milions of configurations to be calculated, depending on the number of steps back. But at least all the configurations you are trying will return back to your taget solution. Basically what I am trying to say is that you "fail" to show the views what you explain from 5:51 to 6:23. Not saying that I could do any better 😂. I know this to be true, but honestly I do not "understand" in detail why this is true. And even if I did I don't think it is possible to explain in a youtube comment without being able to show simple examples. I know it would have made the video even longer, but as the video is now the viewer just have to except this as being true and I think that is a little disappointing taking into account how well you explain the solution space over the next 15 minutes. To be fair I don't remember ever seeing a satisfying explanation, I only have a "feel" for it by trying the problem myself. (I tried finding stating solutions that would just keep going, and quickly realized that it was a much harder problem than I could have ever imagined and have not touched the game since. Burnt child dreads the fire 😂)
@Trainwreck1123
@Trainwreck1123 2 ай бұрын
I love your videos! Your channel is near the top of my list for new videos I get excited about :)
@seshrut
@seshrut 2 ай бұрын
Bestagonal, i immidiately paused. 26:05
@weasel.3683
@weasel.3683 2 ай бұрын
haha, nice! We all share a common space in the Internet ✨ Even with high entropy!
@scttstnfld
@scttstnfld 2 ай бұрын
Same, came here to see if anyone else heard it.
@AlmightyJu2
@AlmightyJu2 2 ай бұрын
As always this is such a good balance between complex, simplified but not too much that all the nuance of how it's complex is lost. Can't wait for the follow up!
@TimothyWhiteheadzm
@TimothyWhiteheadzm 2 ай бұрын
The fun bit is reality is almost the opposite, ie it is much easier to 'predict' the past than the future. There are multiple possible pasts, but not many, whereas the number of possible futures is near infinite even on very short time scales. This is why we remember the past but not the future. So a life form in Conways game of life would actually 'live' in the opposite time direction from us and 'remember' what we see as its future.
@drdca8263
@drdca8263 2 ай бұрын
Eh? I don’t think that’s correct… Maybe you are referring to non-determinism? At the least, I’m fairly sure that entities in GoL can’t “remember the future”, because there is a communication speed limit in GoL , limiting how quickly one thing can influence another thing. You can’t respond ahead of time to a glider that would hit you in 100000 steps because the information that it is headed towards you hasn’t reached you yet. To remember something, one must be able to do something differently because of that remembering. As for the non-determinism, I think that like, it probably balances out equally as far as how undetermined the past and future are? Or… Hm. If you have some prior distribution over the state at time 0 ( i.e. P(S_0)) , and have a conditional probability distribution of P(S_t | S_{t-1} ) for each t… hm, I guess we could describe the amount of uncertainty as the entropy of the distribution? So, I guess the question is about how H(S_t | S_{t-1} , S_0) relates to H(S_{t-1} | S_t , S_0 ) ? Err.. what exactly was the question I’m trying to answer???
@TimothyWhiteheadzm
@TimothyWhiteheadzm 2 ай бұрын
@@drdca8263 I could be thinking about it wrong, but in GoL, the future is absolutely determined. It can be predicted with 100% accuracy. Whereas the past is not. There are many possible past states that could have lead to the current one. In real life it is past determinism (the ability to accurately predict what states lead to the current one) that allows us to remember. But on further thought I can't actually think of a mechanism for 'recording the future' in GoL so maybe I am wrong. Maybe past determinism allows for memory but isn't the only requirement.
@TimothyWhiteheadzm
@TimothyWhiteheadzm 2 ай бұрын
I am fairly sure though that a highly complex entity in GoL could calculate what its future would be, but could not possibly calculate what its past was, although keeping a 'memory' of the past in a finite region might actually be a possibility. Although on small scales it is really hard to predict the prior states, on large scales it might actually be much easier for specific configurations.
@drdca8263
@drdca8263 2 ай бұрын
@@TimothyWhiteheadzm The future states in GoL are completely determined by the current entire state while the past states aren’t, yes, but a finite sized being in GoL can’t know the entire state of the GoL world. In reality, there is the idea that time evolves under unitary time evolution, in which case both the past and future are determined by the state at any one moment… except possibly for non-determinism in measurements. There is disagreement about how to interpret measurements. (“Is it fundamentally non-deterministic, or is the non-determinism just a subjective thing?”) But, the projections involved… I think they might produce the same kind of uncertainty about the past as they create about the future? Like, if something is in state (|0>+|1>)/sqrt(2) and it is measured in the basis |0>,|1> , there’s a 50% chance of it ending up being in state |0> and a 50% chance of |1> , … but, suppose from the current state you know that it was just measured whether something was in state |0> or state |1> , and the result was |1>, even suppose you know that there was a 50:50 chance there. Well, from that, you can’t tell if the state before the measurement was state (|0>+|1>)/sqrt(2) or state (|0>-|1>)/sqrt(2) (or state (|0>+i |1>)/sqrt(2) or for that matter). With unitary time evolution, “information is conserved”, I suspect that the non-determinism of measurement has to essentially “erase” the same amount of information as it “creates”.
@drdca8263
@drdca8263 2 ай бұрын
@@TimothyWhiteheadzm Huh, your third comment didn’t show up for me until now. KZbin is weird. If the GoL world is infinite (or merely much bigger than the entity living in it) and the entity’s internal state can be influenced from the outside, then it cannot know its future internal states, because it cannot know what will influence it in the future. Different things far away which it doesn’t know about would influence it in different ways, resulting in different futures (even though only one of the possibilities for the far-away part of the current state is actually true, and so what will happen is determined.)
@michaeltraynor5893
@michaeltraynor5893 2 ай бұрын
My first software job was at the company that convinced Microsoft to open-source Z3 :) we used it to find bugs in aerospace designs
@magie3490
@magie3490 2 ай бұрын
Am I mistacking or cant you solve this problem with a wave function collaps algorythem
@Majromax
@Majromax 2 ай бұрын
Wavefunction collapse algorithms are essentially a greedy algorithm with backtracking. Given the same SAT problem, take the variable with the fewest still-admissible states, pick one, and repeat from there. When you have potentially many valid solutions and just need to find one (such as when you're doing an aesthetic tiling), then this works out pretty well. The typical example is tiling a game board, where your new cell to fit might have water on one side, a forest on another, and you have several options to choose from. However, Conway's game of unlife does not have that property; it's very constrained since a cell can be only alive or dead. A cell will either be forced by its neighbours (it _must_ be alive or dead, with only one option), or it has two still-unresolved outcomes. There's no obvious way to choose which cell is next-best to consider, so the greedy approach of wavefunction collapse doesn't help very much.
@magie3490
@magie3490 2 ай бұрын
@@Majromax yes fair. But what if you take the 3 by 3 grid araound a cell as a possible cell state? I think this could work but i dont have the courage to try out.
@Majromax
@Majromax 2 ай бұрын
@@magie3490 Your problem then is that large grids would be overlapping, so you're not solving independent constraint problems.
@magie3490
@magie3490 2 ай бұрын
@@Majromax but isnt that te goal? Overlaping grids mean they depend on eaxh other. Meaning if you start comparing to overlapping grids you ll find out that there are only so many states these grids can take so that there are both still able to hold there state. Either dead or alive in the present. If you repeat this for every overlapp in case there exsists a pre state to the current state of the cellular automata, you would be left with a distribution of possible states vor every grid. Now you can start collapsing
@yodxxx1
@yodxxx1 2 ай бұрын
Thanks dude, you are helping me a lot with this video, thanks to you i now have found a few new paths to solve a logic problem i had for some years now
@LunicLynx
@LunicLynx 2 ай бұрын
It actually simple. Just reverse the animation. 🙈 .... joking
@Nevermind445
@Nevermind445 2 ай бұрын
There's no way this can't be improved on ima go do it
@MrGryph78
@MrGryph78 2 ай бұрын
No wonder it took so long, you used Python!
@ts4gv
@ts4gv 2 ай бұрын
26:05 by hexagonalizing the banquet table problem you've made it CGP-complete.
@MartianGopnik
@MartianGopnik 2 ай бұрын
3:47 to 4:00 reminds me of a banner I've seen recently, which reads: "We do this not because it is easy, but because we thought it would be easy". Lol
@yanntal954
@yanntal954 2 ай бұрын
Rule 110 is much more impressive to me. Conway's game of life has 2D closest neighbors rules which is much less contrained than the 1D closest neighbors of rule 110. Yet, rule 110 is not only Turing complete, its also P-complete! You almost literally can't even compute anything much better than how rule 110 with all its limitations can!
@LightProgRock
@LightProgRock Ай бұрын
Amazing video ! I've been playing with the game of life a lot, to generate chords used in my music and now I know that I can decide that I want the last chord to be one specific chord, which is really useful !! Now I don't know if I will becaise it seems to be really hard, but… maybe one day 😅
@DijaFix
@DijaFix 2 ай бұрын
I watched Veritasium's video about QR codes before this and now I've come to realize I'm watching like what, an hours worth of videos, talking about black and white squares? That's my kind of 2024 hell yeah
@OvrcstYT
@OvrcstYT 2 ай бұрын
Holy moley, this video was fascinating. Can't wait for the second part!
@AndecIunson
@AndecIunson 2 ай бұрын
thank you for this.. i've been frustrated for a couple of weeks because of not coming up with intuitive way to conceptualize more dimensions than 4. someone showed a clip of carl sagans cosmos where he describes an 3d entity entering a 2d world. and talking about time being the 4th dimension. so i wondered was were after the hypercube.. your visualization with colors was really cool..
@MegaIceeagle
@MegaIceeagle 2 ай бұрын
AlphaPhoenix "We are about to enter 4 dimensions". me: Ha, this will now need a tesseract, good luck physically showing this. AlphaPhoenix "So here is a Tesseract model I built to show you"
@Т1000-м1и
@Т1000-м1и Ай бұрын
It was an interesting thing to discover that "blockus tile" pattern as a kid
@altejoh
@altejoh Ай бұрын
6:15 my intuition would be this is because going forward there is only one possible branch to proceed, but going backwards there could be multiple branches that lead to the same result. The fact that the pattern you wish to design repeats infinitely in the future should be the first giveaway that there should be multiple paths of possibility into the past - otherwise the only way to generate an infinitely repeating pattern would be to start with an infinitely repeating pattern.
@DIYBiotech
@DIYBiotech 2 ай бұрын
There's a lot of overlap with the gradient ascent stuff and evolutionary biology. Comes into play a lot in genetic engineering, specifically enzyme engineering
@speedyJ0hnny
@speedyJ0hnny 2 ай бұрын
This is awesome, I always love your vids! looking forward to part 2 :)
@mushykitten
@mushykitten 2 ай бұрын
23:33 please note that NP *doesn't* stand for Not Polynomial! That is definitely not the same thing as being nondeterministicly polynomial, exactly because as you've said, no solution is *known*.
@mushroomalien
@mushroomalien 2 ай бұрын
Your "configuration hyperspace" reminds me of concepts I was grappling with about 20 years ago when I started learning about bioinformatics. The solution space for some of the problems are stupidly big with way too many dimensions. After working with the math for a while, I started getting a feel for imagining hyperspaces with many dimensions, similar to what one would do when you simply imagine objects in 3 dimensional space. The mind bending thing that happened, was that I started having dreams in hyper dimensional spaces... No halucinagenic drug could ever produce the dreams that math made me experience. Be careful when doing math kids!
@acters124
@acters124 2 ай бұрын
This is the best video on machine learning and how the LLMs work! AMAZING!
I built a 1,000,000,000 fps video camera to watch light move
29:08
AlphaPhoenix
Рет қаралды 426 М.
Algorithmic Redistricting: Elections made-to-order
26:48
AlphaPhoenix
Рет қаралды 486 М.
Мен атып көрмегенмін ! | Qalam | 5 серия
25:41
Tuna 🍣 ​⁠@patrickzeinali ​⁠@ChefRush
00:48
albert_cancook
Рет қаралды 148 МЛН
The unexpected probability result confusing everyone
17:24
Stand-up Maths
Рет қаралды 803 М.
The Mystery of the Most Dangerous Place on the Moon
47:23
Astrum
Рет қаралды 326 М.
The moment we stopped understanding AI [AlexNet]
17:38
Welch Labs
Рет қаралды 1,4 МЛН
Creating a LEGO-compatible brick that doesn't exist
19:00
Brick Bending
Рет қаралды 316 М.
Sentry Turret Automatically Shoots | MEET THE HACKSMITH
22:47
Hacksmith Industries
Рет қаралды 243 М.
Why doesn't resonance always build to infinity?
28:00
AlphaPhoenix
Рет қаралды 215 М.
Why 4d geometry makes me sad
29:42
3Blue1Brown
Рет қаралды 1 МЛН
Playing Music on the Oldest Running Computer in America!
27:06
Usagi Electric
Рет қаралды 47 М.
What Numbers Do You Get by Iteratively Scaling a Matrix?
28:45
Eric Rowland
Рет қаралды 178 М.
What Happened to the World's Largest Tube TV?
35:46
Shank Mods
Рет қаралды 171 М.
Мен атып көрмегенмін ! | Qalam | 5 серия
25:41