xkcd #3125: Snake-in-the-Box Problem
Title text:
Chemistry grad students have been spotted trying to lure campus squirrels into laundry hampers in the hope that it sparks inspiration.
Transcript:
Transcript will show once it’s been added to explainxkcd.com
Source: https://xkcd.com/3125/
What about goats in circular pens? A goat is tied to the fence of a circular pen. How long does the rope need to be so that the goat can reach exactly half of the pen’s area? What sounds like a high school math problem was eventually solved in 2020 via complex analysis.
Here’s the answer:
I feel like the answer should be much simpler than that equation salad.
Equation salad? It’s elegant. Well, according to my father who was a math professor.
Deriving that monstrosity must be something out of a grad school horror novel.
The difficulty is that the goat is tied to the fence.
It would be a lot easier to put a pole in the center of the circle.
The length of the rope would then be 0.5 x sqr(2) x fence radius.
What’s really neat about this problem is that the 3D example, a bird in a cage, was solved sooner and is much simpler
I thought “wtf” after reading the problem, said “wtf” out loud after reading this comment. pretty neat :)
Randall forgot psychology, which has involved a ton of putting animals in boxes…
In computer science, you steal the box from the psych department and put children in it so you can sell them loot crates
Also zoology
I guess a key thought experiment doesn’t qualify as a reason, and also we are supposed to conveniently forget about putting spherical cows in a vacuum just because.
We have one for combinatorics: Ask Fibonacci about his rabbits.
There really is an xkcd for everything.
I’m still trying to fill that hotel with infinite monkeys
In biology it’s less of a “thought” experiment
More of a “This is how we weigh a critter that won’t stay put for more than .3 seconds”
My combinatorics professor used gnomes!
I’d expect something around ~200 for n=9 and ~400 for n=10, but I imagine this is too big to be brute forced by raw computing
Some lower bounds have been established: https://oeis.org/A099155
Wow, it already lists the xkcd in the links section. I have a feeling that snake is gonna bite its tail soon.
Some trivial bounds: F(n-1) + 1 <= F(n) <= F(n-1) * 2 + 1.
Also F(n) <= 2^(n-1)
I’d think that it’s not “too much to be brute forced”, but probably no one has thrown enough resources at that recently
With each additional dimension, the amount of possible combinations grows exponentially. Without serious optimization efforts, computation requirements get prohibitive very, very fast
deleted by creator
Took me a while to follow that too! The three examples of fails at the top each show instances where there are non-consecutive parts of the snake on adjacent corners - it’s the lines highlighted in red.
Basically no two parts of the snake that aren’t directly joined to each other in the snake are allowed to be on corners which are only a line apart.
I think.
Any two coils that are not directly connected. For example, suppose we number from the head, coil 1, 2, 3, 4. Then pairs that are not directly connected are: (1, 3), (1, 4), (2, 4). The endpoints of these pairs of segments cannot be connected by an edge of the cube.