Сфинксовы загадки – это, по сути, просто древние задачи с ограничениями. Если представить каждую подсказку как логическое ограничение, то всю загадку можно рассматривать как булеву формулу. Современные решатели SAT и коды исправления ошибок позволяют решить эту формулу, поэтому тот же принцип можно превратить в шифр, который работает только в том случае, если знаешь основные ограничения. Это изящный и компактный способ объединить старую логику с новыми методами кодирования, если, конечно, оставаться систематичной.