Сформулируйте проблему P vs NP, дав строгие определения классам P и NP. Объясните понятия сводимости (reducibility) и NP-полноты на примере задачи выполнимости булевых формул (SAT). Обсудите теоретические последствия доказательства P = NP или P ≠ NP для современной криптографии.