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