From the Post-Markov Theorem Through Decision Problems to Public-Key Cryptography