计算机科学与人工智能课堂.pptVIP

2 人 31 第三，计算机难解问题。即使形式化系统中的可计算 问题还须区分这个问题是不是计算机难解问题，这是计算 机的第三界限。 可计算问题分为两类，第一类问题的求解只需要低次 多项式时间，如有序检索和分类的计算时间复杂度分别为 O(logn) 和 O(nlogn) ； 第二类问题是包括那些迄今为止已知的最好算法所需 时间为非多项式时间的问题，如货朗担问题和背包问题的 时间复杂度分别为 O(n 2 2 n ) 和 O(2n/2) 。 对于第二类问题，由于算法的执行所需要的时间和空 间会随 n 的增大而急剧增加，以致即使是一个中等规模的问 题也不能解出 [9] 。 2 人 32 第三，计算机难解问题。即使形式化系统中的可计算 问题还须区分这个问题是不是计算机难解问题，这是计算 机的第三界限。 可计算问题分为两类，第一类问题的求解只需要低次 多项式时间，如有序检索和分类的计算时间复杂度分别为 O(logn) 和 O(nlogn) ； 第二类问题是包括那些迄今为止已知的最好算法所需 时间为非多项式时间的问题，如货朗担问题和背包问题的 时间复杂度分别为 O(n 2 2 n ) 和 O(2n/2) 。 对于第二类问题，由于算法的执行所需要的时间和空 间会随 n 的增大而急剧增加，以致即使是一个中等规模的问 题也不能解出。 2 人 33 一个问题在计算机上是可解的，首先必须是可形式 化的，可形