伪多项式时间

✍ dations ◷ 2025-07-27 09:44:06 #理论计算机科学,计算复杂性理论,复杂度类,算法分析

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

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

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

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

相关

  • 推论在数学上,推论(也称为系、系理)指能够“简单明了地”从前述命题推出的论断,推论往往在定理后出现。如果命题B能够被简单明了的从命题A推导出,则称B为A的推论。推论、定理、命题等
  • 铁调素结构 / ECOD铁调素(英语:Hepcidin)是一种由肝脏产生的肽类激素,发现于2000年,是人类和其它哺乳动物的铁离子代谢的主要调节者。 铁调素可调节(抑制)铁通过肠粘膜的转运,从而防止铁吸
  • 坠落陨石陨星坠落,又称观测坠落,是人类或自动化设备观测到的陨星坠落后所收集的陨石。所有其他的陨石都被称为“发现”。坠落陨石(英语:Meteorite fall)也称为坠落观察(英语:observed falls
  • 惊情四百年《吸血惊情四百年》(英语:Dracula或Bram Stoker's Dracula)是一部1992年首映的好莱坞恐怖/浪漫电影,故事改编自布拉姆·斯托克的经典吸血鬼小说《德古拉》,但亦加回了一些史实元素
  • 以母语人口排序的语言列表以母语人口排序的语言列表使用母语人口数量来排序各种人类语言。至于母语使用人口最少的语言列表,请参阅濒临灭绝语言列表(英语:Lists of endangered languages)。下表涵盖了200
  • 提内耳氏征象提内耳氏征象(英语:Tinel sign)是一种测试神经是否受到刺激或发炎的方法,叩诊(英语:Percussion (medicine))轻敲神经损伤部位可引起刺痛或感觉异常(英语:Paresthesia)。命名取自法国神
  • 泰尔哈拉泰尔哈拉(Telhara),是印度马哈拉施特拉邦Akola县的一个城镇。总人口18906(2001年)。该地2001年总人口18906人,其中男性9773人,女性9133人;0—6岁人口2555人,其中男1312人,女1243人;识字
  • 保罗·克列布尼科夫保罗·克列布尼科夫(英文:Paul Klebnikov,1963年6月3日-2004年7月9日)是一名美籍俄裔的记者和历史学家。他曾在《福布斯》杂志工作超过10年,去世时职位是俄文版主编。他2004年在莫
  • 元永元永(1118年4月25日~1120年5月9日)是日本的年号之一。使用这个年号的天皇是鸟羽天皇。
  • 觉罗宜纯觉罗宜纯(?-?)满洲镶黄旗人,爱新觉罗氏。觉罗宜纯是满洲镶黄旗人,清朝觉罗,为清朝附生,曾署左翼觉罗族长。1909年,清廷开资政院,觉罗宜纯出任资政院钦选议员。