伪多项式时间

✍ dations ◷ 2025-10-29 14:13:17 #理论计算机科学,计算复杂性理论,复杂度类,算法分析

在计算理论领域中，若一个数值算法的时间复杂度可以表示为输入数值N的多项式，则称其时间复杂度为伪多项式时间。这是由于，N的值是N的位数的幂，故该算法的时间复杂度实际上应视为输入数值N的位数的幂。

一个具有伪多项式时间复杂度的NP完全问题称之为弱NP完全问题，而在P!=NP的情况下，若一个NP完全问题被证明没有伪多项式时间复杂度的解，则称之为强NP完全问题。

在素性测试中，使用较小的整数逐个对被测试数进行试除的算法被认为是一个伪多项式时间算法。对于给定的整数N，使用从最小的素数2开始，到 ${\sqrt {N}}$ $\sqrt{N}$ 为止的整数依次对N进行试除，如果均无法整除N，则N是素数，这个过程需要进行至多约 ${\sqrt {N}}$ $\sqrt{N}$ 次整数除法，即其时间复杂度为 $O({\sqrt {N}})$ $O({\sqrt {N}})$ ，为N的多项式。令D为N的二进制表示的位数，那么N可以表示为以2为底D的幂，因此素性测试问题的时间复杂度用D表示应为 $O(2^{D/2})$ $O(2^{{D/2}})$ 。因此，上述算法是一个伪多项式时间算法。

其它被证明只具有伪多项式时间算法解的问题有背包问题，子集合加总问题。

相关

阿斯克勒庇俄斯阿斯克勒庇俄斯（希腊语：Ἀσκληπιός，拉丁语：Asclepius），是古希腊神话中的医神，在古罗马神话中被称为埃斯库拉庇乌斯（拉丁语：Aesculapius），他是太阳神阿波罗之子，形象为手持蛇杖。
大祭司大祭司，或称为最高祭司（拉丁文Pontifex Maximus，字面意思是“最高的pontiff”）是古罗马Pontiff祭司团体（英文：College of Pontiffs）的最高阶祭司。这是古罗马宗教中最为重要的职位，
皮尔斯县皮尔斯县（Pierce County, Georgia）是美国乔治亚州东南部的一个县。面积891平方公里。根据美国2000年人口普查，共有人口15,636人，2005年人口17,119人。县治布莱克希尔 (Blackshea
臼齿大臼齿，简称臼齿，俗称磨牙（客语：撞牙），是人类和其它哺乳动物的一种牙齿。大臼齿位于口腔后方，因上端扁平而且主要用来研磨和咀嚼食物而得名。臼齿由于随使用而被磨损，可以被用来判定
重氮试剂重氮盐有时也称“重氮化合物”，是一类通式为R-N2+X−的有机化合物，R指有机基团（如烷基或芳基），X指任何阴离子，通常为卤素离子。重氮盐是无色结晶固体，爆炸性很强，干燥情况下不稳定，
span style=color:black;梅克伦堡-前波美拉尼亚/span梅克伦堡-前波美拉尼亚（德语：Mecklenburg-Vorpommern）是德国东北部的一个州。它是由原梅克伦堡约三分之二的区域以及普鲁士时期的波美拉尼亚西部，还有普利希尼茨的一小部分地区
生活满意度指数生活满意度指数（Satisfaction with Life Index，SWL）是由英国莱斯特大学社会心理学家阿德里安·怀特（英语：Adrian White）建立。生活满意度指数是基于多个数据，包括新经济基金会的快
摩托日记 (电影)《摩托日记》（西班牙语：Diarios de motocicleta）是一部上映于2004年的西班牙语电影，由巴西导演华特·沙勒斯执导，根据切·格瓦拉的同名日记改编。讲述后来成为拉丁美洲著名共产主
哈利斯泰坐标：58°09′52″N 25°26′23″E / 58.16444°N 25.43972°E / 58.16444; 25.43972哈利斯泰（爱沙尼亚语：Halliste），是爱沙尼亚的城镇，位于该国南部，由维尔扬迪县负责管辖，是哈利斯
陶本湖坐标：47°41′46″N 12°25′37″E / 47.69611°N 12.42694°E / 47.69611; 12.42694陶本湖（德语：Taubensee），是中欧的湖泊，位于奥地利和德国接壤的边境，由克森和下沃森负责管辖，长0