伪多项式时间

✍ dations ◷ 2025-12-02 18:12:22 #理论计算机科学,计算复杂性理论,复杂度类,算法分析

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

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

相关

血管造影术血管摄影，或称动脉摄影、血管造影，是一种医学影像技术，用x光照射人体内部，观察血管分布的情形，包括动脉、静脉或心房室。葡萄牙籍医师兼神经学家Egas Moniz（1949年诺贝尔奖的得主
埃德蒙·罗卡埃德蒙·洛卡德（法语：Edmond Locard；1877年11月13日－1966年4月4日），法国司法科学家，提出洛卡德物质交换定律（行为人一定会带走一些东西，也会留下一些东西）。这是侦查学的基础理论。
梅克伦堡-施特雷利茨自由邦梅克伦堡-施特雷利茨自由邦（德语：Freistaat Mecklenburg-Strelitz）是魏玛共和国的自由邦之一，创建于1918年，前身是梅克伦堡-施特雷利茨大公国。1933年纳粹党上台之后，该邦和梅克伦
柯洁柯洁（1997年8月2日－），中国围棋职业九段棋手，浙江丽水人。父亲柯国凡，母亲周柳萍。启蒙老师李守胜、周宗强。七次世界冠军得主（史上最年轻七冠王）。按照 Go Ratings 世界排名，自2014年
陀螺仪陀螺仪（英文：gyroscope），是一种基于角动量守恒的理论，用来感测与维持方向的装置。陀螺仪主要是由一个位于轴心且可旋转的转子构成。由于转子的角动量，陀螺仪一旦开始旋转，即有抗拒
亚洲地区八纮一宇是大日本帝国第二次世界大战时期的国家格言，日本政府宣传部门的解释是天下一家、世界大同的意思，但在当时的氛围下，实质上是服务军方的侵略扩张政策，从军备、政治体制、
平均值平均数（英语：Mean，或称平均值）是统计中的一个重要概念。为集中趋势的最常用测度值，目的是确定一组数据的均衡点。在统计中算术平均数常用于表示统计对象的一般水平，它是描述数据集
克洛德·列维-斯特劳斯克劳德·列维-斯特劳斯（Claude Lévi-Strauss，1908年11月28日－2009年10月30日）著名的法国人类学家，与弗雷泽、鲍亚士共同享有“现代人类学之父”美誉。他所建构的结构主义与神话
越岛稔子越岛稔子、（日语：こしじまとしこ，1980年3月3日－）是一位日本女性歌手。音乐组合“CAPSULE”的主音。出身于石川县金泽市。“Koshiko（こしこ）”是本人较常用的昵称。在高中生的时候
张仓连张仓连（1892年－1950年），世居宜兰礁溪。教授私塾为生，桃李遍及礁溪乡境。曾与县内林才添（曾任宜兰县县长）、陈进东（曾任宜兰县县长）等仕绅共组诗社。曾任台北县参议员、礁溪乡乡长，