Объясните теоретические различия между классами сложности P и NP. Подробно опишите формулировку проблемы P vs NP, ее значение для криптографии и теории алгоритмов. Обсудите понятие NP-полноты на примере задачи о выполнимости булевых формул (SAT).