How to Catch a lion

Problem: To catch a lion in the Sahara desert

Reading Lion Catching Theory developed so far, I tried to come up with a few
methods of my own based on theoretical computer science.

The PCP method:
Ask an experienced (but untrustworthy) hunter to deliver the lion in a cage.
Convert the lion into a PCP. Now it is enough to stick 3 random fingers in the
cage and have them bitten off to be reasonably sure it is a lion.

The Conditonal Probabilites method:
We start by standing in the middle of the Sahara. At each phase, we either take a step to the right or a step to the left depending on which one will increase or at least preserve our success probability. Since it is possible to safely catch a lion in the Sahara with odds of at least one to a trillion, assuming the lion does not move while we are calculating, we are guaranteed to end up with a lion in the cage.

The arithmetization method:
The lion's action range in the Sahara: {Running fast, Eating a Lion hunter}
can be thought of as embedded into a larger range.
Now we can extend the lion from the Sahara to the entire southern hemisphere.
Going south enough the lion is slow and indifferent in the cold climate and can be easily catched.


I hope everybody is now convinced that it requires at least an MSc in theoretical computer science to safely travel around the world.