伪多项式时间

✍ dations ◷ 2025-11-28 21:51: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}})$ 。因此，上述算法是一个伪多项式时间算法。

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

相关

保加利亚人保加利亚人（英语：Bulgarians、保加利亚语：българи or bǎlgar）是巴尔干半岛的原始居住族群，母语是保加利亚语。保加利亚人口大约是9,000,000～10,000,000左右，分布于全世界，保
昆西市坐标：42°15′N 71°00′W / 42.250°N 71.000°W / 42.250; -71.000昆西（英语：Quincy），是美国马萨诸塞州诺福克县的一座城市，面积69.6平方公里。根据2000年美国人口普查，共有人口8
白河藩白河藩（日语：白河藩／しらかわはん Shirakawa han */?）是日本陆奥国（磐城国）白河郡白河的一个藩。藩厅是白河城（今福岛县白河市）。安土桃山时代是上杉氏会津领地之一。江户时代初期
太阳同步准回归轨道太阳同步轨道（Sun-synchronous orbit或简写成SSO，有时被错误的称为另一种 heliosynchronous orbit）是一种结合高度和倾角的近地轨道，使这个物体无论在升交点、降交点或轨道上任
杨思标杨思标（1920年6月4日－，英语：Sze-Piao Yang），台湾呼吸内科医师，日本东京新潟大学医学博士。曾任台大医院院长、台湾大学医学院院长、慈济护专（今慈济科技大学）首任校长。杨思标于1920
44号州际公路44号州际公路（英语：Interstate 44）是一条东西方向的州际公路。该公路连接了密苏里州圣路易斯和德克萨斯州威奇托福尔斯，全长663.79英里。
威廉·切斯特·米诺威廉·切斯特·米诺（William Chester Minor，1834年6月22日－1920年3月26日），简称作W·C·米诺（W. C. Minor），美国外科医生、前军医与词典编纂者，思觉失调与精神分裂症患者，他在1872至1
月见草属参见本文。月见草属（学名：）又称待宵草、晚樱草，属于柳叶菜科的植物。因为本属植物大多数只在夜晚开花、白天凋谢，所以又名“Evening Primrose”。多年生草本。茎直立，被毛；基生叶丛
阿尔金岩石礁国家公园阿尔金岩石礁国家公园（Parc national du Banc d'Arguin）是西非国家毛里塔尼亚的国家公园，位于该国西岸努瓦克肖特和努瓦迪布之间，占地约12,000平方公里，成立于1978年，于1989年被联
马犹龙马犹龙（？－？），字玄甫，一字长平，号梁园，河南固始县人，明朝政治人物。河南乡试第九名，万历十一年（1583年）癸未科会试第二百九十八名，登三甲第二十九名进士。历官刑部主事、礼部祠祭司员外郎，出