伪多项式时间

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

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

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

相关

拉丁裔美国人西班牙裔美国人，或称拉丁裔美国人（Hispanic Americans or Latino Americans；又称拉美裔、拉丁美洲人、拉丁人）指从拉丁美洲移居到美国的移民及族群，不少人以西班牙语为母语，以英语
粘孢子虫黏孢子虫（Myxosporea）是黏体动物（Myxozoa，有人称黏体动物亚门与黏体动物门）的一个纲。下有近1100种生物，较为知名的如寄生虫脑粘体虫（Myxobolus cerebralis）与Alataspora solomoni、
稻草假单胞菌CCUG 12539 CIP 106745 IAM 1598 JCM 2783 NBRC 16665赭色假单胞菌 Pseudomonas aeruginosa (Zimmermann 1890) Chester 1901稻草假单胞菌是一类杆状革兰氏阴性菌，它所包
鸟龙鸟鸟龙鸟属（属名：Avisaurus，意为“鸟蜥蜴”）是白垩纪晚期北美洲的一属反鸟亚纲鸟类。其下仅有一个物种，即模式种阿氏鸟龙鸟（A. archibaldi）。两者都只有一条跗跖骨化石。鸟龙鸟是来自
法国历史年表法国历史年表
无常 (佛教)无常（巴利语：अनिच्चा，anicca，梵语：अनित्य，anitya，藏语：.mw-parser-output .uchen{font-family:"Qomolangma-Dunhuang","Qomolangma-Uchen Sarchen","Qomolangma-Uchen
陈清平赵堡太极拳第七代宗师(1795年－1868年)。中国河南省温县陈氏第十五世祖。赵堡太极拳第七代传人，太学士。从十三世陈万拔、陈万选开始由温县小刘村迁入王圪垱村，在乾隆末叶，十四世
阿马杜-马赫塔尔·姆博阿马杜-马赫塔尔·姆博（法语：Amadou-Mahtar M'Bow，1921年3月20日－），是塞内加尔的国民教育部长、国民议会议员，联合国教科文组织教育部门助理总干事。1921年，出生于达喀尔。1945年，在
蒂莫·富鲁霍尔姆蒂莫·富鲁霍尔姆（芬兰语：Timo Furuholm；1987年10月11日－）是一位芬兰足球运动员。在场上的位置是前锋。他现在效力于德国足球丙级联赛球队哈勒足球俱乐部。他也代表芬兰国家足球
西濑户自动车道西濑户自动车道（日语：西瀬戸自動車道／にしせとじどうしゃどう */?），即日本本州四国联络道路的尾道・今治路线，是连接位于本州的广岛县尾道市、以及位于四国的爱媛县今治市的高