摘要 计算复杂性是计算机科学和数学的一门学科,它根据计算问题的固有难度对其进行分类,即根据算法的性能对其进行分类,并将这些类别相互关联。P 问题是一类可以使用确定性图灵机在多项式时间内解决的计算问题,而 NP 问题的解可以在多项式时间内验证,但我们仍然不知道它们是否也可以在多项式时间内解决。所谓 NP 完全问题的解也将是任何其他此类问题的解。它的人工智能类似物是 AI 完全问题类,对于该类问题仍然没有完整的数学形式化。在本章中,我们将重点分析计算类,以更好地理解 AI 完全问题的可能形式化,并查看是否存在适用于所有 AI 完全问题的通用算法(例如图灵测试)。为了更好地观察现代计算机科学如何尝试解决计算复杂性问题,我们提出了几种涉及优化方法的不同深度学习策略,以表明无法精确解决高阶计算类问题并不意味着使用最先进的机器学习技术无法获得令人满意的解决方案。这些方法与人类解决类似 NP 完全问题的能力的哲学问题和心理学研究进行了比较,以强化我们不需要精确和正确解决 AI 完全问题的方法就可以实现强 AI 的概念的说法。
主要关键词