伪多项式时间

✍ dations ◷ 2025-11-24 17:06:42 #理论计算机科学,计算复杂性理论,复杂度类,算法分析

在计算理论领域中，若一个数值算法的时间复杂度可以表示为输入数值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}})$ 。因此，上述算法是一个伪多项式时间算法。

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

相关

CAS号CAS编号（CAS Registry Number，或称CAS Number，CAS Rn，CAS #），又称CAS登录号或CAS登记号码，是某种物质（化合物、高分子材料、生物序列（Biological sequences）、混合物或合金）的唯一的数
亚特兰大猎鹰国家橄榄球联盟（1966年至今）联会冠军（2）国家联会：分区冠军（6）国联西区：亚特兰大猎鹰（英语：Atlanta Falcons）是一支职业美式橄榄球球队位于佐治亚州的亚特兰大。他们现是国家橄榄球
皮埃尔·赖伐尔皮埃尔·赖伐尔（法语：Pierre Laval，1883年6月28日－1945年10月15日），法国政治家，曾任总理。1883年6月28日生于沙泰勒东。1935年6月－1936年1月两次组阁。第二次世界大战期间，支持菲利普
扁形虫扁虫动物原本是扁形动物门的同义词，此处是几个门的统称，属于两侧对称动物，也被归类为扁虫动物总门（学名：Platyzoa），但此分类尚未成为共识。本总门包括以下门：扁形动物和腹毛动物没有
理查三世《理查三世》是英国剧作家威廉·莎士比亚的作品，逼真地描述了理查三世短暂的执政时期，该剧本被认为创作于大约1591年。这部戏剧有时被分类为悲剧（早期的四开本），但是更准确的分类
尹　鸿尹鸿（？－），中国大陆作家，电影影评人。现任澳门科技大学电影学院院长、教授、博士生导师。曾经批评《十面埋伏 (电影)》和《满城尽带黄金甲》而成名。
珍妮·柯克帕特里克珍妮·杜安·柯克帕特里克（英语：Jeane Duane Kirkpatrick；1926年11月19日－2006年12月7日），本姓乔丹（Jordan），1955年，与Evron Maurice Kirkpatrick结婚。1948年加入民主党，1985年转而加
数量级 (质量)为了帮助比较理解不同的质量数量级，在下面列出了列出了质量从10−36 kg 到1052 kg的事物。
稻山嘉宽稻山嘉宽（日语：稲山嘉寛／いなやまよしひろ；1904年1月2日－1987年10月9日），日本企业家，工商界人士，新日本制铁所会长。1970年代末在其任期内，接待了来访的邓小平等中国官员，并在此后支
1982年阿莫勒起义1982年阿莫勒起义是1982年发生于伊朗阿莫勒的反对伊朗伊斯兰政权的武装起义。伊朗毛派组织伊朗共产主义者联盟（简称伊共盟）接受人民战争为斗争路线。阿莫勒市被伊共盟选为起义