hard
P与NP问题：计算复杂性的核心
分析计算理论中关于问题求解难度与验证效率的最重要未解难题。
📝 Contenuto del prompt
请明确定义P类问题（多项式时间内可解）和NP类问题（多项式时间内可验证）。解释为什么“P是否等于NP”这一问题是现代计算机科学和数学理论的基石。如果证明了P=NP，这对密码学、人工智能和数学证明自动化的理论发展意味着什么？请结合实际应用场景进行理论推演。