伪多项式时间

✍ dations ◷ 2025-12-05 03:41:33 #理论计算机科学,计算复杂性理论,复杂度类,算法分析

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

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

相关

猪哥亮猪哥亮（闽南语：.mw-parser-output .sans-serif{font-family:-apple-system,BlinkMacSystemFont,"Segoe UI",Roboto,Lato,"Helvetica Neue",Helvetica,Arial,sans-serif} 豬哥
三个火枪手《三个火枪手》（法语：Les Trois Mousquetaires）是法国作家大仲马在1844年出版的小说，又译作《侠隐记》、《三剑客》或《三枪侠》、《三铳士》；最初于1844年3月-7月连载在报纸《时
欧洲复兴开发银行欧洲复兴开发银行（European Bank for Reconstruction and Development，EBRD）是一个1991年建立的银行。它的任务在于在1989年东方集团崩溃后在其经济从计划经济转化为市场经济的
开基灵祐宫坐标：22°59′50″N 120°12′12″E / 22.997202°N 120.203235°E / 22.997202; 120.203235开基灵祐宫位于台南市中西区，是中华民国直辖市定古迹，庙内主祀北极玄天上帝，因建庙
十二平均律十二平均律，又称十二等程律，是一种音乐的定律方法，将一个八度平均分成十二等份，每等分称为半音，是最主要的调音法。音高八度音指的是频率加倍（即二倍频率）。八度音的频率分为十二等
克劳德-路易·纳维克劳德-路易·纳维（法语：Claude-Louis Navier，1785年2月10日－1836年8月21日）是一位法国工程师与物理学家，主要贡献在力学领域。著名的纳维－斯托克斯方程以他和乔治·加布里埃尔·斯
香蕉共和国香蕉共和国（英语：Banana Republic）是某一种政治及经济体系的贬称，特别指那些拥有广泛贪污和有强大外国势力介入及间接支配之国家，名字的由来是这种国家通常是依赖出口如香蕉、可
PGM Hécate II狙击步枪PGM Hécate II是一种由Gilles Payen设计，PGM精密公司（法语：PGM Précision）生产的12.7毫米（.50 BMG）口径反器材狙击步枪。Hécate一名取自于希腊神话中的冥界女神“赫卡忒”（又译
法保 (赫舍里氏）参数所指定的目标页面不存在，建议更正成存在页面或直接建立下列一个页面（建立前请先搜寻是否有合适的存在页面可以取代）：法保（17世纪?－1710年），或作发保，都英额赫舍里氏，满洲正黄旗人
赛贝克效应赛贝克效应（英语：Seebeck effect）将二种不同金属各自的二端分别连接，并放在不同的温度下，就会在这样的线路内发生电流。这种现象称为赛贝克效应。它是德国物理学家托马斯·约翰·