Сформулируйте проблему P против NP в терминах теории вычислительной сложности. Объясните, в чем заключается разница между задачами, решаемыми за полиномиальное время, и задачами, проверка решения которых занимает полиномиальное время. Почему доказательство того, что P не равно NP, будет иметь критическое значение для современной криптографии?