伪多项式时间 Pseudo-polynomial time

转载

mob604756f2dcb4 2018-03-15 14:32:00

2018-03-15 14:20:08

伪多项式时间：如果一个算法的传统时间复杂度是多项式时间的，而标准时间复杂度不是多项式时间的，则我们称这个算法是伪多项式时间的。

想要理解“伪多项式时间”，我们需要先给出“多项式时间”的一个清楚的定义。

对于“多项式时间”，我们的直观概念是时间复杂度 $伪多项式时间 Pseudo-polynomial time_数据$ ,其中 $伪多项式时间 Pseudo-polynomial time_选择排序_02$ 是一常数。比如，选择排序的时间复杂度是 $伪多项式时间 Pseudo-polynomial time_多项式时间_03$ ，是多项式时间；暴力解决TSP问题的时间复杂度是 $伪多项式时间 Pseudo-polynomial time_多项式时间_04$ ，不是多项式时间。我们称这种时间复杂度为“传统时间复杂度”。

我们通常认为传统时间复杂度中的变量 $伪多项式时间 Pseudo-polynomial time_数据_05$ 表示数据的输入规模。比如，选择排序中， $伪多项式时间 Pseudo-polynomial time_数据_05$ 指待排序数组中元素的个数；TSP问题中 $伪多项式时间 Pseudo-polynomial time_数据_05$ 表示图中节点的数量。但是，这些所谓的输入规模，仅仅是直观的定义，并不足够严谨。为了标准化这些 $伪多项式时间 Pseudo-polynomial time_数据_05$ ，在计算标准时间复杂度时，我们给出了输入规模的标准定义：

一个问题的输入规模是保存输入数据所需要的bit位数。

了解了输入规模的定义，我们来看“多项式时间”的标准定义：

对于一个问题，在输入规模为x的情况下，如果一个算法能够在O( $伪多项式时间 Pseudo-polynomial time_时间复杂度_09$ )时间内解决此问题，则我们称此算法是多项式时间的，其中 $伪多项式时间 Pseudo-polynomial time_选择排序_02$ 为一常数。

排序问题：用选择排序对元素个数为 $伪多项式时间 Pseudo-polynomial time_数据_05$ 的数组进行排序时，传统时间复杂度为 $伪多项式时间 Pseudo-polynomial time_多项式时间_03$ 。输入规模 $伪多项式时间 Pseudo-polynomial time_数据_13$ ，因此，得到的标准时间复杂度是 $伪多项式时间 Pseudo-polynomial time_时间复杂度_14$ ，仍然是多项式时间。因为这的n是只输入数据的数目。