hard
P与NP问题的理论内涵
探讨计算复杂性理论中P等于NP与否对数学和密码学的逻辑影响。
📝 Contenuto del prompt
请从理论角度解释P类问题与NP类问题的定义区别。如果P=NP，这对现有的公理体系、数学证明的自动化以及现代加密算法的理论安全性将产生什么样的颠覆性影响？请仅从逻辑可计算性和复杂度的角度进行论述，无需讨论具体的求解算法。